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/201012061533/p2cudf-paranoid-1.9/rand835640.cudf.impossible.log.runsolver ./p2cudf-paranoid-1.9 /home/misc2010/data/2010/impossible//rand835640.cudf /home/misc2010/tmp/201012061533/p2cudf-paranoid-1.9/rand835640.cudf.impossible.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.30 1.24 1.19 5/47 23599
/proc/meminfo: memFree=726024/1048576 swapFree=2078744/2097144
[pid=23597] ppid=23596 vsize=2572 CPUtime=0
/proc/23597/stat : 23597 (p2cudf-paranoid) S 23596 23597 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 22 0 1 0 876093698 2633728 272 1283457024 134512640 135304128 4289830208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23597/statm: 643 272 233 194 0 29 0
[pid=23598] ppid=23597 vsize=2576 CPUtime=0
/proc/23598/stat : 23598 (p2cudf) S 23597 23597 2059 34821 2220 4202496 355 0 0 0 0 0 0 0 25 0 1 0 876093698 2637824 274 1283457024 134512640 135304128 4287640368 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/23598/statm: 644 274 234 194 0 30 0
[pid=23599] ppid=23598 vsize=2576 CPUtime=0
/proc/23599/stat : 23599 (p2cudf) R 23598 23597 2059 34821 2220 4202560 91 0 0 0 0 0 0 0 25 0 1 0 876093698 2637824 116 1283457024 134512640 135304128 4287640368 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/23599/statm: 644 116 75 194 0 30 0
[pid=23600] ppid=23599 vsize=2576 CPUtime=0
/proc/23600/stat : 23600 (p2cudf) R 23599 23597 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 1 0 876093698 2637824 41 1283457024 134512640 135304128 4287640368 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/23600/statm: 644 41 0 194 0 30 0

[startup+0.193837 s]
/proc/loadavg: 1.30 1.24 1.19 5/47 23599
/proc/meminfo: memFree=726024/1048576 swapFree=2078744/2097144
[pid=23597] ppid=23596 vsize=2572 CPUtime=0
/proc/23597/stat : 23597 (p2cudf-paranoid) S 23596 23597 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 22 0 1 0 876093698 2633728 272 1283457024 134512640 135304128 4289830208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23597/statm: 643 272 233 194 0 29 0
[pid=23598] ppid=23597 vsize=2580 CPUtime=0.03
/proc/23598/stat : 23598 (p2cudf) S 23597 23597 2059 34821 2220 4202496 392 2986 0 1 0 0 1 2 25 0 1 0 876093698 2641920 282 1283457024 134512640 135304128 4287640368 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23598/statm: 645 282 241 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5152

[startup+0.203832 s]
/proc/loadavg: 1.30 1.24 1.19 5/47 23599
/proc/meminfo: memFree=726024/1048576 swapFree=2078744/2097144
[pid=23597] ppid=23596 vsize=2572 CPUtime=0
/proc/23597/stat : 23597 (p2cudf-paranoid) S 23596 23597 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 22 0 1 0 876093698 2633728 272 1283457024 134512640 135304128 4289830208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23597/statm: 643 272 233 194 0 29 0
[pid=23598] ppid=23597 vsize=2580 CPUtime=0.03
/proc/23598/stat : 23598 (p2cudf) S 23597 23597 2059 34821 2220 4202496 392 2986 0 1 0 0 1 2 25 0 1 0 876093698 2641920 282 1283457024 134512640 135304128 4287640368 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23598/statm: 645 282 241 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5152

[startup+0.313864 s]
/proc/loadavg: 1.30 1.24 1.19 5/47 23599
/proc/meminfo: memFree=726024/1048576 swapFree=2078744/2097144
[pid=23597] ppid=23596 vsize=2572 CPUtime=0
/proc/23597/stat : 23597 (p2cudf-paranoid) S 23596 23597 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 22 0 1 0 876093698 2633728 272 1283457024 134512640 135304128 4289830208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23597/statm: 643 272 233 194 0 29 0
[pid=23598] ppid=23597 vsize=2580 CPUtime=0.03
/proc/23598/stat : 23598 (p2cudf) S 23597 23597 2059 34821 2220 4202496 392 2986 0 1 0 0 1 2 25 0 1 0 876093698 2641920 282 1283457024 134512640 135304128 4287640368 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23598/statm: 645 282 241 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5152

