runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108251442/p2cudf-paranoid-1.13/rand408.cudf.s-e-l.log.runsolver ./p2cudf-paranoid-1.13 /home/misc2010/data/2011/incremental/s-e-l/rand408.cudf /home/misc2010/tmp/201108251442/p2cudf-paranoid-1.13/rand408.cudf.s-e-l.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.42 1.27 1.10 5/36 12779
/proc/meminfo: memFree=342152/1048576 swapFree=0/0
[pid=12776] ppid=12775 vsize=2568 CPUtime=0
/proc/12776/stat : 12776 (p2cudf-paranoid) S 12775 12776 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 10587099 2629632 270 1283457024 134512640 135304128 4292933680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12776/statm: 642 270 230 194 0 29 0
[pid=12777] ppid=12776 vsize=2568 CPUtime=0
/proc/12777/stat : 12777 (p2cudf) S 12776 12776 4778 34817 4778 4202496 354 0 0 0 0 0 0 0 18 0 1 0 10587099 2629632 272 1283457024 134512640 135304128 4291073664 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/12777/statm: 642 272 231 194 0 29 0
[pid=12778] ppid=12777 vsize=2568 CPUtime=0
/proc/12778/stat : 12778 (p2cudf) R 12777 12776 4778 34817 4778 4202560 94 0 0 0 0 0 0 0 25 0 1 0 10587099 2629632 119 1283457024 134512640 135304128 4291073664 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/12778/statm: 642 119 77 194 0 29 0
[pid=12779] ppid=12778 vsize=2568 CPUtime=0
/proc/12779/stat : 12779 (p2cudf) R 12778 12776 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 10587099 2629632 42 1283457024 134512640 135304128 4291073664 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/12779/statm: 642 42 0 194 0 29 0

