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-3694361-1338091527/watcher-3694361-1338091527 -o /tmp/evaluation-result-3694361-1338091527/solver-3694361-1338091527 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694361-1338091527.opb 1017495665 HOME HOME
running on 4 cores: 0,2,4,6
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.00 2.00 1.94 3/179 21607
/proc/meminfo: memFree=28800456/32873648 swapFree=6864/6864
[pid=21607] ppid=21605 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/21607/stat : 21607 (runsolver) D 21605 21607 18002 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 275278096 12095488 50 33554432000 4194304 5436572 140734253898688 140734253894984 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/21607/statm: 2953 50 31 304 0 2645 0
[startup+0.067035 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21607
/proc/meminfo: memFree=28800456/32873648 swapFree=6864/6864
[pid=21607] ppid=21605 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21607/stat : 21607 (runPb2satCp2.sh) S 21605 21607 18002 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275278096 9367552 275 33554432000 4194304 5064252 140735195988656 140735195987568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21607/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100209 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21607
/proc/meminfo: memFree=28800456/32873648 swapFree=6864/6864
[pid=21607] ppid=21605 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21607/stat : 21607 (runPb2satCp2.sh) S 21605 21607 18002 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275278096 9367552 275 33554432000 4194304 5064252 140735195988656 140735195987568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21607/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300188 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21607
/proc/meminfo: memFree=28800456/32873648 swapFree=6864/6864
[pid=21607] ppid=21605 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21607/stat : 21607 (runPb2satCp2.sh) S 21605 21607 18002 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275278096 9367552 275 33554432000 4194304 5064252 140735195988656 140735195987568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21607/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700131 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21607
/proc/meminfo: memFree=28800456/32873648 swapFree=6864/6864
[pid=21607] ppid=21605 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21607/stat : 21607 (runPb2satCp2.sh) S 21605 21607 18002 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275278096 9367552 275 33554432000 4194304 5064252 140735195988656 140735195987568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21607/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 21614
/proc/meminfo: memFree=28787140/32873648 swapFree=6864/6864
[pid=21607] ppid=21605 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21607/stat : 21607 (runPb2satCp2.sh) S 21605 21607 18002 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275278096 9367552 275 33554432000 4194304 5064252 140735195988656 140735195987568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21607/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21607 vsize=4540 CPUtime=0.04 cores=0,2,4,6
/proc/21609/stat : 21609 (pb2sat) S 21607 21607 18002 0 -1 4202496 1851 1456 0 0 3 1 0 0 20 0 1 0 275278097 4648960 781 33554432000 4194304 5873084 140736957894400 140736957888216 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21609/statm: 1135 781 179 410 0 717 0
[pid=21613] ppid=21609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (satsolver.sh) S 21609 21607 18002 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275278103 9367552 267 33554432000 4194304 5064252 140735342991632 140735342990544 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21613/statm: 2287 267 226 213 0 72 0
[pid=21614] ppid=21613 vsize=10840 CPUtime=1.43 cores=0,2,4,6
/proc/21614/stat : 21614 (glucose_static) R 21613 21607 18002 0 -1 4202496 4171 0 0 0 143 0 0 0 20 0 1 0 275278103 11100160 2199 33554432000 4194304 4896791 140736465931120 140736465928264 4230803 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 2710 2199 78 172 0 2536 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 33676
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 21614
/proc/meminfo: memFree=28786024/32873648 swapFree=6864/6864
[pid=21607] ppid=21605 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21607/stat : 21607 (runPb2satCp2.sh) S 21605 21607 18002 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275278096 9367552 275 33554432000 4194304 5064252 140735195988656 140735195987568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21607/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21607 vsize=4540 CPUtime=0.04 cores=0,2,4,6
/proc/21609/stat : 21609 (pb2sat) S 21607 21607 18002 0 -1 4202496 1851 1456 0 0 3 1 0 0 20 0 1 0 275278097 4648960 781 33554432000 4194304 5873084 140736957894400 140736957888216 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21609/statm: 1135 781 179 410 0 717 0
[pid=21613] ppid=21609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (satsolver.sh) S 21609 21607 18002 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275278103 9367552 267 33554432000 4194304 5064252 140735342991632 140735342990544 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21613/statm: 2287 267 226 213 0 72 0
[pid=21614] ppid=21613 vsize=12912 CPUtime=3.02 cores=0,2,4,6
/proc/21614/stat : 21614 (glucose_static) R 21613 21607 18002 0 -1 4202496 5490 0 0 0 302 0 0 0 20 0 1 0 275278103 13221888 2542 33554432000 4194304 4896791 140736465931120 140736465926856 4225168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 3228 2542 78 172 0 3054 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 35748
[startup+6.30038 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 21614
/proc/meminfo: memFree=28781744/32873648 swapFree=6864/6864
[pid=21607] ppid=21605 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21607/stat : 21607 (runPb2satCp2.sh) S 21605 21607 18002 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275278096 9367552 275 33554432000 4194304 5064252 140735195988656 140735195987568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21607/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21607 vsize=4540 CPUtime=0.04 cores=0,2,4,6
/proc/21609/stat : 21609 (pb2sat) S 21607 21607 18002 0 -1 4202496 1851 1456 0 0 3 1 0 0 20 0 1 0 275278097 4648960 781 33554432000 4194304 5873084 140736957894400 140736957888216 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21609/statm: 1135 781 179 410 0 717 0
[pid=21613] ppid=21609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (satsolver.sh) S 21609 21607 18002 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275278103 9367552 267 33554432000 4194304 5064252 140735342991632 140735342990544 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21613/statm: 2287 267 226 213 0 72 0
[pid=21614] ppid=21613 vsize=16276 CPUtime=6.22 cores=0,2,4,6
/proc/21614/stat : 21614 (glucose_static) R 21613 21607 18002 0 -1 4202496 7605 0 0 0 622 0 0 0 20 0 1 0 275278103 16666624 3248 33554432000 4194304 4896791 140736465931120 140736465926792 4230803 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 4069 3248 78 172 0 3895 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 39112
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 21614
/proc/meminfo: memFree=28776756/32873648 swapFree=6864/6864
[pid=21607] ppid=21605 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21607/stat : 21607 (runPb2satCp2.sh) S 21605 21607 18002 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275278096 9367552 275 33554432000 4194304 5064252 140735195988656 140735195987568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21607/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21607 vsize=4540 CPUtime=0.04 cores=0,2,4,6
/proc/21609/stat : 21609 (pb2sat) S 21607 21607 18002 0 -1 4202496 1851 1456 0 0 3 1 0 0 20 0 1 0 275278097 4648960 781 33554432000 4194304 5873084 140736957894400 140736957888216 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21609/statm: 1135 781 179 410 0 717 0
[pid=21613] ppid=21609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (satsolver.sh) S 21609 21607 18002 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275278103 9367552 267 33554432000 4194304 5064252 140735342991632 140735342990544 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21613/statm: 2287 267 226 213 0 72 0
[pid=21614] ppid=21613 vsize=17272 CPUtime=12.62 cores=0,2,4,6
/proc/21614/stat : 21614 (glucose_static) R 21613 21607 18002 0 -1 4202496 10714 0 0 0 1261 1 0 0 20 0 1 0 275278103 17686528 3751 33554432000 4194304 4896791 140736465931120 140736465928648 4205013 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 4318 3751 78 172 0 4144 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 40108
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 21614
/proc/meminfo: memFree=28797032/32873648 swapFree=6864/6864
[pid=21607] ppid=21605 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21607/stat : 21607 (runPb2satCp2.sh) S 21605 21607 18002 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275278096 9367552 275 33554432000 4194304 5064252 140735195988656 140735195987568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21607/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21607 vsize=4540 CPUtime=0.04 cores=0,2,4,6
/proc/21609/stat : 21609 (pb2sat) S 21607 21607 18002 0 -1 4202496 1851 1456 0 0 3 1 0 0 20 0 1 0 275278097 4648960 781 33554432000 4194304 5873084 140736957894400 140736957888216 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21609/statm: 1135 781 179 410 0 717 0
[pid=21613] ppid=21609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (satsolver.sh) S 21609 21607 18002 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275278103 9367552 267 33554432000 4194304 5064252 140735342991632 140735342990544 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21613/statm: 2287 267 226 213 0 72 0
[pid=21614] ppid=21613 vsize=22860 CPUtime=25.42 cores=0,2,4,6
/proc/21614/stat : 21614 (glucose_static) R 21613 21607 18002 0 -1 4202496 14744 0 0 0 2539 3 0 0 20 0 1 0 275278103 23408640 4386 33554432000 4194304 4896791 140736465931120 140736465926856 4203775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 5715 4386 78 172 0 5541 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 45696
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 21617
/proc/meminfo: memFree=28791800/32873648 swapFree=6864/6864
[pid=21607] ppid=21605 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21607/stat : 21607 (runPb2satCp2.sh) S 21605 21607 18002 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275278096 9367552 275 33554432000 4194304 5064252 140735195988656 140735195987568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21607/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21607 vsize=6624 CPUtime=51.02 cores=0,2,4,6
/proc/21609/stat : 21609 (pb2sat) S 21607 21607 18002 0 -1 4202496 3265 32065 0 0 10 1 5083 8 20 0 1 0 275278097 6782976 1353 33554432000 4194304 5873084 140736957894400 140736957888216 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21609/statm: 1656 1353 180 410 0 1238 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 15772
[startup+102.307 s]
/proc/loadavg: 2.11 2.03 1.95 3/183 21644
/proc/meminfo: memFree=28784392/32873648 swapFree=6864/6864
[pid=21607] ppid=21605 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21607/stat : 21607 (runPb2satCp2.sh) S 21605 21607 18002 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275278096 9367552 275 33554432000 4194304 5064252 140735195988656 140735195987568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21607/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21607 vsize=6608 CPUtime=101.51 cores=0,2,4,6
/proc/21609/stat : 21609 (pb2sat) S 21607 21607 18002 0 -1 4202496 8905 90523 0 0 35 4 10089 23 20 0 1 0 275278097 6766592 1353 33554432000 4194304 5873084 140736957894400 140736957888216 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21609/statm: 1652 1353 180 410 0 1234 0
[pid=21643] ppid=21609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21643/stat : 21643 (satsolver.sh) S 21609 21607 18002 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275288252 9367552 266 33554432000 4194304 5064252 140733382578656 140733382577568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21643/statm: 2287 266 226 213 0 72 0
[pid=21644] ppid=21643 vsize=10072 CPUtime=0.74 cores=0,2,4,6
/proc/21644/stat : 21644 (glucose_static) R 21643 21607 18002 0 -1 4202496 2642 0 0 0 74 0 0 0 20 0 1 0 275288252 10313728 2187 33554432000 4194304 4896791 140733942644032 140733942641240 4230803 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21644/statm: 2518 2187 78 172 0 2344 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 34976
Solver just ended. Dumping a history of the last processes samples
[startup+127.9 s]
/proc/loadavg: 2.07 2.03 1.95 3/183 21665
/proc/meminfo: memFree=28778500/32873648 swapFree=6864/6864
[pid=21607] ppid=21605 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21607/stat : 21607 (runPb2satCp2.sh) S 21605 21607 18002 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275278096 9367552 275 33554432000 4194304 5064252 140735195988656 140735195987568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21607/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21607 vsize=6608 CPUtime=127.05 cores=0,2,4,6
/proc/21609/stat : 21609 (pb2sat) S 21607 21607 18002 0 -1 4202496 13862 128658 0 0 55 7 12611 32 20 0 1 0 275278097 6766592 1353 33554432000 4194304 5873084 140736957894400 140736957888216 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21609/statm: 1652 1353 180 410 0 1234 0
[pid=21664] ppid=21609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21664/stat : 21664 (satsolver.sh) S 21609 21607 18002 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 275290813 9367552 266 33554432000 4194304 5064252 140734297353680 140734297352592 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21664/statm: 2287 266 226 213 0 72 0
[pid=21665] ppid=21664 vsize=9972 CPUtime=0.72 cores=0,2,4,6
/proc/21665/stat : 21665 (glucose_static) R 21664 21607 18002 0 -1 4202496 2601 0 0 0 72 0 0 0 20 0 1 0 275290813 10211328 2128 33554432000 4194304 4896791 140736148223904 140736148221224 4225212 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21665/statm: 2493 2128 78 172 0 2319 0
Current children cumulated CPU time (s) 127.77
Current children cumulated vsize (KiB) 34876
[startup+140.7 s]
/proc/loadavg: 2.06 2.02 1.95 3/183 21683
/proc/meminfo: memFree=28775452/32873648 swapFree=6864/6864
[pid=21607] ppid=21605 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21607/stat : 21607 (runPb2satCp2.sh) S 21605 21607 18002 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275278096 9367552 275 33554432000 4194304 5064252 140735195988656 140735195987568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21607/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21607 vsize=6608 CPUtime=139.01 cores=0,2,4,6
/proc/21609/stat : 21609 (pb2sat) S 21607 21607 18002 0 -1 4202496 18084 156030 0 0 72 9 13782 38 20 0 1 0 275278097 6766592 1353 33554432000 4194304 5873084 140736957894400 140736957888216 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21609/statm: 1652 1353 180 410 0 1234 0
[pid=21682] ppid=21609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21682/stat : 21682 (satsolver.sh) S 21609 21607 18002 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275292011 9367552 267 33554432000 4194304 5064252 140736544541184 140736544540096 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21682/statm: 2287 267 226 213 0 72 0
[pid=21683] ppid=21682 vsize=11336 CPUtime=1.55 cores=0,2,4,6
/proc/21683/stat : 21683 (glucose_static) R 21682 21607 18002 0 -1 4202496 3044 0 0 0 155 0 0 0 20 0 1 0 275292011 11608064 2357 33554432000 4194304 4896791 140737436806544 140737436804072 4225008 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21683/statm: 2834 2357 78 172 0 2660 0
Current children cumulated CPU time (s) 140.56
Current children cumulated vsize (KiB) 36240
[startup+147.1 s]
/proc/loadavg: 2.05 2.02 1.95 3/183 21692
/proc/meminfo: memFree=28802432/32873648 swapFree=6864/6864
[pid=21607] ppid=21605 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21607/stat : 21607 (runPb2satCp2.sh) S 21605 21607 18002 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275278096 9367552 275 33554432000 4194304 5064252 140735195988656 140735195987568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21607/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21607 vsize=6608 CPUtime=146.38 cores=0,2,4,6
/proc/21609/stat : 21609 (pb2sat) S 21607 21607 18002 0 -1 4202496 20885 172628 0 0 83 11 14502 42 20 0 1 0 275278097 6766592 1353 33554432000 4194304 5873084 140736957894400 140736957888216 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21609/statm: 1652 1353 180 410 0 1234 0
Current children cumulated CPU time (s) 146.38
Current children cumulated vsize (KiB) 15756
[startup+150.3 s]
/proc/loadavg: 2.05 2.02 1.95 3/183 21701
/proc/meminfo: memFree=28802560/32873648 swapFree=6864/6864
[pid=21607] ppid=21605 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21607/stat : 21607 (runPb2satCp2.sh) S 21605 21607 18002 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275278096 9367552 275 33554432000 4194304 5064252 140735195988656 140735195987568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21607/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21607 vsize=6596 CPUtime=149.8 cores=0,2,4,6
/proc/21609/stat : 21609 (pb2sat) S 21607 21607 18002 0 -1 4202496 23005 183780 0 0 91 12 14831 46 20 0 1 0 275278097 6754304 1353 33554432000 4194304 5873084 140736957894400 140736957888216 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21609/statm: 1649 1353 180 410 0 1231 0
Current children cumulated CPU time (s) 149.8
Current children cumulated vsize (KiB) 15744
[startup+151.9 s]
/proc/loadavg: 2.05 2.02 1.95 3/183 21713
/proc/meminfo: memFree=28802940/32873648 swapFree=6864/6864
[pid=21607] ppid=21605 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21607/stat : 21607 (runPb2satCp2.sh) S 21605 21607 18002 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275278096 9367552 275 33554432000 4194304 5064252 140735195988656 140735195987568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21607/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21607 vsize=6592 CPUtime=151.37 cores=0,2,4,6
/proc/21609/stat : 21609 (pb2sat) S 21607 21607 18002 0 -1 4202496 25128 194122 0 0 98 13 14979 47 20 0 1 0 275278097 6750208 1353 33554432000 4194304 5873084 140736957894400 140736957888216 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21609/statm: 1648 1353 180 410 0 1230 0
[pid=21712] ppid=21609 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21712/stat : 21712 (satsolver.sh) S 21609 21607 18002 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275293254 9367552 266 33554432000 4194304 5064252 140735459703936 140735459702848 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21712/statm: 2287 266 226 213 0 72 0
[pid=21713] ppid=21712 vsize=8012 CPUtime=0.31 cores=0,2,4,6
/proc/21713/stat : 21713 (glucose_static) R 21712 21607 18002 0 -1 4202496 2428 0 0 0 31 0 0 0 20 0 1 0 275293254 8204288 1770 33554432000 4194304 4896791 140736552340336 140736552337736 4203856 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21713/statm: 2003 1770 78 172 0 1829 0
Current children cumulated CPU time (s) 151.68
Current children cumulated vsize (KiB) 32900
[startup+153.5 s]
/proc/loadavg: 2.05 2.02 1.95 3/183 21716
/proc/meminfo: memFree=28803420/32873648 swapFree=6864/6864
[pid=21607] ppid=21605 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21607/stat : 21607 (runPb2satCp2.sh) S 21605 21607 18002 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275278096 9367552 275 33554432000 4194304 5064252 140735195988656 140735195987568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21607/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21607 vsize=6580 CPUtime=153.24 cores=0,2,4,6
/proc/21609/stat : 21609 (pb2sat) S 21607 21607 18002 0 -1 4202496 27240 204770 0 0 105 14 15155 50 20 0 1 0 275278097 6737920 1353 33554432000 4194304 5873084 140736957894400 140736957888216 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21609/statm: 1645 1353 180 410 0 1227 0
Current children cumulated CPU time (s) 153.24
Current children cumulated vsize (KiB) 15728
[startup+154.3 s]
/proc/loadavg: 2.05 2.02 1.95 3/183 21725
/proc/meminfo: memFree=28803420/32873648 swapFree=6864/6864
[pid=21607] ppid=21605 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21607/stat : 21607 (runPb2satCp2.sh) S 21605 21607 18002 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275278096 9367552 275 33554432000 4194304 5064252 140735195988656 140735195987568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21607/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21607 vsize=6576 CPUtime=153.91 cores=0,2,4,6
/proc/21609/stat : 21609 (pb2sat) S 21607 21607 18002 0 -1 4202496 28654 211454 0 0 110 15 15215 51 20 0 1 0 275278097 6733824 1353 33554432000 4194304 5873084 140736957894400 140736957888216 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 2 0 0
/proc/21609/statm: 1644 1353 180 410 0 1226 0
Current children cumulated CPU time (s) 153.91
Current children cumulated vsize (KiB) 15724
[startup+154.5 s]
/proc/loadavg: 2.05 2.02 1.95 3/183 21725
/proc/meminfo: memFree=28803420/32873648 swapFree=6864/6864
[pid=21607] ppid=21605 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21607/stat : 21607 (runPb2satCp2.sh) S 21605 21607 18002 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275278096 9367552 275 33554432000 4194304 5064252 140735195988656 140735195987568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21607/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21607 vsize=6576 CPUtime=153.91 cores=0,2,4,6
/proc/21609/stat : 21609 (pb2sat) S 21607 21607 18002 0 -1 4202496 28654 211454 0 0 110 15 15215 51 20 0 1 0 275278097 6733824 1353 33554432000 4194304 5873084 140736957894400 140736957888216 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 2 0 0
/proc/21609/statm: 1644 1353 180 410 0 1226 0
Current children cumulated CPU time (s) 153.91
Current children cumulated vsize (KiB) 15724
[startup+154.601 s]
/proc/loadavg: 2.05 2.02 1.95 3/183 21725
/proc/meminfo: memFree=28803420/32873648 swapFree=6864/6864
[pid=21607] ppid=21605 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21607/stat : 21607 (runPb2satCp2.sh) S 21605 21607 18002 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275278096 9367552 275 33554432000 4194304 5064252 140735195988656 140735195987568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21607/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21607 vsize=2272 CPUtime=154.37 cores=0,2,4,6
/proc/21609/stat : 21609 (pb2sat) S 21607 21607 18002 0 -1 4202496 28696 215305 0 0 110 15 15260 52 20 0 1 0 275278097 2326528 293 33554432000 4194304 5873084 140736957894400 140736957891960 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 2 0 0
/proc/21609/statm: 568 293 181 410 0 150 0
Current children cumulated CPU time (s) 154.37
Current children cumulated vsize (KiB) 11420
Child status: 0
Real time (s): 154.602
CPU time (s): 154.391
CPU user time (s): 153.709
CPU system time (s): 0.681896
CPU usage (%): 99.863
Max. virtual memory (cumulated for all children) (KiB): 53136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 153.709
system time used= 0.681896
maximum resident set size= 26564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244831
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 319
involuntary context switches= 425
runsolver used 0.301954 second user time and 0.895863 second system time
The end