runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3695397-1338082922/watcher-3695397-1338082922 -o /tmp/evaluation-result-3695397-1338082922/solver-3695397-1338082922 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695397-1338082922.opb 800407926 HOME HOME 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.14 2.06 2.01 3/180 6577
/proc/meminfo: memFree=28544264/32873648 swapFree=7372/7372
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (runPb2satCp2.sh) S 6575 6577 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274418157 9367552 275 33554432000 4194304 5064252 140735794771264 140735794770176 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6577/statm: 2287 275 233 213 0 72 0

[startup+0.0231741 s]
/proc/loadavg: 2.14 2.06 2.01 3/180 6577
/proc/meminfo: memFree=28544264/32873648 swapFree=7372/7372
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (runPb2satCp2.sh) S 6575 6577 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274418157 9367552 275 33554432000 4194304 5064252 140735794771264 140735794770176 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6577/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100146 s]
/proc/loadavg: 2.14 2.06 2.01 3/180 6577
/proc/meminfo: memFree=28544264/32873648 swapFree=7372/7372
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (runPb2satCp2.sh) S 6575 6577 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274418157 9367552 275 33554432000 4194304 5064252 140735794771264 140735794770176 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6577/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300116 s]
/proc/loadavg: 2.14 2.06 2.01 3/180 6577
/proc/meminfo: memFree=28544264/32873648 swapFree=7372/7372
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (runPb2satCp2.sh) S 6575 6577 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274418157 9367552 275 33554432000 4194304 5064252 140735794771264 140735794770176 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6577/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700119 s]
/proc/loadavg: 2.14 2.06 2.01 3/180 6577
/proc/meminfo: memFree=28544264/32873648 swapFree=7372/7372
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (runPb2satCp2.sh) S 6575 6577 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274418157 9367552 275 33554432000 4194304 5064252 140735794771264 140735794770176 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6577/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5002 s]
/proc/loadavg: 2.14 2.06 2.01 3/184 6596
/proc/meminfo: memFree=28539408/32873648 swapFree=7372/7372
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (runPb2satCp2.sh) S 6575 6577 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274418157 9367552 275 33554432000 4194304 5064252 140735794771264 140735794770176 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6577/statm: 2287 275 233 213 0 72 0
[pid=6578] ppid=6577 vsize=2456 CPUtime=0.58 cores=1,3,5,7
/proc/6578/stat : 6578 (pb2sat) S 6577 6577 1501 0 -1 4202496 899 8552 0 0 1 1 55 1 20 0 1 0 274418158 2514944 290 33554432000 4194304 5873084 140735745700624 140735745694440 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6578/statm: 614 290 174 410 0 196 0
[pid=6595] ppid=6578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6595/stat : 6595 (satsolver.sh) S 6578 6577 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274418218 9367552 267 33554432000 4194304 5064252 140735126679008 140735126677920 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6595/statm: 2287 267 226 213 0 72 0
[pid=6596] ppid=6595 vsize=5148 CPUtime=0.89 cores=1,3,5,7
/proc/6596/stat : 6596 (glucose_static) R 6595 6577 1501 0 -1 4202496 1573 0 0 0 89 0 0 0 20 0 1 0 274418218 5271552 838 33554432000 4194304 4896791 140734474458848 140734474456056 4203775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6596/statm: 1287 838 77 172 0 1113 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 25900

[startup+3.10021 s]
/proc/loadavg: 2.14 2.06 2.01 3/184 6596
/proc/meminfo: memFree=28535748/32873648 swapFree=7372/7372
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (runPb2satCp2.sh) S 6575 6577 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274418157 9367552 275 33554432000 4194304 5064252 140735794771264 140735794770176 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6577/statm: 2287 275 233 213 0 72 0
[pid=6578] ppid=6577 vsize=2456 CPUtime=0.58 cores=1,3,5,7
/proc/6578/stat : 6578 (pb2sat) S 6577 6577 1501 0 -1 4202496 899 8552 0 0 1 1 55 1 20 0 1 0 274418158 2514944 290 33554432000 4194304 5873084 140735745700624 140735745694440 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6578/statm: 614 290 174 410 0 196 0
[pid=6595] ppid=6578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6595/stat : 6595 (satsolver.sh) S 6578 6577 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274418218 9367552 267 33554432000 4194304 5064252 140735126679008 140735126677920 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6595/statm: 2287 267 226 213 0 72 0
[pid=6596] ppid=6595 vsize=5948 CPUtime=2.49 cores=1,3,5,7
/proc/6596/stat : 6596 (glucose_static) R 6595 6577 1501 0 -1 4202496 2985 0 0 0 249 0 0 0 20 0 1 0 274418218 6090752 1021 33554432000 4194304 4896791 140734474458848 140734474456376 4224971 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6596/statm: 1487 1021 77 172 0 1313 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 26700