[startup+0.709846 s]
/proc/loadavg: 1.30 1.24 1.19 5/47 23599
/proc/meminfo: memFree=726024/1048576 swapFree=2078744/2097144
[pid=23597] ppid=23596 vsize=2572 CPUtime=0
/proc/23597/stat : 23597 (p2cudf-paranoid) S 23596 23597 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 22 0 1 0 876093698 2633728 272 1283457024 134512640 135304128 4289830208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23597/statm: 643 272 233 194 0 29 0
[pid=23598] ppid=23597 vsize=2580 CPUtime=0.03
/proc/23598/stat : 23598 (p2cudf) S 23597 23597 2059 34821 2220 4202496 392 2986 0 1 0 0 1 2 25 0 1 0 876093698 2641920 282 1283457024 134512640 135304128 4287640368 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23598/statm: 645 282 241 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5152

[startup+1.50999 s]
/proc/loadavg: 1.36 1.25 1.20 4/57 23620
/proc/meminfo: memFree=691896/1048576 swapFree=2078744/2097144
[pid=23597] ppid=23596 vsize=2572 CPUtime=0
/proc/23597/stat : 23597 (p2cudf-paranoid) S 23596 23597 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 22 0 1 0 876093698 2633728 272 1283457024 134512640 135304128 4289830208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23597/statm: 643 272 233 194 0 29 0
[pid=23598] ppid=23597 vsize=2580 CPUtime=0.03
/proc/23598/stat : 23598 (p2cudf) S 23597 23597 2059 34821 2220 4202496 392 2986 0 1 0 0 1 2 25 0 1 0 876093698 2641920 282 1283457024 134512640 135304128 4287640368 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23598/statm: 645 282 241 194 0 31 0
[pid=23611] ppid=23598 vsize=869552 CPUtime=1.41
/proc/23611/stat : 23611 (java) S 23598 23597 2059 34821 2220 4202496 17300 0 1 0 131 10 0 0 25 0 10 0 876093703 890421248 15402 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23611/statm: 217388 15402 1741 10 0 214478 0
[pid=23611/tid=23612] ppid=23598 vsize=869552 CPUtime=0.64
/proc/23611/task/23612/stat : 23612 (java) R 23598 23597 2059 34821 2220 4202560 10651 0 1 0 56 8 0 0 25 0 10 0 876093704 890421248 15402 1283457024 134512640 134550932 4287144272 18446744073709551615 4095193606 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23611/tid=23613] ppid=23598 vsize=869552 CPUtime=0
/proc/23611/task/23613/stat : 23613 (java) S 23598 23597 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876093705 890421248 15402 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23614] ppid=23598 vsize=869552 CPUtime=0
/proc/23611/task/23614/stat : 23614 (java) S 23598 23597 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876093706 890421248 15402 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23615] ppid=23598 vsize=869552 CPUtime=0
/proc/23611/task/23615/stat : 23615 (java) S 23598 23597 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876093706 890421248 15402 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23616] ppid=23598 vsize=869552 CPUtime=0
/proc/23611/task/23616/stat : 23616 (java) S 23598 23597 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876093708 890421248 15402 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23617] ppid=23598 vsize=869552 CPUtime=0.27
/proc/23611/task/23617/stat : 23617 (java) R 23598 23597 2059 34821 2220 4202560 2617 0 0 0 26 1 0 0 25 0 10 0 876093708 890421248 15402 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23611/tid=23618] ppid=23598 vsize=869552 CPUtime=0.48
/proc/23611/task/23618/stat : 23618 (java) S 23598 23597 2059 34821 2220 4202560 2915 0 0 0 48 0 0 0 21 0 10 0 876093708 890421248 15402 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23619] ppid=23598 vsize=869552 CPUtime=0
/proc/23611/task/23619/stat : 23619 (java) S 23598 23597 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876093708 890421248 15402 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23620] ppid=23598 vsize=869552 CPUtime=0
/proc/23611/task/23620/stat : 23620 (java) S 23598 23597 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 10 0 876093708 890421248 15402 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 874704