[startup+0.195843 s]
/proc/loadavg: 1.42 1.27 1.10 5/36 12779
/proc/meminfo: memFree=342152/1048576 swapFree=0/0
[pid=12776] ppid=12775 vsize=2568 CPUtime=0
/proc/12776/stat : 12776 (p2cudf-paranoid) S 12775 12776 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 10587099 2629632 270 1283457024 134512640 135304128 4292933680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12776/statm: 642 270 230 194 0 29 0
[pid=12777] ppid=12776 vsize=2572 CPUtime=0.03
/proc/12777/stat : 12777 (p2cudf) S 12776 12776 4778 34817 4778 4202496 390 3016 0 1 0 0 2 1 25 0 1 0 10587099 2633728 281 1283457024 134512640 135304128 4291073664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12777/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.205836 s]
/proc/loadavg: 1.42 1.27 1.10 5/36 12779
/proc/meminfo: memFree=342152/1048576 swapFree=0/0
[pid=12776] ppid=12775 vsize=2568 CPUtime=0
/proc/12776/stat : 12776 (p2cudf-paranoid) S 12775 12776 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 10587099 2629632 270 1283457024 134512640 135304128 4292933680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12776/statm: 642 270 230 194 0 29 0
[pid=12777] ppid=12776 vsize=2572 CPUtime=0.03
/proc/12777/stat : 12777 (p2cudf) S 12776 12776 4778 34817 4778 4202496 390 3016 0 1 0 0 2 1 25 0 1 0 10587099 2633728 281 1283457024 134512640 135304128 4291073664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12777/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.305856 s]
/proc/loadavg: 1.42 1.27 1.10 5/36 12779
/proc/meminfo: memFree=342152/1048576 swapFree=0/0
[pid=12776] ppid=12775 vsize=2568 CPUtime=0
/proc/12776/stat : 12776 (p2cudf-paranoid) S 12775 12776 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 10587099 2629632 270 1283457024 134512640 135304128 4292933680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12776/statm: 642 270 230 194 0 29 0
[pid=12777] ppid=12776 vsize=2572 CPUtime=0.03
/proc/12777/stat : 12777 (p2cudf) S 12776 12776 4778 34817 4778 4202496 390 3016 0 1 0 0 2 1 25 0 1 0 10587099 2633728 281 1283457024 134512640 135304128 4291073664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12777/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.705933 s]
/proc/loadavg: 1.42 1.27 1.10 5/36 12779
/proc/meminfo: memFree=342152/1048576 swapFree=0/0
[pid=12776] ppid=12775 vsize=2568 CPUtime=0
/proc/12776/stat : 12776 (p2cudf-paranoid) S 12775 12776 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 10587099 2629632 270 1283457024 134512640 135304128 4292933680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12776/statm: 642 270 230 194 0 29 0
[pid=12777] ppid=12776 vsize=2572 CPUtime=0.03
/proc/12777/stat : 12777 (p2cudf) S 12776 12776 4778 34817 4778 4202496 390 3016 0 1 0 0 2 1 25 0 1 0 10587099 2633728 281 1283457024 134512640 135304128 4291073664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12777/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+1.50608 s]
/proc/loadavg: 1.55 1.30 1.11 5/45 12799
/proc/meminfo: memFree=283116/1048576 swapFree=0/0
[pid=12776] ppid=12775 vsize=2568 CPUtime=0
/proc/12776/stat : 12776 (p2cudf-paranoid) S 12775 12776 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 10587099 2629632 270 1283457024 134512640 135304128 4292933680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12776/statm: 642 270 230 194 0 29 0
[pid=12777] ppid=12776 vsize=2572 CPUtime=0.03
/proc/12777/stat : 12777 (p2cudf) S 12776 12776 4778 34817 4778 4202496 390 3016 0 1 0 0 2 1 25 0 1 0 10587099 2633728 281 1283457024 134512640 135304128 4291073664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12777/statm: 643 281 239 194 0 30 0
[pid=12790] ppid=12777 vsize=900020 CPUtime=1.47
/proc/12790/stat : 12790 (java) S 12777 12776 4778 34817 4778 4202496 25245 0 1 0 140 7 0 0 25 0 10 0 10587103 921620480 21491 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12790/statm: 225005 21491 1722 10 0 222096 0
[pid=12790/tid=12791] ppid=12777 vsize=900020 CPUtime=0.79
/proc/12790/task/12791/stat : 12791 (java) R 12777 12776 4778 34817 4778 4202560 10162 0 1 0 74 5 0 0 25 0 10 0 10587103 921620480 21491 1283457024 134512640 134550932 4291722672 18446744073709551615 4150382530 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12790/tid=12792] ppid=12777 vsize=900020 CPUtime=0
/proc/12790/task/12792/stat : 12792 (java) S 12777 12776 4778 34817 4778 4202560 7 0 0 0 0 0 0 0 17 0 10 0 10587105 921620480 21491 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12793] ppid=12777 vsize=900020 CPUtime=0
/proc/12790/task/12793/stat : 12793 (java) S 12777 12776 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 25 0 10 0 10587105 921620480 21491 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12794] ppid=12777 vsize=900020 CPUtime=0
/proc/12790/task/12794/stat : 12794 (java) S 12777 12776 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10587105 921620480 21491 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12795] ppid=12777 vsize=900020 CPUtime=0
/proc/12790/task/12795/stat : 12795 (java) S 12777 12776 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10587108 921620480 21491 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12796] ppid=12777 vsize=900020 CPUtime=0.45
/proc/12790/task/12796/stat : 12796 (java) R 12777 12776 4778 34817 4778 4202560 8939 0 0 0 44 1 0 0 25 0 10 0 10587108 921620480 21491 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12790/tid=12797] ppid=12777 vsize=900020 CPUtime=0.2
/proc/12790/task/12797/stat : 12797 (java) S 12777 12776 4778 34817 4778 4202560 5066 0 0 0 20 0 0 0 22 0 10 0 10587108 921620480 21491 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12798] ppid=12777 vsize=900020 CPUtime=0
/proc/12790/task/12798/stat : 12798 (java) S 12777 12776 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 10587108 921620480 21491 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12799] ppid=12777 vsize=900020 CPUtime=0
/proc/12790/task/12799/stat : 12799 (java) S 12777 12776 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10587108 921620480 21491 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 905160

