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/201108241238/packup2mp4tr-0.6/rand408.cudf.s-e-l.log.runsolver ./packup2mp4tr-0.6 /home/misc2010/data/2011/incremental/s-e-l/rand408.cudf /home/misc2010/tmp/201108241238/packup2mp4tr-0.6/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.02 1.02 1.00 5/34 11971
/proc/meminfo: memFree=526352/1048576 swapFree=0/0
[pid=11970] ppid=11969 vsize=2576 CPUtime=0
/proc/11970/stat : 11970 (packup2mp4tr-0.) R 11969 11970 1511 34817 1511 4202496 361 0 0 0 0 0 0 0 25 0 1 0 2838159 2637824 275 1283457024 134512640 135304128 4289008768 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0
/proc/11970/statm: 644 275 233 194 0 31 0
[pid=11971] ppid=11970 vsize=2576 CPUtime=0
/proc/11971/stat : 11971 (packup2mp4tr-0.) R 11970 11970 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 2838159 2637824 42 1283457024 134512640 135304128 4289008768 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0
/proc/11971/statm: 644 42 0 194 0 31 0

[startup+0.119306 s]
/proc/loadavg: 1.02 1.02 1.00 5/34 11971
/proc/meminfo: memFree=526352/1048576 swapFree=0/0
[pid=11970] ppid=11969 vsize=2576 CPUtime=0
/proc/11970/stat : 11970 (packup2mp4tr-0.) S 11969 11970 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 25 0 1 0 2838159 2637824 275 1283457024 134512640 135304128 4289008768 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/11970/statm: 644 275 233 194 0 31 0
[pid=11971] ppid=11970 vsize=8200 CPUtime=0.12
/proc/11971/stat : 11971 (packup) R 11970 11970 1511 34817 1511 4202496 1542 0 0 0 12 0 0 0 25 0 1 0 2838159 8396800 1470 1283457024 134512640 134752139 4294816208 18446744073709551615 4157627515 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/11971/statm: 2050 1470 286 59 0 1214 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10776

[startup+0.209318 s]
/proc/loadavg: 1.02 1.02 1.00 5/34 11971
/proc/meminfo: memFree=526352/1048576 swapFree=0/0
[pid=11970] ppid=11969 vsize=2576 CPUtime=0
/proc/11970/stat : 11970 (packup2mp4tr-0.) S 11969 11970 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 25 0 1 0 2838159 2637824 275 1283457024 134512640 135304128 4289008768 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/11970/statm: 644 275 233 194 0 31 0
[pid=11971] ppid=11970 vsize=11368 CPUtime=0.2
/proc/11971/stat : 11971 (packup) R 11970 11970 1511 34817 1511 4202496 2333 0 0 0 20 0 0 0 25 0 1 0 2838159 11640832 2261 1283457024 134512640 134752139 4294816208 18446744073709551615 134681798 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/11971/statm: 2842 2261 286 59 0 2006 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 13944

[startup+0.309352 s]
/proc/loadavg: 1.02 1.02 1.00 5/34 11971
/proc/meminfo: memFree=526352/1048576 swapFree=0/0
[pid=11970] ppid=11969 vsize=2576 CPUtime=0
/proc/11970/stat : 11970 (packup2mp4tr-0.) S 11969 11970 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 25 0 1 0 2838159 2637824 275 1283457024 134512640 135304128 4289008768 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/11970/statm: 644 275 233 194 0 31 0
[pid=11971] ppid=11970 vsize=14404 CPUtime=0.3
/proc/11971/stat : 11971 (packup) R 11970 11970 1511 34817 1511 4202496 3106 0 0 0 30 0 0 0 25 0 1 0 2838159 14749696 3034 1283457024 134512640 134752139 4294816208 18446744073709551615 134694895 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/11971/statm: 3601 3034 286 59 0 2765 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 16980