[startup+3.10913 s]
/proc/loadavg: 1.36 1.25 1.20 2/57 23620
/proc/meminfo: memFree=538676/1048576 swapFree=2078744/2097144
[pid=23597] ppid=23596 vsize=2572 CPUtime=0
/proc/23597/stat : 23597 (p2cudf-paranoid) S 23596 23597 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 22 0 1 0 876093698 2633728 272 1283457024 134512640 135304128 4289830208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23597/statm: 643 272 233 194 0 29 0
[pid=23598] ppid=23597 vsize=2580 CPUtime=0.03
/proc/23598/stat : 23598 (p2cudf) S 23597 23597 2059 34821 2220 4202496 392 2986 0 1 0 0 1 2 25 0 1 0 876093698 2641920 282 1283457024 134512640 135304128 4287640368 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23598/statm: 645 282 241 194 0 31 0
[pid=23611] ppid=23598 vsize=869552 CPUtime=2.91
/proc/23611/stat : 23611 (java) S 23598 23597 2059 34821 2220 4202496 70749 0 1 0 266 25 0 0 25 0 10 0 876093703 890421248 68851 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23611/statm: 217388 68851 1743 10 0 214478 0
[pid=23611/tid=23612] ppid=23598 vsize=869552 CPUtime=1.77
/proc/23611/task/23612/stat : 23612 (java) R 23598 23597 2059 34821 2220 4202560 50240 0 1 0 158 19 0 0 25 0 10 0 876093704 890421248 68851 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23611/tid=23613] ppid=23598 vsize=869552 CPUtime=0.29
/proc/23611/task/23613/stat : 23613 (java) S 23598 23597 2059 34821 2220 4202560 13857 0 0 0 25 4 0 0 16 0 10 0 876093705 890421248 68851 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23614] ppid=23598 vsize=869552 CPUtime=0
/proc/23611/task/23614/stat : 23614 (java) S 23598 23597 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 10 0 876093706 890421248 68851 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23615] ppid=23598 vsize=869552 CPUtime=0
/proc/23611/task/23615/stat : 23615 (java) S 23598 23597 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876093706 890421248 68851 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23616] ppid=23598 vsize=869552 CPUtime=0
/proc/23611/task/23616/stat : 23616 (java) S 23598 23597 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876093708 890421248 68851 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23617] ppid=23598 vsize=869552 CPUtime=0.34
/proc/23611/task/23617/stat : 23617 (java) S 23598 23597 2059 34821 2220 4202560 2620 0 0 0 33 1 0 0 19 0 10 0 876093708 890421248 68851 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23618] ppid=23598 vsize=869552 CPUtime=0.49
/proc/23611/task/23618/stat : 23618 (java) S 23598 23597 2059 34821 2220 4202560 2918 0 0 0 49 0 0 0 20 0 10 0 876093708 890421248 68851 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23619] ppid=23598 vsize=869552 CPUtime=0
/proc/23611/task/23619/stat : 23619 (java) S 23598 23597 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876093708 890421248 68851 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23620] ppid=23598 vsize=869552 CPUtime=0
/proc/23611/task/23620/stat : 23620 (java) S 23598 23597 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 10 0 876093708 890421248 68851 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 874704