[startup+3.12648 s]
/proc/loadavg: 1.55 1.30 1.11 2/45 12799
/proc/meminfo: memFree=199664/1048576 swapFree=0/0
[pid=12776] ppid=12775 vsize=2568 CPUtime=0
/proc/12776/stat : 12776 (p2cudf-paranoid) S 12775 12776 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 10587099 2629632 270 1283457024 134512640 135304128 4292933680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12776/statm: 642 270 230 194 0 29 0
[pid=12777] ppid=12776 vsize=2572 CPUtime=0.03
/proc/12777/stat : 12777 (p2cudf) S 12776 12776 4778 34817 4778 4202496 390 3016 0 1 0 0 2 1 25 0 1 0 10587099 2633728 281 1283457024 134512640 135304128 4291073664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12777/statm: 643 281 239 194 0 30 0
[pid=12790] ppid=12777 vsize=897580 CPUtime=3.08
/proc/12790/stat : 12790 (java) S 12777 12776 4778 34817 4778 4202496 74121 0 1 0 287 21 0 0 25 0 10 0 10587103 919121920 68698 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12790/statm: 224395 68698 1742 10 0 221486 0
[pid=12790/tid=12791] ppid=12777 vsize=897580 CPUtime=1.61
/proc/12790/task/12791/stat : 12791 (java) R 12777 12776 4778 34817 4778 4202560 50089 0 1 0 143 18 0 0 25 0 10 0 10587103 919121920 68698 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12790/tid=12792] ppid=12777 vsize=897580 CPUtime=0.16
/proc/12790/task/12792/stat : 12792 (java) R 12777 12776 4778 34817 4778 4202560 7133 0 0 0 16 0 0 0 15 0 10 0 10587105 919121920 68698 1283457024 134512640 134550932 4291722672 18446744073709551615 4148055681 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=12790/tid=12793] ppid=12777 vsize=897580 CPUtime=0
/proc/12790/task/12793/stat : 12793 (java) S 12777 12776 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 25 0 10 0 10587105 919121920 68698 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12794] ppid=12777 vsize=897580 CPUtime=0
/proc/12790/task/12794/stat : 12794 (java) S 12777 12776 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10587105 919121920 68698 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12795] ppid=12777 vsize=897580 CPUtime=0
/proc/12790/task/12795/stat : 12795 (java) S 12777 12776 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10587108 919121920 68698 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12796] ppid=12777 vsize=897580 CPUtime=0.53
/proc/12790/task/12796/stat : 12796 (java) S 12777 12776 4778 34817 4778 4202560 9008 0 0 0 52 1 0 0 25 0 10 0 10587108 919121920 68698 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12797] ppid=12777 vsize=897580 CPUtime=0.75
/proc/12790/task/12797/stat : 12797 (java) S 12777 12776 4778 34817 4778 4202560 6820 0 0 0 75 0 0 0 15 0 10 0 10587108 919121920 68698 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12798] ppid=12777 vsize=897580 CPUtime=0
/proc/12790/task/12798/stat : 12798 (java) S 12777 12776 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 10587108 919121920 68698 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12799] ppid=12777 vsize=897580 CPUtime=0
/proc/12790/task/12799/stat : 12799 (java) R 12777 12776 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10587108 919121920 68698 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 902720