[startup+0.709451 s]
/proc/loadavg: 1.02 1.02 1.00 5/34 11971
/proc/meminfo: memFree=526352/1048576 swapFree=0/0
[pid=11970] ppid=11969 vsize=2576 CPUtime=0
/proc/11970/stat : 11970 (packup2mp4tr-0.) S 11969 11970 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 25 0 1 0 2838159 2637824 275 1283457024 134512640 135304128 4289008768 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/11970/statm: 644 275 233 194 0 31 0
[pid=11971] ppid=11970 vsize=25160 CPUtime=0.7
/proc/11971/stat : 11971 (packup) R 11970 11970 1511 34817 1511 4202496 5778 0 0 0 70 0 0 0 25 0 1 0 2838159 25763840 5706 1283457024 134512640 134752139 4294816208 18446744073709551615 134694852 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/11971/statm: 6290 5706 286 59 0 5454 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 27736

[startup+1.50966 s]
/proc/loadavg: 1.02 1.02 1.00 2/35 11972
/proc/meminfo: memFree=486568/1048576 swapFree=0/0
[pid=11970] ppid=11969 vsize=2576 CPUtime=0
/proc/11970/stat : 11970 (packup2mp4tr-0.) S 11969 11970 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 25 0 1 0 2838159 2637824 275 1283457024 134512640 135304128 4289008768 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/11970/statm: 644 275 233 194 0 31 0
[pid=11971] ppid=11970 vsize=45632 CPUtime=1.44
/proc/11971/stat : 11971 (packup) S 11970 11970 1511 34817 1511 4202496 11037 0 0 0 129 15 0 0 25 0 1 0 2838159 46727168 10648 1283457024 134512640 134752139 4294816208 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/11971/statm: 11408 10648 325 59 0 10572 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 48208

[startup+3.11005 s]
/proc/loadavg: 1.02 1.02 1.00 2/37 11974
/proc/meminfo: memFree=467688/1048576 swapFree=0/0
[pid=11970] ppid=11969 vsize=2576 CPUtime=0
/proc/11970/stat : 11970 (packup2mp4tr-0.) S 11969 11970 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 25 0 1 0 2838159 2637824 275 1283457024 134512640 135304128 4289008768 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/11970/statm: 644 275 233 194 0 31 0
[pid=11971] ppid=11970 vsize=45636 CPUtime=3.1
/proc/11971/stat : 11971 (packup) R 11970 11970 1511 34817 1511 4202496 11117 9219 0 0 135 27 132 16 18 0 1 0 2838159 46731264 10665 1283457024 134512640 134752139 4294816208 18446744073709551615 4159074839 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/11971/statm: 11409 10665 333 59 0 10573 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 48212

[startup+6.31097 s]
/proc/loadavg: 1.02 1.02 1.00 2/37 11976
/proc/meminfo: memFree=416360/1048576 swapFree=0/0
[pid=11970] ppid=11969 vsize=2576 CPUtime=0
/proc/11970/stat : 11970 (packup2mp4tr-0.) S 11969 11970 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 25 0 1 0 2838159 2637824 275 1283457024 134512640 135304128 4289008768 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/11970/statm: 644 275 233 194 0 31 0
[pid=11971] ppid=11970 vsize=45636 CPUtime=3.25
/proc/11971/stat : 11971 (packup) S 11970 11970 1511 34817 1511 4202496 11118 9219 0 0 143 34 132 16 18 0 1 0 2838159 46731264 10665 1283457024 134512640 134752139 4294816208 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/11971/statm: 11409 10665 333 59 0 10573 0
[pid=11975] ppid=11971 vsize=1672 CPUtime=0
/proc/11975/stat : 11975 (sh) S 11971 11970 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 2838485 1712128 123 1283457024 134512640 134593992 4294216176 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/11975/statm: 418 123 108 20 0 45 0
[pid=11976] ppid=11975 vsize=71884 CPUtime=3.04
/proc/11976/stat : 11976 (minisatp_32) R 11975 11970 1511 34817 1511 4202496 24840 0 0 0 288 16 0 0 25 0 1 0 2838485 73609216 16464 1283457024 134512640 135413687 4291821504 18446744073709551615 134649535 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/11976/statm: 17971 16464 107 220 0 17749 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 121768