[startup+6.30743 s]
/proc/loadavg: 1.36 1.25 1.20 2/57 23620
/proc/meminfo: memFree=349568/1048576 swapFree=2078744/2097144
[pid=23597] ppid=23596 vsize=2572 CPUtime=0
/proc/23597/stat : 23597 (p2cudf-paranoid) S 23596 23597 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 22 0 1 0 876093698 2633728 272 1283457024 134512640 135304128 4289830208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23597/statm: 643 272 233 194 0 29 0
[pid=23598] ppid=23597 vsize=2580 CPUtime=0.03
/proc/23598/stat : 23598 (p2cudf) S 23597 23597 2059 34821 2220 4202496 392 2986 0 1 0 0 1 2 25 0 1 0 876093698 2641920 282 1283457024 134512640 135304128 4287640368 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23598/statm: 645 282 241 194 0 31 0
[pid=23611] ppid=23598 vsize=873032 CPUtime=6.08
/proc/23611/stat : 23611 (java) S 23598 23597 2059 34821 2220 4202496 92132 0 1 0 572 36 0 0 25 0 11 0 876093703 893984768 89020 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23611/statm: 218258 89020 1773 10 0 215348 0
[pid=23611/tid=23612] ppid=23598 vsize=873032 CPUtime=2.86
/proc/23611/task/23612/stat : 23612 (java) R 23598 23597 2059 34821 2220 4202560 50443 0 1 0 266 20 0 0 25 0 11 0 876093704 893984768 89020 1283457024 134512640 134550932 4287144272 18446744073709551615 4095175084 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23611/tid=23613] ppid=23598 vsize=873032 CPUtime=0.74
/proc/23611/task/23613/stat : 23613 (java) S 23598 23597 2059 34821 2220 4202560 32858 0 0 0 60 14 0 0 16 0 11 0 876093705 893984768 89020 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23614] ppid=23598 vsize=873032 CPUtime=0
/proc/23611/task/23614/stat : 23614 (java) S 23598 23597 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876093706 893984768 89020 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23615] ppid=23598 vsize=873032 CPUtime=0
/proc/23611/task/23615/stat : 23615 (java) S 23598 23597 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 11 0 876093706 893984768 89020 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23616] ppid=23598 vsize=873032 CPUtime=0
/proc/23611/task/23616/stat : 23616 (java) S 23598 23597 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876093708 893984768 89020 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23617] ppid=23598 vsize=873032 CPUtime=1.97
/proc/23611/task/23617/stat : 23617 (java) S 23598 23597 2059 34821 2220 4202560 4795 0 0 0 196 1 0 0 15 0 11 0 876093708 893984768 89020 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23618] ppid=23598 vsize=873032 CPUtime=0.49
/proc/23611/task/23618/stat : 23618 (java) S 23598 23597 2059 34821 2220 4202560 2918 0 0 0 49 0 0 0 20 0 11 0 876093708 893984768 89020 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23619] ppid=23598 vsize=873032 CPUtime=0
/proc/23611/task/23619/stat : 23619 (java) S 23598 23597 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876093708 893984768 89020 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23620] ppid=23598 vsize=873032 CPUtime=0
/proc/23611/task/23620/stat : 23620 (java) S 23598 23597 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 11 0 876093708 893984768 89020 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 878184

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