[startup+6.30728 s]
/proc/loadavg: 1.55 1.30 1.11 2/46 12800
/proc/meminfo: memFree=47640/1048576 swapFree=0/0
[pid=12776] ppid=12775 vsize=2568 CPUtime=0
/proc/12776/stat : 12776 (p2cudf-paranoid) S 12775 12776 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 10587099 2629632 270 1283457024 134512640 135304128 4292933680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12776/statm: 642 270 230 194 0 29 0
[pid=12777] ppid=12776 vsize=2572 CPUtime=0.03
/proc/12777/stat : 12777 (p2cudf) S 12776 12776 4778 34817 4778 4202496 390 3016 0 1 0 0 2 1 25 0 1 0 10587099 2633728 281 1283457024 134512640 135304128 4291073664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12777/statm: 643 281 239 194 0 30 0
[pid=12790] ppid=12777 vsize=898196 CPUtime=6.26
/proc/12790/stat : 12790 (java) S 12777 12776 4778 34817 4778 4202496 82721 0 1 0 599 27 0 0 25 0 11 0 10587103 919752704 75182 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12790/statm: 224549 75182 1778 10 0 221640 0
[pid=12790/tid=12791] ppid=12777 vsize=898196 CPUtime=3.2
/proc/12790/task/12791/stat : 12791 (java) R 12777 12776 4778 34817 4778 4202560 50276 0 1 0 300 20 0 0 25 0 11 0 10587103 919752704 75182 1283457024 134512640 134550932 4291722672 18446744073709551615 4096358828 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12790/tid=12792] ppid=12777 vsize=898196 CPUtime=0.31
/proc/12790/task/12792/stat : 12792 (java) S 12777 12776 4778 34817 4778 4202560 13123 0 0 0 28 3 0 0 16 0 11 0 10587105 919752704 75182 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12793] ppid=12777 vsize=898196 CPUtime=0
/proc/12790/task/12793/stat : 12793 (java) S 12777 12776 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 11 0 10587105 919752704 75182 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12794] ppid=12777 vsize=898196 CPUtime=0
/proc/12790/task/12794/stat : 12794 (java) S 12777 12776 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 10587105 919752704 75182 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12795] ppid=12777 vsize=898196 CPUtime=0
/proc/12790/task/12795/stat : 12795 (java) S 12777 12776 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10587108 919752704 75182 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12796] ppid=12777 vsize=898196 CPUtime=0.53
/proc/12790/task/12796/stat : 12796 (java) S 12777 12776 4778 34817 4778 4202560 9008 0 0 0 52 1 0 0 25 0 11 0 10587108 919752704 75182 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12797] ppid=12777 vsize=898196 CPUtime=2.21
/proc/12790/task/12797/stat : 12797 (java) S 12777 12776 4778 34817 4778 4202560 9237 0 0 0 218 3 0 0 16 0 11 0 10587108 919752704 75182 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12798] ppid=12777 vsize=898196 CPUtime=0
/proc/12790/task/12798/stat : 12798 (java) S 12777 12776 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 11 0 10587108 919752704 75182 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12799] ppid=12777 vsize=898196 CPUtime=0
/proc/12790/task/12799/stat : 12799 (java) S 12777 12776 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 11 0 10587108 919752704 75182 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12800] ppid=12777 vsize=898196 CPUtime=0
/proc/12790/task/12800/stat : 12800 (java) S 12777 12776 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 24 0 11 0 10587544 919752704 75182 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 903336

Solver just ended. Dumping a history of the last processes samples