[startup+12.7126 s]
/proc/loadavg: 1.01 1.02 1.00 2/37 11980
/proc/meminfo: memFree=475260/1048576 swapFree=0/0
[pid=11970] ppid=11969 vsize=2576 CPUtime=0
/proc/11970/stat : 11970 (packup2mp4tr-0.) S 11969 11970 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 25 0 1 0 2838159 2637824 275 1283457024 134512640 135304128 4289008768 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/11970/statm: 644 275 233 194 0 31 0
[pid=11971] ppid=11970 vsize=45644 CPUtime=11.82
/proc/11971/stat : 11971 (packup) S 11970 11970 1511 34817 1511 4202496 11296 71816 0 0 182 63 880 57 18 0 1 0 2838159 46739456 10674 1283457024 134512640 134752139 4294816208 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/11971/statm: 11411 10674 333 59 0 10575 0
[pid=11979] ppid=11971 vsize=1672 CPUtime=0
/proc/11979/stat : 11979 (sh) S 11971 11970 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 2839344 1712128 123 1283457024 134512640 134593992 4289760688 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/11979/statm: 418 123 108 20 0 45 0
[pid=11980] ppid=11979 vsize=21600 CPUtime=0.85
/proc/11980/stat : 11980 (minisatp_32) R 11979 11970 1511 34817 1511 4202496 4591 0 0 0 82 3 0 0 23 0 1 0 2839344 22118400 4054 1283457024 134512640 135413687 4289412464 18446744073709551615 134957859 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/11980/statm: 5400 4054 77 220 0 5178 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 71492

[startup+25.5064 s]
/proc/loadavg: 1.01 1.01 1.00 2/37 11980
/proc/meminfo: memFree=302900/1048576 swapFree=0/0
[pid=11970] ppid=11969 vsize=2576 CPUtime=0
/proc/11970/stat : 11970 (packup2mp4tr-0.) S 11969 11970 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 25 0 1 0 2838159 2637824 275 1283457024 134512640 135304128 4289008768 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/11970/statm: 644 275 233 194 0 31 0
[pid=11971] ppid=11970 vsize=45644 CPUtime=11.82
/proc/11971/stat : 11971 (packup) S 11970 11970 1511 34817 1511 4202496 11296 71816 0 0 182 63 880 57 18 0 1 0 2838159 46739456 10674 1283457024 134512640 134752139 4294816208 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/11971/statm: 11411 10674 333 59 0 10575 0
[pid=11979] ppid=11971 vsize=1672 CPUtime=0
/proc/11979/stat : 11979 (sh) S 11971 11970 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 2839344 1712128 123 1283457024 134512640 134593992 4289760688 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/11979/statm: 418 123 108 20 0 45 0
[pid=11980] ppid=11979 vsize=198220 CPUtime=13.63
/proc/11980/stat : 11980 (minisatp_32) R 11979 11970 1511 34817 1511 4202496 71333 0 0 0 1327 36 0 0 25 0 1 0 2839344 202977280 44492 1283457024 134512640 135413687 4289412464 18446744073709551615 134649456 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/11980/statm: 49555 44492 110 220 0 49333 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 248112