[startup+6.30023 s]
/proc/loadavg: 2.13 2.05 2.01 3/184 6596
/proc/meminfo: memFree=28529096/32873648 swapFree=7372/7372
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (runPb2satCp2.sh) S 6575 6577 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274418157 9367552 275 33554432000 4194304 5064252 140735794771264 140735794770176 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6577/statm: 2287 275 233 213 0 72 0
[pid=6578] ppid=6577 vsize=2456 CPUtime=0.58 cores=1,3,5,7
/proc/6578/stat : 6578 (pb2sat) S 6577 6577 1501 0 -1 4202496 899 8552 0 0 1 1 55 1 20 0 1 0 274418158 2514944 290 33554432000 4194304 5873084 140735745700624 140735745694440 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6578/statm: 614 290 174 410 0 196 0
[pid=6595] ppid=6578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6595/stat : 6595 (satsolver.sh) S 6578 6577 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274418218 9367552 267 33554432000 4194304 5064252 140735126679008 140735126677920 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6595/statm: 2287 267 226 213 0 72 0
[pid=6596] ppid=6595 vsize=7956 CPUtime=5.69 cores=1,3,5,7
/proc/6596/stat : 6596 (glucose_static) R 6595 6577 1501 0 -1 4202496 5128 0 0 0 568 1 0 0 20 0 1 0 274418218 8146944 1380 33554432000 4194304 4896791 140734474458848 140734474456424 4225180 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6596/statm: 1989 1380 77 172 0 1815 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 28708

[startup+12.7003 s]
/proc/loadavg: 2.12 2.05 2.01 3/184 6599
/proc/meminfo: memFree=28525164/32873648 swapFree=7372/7372
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (runPb2satCp2.sh) S 6575 6577 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274418157 9367552 275 33554432000 4194304 5064252 140735794771264 140735794770176 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6577/statm: 2287 275 233 213 0 72 0
[pid=6578] ppid=6577 vsize=2456 CPUtime=10.52 cores=1,3,5,7
/proc/6578/stat : 6578 (pb2sat) S 6577 6577 1501 0 -1 4202496 1023 17494 0 0 1 1 1047 3 20 0 1 0 274418158 2514944 290 33554432000 4194304 5873084 140735745700624 140735745694440 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6578/statm: 614 290 174 410 0 196 0
[pid=6598] ppid=6578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6598/stat : 6598 (satsolver.sh) S 6578 6577 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274419212 9367552 267 33554432000 4194304 5064252 140734327488656 140734327487568 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6598/statm: 2287 267 226 213 0 72 0
[pid=6599] ppid=6598 vsize=6936 CPUtime=2.14 cores=1,3,5,7
/proc/6599/stat : 6599 (glucose_static) R 6598 6577 1501 0 -1 4202496 2463 0 0 0 214 0 0 0 20 0 1 0 274419212 7102464 1232 33554432000 4194304 4896791 140736700119200 140736700116408 4225168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 1734 1232 77 172 0 1560 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 27688