[startup+6.40731 s]
/proc/loadavg: 1.55 1.30 1.11 2/46 12800
/proc/meminfo: memFree=47640/1048576 swapFree=0/0
[pid=12776] ppid=12775 vsize=2568 CPUtime=0
/proc/12776/stat : 12776 (p2cudf-paranoid) S 12775 12776 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 10587099 2629632 270 1283457024 134512640 135304128 4292933680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12776/statm: 642 270 230 194 0 29 0
[pid=12777] ppid=12776 vsize=2572 CPUtime=0.03
/proc/12777/stat : 12777 (p2cudf) S 12776 12776 4778 34817 4778 4202496 390 3016 0 1 0 0 2 1 25 0 1 0 10587099 2633728 281 1283457024 134512640 135304128 4291073664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12777/statm: 643 281 239 194 0 30 0
[pid=12790] ppid=12777 vsize=898196 CPUtime=6.36
/proc/12790/stat : 12790 (java) S 12777 12776 4778 34817 4778 4202496 82721 0 1 0 609 27 0 0 25 0 11 0 10587103 919752704 75182 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12790/statm: 224549 75182 1778 10 0 221640 0
[pid=12790/tid=12791] ppid=12777 vsize=898196 CPUtime=3.28
/proc/12790/task/12791/stat : 12791 (java) R 12777 12776 4778 34817 4778 4202560 50276 0 1 0 308 20 0 0 25 0 11 0 10587103 919752704 75182 1283457024 134512640 134550932 4291722672 18446744073709551615 4096327183 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12790/tid=12792] ppid=12777 vsize=898196 CPUtime=0.31
/proc/12790/task/12792/stat : 12792 (java) S 12777 12776 4778 34817 4778 4202560 13123 0 0 0 28 3 0 0 16 0 11 0 10587105 919752704 75182 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12793] ppid=12777 vsize=898196 CPUtime=0
/proc/12790/task/12793/stat : 12793 (java) S 12777 12776 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 11 0 10587105 919752704 75182 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12794] ppid=12777 vsize=898196 CPUtime=0
/proc/12790/task/12794/stat : 12794 (java) S 12777 12776 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 10587105 919752704 75182 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12795] ppid=12777 vsize=898196 CPUtime=0
/proc/12790/task/12795/stat : 12795 (java) S 12777 12776 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10587108 919752704 75182 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12796] ppid=12777 vsize=898196 CPUtime=0.53
/proc/12790/task/12796/stat : 12796 (java) S 12777 12776 4778 34817 4778 4202560 9008 0 0 0 52 1 0 0 25 0 11 0 10587108 919752704 75182 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12797] ppid=12777 vsize=898196 CPUtime=2.23
/proc/12790/task/12797/stat : 12797 (java) S 12777 12776 4778 34817 4778 4202560 9237 0 0 0 220 3 0 0 15 0 11 0 10587108 919752704 75182 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12798] ppid=12777 vsize=898196 CPUtime=0
/proc/12790/task/12798/stat : 12798 (java) S 12777 12776 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 11 0 10587108 919752704 75182 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12799] ppid=12777 vsize=898196 CPUtime=0
/proc/12790/task/12799/stat : 12799 (java) S 12777 12776 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 11 0 10587108 919752704 75182 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12800] ppid=12777 vsize=898196 CPUtime=0
/proc/12790/task/12800/stat : 12800 (java) S 12777 12776 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 24 0 11 0 10587544 919752704 75182 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 903336

[startup+7.20746 s]
/proc/loadavg: 1.50 1.30 1.11 2/46 12800
/proc/meminfo: memFree=47516/1048576 swapFree=0/0
[pid=12776] ppid=12775 vsize=2568 CPUtime=0
/proc/12776/stat : 12776 (p2cudf-paranoid) S 12775 12776 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 10587099 2629632 270 1283457024 134512640 135304128 4292933680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12776/statm: 642 270 230 194 0 29 0
[pid=12777] ppid=12776 vsize=2572 CPUtime=0.03
/proc/12777/stat : 12777 (p2cudf) S 12776 12776 4778 34817 4778 4202496 390 3016 0 1 0 0 2 1 25 0 1 0 10587099 2633728 281 1283457024 134512640 135304128 4291073664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12777/statm: 643 281 239 194 0 30 0
[pid=12790] ppid=12777 vsize=896328 CPUtime=7.16
/proc/12790/stat : 12790 (java) S 12777 12776 4778 34817 4778 4202496 82721 0 1 0 689 27 0 0 25 0 11 0 10587103 917839872 74747 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12790/statm: 224082 74747 1778 10 0 221173 0
[pid=12790/tid=12791] ppid=12777 vsize=896328 CPUtime=4.08
/proc/12790/task/12791/stat : 12791 (java) R 12777 12776 4778 34817 4778 4202560 50276 0 1 0 388 20 0 0 25 0 11 0 10587103 917839872 74747 1283457024 134512640 134550932 4291722672 18446744073709551615 4096326896 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12790/tid=12792] ppid=12777 vsize=896328 CPUtime=0.31
/proc/12790/task/12792/stat : 12792 (java) S 12777 12776 4778 34817 4778 4202560 13123 0 0 0 28 3 0 0 15 0 11 0 10587105 917839872 74747 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12793] ppid=12777 vsize=896328 CPUtime=0
/proc/12790/task/12793/stat : 12793 (java) S 12777 12776 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 11 0 10587105 917839872 74747 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12794] ppid=12777 vsize=896328 CPUtime=0
/proc/12790/task/12794/stat : 12794 (java) S 12777 12776 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 10587105 917839872 74747 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12795] ppid=12777 vsize=896328 CPUtime=0
/proc/12790/task/12795/stat : 12795 (java) S 12777 12776 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10587108 917839872 74747 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12796] ppid=12777 vsize=896328 CPUtime=0.53
/proc/12790/task/12796/stat : 12796 (java) S 12777 12776 4778 34817 4778 4202560 9008 0 0 0 52 1 0 0 25 0 11 0 10587108 917839872 74747 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12797] ppid=12777 vsize=896328 CPUtime=2.23
/proc/12790/task/12797/stat : 12797 (java) S 12777 12776 4778 34817 4778 4202560 9237 0 0 0 220 3 0 0 15 0 11 0 10587108 917839872 74747 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12798] ppid=12777 vsize=896328 CPUtime=0
/proc/12790/task/12798/stat : 12798 (java) S 12777 12776 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 11 0 10587108 917839872 74747 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12799] ppid=12777 vsize=896328 CPUtime=0
/proc/12790/task/12799/stat : 12799 (java) S 12777 12776 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 11 0 10587108 917839872 74747 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12800] ppid=12777 vsize=896328 CPUtime=0
/proc/12790/task/12800/stat : 12800 (java) S 12777 12776 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 24 0 11 0 10587544 917839872 74747 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.19
Current children cumulated vsize (KiB) 901468