[startup+51.1043 s]
/proc/loadavg: 1.01 1.01 1.00 2/37 11980
/proc/meminfo: memFree=299428/1048576 swapFree=0/0
[pid=11970] ppid=11969 vsize=2576 CPUtime=0
/proc/11970/stat : 11970 (packup2mp4tr-0.) S 11969 11970 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 25 0 1 0 2838159 2637824 275 1283457024 134512640 135304128 4289008768 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/11970/statm: 644 275 233 194 0 31 0
[pid=11971] ppid=11970 vsize=45644 CPUtime=11.82
/proc/11971/stat : 11971 (packup) S 11970 11970 1511 34817 1511 4202496 11296 71816 0 0 182 63 880 57 18 0 1 0 2838159 46739456 10674 1283457024 134512640 134752139 4294816208 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/11971/statm: 11411 10674 333 59 0 10575 0
[pid=11979] ppid=11971 vsize=1672 CPUtime=0
/proc/11979/stat : 11979 (sh) S 11971 11970 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 2839344 1712128 123 1283457024 134512640 134593992 4289760688 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/11979/statm: 418 123 108 20 0 45 0
[pid=11980] ppid=11979 vsize=206492 CPUtime=39.22
/proc/11980/stat : 11980 (minisatp_32) R 11979 11970 1511 34817 1511 4202496 72933 0 0 0 3882 40 0 0 25 0 1 0 2839344 211447808 45488 1283457024 134512640 135413687 4289412464 18446744073709551615 134649456 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/11980/statm: 51623 45488 110 220 0 51401 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 256384

[startup+102.311 s]
/proc/loadavg: 1.00 1.01 1.00 2/37 11980
/proc/meminfo: memFree=292236/1048576 swapFree=0/0
[pid=11970] ppid=11969 vsize=2576 CPUtime=0
/proc/11970/stat : 11970 (packup2mp4tr-0.) S 11969 11970 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 25 0 1 0 2838159 2637824 275 1283457024 134512640 135304128 4289008768 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/11970/statm: 644 275 233 194 0 31 0
[pid=11971] ppid=11970 vsize=45644 CPUtime=11.82
/proc/11971/stat : 11971 (packup) S 11970 11970 1511 34817 1511 4202496 11296 71816 0 0 182 63 880 57 18 0 1 0 2838159 46739456 10674 1283457024 134512640 134752139 4294816208 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/11971/statm: 11411 10674 333 59 0 10575 0
[pid=11979] ppid=11971 vsize=1672 CPUtime=0
/proc/11979/stat : 11979 (sh) S 11971 11970 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 2839344 1712128 123 1283457024 134512640 134593992 4289760688 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/11979/statm: 418 123 108 20 0 45 0
[pid=11980] ppid=11979 vsize=209732 CPUtime=90.33
/proc/11980/stat : 11980 (minisatp_32) R 11979 11970 1511 34817 1511 4202496 75184 0 0 0 8985 48 0 0 25 0 1 0 2839344 214765568 47263 1283457024 134512640 135413687 4289412464 18446744073709551615 134649456 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/11980/statm: 52433 47263 110 220 0 52211 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 259624

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

[startup+102.411 s]
/proc/loadavg: 1.00 1.01 1.00 2/37 11980
/proc/meminfo: memFree=292236/1048576 swapFree=0/0
[pid=11970] ppid=11969 vsize=2576 CPUtime=0
/proc/11970/stat : 11970 (packup2mp4tr-0.) S 11969 11970 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 25 0 1 0 2838159 2637824 275 1283457024 134512640 135304128 4289008768 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/11970/statm: 644 275 233 194 0 31 0
[pid=11971] ppid=11970 vsize=45644 CPUtime=11.82
/proc/11971/stat : 11971 (packup) S 11970 11970 1511 34817 1511 4202496 11296 71816 0 0 182 63 880 57 18 0 1 0 2838159 46739456 10674 1283457024 134512640 134752139 4294816208 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/11971/statm: 11411 10674 333 59 0 10575 0
[pid=11979] ppid=11971 vsize=1672 CPUtime=0
/proc/11979/stat : 11979 (sh) S 11971 11970 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 2839344 1712128 123 1283457024 134512640 134593992 4289760688 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/11979/statm: 418 123 108 20 0 45 0
[pid=11980] ppid=11979 vsize=209732 CPUtime=90.43
/proc/11980/stat : 11980 (minisatp_32) R 11979 11970 1511 34817 1511 4202496 75185 0 0 0 8995 48 0 0 25 0 1 0 2839344 214765568 47264 1283457024 134512640 135413687 4289412464 18446744073709551615 134649574 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/11980/statm: 52433 47264 110 220 0 52211 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 259624