[startup+25.5003 s]
/proc/loadavg: 2.16 2.07 2.01 3/183 6599
/proc/meminfo: memFree=28526256/32873648 swapFree=7372/7372
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (runPb2satCp2.sh) S 6575 6577 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274418157 9367552 275 33554432000 4194304 5064252 140735794771264 140735794770176 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6577/statm: 2287 275 233 213 0 72 0
[pid=6578] ppid=6577 vsize=2456 CPUtime=10.52 cores=1,3,5,7
/proc/6578/stat : 6578 (pb2sat) S 6577 6577 1501 0 -1 4202496 1023 17494 0 0 1 1 1047 3 20 0 1 0 274418158 2514944 290 33554432000 4194304 5873084 140735745700624 140735745694440 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6578/statm: 614 290 174 410 0 196 0
[pid=6598] ppid=6578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6598/stat : 6598 (satsolver.sh) S 6578 6577 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274419212 9367552 267 33554432000 4194304 5064252 140734327488656 140734327487568 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6598/statm: 2287 267 226 213 0 72 0
[pid=6599] ppid=6598 vsize=11352 CPUtime=14.94 cores=1,3,5,7
/proc/6599/stat : 6599 (glucose_static) R 6598 6577 1501 0 -1 4202496 10565 0 0 0 1493 1 0 0 20 0 1 0 274419212 11624448 2053 33554432000 4194304 4896791 140736700119200 140736700116776 4224975 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 2838 2053 77 172 0 2664 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 32104

[startup+51.1003 s]
/proc/loadavg: 2.10 2.06 2.01 3/184 6600
/proc/meminfo: memFree=28516620/32873648 swapFree=7372/7372
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (runPb2satCp2.sh) S 6575 6577 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274418157 9367552 275 33554432000 4194304 5064252 140735794771264 140735794770176 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6577/statm: 2287 275 233 213 0 72 0
[pid=6578] ppid=6577 vsize=2456 CPUtime=10.52 cores=1,3,5,7
/proc/6578/stat : 6578 (pb2sat) S 6577 6577 1501 0 -1 4202496 1023 17494 0 0 1 1 1047 3 20 0 1 0 274418158 2514944 290 33554432000 4194304 5873084 140735745700624 140735745694440 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6578/statm: 614 290 174 410 0 196 0
[pid=6598] ppid=6578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6598/stat : 6598 (satsolver.sh) S 6578 6577 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274419212 9367552 267 33554432000 4194304 5064252 140734327488656 140734327487568 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6598/statm: 2287 267 226 213 0 72 0
[pid=6599] ppid=6598 vsize=17072 CPUtime=40.54 cores=1,3,5,7
/proc/6599/stat : 6599 (glucose_static) R 6598 6577 1501 0 -1 4202496 20703 0 0 0 4049 5 0 0 20 0 1 0 274419212 17481728 3323 33554432000 4194304 4896791 140736700119200 140736700116776 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 4268 3323 77 172 0 4094 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 37824

[startup+102.307 s]
/proc/loadavg: 2.04 2.05 2.00 3/184 6603
/proc/meminfo: memFree=28513428/32873648 swapFree=7372/7372
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (runPb2satCp2.sh) S 6575 6577 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274418157 9367552 275 33554432000 4194304 5064252 140735794771264 140735794770176 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6577/statm: 2287 275 233 213 0 72 0
[pid=6578] ppid=6577 vsize=2456 CPUtime=52 cores=1,3,5,7
/proc/6578/stat : 6578 (pb2sat) S 6577 6577 1501 0 -1 4202496 1147 39646 0 0 1 1 5189 9 20 0 1 0 274418158 2514944 290 33554432000 4194304 5873084 140735745700624 140735745694440 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6578/statm: 614 290 174 410 0 196 0
[pid=6602] ppid=6578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (satsolver.sh) S 6578 6577 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274423362 9367552 267 33554432000 4194304 5064252 140735145978080 140735145976992 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6602/statm: 2287 267 226 213 0 72 0
[pid=6603] ppid=6602 vsize=17124 CPUtime=50.24 cores=1,3,5,7
/proc/6603/stat : 6603 (glucose_static) R 6602 6577 1501 0 -1 4202496 18725 0 0 0 5020 4 0 0 20 0 1 0 274423362 17534976 3570 33554432000 4194304 4896791 140737146029424 140737146026952 4225388 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6603/statm: 4281 3570 77 172 0 4107 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 37876

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