[startup+8.0063 s]
/proc/loadavg: 1.50 1.30 1.11 1/46 12801
/proc/meminfo: memFree=48756/1048576 swapFree=0/0
[pid=12776] ppid=12775 vsize=2568 CPUtime=0
/proc/12776/stat : 12776 (p2cudf-paranoid) S 12775 12776 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 10587099 2629632 270 1283457024 134512640 135304128 4292933680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12776/statm: 642 270 230 194 0 29 0
[pid=12777] ppid=12776 vsize=2572 CPUtime=0.03
/proc/12777/stat : 12777 (p2cudf) S 12776 12776 4778 34817 4778 4202496 390 3016 0 1 0 0 2 1 25 0 1 0 10587099 2633728 281 1283457024 134512640 135304128 4291073664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12777/statm: 643 281 239 194 0 30 0
[pid=12790] ppid=12777 vsize=896652 CPUtime=7.54
/proc/12790/stat : 12790 (java) S 12777 12776 4778 34817 4778 4202496 82741 0 1 0 727 27 0 0 25 0 11 0 10587103 918171648 74767 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12790/statm: 224163 74767 1779 10 0 221254 0
[pid=12790/tid=12791] ppid=12777 vsize=896652 CPUtime=4.44
/proc/12790/task/12791/stat : 12791 (java) S 12777 12776 4778 34817 4778 4202560 50284 0 1 0 424 20 0 0 25 0 11 0 10587103 918171648 74767 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12792] ppid=12777 vsize=896652 CPUtime=0.31
/proc/12790/task/12792/stat : 12792 (java) S 12777 12776 4778 34817 4778 4202560 13123 0 0 0 28 3 0 0 15 0 11 0 10587105 918171648 74767 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12793] ppid=12777 vsize=896652 CPUtime=0
/proc/12790/task/12793/stat : 12793 (java) S 12777 12776 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 11 0 10587105 918171648 74767 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12794] ppid=12777 vsize=896652 CPUtime=0
/proc/12790/task/12794/stat : 12794 (java) S 12777 12776 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 10587105 918171648 74767 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12795] ppid=12777 vsize=896652 CPUtime=0
/proc/12790/task/12795/stat : 12795 (java) S 12777 12776 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10587108 918171648 74767 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12796] ppid=12777 vsize=896652 CPUtime=0.53
/proc/12790/task/12796/stat : 12796 (java) S 12777 12776 4778 34817 4778 4202560 9008 0 0 0 52 1 0 0 25 0 11 0 10587108 918171648 74767 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12797] ppid=12777 vsize=896652 CPUtime=2.25
/proc/12790/task/12797/stat : 12797 (java) S 12777 12776 4778 34817 4778 4202560 9244 0 0 0 222 3 0 0 16 0 11 0 10587108 918171648 74767 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12798] ppid=12777 vsize=896652 CPUtime=0
/proc/12790/task/12798/stat : 12798 (java) S 12777 12776 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 11 0 10587108 918171648 74767 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12799] ppid=12777 vsize=896652 CPUtime=0
/proc/12790/task/12799/stat : 12799 (java) S 12777 12776 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 11 0 10587108 918171648 74767 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12801] ppid=12777 vsize=896652 CPUtime=0
/proc/12790/task/12801/stat : 12801 (java) S 12777 12776 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 11 0 10587859 918171648 74767 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.57
Current children cumulated vsize (KiB) 901792