[startup+105.602 s]
/proc/loadavg: 1.00 1.01 1.00 2/37 11980
/proc/meminfo: memFree=291988/1048576 swapFree=0/0
[pid=11970] ppid=11969 vsize=2576 CPUtime=0
/proc/11970/stat : 11970 (packup2mp4tr-0.) S 11969 11970 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 25 0 1 0 2838159 2637824 275 1283457024 134512640 135304128 4289008768 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/11970/statm: 644 275 233 194 0 31 0
[pid=11971] ppid=11970 vsize=45644 CPUtime=11.82
/proc/11971/stat : 11971 (packup) S 11970 11970 1511 34817 1511 4202496 11296 71816 0 0 182 63 880 57 18 0 1 0 2838159 46739456 10674 1283457024 134512640 134752139 4294816208 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/11971/statm: 11411 10674 333 59 0 10575 0
[pid=11979] ppid=11971 vsize=1672 CPUtime=0
/proc/11979/stat : 11979 (sh) S 11971 11970 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 2839344 1712128 123 1283457024 134512640 134593992 4289760688 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/11979/statm: 418 123 108 20 0 45 0
[pid=11980] ppid=11979 vsize=209732 CPUtime=93.62
/proc/11980/stat : 11980 (minisatp_32) R 11979 11970 1511 34817 1511 4202496 75271 0 0 0 9314 48 0 0 25 0 1 0 2839344 214765568 47329 1283457024 134512640 135413687 4289412464 18446744073709551615 134649574 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/11980/statm: 52433 47329 110 220 0 52211 0
Current children cumulated CPU time (s) 105.44
Current children cumulated vsize (KiB) 259624

[startup+107.203 s]
/proc/loadavg: 1.00 1.01 1.00 2/37 11980
/proc/meminfo: memFree=296700/1048576 swapFree=0/0
[pid=11970] ppid=11969 vsize=2576 CPUtime=0
/proc/11970/stat : 11970 (packup2mp4tr-0.) S 11969 11970 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 25 0 1 0 2838159 2637824 275 1283457024 134512640 135304128 4289008768 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/11970/statm: 644 275 233 194 0 31 0
[pid=11971] ppid=11970 vsize=45644 CPUtime=11.82
/proc/11971/stat : 11971 (packup) S 11970 11970 1511 34817 1511 4202496 11296 71816 0 0 182 63 880 57 18 0 1 0 2838159 46739456 10674 1283457024 134512640 134752139 4294816208 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/11971/statm: 11411 10674 333 59 0 10575 0
[pid=11979] ppid=11971 vsize=1672 CPUtime=0
/proc/11979/stat : 11979 (sh) S 11971 11970 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 2839344 1712128 123 1283457024 134512640 134593992 4289760688 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/11979/statm: 418 123 108 20 0 45 0
[pid=11980] ppid=11979 vsize=203032 CPUtime=95.21
/proc/11980/stat : 11980 (minisatp_32) R 11979 11970 1511 34817 1511 4202496 78168 0 0 0 9473 48 0 0 25 0 1 0 2839344 207904768 46143 1283457024 134512640 135413687 4289412464 18446744073709551615 134649574 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/11980/statm: 50758 46143 110 220 0 50536 0
Current children cumulated CPU time (s) 107.03
Current children cumulated vsize (KiB) 252924