[startup+127.9 s]
/proc/loadavg: 2.02 2.04 2.00 3/184 6812
/proc/meminfo: memFree=28881536/32873648 swapFree=7372/7372
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (runPb2satCp2.sh) S 6575 6577 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274418157 9367552 275 33554432000 4194304 5064252 140735794771264 140735794770176 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6577/statm: 2287 275 233 213 0 72 0
[pid=6578] ppid=6577 vsize=2456 CPUtime=52 cores=1,3,5,7
/proc/6578/stat : 6578 (pb2sat) S 6577 6577 1501 0 -1 4202496 1147 39646 0 0 1 1 5189 9 20 0 1 0 274418158 2514944 290 33554432000 4194304 5873084 140735745700624 140735745694440 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6578/statm: 614 290 174 410 0 196 0
[pid=6602] ppid=6578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (satsolver.sh) S 6578 6577 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274423362 9367552 267 33554432000 4194304 5064252 140735145978080 140735145976992 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6602/statm: 2287 267 226 213 0 72 0
[pid=6603] ppid=6602 vsize=23068 CPUtime=75.83 cores=1,3,5,7
/proc/6603/stat : 6603 (glucose_static) R 6602 6577 1501 0 -1 4202496 25748 0 0 0 7575 8 0 0 20 0 1 0 274423362 23621632 4197 33554432000 4194304 4896791 140737146029424 140737146026984 4225445 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6603/statm: 5767 4197 77 172 0 5593 0
Current children cumulated CPU time (s) 127.83
Current children cumulated vsize (KiB) 43820

[startup+140.7 s]
/proc/loadavg: 2.02 2.04 2.00 3/184 6812
/proc/meminfo: memFree=28893308/32873648 swapFree=7372/7372
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (runPb2satCp2.sh) S 6575 6577 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274418157 9367552 275 33554432000 4194304 5064252 140735794771264 140735794770176 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6577/statm: 2287 275 233 213 0 72 0
[pid=6578] ppid=6577 vsize=2456 CPUtime=52 cores=1,3,5,7
/proc/6578/stat : 6578 (pb2sat) S 6577 6577 1501 0 -1 4202496 1147 39646 0 0 1 1 5189 9 20 0 1 0 274418158 2514944 290 33554432000 4194304 5873084 140735745700624 140735745694440 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6578/statm: 614 290 174 410 0 196 0
[pid=6602] ppid=6578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (satsolver.sh) S 6578 6577 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274423362 9367552 267 33554432000 4194304 5064252 140735145978080 140735145976992 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6602/statm: 2287 267 226 213 0 72 0
[pid=6603] ppid=6602 vsize=16612 CPUtime=88.64 cores=1,3,5,7
/proc/6603/stat : 6603 (glucose_static) R 6602 6577 1501 0 -1 4202496 30062 0 0 0 8855 9 0 0 20 0 1 0 274423362 17010688 3475 33554432000 4194304 4896791 140737146029424 140737146026632 4225136 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6603/statm: 4153 3475 77 172 0 3979 0
Current children cumulated CPU time (s) 140.64
Current children cumulated vsize (KiB) 37364

[startup+143.9 s]
/proc/loadavg: 2.02 2.04 2.00 3/184 6812
/proc/meminfo: memFree=28887104/32873648 swapFree=7372/7372
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (runPb2satCp2.sh) S 6575 6577 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274418157 9367552 275 33554432000 4194304 5064252 140735794771264 140735794770176 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6577/statm: 2287 275 233 213 0 72 0
[pid=6578] ppid=6577 vsize=2456 CPUtime=52 cores=1,3,5,7
/proc/6578/stat : 6578 (pb2sat) S 6577 6577 1501 0 -1 4202496 1147 39646 0 0 1 1 5189 9 20 0 1 0 274418158 2514944 290 33554432000 4194304 5873084 140735745700624 140735745694440 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6578/statm: 614 290 174 410 0 196 0
[pid=6602] ppid=6578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (satsolver.sh) S 6578 6577 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274423362 9367552 267 33554432000 4194304 5064252 140735145978080 140735145976992 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6602/statm: 2287 267 226 213 0 72 0
[pid=6603] ppid=6602 vsize=19332 CPUtime=91.83 cores=1,3,5,7
/proc/6603/stat : 6603 (glucose_static) R 6602 6577 1501 0 -1 4202496 30707 0 0 0 9174 9 0 0 20 0 1 0 274423362 19795968 4136 33554432000 4194304 4896791 140737146029424 140737146026952 4225388 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6603/statm: 4833 4136 77 172 0 4659 0
Current children cumulated CPU time (s) 143.83
Current children cumulated vsize (KiB) 40084