[startup+8.20246 s]
/proc/loadavg: 1.50 1.30 1.11 1/46 12801
/proc/meminfo: memFree=48756/1048576 swapFree=0/0
[pid=12776] ppid=12775 vsize=2568 CPUtime=0
/proc/12776/stat : 12776 (p2cudf-paranoid) S 12775 12776 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 10587099 2629632 270 1283457024 134512640 135304128 4292933680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12776/statm: 642 270 230 194 0 29 0
[pid=12777] ppid=12776 vsize=2572 CPUtime=0.03
/proc/12777/stat : 12777 (p2cudf) S 12776 12776 4778 34817 4778 4202496 390 3016 0 1 0 0 2 1 25 0 1 0 10587099 2633728 281 1283457024 134512640 135304128 4291073664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12777/statm: 643 281 239 194 0 30 0
[pid=12790] ppid=12777 vsize=896652 CPUtime=7.6
/proc/12790/stat : 12790 (java) S 12777 12776 4778 34817 4778 4202496 82743 0 1 0 732 28 0 0 25 0 10 0 10587103 918171648 74769 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12790/statm: 224163 74769 1779 10 0 221254 0
[pid=12790/tid=12791] ppid=12777 vsize=896652 CPUtime=4.44
/proc/12790/task/12791/stat : 12791 (java) S 12777 12776 4778 34817 4778 4202560 50284 0 1 0 424 20 0 0 20 0 10 0 10587103 918171648 74769 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12792] ppid=12777 vsize=896652 CPUtime=0.31
/proc/12790/task/12792/stat : 12792 (java) S 12777 12776 4778 34817 4778 4202560 13123 0 0 0 28 3 0 0 16 0 10 0 10587105 918171648 74769 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12793] ppid=12777 vsize=896652 CPUtime=0
/proc/12790/task/12793/stat : 12793 (java) S 12777 12776 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 10 0 10587105 918171648 74769 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12794] ppid=12777 vsize=896652 CPUtime=0
/proc/12790/task/12794/stat : 12794 (java) S 12777 12776 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 10 0 10587105 918171648 74769 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12795] ppid=12777 vsize=896652 CPUtime=0
/proc/12790/task/12795/stat : 12795 (java) S 12777 12776 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10587108 918171648 74769 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12796] ppid=12777 vsize=896652 CPUtime=0.53
/proc/12790/task/12796/stat : 12796 (java) S 12777 12776 4778 34817 4778 4202560 9008 0 0 0 52 1 0 0 25 0 10 0 10587108 918171648 74769 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12797] ppid=12777 vsize=896652 CPUtime=2.25
/proc/12790/task/12797/stat : 12797 (java) S 12777 12776 4778 34817 4778 4202560 9244 0 0 0 222 3 0 0 16 0 10 0 10587108 918171648 74769 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12798] ppid=12777 vsize=896652 CPUtime=0
/proc/12790/task/12798/stat : 12798 (java) S 12777 12776 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 10587108 918171648 74769 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=12790/tid=12799] ppid=12777 vsize=896652 CPUtime=0
/proc/12790/task/12799/stat : 12799 (java) S 12777 12776 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10587108 918171648 74769 1283457024 134512640 134550932 4291722672 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.63
Current children cumulated vsize (KiB) 901792

Child status: 0
Real time (s): 8.23253
CPU time (s): 7.66448
CPU user time (s): 7.34446
CPU system time (s): 0.32002
CPU usage (%): 93.0999
Max. virtual memory (cumulated for all children) (KiB): 906168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.34446
system time used= 0.32002
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86550
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 809
involuntary context switches= 808

runsolver used 0 second user time and 0 second system time

The end