[startup+7.71013 s]
/proc/loadavg: 1.33 1.24 1.19 4/59 23629
/proc/meminfo: memFree=349180/1048576 swapFree=2078744/2097144
[pid=23597] ppid=23596 vsize=2572 CPUtime=0
/proc/23597/stat : 23597 (p2cudf-paranoid) S 23596 23597 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 22 0 1 0 876093698 2633728 272 1283457024 134512640 135304128 4289830208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23597/statm: 643 272 233 194 0 29 0
[pid=23598] ppid=23597 vsize=2580 CPUtime=0.03
/proc/23598/stat : 23598 (p2cudf) S 23597 23597 2059 34821 2220 4202496 392 2986 0 1 0 0 1 2 25 0 1 0 876093698 2641920 282 1283457024 134512640 135304128 4287640368 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23598/statm: 645 282 241 194 0 31 0
[pid=23611] ppid=23598 vsize=874328 CPUtime=7.48
/proc/23611/stat : 23611 (java) S 23598 23597 2059 34821 2220 4202496 92212 0 1 0 712 36 0 0 25 0 10 0 876093703 895311872 89100 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23611/statm: 218582 89100 1792 10 0 215672 0
[pid=23611/tid=23612] ppid=23598 vsize=874328 CPUtime=3.85
/proc/23611/task/23612/stat : 23612 (java) R 23598 23597 2059 34821 2220 4202560 50452 0 1 0 365 20 0 0 25 0 10 0 876093704 895311872 89100 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23611/tid=23613] ppid=23598 vsize=874328 CPUtime=0.76
/proc/23611/task/23613/stat : 23613 (java) S 23598 23597 2059 34821 2220 4202560 32858 0 0 0 62 14 0 0 16 0 10 0 876093705 895311872 89100 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23614] ppid=23598 vsize=874328 CPUtime=0
/proc/23611/task/23614/stat : 23614 (java) S 23598 23597 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 10 0 876093706 895311872 89100 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23615] ppid=23598 vsize=874328 CPUtime=0
/proc/23611/task/23615/stat : 23615 (java) S 23598 23597 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876093706 895311872 89100 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23616] ppid=23598 vsize=874328 CPUtime=0
/proc/23611/task/23616/stat : 23616 (java) S 23598 23597 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876093708 895311872 89100 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23617] ppid=23598 vsize=874328 CPUtime=2.37
/proc/23611/task/23617/stat : 23617 (java) S 23598 23597 2059 34821 2220 4202560 4850 0 0 0 236 1 0 0 15 0 10 0 876093708 895311872 89100 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23618] ppid=23598 vsize=874328 CPUtime=0.49
/proc/23611/task/23618/stat : 23618 (java) S 23598 23597 2059 34821 2220 4202560 2918 0 0 0 49 0 0 0 20 0 10 0 876093708 895311872 89100 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23619] ppid=23598 vsize=874328 CPUtime=0
/proc/23611/task/23619/stat : 23619 (java) S 23598 23597 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876093708 895311872 89100 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23620] ppid=23598 vsize=874328 CPUtime=0
/proc/23611/task/23620/stat : 23620 (java) S 23598 23597 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 10 0 876093708 895311872 89100 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.51
Current children cumulated vsize (KiB) 879480

[startup+8.10425 s]
/proc/loadavg: 1.33 1.24 1.19 4/59 23629
/proc/meminfo: memFree=349180/1048576 swapFree=2078744/2097144
[pid=23597] ppid=23596 vsize=2572 CPUtime=0
/proc/23597/stat : 23597 (p2cudf-paranoid) S 23596 23597 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 22 0 1 0 876093698 2633728 272 1283457024 134512640 135304128 4289830208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23597/statm: 643 272 233 194 0 29 0
[pid=23598] ppid=23597 vsize=2580 CPUtime=0.03
/proc/23598/stat : 23598 (p2cudf) S 23597 23597 2059 34821 2220 4202496 392 2986 0 1 0 0 1 2 25 0 1 0 876093698 2641920 282 1283457024 134512640 135304128 4287640368 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23598/statm: 645 282 241 194 0 31 0
[pid=23611] ppid=23598 vsize=874328 CPUtime=7.63
/proc/23611/stat : 23611 (java) S 23598 23597 2059 34821 2220 4202496 92218 0 1 0 727 36 0 0 25 0 11 0 876093703 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23611/statm: 218582 89106 1792 10 0 215672 0
[pid=23611/tid=23612] ppid=23598 vsize=874328 CPUtime=3.98
/proc/23611/task/23612/stat : 23612 (java) S 23598 23597 2059 34821 2220 4202560 50458 0 1 0 378 20 0 0 25 0 11 0 876093704 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23613] ppid=23598 vsize=874328 CPUtime=0.76
/proc/23611/task/23613/stat : 23613 (java) S 23598 23597 2059 34821 2220 4202560 32858 0 0 0 62 14 0 0 16 0 11 0 876093705 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23614] ppid=23598 vsize=874328 CPUtime=0
/proc/23611/task/23614/stat : 23614 (java) S 23598 23597 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876093706 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23615] ppid=23598 vsize=874328 CPUtime=0
/proc/23611/task/23615/stat : 23615 (java) S 23598 23597 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 11 0 876093706 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23616] ppid=23598 vsize=874328 CPUtime=0
/proc/23611/task/23616/stat : 23616 (java) S 23598 23597 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876093708 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23617] ppid=23598 vsize=874328 CPUtime=2.39
/proc/23611/task/23617/stat : 23617 (java) S 23598 23597 2059 34821 2220 4202560 4850 0 0 0 238 1 0 0 16 0 11 0 876093708 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23618] ppid=23598 vsize=874328 CPUtime=0.49
/proc/23611/task/23618/stat : 23618 (java) S 23598 23597 2059 34821 2220 4202560 2918 0 0 0 49 0 0 0 20 0 11 0 876093708 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23619] ppid=23598 vsize=874328 CPUtime=0
/proc/23611/task/23619/stat : 23619 (java) S 23598 23597 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876093708 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23620] ppid=23598 vsize=874328 CPUtime=0
/proc/23611/task/23620/stat : 23620 (java) R 23598 23597 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 11 0 876093708 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.66
Current children cumulated vsize (KiB) 879480