[startup+108.003 s]
/proc/loadavg: 1.00 1.01 1.00 2/37 11980
/proc/meminfo: memFree=296700/1048576 swapFree=0/0
[pid=11970] ppid=11969 vsize=2576 CPUtime=0
/proc/11970/stat : 11970 (packup2mp4tr-0.) S 11969 11970 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 25 0 1 0 2838159 2637824 275 1283457024 134512640 135304128 4289008768 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/11970/statm: 644 275 233 194 0 31 0
[pid=11971] ppid=11970 vsize=45644 CPUtime=11.82
/proc/11971/stat : 11971 (packup) S 11970 11970 1511 34817 1511 4202496 11296 71816 0 0 182 63 880 57 18 0 1 0 2838159 46739456 10674 1283457024 134512640 134752139 4294816208 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/11971/statm: 11411 10674 333 59 0 10575 0
[pid=11979] ppid=11971 vsize=1672 CPUtime=0
/proc/11979/stat : 11979 (sh) S 11971 11970 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 2839344 1712128 123 1283457024 134512640 134593992 4289760688 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/11979/statm: 418 123 108 20 0 45 0
[pid=11980] ppid=11979 vsize=203032 CPUtime=96.01
/proc/11980/stat : 11980 (minisatp_32) R 11979 11970 1511 34817 1511 4202496 78181 0 0 0 9553 48 0 0 25 0 1 0 2839344 207904768 46155 1283457024 134512640 135413687 4289412464 18446744073709551615 134649574 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/11980/statm: 50758 46155 110 220 0 50536 0
Current children cumulated CPU time (s) 107.83
Current children cumulated vsize (KiB) 252924

[startup+108.403 s]
/proc/loadavg: 1.00 1.01 1.00 2/37 11980
/proc/meminfo: memFree=296700/1048576 swapFree=0/0
[pid=11970] ppid=11969 vsize=2576 CPUtime=0
/proc/11970/stat : 11970 (packup2mp4tr-0.) S 11969 11970 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 25 0 1 0 2838159 2637824 275 1283457024 134512640 135304128 4289008768 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/11970/statm: 644 275 233 194 0 31 0
[pid=11971] ppid=11970 vsize=45644 CPUtime=11.82
/proc/11971/stat : 11971 (packup) S 11970 11970 1511 34817 1511 4202496 11296 71816 0 0 182 63 880 57 18 0 1 0 2838159 46739456 10674 1283457024 134512640 134752139 4294816208 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/11971/statm: 11411 10674 333 59 0 10575 0
[pid=11979] ppid=11971 vsize=1672 CPUtime=0
/proc/11979/stat : 11979 (sh) S 11971 11970 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 2839344 1712128 123 1283457024 134512640 134593992 4289760688 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/11979/statm: 418 123 108 20 0 45 0
[pid=11980] ppid=11979 vsize=193320 CPUtime=96.41
/proc/11980/stat : 11980 (minisatp_32) R 11979 11970 1511 34817 1511 4202496 78195 0 0 0 9593 48 0 0 25 0 1 0 2839344 197959680 44057 1283457024 134512640 135413687 4289412464 18446744073709551615 134597339 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/11980/statm: 48330 44057 118 220 0 48108 0
Current children cumulated CPU time (s) 108.23
Current children cumulated vsize (KiB) 243212

[startup+108.513 s]
/proc/loadavg: 1.00 1.01 1.00 2/37 11980
/proc/meminfo: memFree=296700/1048576 swapFree=0/0
[pid=11970] ppid=11969 vsize=2576 CPUtime=0
/proc/11970/stat : 11970 (packup2mp4tr-0.) S 11969 11970 1511 34817 1511 4202496 379 0 0 0 0 0 0 0 25 0 1 0 2838159 2637824 275 1283457024 134512640 135304128 4289008768 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/11970/statm: 644 275 233 194 0 31 0
[pid=11971] ppid=11970 vsize=44480 CPUtime=108.35
/proc/11971/stat : 11971 (packup) R 11970 11970 1511 34817 1511 4202496 20447 150160 0 0 187 66 10474 108 18 0 1 0 2838159 45547520 10395 1283457024 134512640 134752139 4294816208 18446744073709551615 4157609373 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/11971/statm: 11120 10395 345 59 0 10284 0
Current children cumulated CPU time (s) 108.35
Current children cumulated vsize (KiB) 47056

Child status: 0
Real time (s): 108.545
CPU time (s): 108.407
CPU user time (s): 106.643
CPU system time (s): 1.76411
CPU usage (%): 99.873
Max. virtual memory (cumulated for all children) (KiB): 271120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 106.643
system time used= 1.76411
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171490
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 1369

runsolver used 0.012 second user time and 0 second system time

The end