[startup+145.5 s]
/proc/loadavg: 2.02 2.04 2.00 3/184 6812
/proc/meminfo: memFree=28883376/32873648 swapFree=7372/7372
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (runPb2satCp2.sh) S 6575 6577 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274418157 9367552 275 33554432000 4194304 5064252 140735794771264 140735794770176 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6577/statm: 2287 275 233 213 0 72 0
[pid=6578] ppid=6577 vsize=2456 CPUtime=52 cores=1,3,5,7
/proc/6578/stat : 6578 (pb2sat) S 6577 6577 1501 0 -1 4202496 1147 39646 0 0 1 1 5189 9 20 0 1 0 274418158 2514944 290 33554432000 4194304 5873084 140735745700624 140735745694440 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6578/statm: 614 290 174 410 0 196 0
[pid=6602] ppid=6578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (satsolver.sh) S 6578 6577 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274423362 9367552 267 33554432000 4194304 5064252 140735145978080 140735145976992 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6602/statm: 2287 267 226 213 0 72 0
[pid=6603] ppid=6602 vsize=14936 CPUtime=93.42 cores=1,3,5,7
/proc/6603/stat : 6603 (glucose_static) R 6602 6577 1501 0 -1 4202496 31096 0 0 0 9333 9 0 0 20 0 1 0 274423362 15294464 3191 33554432000 4194304 4896791 140737146029424 140737146026984 4225038 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6603/statm: 3734 3191 77 172 0 3560 0
Current children cumulated CPU time (s) 145.42
Current children cumulated vsize (KiB) 35688

[startup+147.1 s]
/proc/loadavg: 2.02 2.04 2.00 3/184 6812
/proc/meminfo: memFree=28885424/32873648 swapFree=7372/7372
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (runPb2satCp2.sh) S 6575 6577 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274418157 9367552 275 33554432000 4194304 5064252 140735794771264 140735794770176 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6577/statm: 2287 275 233 213 0 72 0
[pid=6578] ppid=6577 vsize=2456 CPUtime=52 cores=1,3,5,7
/proc/6578/stat : 6578 (pb2sat) S 6577 6577 1501 0 -1 4202496 1147 39646 0 0 1 1 5189 9 20 0 1 0 274418158 2514944 290 33554432000 4194304 5873084 140735745700624 140735745694440 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6578/statm: 614 290 174 410 0 196 0
[pid=6602] ppid=6578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (satsolver.sh) S 6578 6577 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274423362 9367552 267 33554432000 4194304 5064252 140735145978080 140735145976992 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6602/statm: 2287 267 226 213 0 72 0
[pid=6603] ppid=6602 vsize=16612 CPUtime=95.02 cores=1,3,5,7
/proc/6603/stat : 6603 (glucose_static) R 6602 6577 1501 0 -1 4202496 31539 0 0 0 9493 9 0 0 20 0 1 0 274423362 17010688 3622 33554432000 4194304 4896791 140737146029424 140737146026952 4225417 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6603/statm: 4153 3622 77 172 0 3979 0
Current children cumulated CPU time (s) 147.02
Current children cumulated vsize (KiB) 37364

[startup+147.5 s]
/proc/loadavg: 2.02 2.04 2.00 3/184 6812
/proc/meminfo: memFree=28884060/32873648 swapFree=7372/7372
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (runPb2satCp2.sh) S 6575 6577 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274418157 9367552 275 33554432000 4194304 5064252 140735794771264 140735794770176 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6577/statm: 2287 275 233 213 0 72 0
[pid=6578] ppid=6577 vsize=2456 CPUtime=52 cores=1,3,5,7
/proc/6578/stat : 6578 (pb2sat) S 6577 6577 1501 0 -1 4202496 1147 39646 0 0 1 1 5189 9 20 0 1 0 274418158 2514944 290 33554432000 4194304 5873084 140735745700624 140735745694440 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6578/statm: 614 290 174 410 0 196 0
[pid=6602] ppid=6578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (satsolver.sh) S 6578 6577 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274423362 9367552 267 33554432000 4194304 5064252 140735145978080 140735145976992 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6602/statm: 2287 267 226 213 0 72 0
[pid=6603] ppid=6602 vsize=19332 CPUtime=95.42 cores=1,3,5,7
/proc/6603/stat : 6603 (glucose_static) R 6602 6577 1501 0 -1 4202496 31632 0 0 0 9533 9 0 0 20 0 1 0 274423362 19795968 3712 33554432000 4194304 4896791 140737146029424 140737146026952 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6603/statm: 4833 3712 77 172 0 4659 0
Current children cumulated CPU time (s) 147.42
Current children cumulated vsize (KiB) 40084