[startup+8.30427 s]
/proc/loadavg: 1.33 1.24 1.19 4/59 23629
/proc/meminfo: memFree=349180/1048576 swapFree=2078744/2097144
[pid=23597] ppid=23596 vsize=2572 CPUtime=0
/proc/23597/stat : 23597 (p2cudf-paranoid) S 23596 23597 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 22 0 1 0 876093698 2633728 272 1283457024 134512640 135304128 4289830208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23597/statm: 643 272 233 194 0 29 0
[pid=23598] ppid=23597 vsize=2580 CPUtime=0.03
/proc/23598/stat : 23598 (p2cudf) S 23597 23597 2059 34821 2220 4202496 392 2986 0 1 0 0 1 2 25 0 1 0 876093698 2641920 282 1283457024 134512640 135304128 4287640368 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23598/statm: 645 282 241 194 0 31 0
[pid=23611] ppid=23598 vsize=874328 CPUtime=7.63
/proc/23611/stat : 23611 (java) S 23598 23597 2059 34821 2220 4202496 92218 0 1 0 727 36 0 0 25 0 11 0 876093703 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23611/statm: 218582 89106 1792 10 0 215672 0
[pid=23611/tid=23612] ppid=23598 vsize=874328 CPUtime=3.98
/proc/23611/task/23612/stat : 23612 (java) S 23598 23597 2059 34821 2220 4202560 50458 0 1 0 378 20 0 0 25 0 11 0 876093704 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23613] ppid=23598 vsize=874328 CPUtime=0.76
/proc/23611/task/23613/stat : 23613 (java) S 23598 23597 2059 34821 2220 4202560 32858 0 0 0 62 14 0 0 16 0 11 0 876093705 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23614] ppid=23598 vsize=874328 CPUtime=0
/proc/23611/task/23614/stat : 23614 (java) S 23598 23597 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876093706 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23615] ppid=23598 vsize=874328 CPUtime=0
/proc/23611/task/23615/stat : 23615 (java) S 23598 23597 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 11 0 876093706 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23616] ppid=23598 vsize=874328 CPUtime=0
/proc/23611/task/23616/stat : 23616 (java) S 23598 23597 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876093708 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23617] ppid=23598 vsize=874328 CPUtime=2.39
/proc/23611/task/23617/stat : 23617 (java) S 23598 23597 2059 34821 2220 4202560 4850 0 0 0 238 1 0 0 16 0 11 0 876093708 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23618] ppid=23598 vsize=874328 CPUtime=0.49
/proc/23611/task/23618/stat : 23618 (java) S 23598 23597 2059 34821 2220 4202560 2918 0 0 0 49 0 0 0 20 0 11 0 876093708 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23619] ppid=23598 vsize=874328 CPUtime=0
/proc/23611/task/23619/stat : 23619 (java) S 23598 23597 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876093708 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23620] ppid=23598 vsize=874328 CPUtime=0
/proc/23611/task/23620/stat : 23620 (java) S 23598 23597 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 11 0 876093708 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.66
Current children cumulated vsize (KiB) 879480

[startup+8.41032 s]
/proc/loadavg: 1.33 1.24 1.19 4/59 23629
/proc/meminfo: memFree=349180/1048576 swapFree=2078744/2097144
[pid=23597] ppid=23596 vsize=2572 CPUtime=0
/proc/23597/stat : 23597 (p2cudf-paranoid) S 23596 23597 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 22 0 1 0 876093698 2633728 272 1283457024 134512640 135304128 4289830208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23597/statm: 643 272 233 194 0 29 0
[pid=23598] ppid=23597 vsize=2580 CPUtime=0.03
/proc/23598/stat : 23598 (p2cudf) S 23597 23597 2059 34821 2220 4202496 392 2986 0 1 0 0 1 2 25 0 1 0 876093698 2641920 282 1283457024 134512640 135304128 4287640368 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23598/statm: 645 282 241 194 0 31 0
[pid=23611] ppid=23598 vsize=874328 CPUtime=7.67
/proc/23611/stat : 23611 (java) S 23598 23597 2059 34821 2220 4202496 92218 0 1 0 731 36 0 0 25 0 11 0 876093703 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23611/statm: 218582 89106 1792 10 0 215672 0
[pid=23611/tid=23612] ppid=23598 vsize=874328 CPUtime=3.98
/proc/23611/task/23612/stat : 23612 (java) S 23598 23597 2059 34821 2220 4202560 50458 0 1 0 378 20 0 0 25 0 11 0 876093704 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23613] ppid=23598 vsize=874328 CPUtime=0.76
/proc/23611/task/23613/stat : 23613 (java) S 23598 23597 2059 34821 2220 4202560 32858 0 0 0 62 14 0 0 16 0 11 0 876093705 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23614] ppid=23598 vsize=874328 CPUtime=0
/proc/23611/task/23614/stat : 23614 (java) S 23598 23597 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876093706 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23615] ppid=23598 vsize=874328 CPUtime=0
/proc/23611/task/23615/stat : 23615 (java) S 23598 23597 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 11 0 876093706 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23616] ppid=23598 vsize=874328 CPUtime=0
/proc/23611/task/23616/stat : 23616 (java) S 23598 23597 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876093708 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23617] ppid=23598 vsize=874328 CPUtime=2.41
/proc/23611/task/23617/stat : 23617 (java) S 23598 23597 2059 34821 2220 4202560 4850 0 0 0 240 1 0 0 15 0 11 0 876093708 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23618] ppid=23598 vsize=874328 CPUtime=0.49
/proc/23611/task/23618/stat : 23618 (java) S 23598 23597 2059 34821 2220 4202560 2918 0 0 0 49 0 0 0 20 0 11 0 876093708 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23619] ppid=23598 vsize=874328 CPUtime=0
/proc/23611/task/23619/stat : 23619 (java) S 23598 23597 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876093708 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=23611/tid=23620] ppid=23598 vsize=874328 CPUtime=0
/proc/23611/task/23620/stat : 23620 (java) S 23598 23597 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 11 0 876093708 895311872 89106 1283457024 134512640 134550932 4287144272 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.7
Current children cumulated vsize (KiB) 879480

Child status: 0
Real time (s): 8.47002
CPU time (s): 7.75648
CPU user time (s): 7.34846
CPU system time (s): 0.408025
CPU usage (%): 91.5757
Max. virtual memory (cumulated for all children) (KiB): 879480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.34846
system time used= 0.408025
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95997
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= 1077
involuntary context switches= 1102

runsolver used 0 second user time and 0.008 second system time

The end