[startup+147.9 s]
/proc/loadavg: 2.02 2.04 2.00 3/184 6812
/proc/meminfo: memFree=28884060/32873648 swapFree=7372/7372
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (runPb2satCp2.sh) S 6575 6577 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274418157 9367552 275 33554432000 4194304 5064252 140735794771264 140735794770176 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6577/statm: 2287 275 233 213 0 72 0
[pid=6578] ppid=6577 vsize=2456 CPUtime=52 cores=1,3,5,7
/proc/6578/stat : 6578 (pb2sat) S 6577 6577 1501 0 -1 4202496 1147 39646 0 0 1 1 5189 9 20 0 1 0 274418158 2514944 290 33554432000 4194304 5873084 140735745700624 140735745694440 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6578/statm: 614 290 174 410 0 196 0
[pid=6602] ppid=6578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (satsolver.sh) S 6578 6577 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274423362 9367552 267 33554432000 4194304 5064252 140735145978080 140735145976992 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6602/statm: 2287 267 226 213 0 72 0
[pid=6603] ppid=6602 vsize=14936 CPUtime=95.82 cores=1,3,5,7
/proc/6603/stat : 6603 (glucose_static) R 6602 6577 1501 0 -1 4202496 32348 0 0 0 9573 9 0 0 20 0 1 0 274423362 15294464 3263 33554432000 4194304 4896791 140737146029424 140737146026952 4225348 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6603/statm: 3734 3263 77 172 0 3560 0
Current children cumulated CPU time (s) 147.82
Current children cumulated vsize (KiB) 35688

[startup+148 s]
/proc/loadavg: 2.02 2.04 2.00 3/184 6812
/proc/meminfo: memFree=28884060/32873648 swapFree=7372/7372
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (runPb2satCp2.sh) S 6575 6577 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274418157 9367552 275 33554432000 4194304 5064252 140735794771264 140735794770176 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6577/statm: 2287 275 233 213 0 72 0
[pid=6578] ppid=6577 vsize=2456 CPUtime=52 cores=1,3,5,7
/proc/6578/stat : 6578 (pb2sat) S 6577 6577 1501 0 -1 4202496 1147 39646 0 0 1 1 5189 9 20 0 1 0 274418158 2514944 290 33554432000 4194304 5873084 140735745700624 140735745694440 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6578/statm: 614 290 174 410 0 196 0
[pid=6602] ppid=6578 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (satsolver.sh) S 6578 6577 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274423362 9367552 267 33554432000 4194304 5064252 140735145978080 140735145976992 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6602/statm: 2287 267 226 213 0 72 0
[pid=6603] ppid=6602 vsize=19292 CPUtime=95.92 cores=1,3,5,7
/proc/6603/stat : 6603 (glucose_static) R 6602 6577 1501 0 -1 4202496 32767 0 0 0 9583 9 0 0 20 0 1 0 274423362 19755008 3659 33554432000 4194304 4896791 140737146029424 140737146026952 4216830 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6603/statm: 4823 3661 77 172 0 4649 0
Current children cumulated CPU time (s) 147.92
Current children cumulated vsize (KiB) 40044

Child status: 0
Real time (s): 148.097
CPU time (s): 148.044
CPU user time (s): 147.839
CPU system time (s): 0.205968
CPU usage (%): 99.9642
Max. virtual memory (cumulated for all children) (KiB): 44060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 147.839
system time used= 0.205968
maximum resident set size= 28988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75720
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 89
involuntary context switches= 195

runsolver used 0.26096 second user time and 0.874867 second system time

The end