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-3695946-1338075998/watcher-3695946-1338075998 -o /tmp/evaluation-result-3695946-1338075998/solver-3695946-1338075998 -C 1800 -W 1900 -M 15500 HOME/runPb2sat.sh HOME/instance-3695946-1338075998.opb 387343312 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.00 2.00 2.00 3/179 16299
/proc/meminfo: memFree=26989220/32873844 swapFree=6856/6856
[pid=16299] ppid=16297 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16299/stat : 16299 (runPb2sat.sh) S 16297 16299 14257 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273728323 9367552 275 33554432000 4194304 5064252 140734333209232 140734333208144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16299/statm: 2287 275 233 213 0 72 0

[startup+0.0351 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16299
/proc/meminfo: memFree=26989220/32873844 swapFree=6856/6856
[pid=16299] ppid=16297 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16299/stat : 16299 (runPb2sat.sh) S 16297 16299 14257 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273728323 9367552 275 33554432000 4194304 5064252 140734333209232 140734333208144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16299/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100298 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16299
/proc/meminfo: memFree=26989220/32873844 swapFree=6856/6856
[pid=16299] ppid=16297 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16299/stat : 16299 (runPb2sat.sh) S 16297 16299 14257 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273728323 9367552 275 33554432000 4194304 5064252 140734333209232 140734333208144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16299/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300292 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16299
/proc/meminfo: memFree=26989220/32873844 swapFree=6856/6856
[pid=16299] ppid=16297 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16299/stat : 16299 (runPb2sat.sh) S 16297 16299 14257 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273728323 9367552 275 33554432000 4194304 5064252 140734333209232 140734333208144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16299/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700287 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16299
/proc/meminfo: memFree=26989220/32873844 swapFree=6856/6856
[pid=16299] ppid=16297 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16299/stat : 16299 (runPb2sat.sh) S 16297 16299 14257 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273728323 9367552 275 33554432000 4194304 5064252 140734333209232 140734333208144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16299/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50039 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16306
/proc/meminfo: memFree=26968524/32873844 swapFree=6856/6856
[pid=16299] ppid=16297 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16299/stat : 16299 (runPb2sat.sh) S 16297 16299 14257 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273728323 9367552 275 33554432000 4194304 5064252 140734333209232 140734333208144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16299/statm: 2287 275 233 213 0 72 0
[pid=16300] ppid=16299 vsize=6740 CPUtime=0.07 cores=1,3,5,7
/proc/16300/stat : 16300 (pb2sat) S 16299 16299 14257 0 -1 4202496 2087 1436 0 0 6 1 0 0 20 0 1 0 273728323 6901760 1188 33554432000 4194304 5873084 140736524664032 140736524657848 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16300/statm: 1685 1188 179 410 0 1267 0
[pid=16305] ppid=16300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16305/stat : 16305 (satsolver.sh) S 16300 16299 14257 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273728331 9367552 267 33554432000 4194304 5064252 140736056452496 140736056451408 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16305/statm: 2287 267 226 213 0 72 0
[pid=16306] ppid=16305 vsize=15824 CPUtime=1.4 cores=1,3,5,7
/proc/16306/stat : 16306 (glucose_static) R 16305 16299 14257 0 -1 4202496 5322 0 0 0 140 0 0 0 20 0 1 0 273728331 16203776 3453 33554432000 4194304 4896791 140734023039520 140734023036920 4223862 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16306/statm: 3956 3453 78 172 0 3782 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 40860

[startup+3.10039 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16306
/proc/meminfo: memFree=26966600/32873844 swapFree=6856/6856
[pid=16299] ppid=16297 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16299/stat : 16299 (runPb2sat.sh) S 16297 16299 14257 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273728323 9367552 275 33554432000 4194304 5064252 140734333209232 140734333208144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16299/statm: 2287 275 233 213 0 72 0
[pid=16300] ppid=16299 vsize=6740 CPUtime=0.07 cores=1,3,5,7
/proc/16300/stat : 16300 (pb2sat) S 16299 16299 14257 0 -1 4202496 2087 1436 0 0 6 1 0 0 20 0 1 0 273728323 6901760 1188 33554432000 4194304 5873084 140736524664032 140736524657848 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16300/statm: 1685 1188 179 410 0 1267 0
[pid=16305] ppid=16300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16305/stat : 16305 (satsolver.sh) S 16300 16299 14257 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273728331 9367552 267 33554432000 4194304 5064252 140736056452496 140736056451408 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16305/statm: 2287 267 226 213 0 72 0
[pid=16306] ppid=16305 vsize=16420 CPUtime=3 cores=1,3,5,7
/proc/16306/stat : 16306 (glucose_static) R 16305 16299 14257 0 -1 4202496 6180 0 0 0 300 0 0 0 20 0 1 0 273728331 16814080 3598 33554432000 4194304 4896791 140734023039520 140734023037048 4203058 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16306/statm: 4105 3598 78 172 0 3931 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 41456

[startup+6.30039 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16306
/proc/meminfo: memFree=26962388/32873844 swapFree=6856/6856
[pid=16299] ppid=16297 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16299/stat : 16299 (runPb2sat.sh) S 16297 16299 14257 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273728323 9367552 275 33554432000 4194304 5064252 140734333209232 140734333208144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16299/statm: 2287 275 233 213 0 72 0
[pid=16300] ppid=16299 vsize=6740 CPUtime=0.07 cores=1,3,5,7
/proc/16300/stat : 16300 (pb2sat) S 16299 16299 14257 0 -1 4202496 2087 1436 0 0 6 1 0 0 20 0 1 0 273728323 6901760 1188 33554432000 4194304 5873084 140736524664032 140736524657848 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16300/statm: 1685 1188 179 410 0 1267 0
[pid=16305] ppid=16300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16305/stat : 16305 (satsolver.sh) S 16300 16299 14257 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273728331 9367552 267 33554432000 4194304 5064252 140736056452496 140736056451408 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16305/statm: 2287 267 226 213 0 72 0
[pid=16306] ppid=16305 vsize=20064 CPUtime=6.2 cores=1,3,5,7
/proc/16306/stat : 16306 (glucose_static) R 16305 16299 14257 0 -1 4202496 7511 0 0 0 619 1 0 0 20 0 1 0 273728331 20545536 4158 33554432000 4194304 4896791 140734023039520 140734023037096 4203856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16306/statm: 5016 4158 78 172 0 4842 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 45100

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16306
/proc/meminfo: memFree=26960964/32873844 swapFree=6856/6856
[pid=16299] ppid=16297 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16299/stat : 16299 (runPb2sat.sh) S 16297 16299 14257 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273728323 9367552 275 33554432000 4194304 5064252 140734333209232 140734333208144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16299/statm: 2287 275 233 213 0 72 0
[pid=16300] ppid=16299 vsize=6740 CPUtime=0.07 cores=1,3,5,7
/proc/16300/stat : 16300 (pb2sat) S 16299 16299 14257 0 -1 4202496 2087 1436 0 0 6 1 0 0 20 0 1 0 273728323 6901760 1188 33554432000 4194304 5873084 140736524664032 140736524657848 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16300/statm: 1685 1188 179 410 0 1267 0
[pid=16305] ppid=16300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16305/stat : 16305 (satsolver.sh) S 16300 16299 14257 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273728331 9367552 267 33554432000 4194304 5064252 140736056452496 140736056451408 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16305/statm: 2287 267 226 213 0 72 0
[pid=16306] ppid=16305 vsize=25500 CPUtime=12.6 cores=1,3,5,7
/proc/16306/stat : 16306 (glucose_static) R 16305 16299 14257 0 -1 4202496 8951 0 0 0 1259 1 0 0 20 0 1 0 273728331 26112000 5582 33554432000 4194304 4896791 140734023039520 140734023036728 4223980 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16306/statm: 6375 5582 78 172 0 6201 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 50536

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16318
/proc/meminfo: memFree=26958912/32873844 swapFree=6856/6856
[pid=16299] ppid=16297 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16299/stat : 16299 (runPb2sat.sh) S 16297 16299 14257 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273728323 9367552 275 33554432000 4194304 5064252 140734333209232 140734333208144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16299/statm: 2287 275 233 213 0 72 0
[pid=16300] ppid=16299 vsize=10956 CPUtime=22.43 cores=1,3,5,7
/proc/16300/stat : 16300 (pb2sat) S 16299 16299 14257 0 -1 4202496 8829 32397 0 0 28 3 2203 9 20 0 1 0 273728323 11218944 2347 33554432000 4194304 5873084 140736524664032 140736524657848 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16300/statm: 2739 2347 179 410 0 2321 0
[pid=16317] ppid=16300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16317/stat : 16317 (satsolver.sh) S 16300 16299 14257 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273730569 9367552 267 33554432000 4194304 5064252 140733405369456 140733405368368 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16317/statm: 2287 267 226 213 0 72 0
[pid=16318] ppid=16317 vsize=19100 CPUtime=3.03 cores=1,3,5,7
/proc/16318/stat : 16318 (glucose_static) R 16317 16299 14257 0 -1 4202496 4687 0 0 0 302 1 0 0 20 0 1 0 273730569 19558400 4405 33554432000 4194304 4896791 140735966648000 140735966645400 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16318/statm: 4775 4405 78 172 0 4601 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 48352

[startup+51.1004 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 16332
/proc/meminfo: memFree=26985736/32873844 swapFree=6856/6856
[pid=16299] ppid=16297 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16299/stat : 16299 (runPb2sat.sh) S 16297 16299 14257 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273728323 9367552 275 33554432000 4194304 5064252 140734333209232 140734333208144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16299/statm: 2287 275 233 213 0 72 0
[pid=16300] ppid=16299 vsize=10956 CPUtime=50.45 cores=1,3,5,7
/proc/16300/stat : 16300 (pb2sat) S 16299 16299 14257 0 -1 4202496 17252 71422 0 0 55 8 4961 21 20 0 1 0 273728323 11218944 2347 33554432000 4194304 5873084 140736524664032 140736524657848 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16300/statm: 2739 2347 179 410 0 2321 0
Current children cumulated CPU time (s) 50.45
Current children cumulated vsize (KiB) 20104

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

[startup+76.7003 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 16346
/proc/meminfo: memFree=26968596/32873844 swapFree=6856/6856
[pid=16299] ppid=16297 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16299/stat : 16299 (runPb2sat.sh) S 16297 16299 14257 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273728323 9367552 275 33554432000 4194304 5064252 140734333209232 140734333208144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16299/statm: 2287 275 233 213 0 72 0
[pid=16300] ppid=16299 vsize=10956 CPUtime=75.65 cores=1,3,5,7
/proc/16300/stat : 16300 (pb2sat) S 16299 16299 14257 0 -1 4202496 23989 104179 0 0 77 11 7445 32 20 0 1 0 273728323 11218944 2347 33554432000 4194304 5873084 140736524664032 140736524657848 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16300/statm: 2739 2347 179 410 0 2321 0
[pid=16345] ppid=16300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16345/stat : 16345 (satsolver.sh) S 16300 16299 14257 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273735900 9367552 266 33554432000 4194304 5064252 140735479247504 140735479246416 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16345/statm: 2287 266 226 213 0 72 0
[pid=16346] ppid=16345 vsize=15264 CPUtime=0.92 cores=1,3,5,7
/proc/16346/stat : 16346 (glucose_static) R 16345 16299 14257 0 -1 4202496 3489 0 0 0 91 1 0 0 20 0 1 0 273735900 15630336 3219 33554432000 4194304 4896791 140734415028544 140734415026072 4401607 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16346/statm: 3816 3219 78 172 0 3642 0
Current children cumulated CPU time (s) 76.57
Current children cumulated vsize (KiB) 44516

[startup+83.1004 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 16349
/proc/meminfo: memFree=26962572/32873844 swapFree=6856/6856
[pid=16299] ppid=16297 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16299/stat : 16299 (runPb2sat.sh) S 16297 16299 14257 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273728323 9367552 275 33554432000 4194304 5064252 140734333209232 140734333208144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16299/statm: 2287 275 233 213 0 72 0
[pid=16300] ppid=16299 vsize=10956 CPUtime=80.35 cores=1,3,5,7
/proc/16300/stat : 16300 (pb2sat) S 16299 16299 14257 0 -1 4202496 25605 110536 0 0 82 12 7907 34 20 0 1 0 273728323 11218944 2347 33554432000 4194304 5873084 140736524664032 140736524657848 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16300/statm: 2739 2347 179 410 0 2321 0
[pid=16348] ppid=16300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16348/stat : 16348 (satsolver.sh) S 16300 16299 14257 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273736370 9367552 267 33554432000 4194304 5064252 140735023466896 140735023465808 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16348/statm: 2287 267 226 213 0 72 0
[pid=16349] ppid=16348 vsize=18812 CPUtime=2.61 cores=1,3,5,7
/proc/16349/stat : 16349 (glucose_static) R 16348 16299 14257 0 -1 4202496 5780 0 0 0 260 1 0 0 20 0 1 0 273736370 19263488 3690 33554432000 4194304 4896791 140733516554448 140733516551848 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16349/statm: 4703 3690 78 172 0 4529 0
Current children cumulated CPU time (s) 82.96
Current children cumulated vsize (KiB) 48064

[startup+86.3004 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 16349
/proc/meminfo: memFree=26959152/32873844 swapFree=6856/6856
[pid=16299] ppid=16297 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16299/stat : 16299 (runPb2sat.sh) S 16297 16299 14257 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273728323 9367552 275 33554432000 4194304 5064252 140734333209232 140734333208144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16299/statm: 2287 275 233 213 0 72 0
[pid=16300] ppid=16299 vsize=10956 CPUtime=80.35 cores=1,3,5,7
/proc/16300/stat : 16300 (pb2sat) S 16299 16299 14257 0 -1 4202496 25605 110536 0 0 82 12 7907 34 20 0 1 0 273728323 11218944 2347 33554432000 4194304 5873084 140736524664032 140736524657848 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16300/statm: 2739 2347 179 410 0 2321 0
[pid=16348] ppid=16300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16348/stat : 16348 (satsolver.sh) S 16300 16299 14257 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273736370 9367552 267 33554432000 4194304 5064252 140735023466896 140735023465808 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16348/statm: 2287 267 226 213 0 72 0
[pid=16349] ppid=16348 vsize=19976 CPUtime=5.82 cores=1,3,5,7
/proc/16349/stat : 16349 (glucose_static) R 16348 16299 14257 0 -1 4202496 7638 0 0 0 580 2 0 0 20 0 1 0 273736370 20455424 4546 33554432000 4194304 4896791 140733516554448 140733516551848 4230751 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16349/statm: 4994 4546 78 172 0 4820 0
Current children cumulated CPU time (s) 86.17
Current children cumulated vsize (KiB) 49228

[startup+89.5004 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 16352
/proc/meminfo: memFree=26961500/32873844 swapFree=6856/6856
[pid=16299] ppid=16297 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16299/stat : 16299 (runPb2sat.sh) S 16297 16299 14257 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273728323 9367552 275 33554432000 4194304 5064252 140734333209232 140734333208144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16299/statm: 2287 275 233 213 0 72 0
[pid=16300] ppid=16299 vsize=10956 CPUtime=87.4 cores=1,3,5,7
/proc/16300/stat : 16300 (pb2sat) S 16299 16299 14257 0 -1 4202496 27221 120135 0 0 88 13 8602 37 20 0 1 0 273728323 11218944 2347 33554432000 4194304 5873084 140736524664032 140736524657848 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16300/statm: 2739 2347 179 410 0 2321 0
[pid=16351] ppid=16300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16351/stat : 16351 (satsolver.sh) S 16300 16299 14257 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273737075 9367552 266 33554432000 4194304 5064252 140735585870112 140735585869024 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16351/statm: 2287 266 226 213 0 72 0
[pid=16352] ppid=16351 vsize=16056 CPUtime=1.96 cores=1,3,5,7
/proc/16352/stat : 16352 (glucose_static) R 16351 16299 14257 0 -1 4202496 4266 0 0 0 196 0 0 0 20 0 1 0 273737075 16441344 3577 33554432000 4194304 4896791 140735288637232 140735288634440 4225008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16352/statm: 4014 3577 78 172 0 3840 0
Current children cumulated CPU time (s) 89.36
Current children cumulated vsize (KiB) 45308

[startup+91.1004 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 16352
/proc/meminfo: memFree=26958212/32873844 swapFree=6856/6856
[pid=16299] ppid=16297 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16299/stat : 16299 (runPb2sat.sh) S 16297 16299 14257 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273728323 9367552 275 33554432000 4194304 5064252 140734333209232 140734333208144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16299/statm: 2287 275 233 213 0 72 0
[pid=16300] ppid=16299 vsize=10956 CPUtime=87.4 cores=1,3,5,7
/proc/16300/stat : 16300 (pb2sat) S 16299 16299 14257 0 -1 4202496 27221 120135 0 0 88 13 8602 37 20 0 1 0 273728323 11218944 2347 33554432000 4194304 5873084 140736524664032 140736524657848 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16300/statm: 2739 2347 179 410 0 2321 0
[pid=16351] ppid=16300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16351/stat : 16351 (satsolver.sh) S 16300 16299 14257 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273737075 9367552 266 33554432000 4194304 5064252 140735585870112 140735585869024 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16351/statm: 2287 266 226 213 0 72 0
[pid=16352] ppid=16351 vsize=16628 CPUtime=3.57 cores=1,3,5,7
/proc/16352/stat : 16352 (glucose_static) R 16351 16299 14257 0 -1 4202496 5138 0 0 0 356 1 0 0 20 0 1 0 273737075 17027072 3726 33554432000 4194304 4896791 140735288637232 140735288634616 4204099 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16352/statm: 4157 3726 78 172 0 3983 0
Current children cumulated CPU time (s) 90.97
Current children cumulated vsize (KiB) 45880

[startup+91.5005 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 16352
/proc/meminfo: memFree=26961064/32873844 swapFree=6856/6856
[pid=16299] ppid=16297 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16299/stat : 16299 (runPb2sat.sh) S 16297 16299 14257 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273728323 9367552 275 33554432000 4194304 5064252 140734333209232 140734333208144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16299/statm: 2287 275 233 213 0 72 0
[pid=16300] ppid=16299 vsize=10956 CPUtime=87.4 cores=1,3,5,7
/proc/16300/stat : 16300 (pb2sat) S 16299 16299 14257 0 -1 4202496 27221 120135 0 0 88 13 8602 37 20 0 1 0 273728323 11218944 2347 33554432000 4194304 5873084 140736524664032 140736524657848 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16300/statm: 2739 2347 179 410 0 2321 0
[pid=16351] ppid=16300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16351/stat : 16351 (satsolver.sh) S 16300 16299 14257 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273737075 9367552 266 33554432000 4194304 5064252 140735585870112 140735585869024 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16351/statm: 2287 266 226 213 0 72 0
[pid=16352] ppid=16351 vsize=19436 CPUtime=3.97 cores=1,3,5,7
/proc/16352/stat : 16352 (glucose_static) R 16351 16299 14257 0 -1 4202496 5267 0 0 0 396 1 0 0 20 0 1 0 273737075 19902464 3853 33554432000 4194304 4896791 140735288637232 140735288634760 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16352/statm: 4859 3853 78 172 0 4685 0
Current children cumulated CPU time (s) 91.37
Current children cumulated vsize (KiB) 48688

[startup+91.7004 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 16352
/proc/meminfo: memFree=26961064/32873844 swapFree=6856/6856
[pid=16299] ppid=16297 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16299/stat : 16299 (runPb2sat.sh) S 16297 16299 14257 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273728323 9367552 275 33554432000 4194304 5064252 140734333209232 140734333208144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16299/statm: 2287 275 233 213 0 72 0
[pid=16300] ppid=16299 vsize=10956 CPUtime=87.4 cores=1,3,5,7
/proc/16300/stat : 16300 (pb2sat) S 16299 16299 14257 0 -1 4202496 27221 120135 0 0 88 13 8602 37 20 0 1 0 273728323 11218944 2347 33554432000 4194304 5873084 140736524664032 140736524657848 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16300/statm: 2739 2347 179 410 0 2321 0
[pid=16351] ppid=16300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16351/stat : 16351 (satsolver.sh) S 16300 16299 14257 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273737075 9367552 266 33554432000 4194304 5064252 140735585870112 140735585869024 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16351/statm: 2287 266 226 213 0 72 0
[pid=16352] ppid=16351 vsize=19476 CPUtime=4.17 cores=1,3,5,7
/proc/16352/stat : 16352 (glucose_static) R 16351 16299 14257 0 -1 4202496 5291 0 0 0 416 1 0 0 20 0 1 0 273737075 19943424 4387 33554432000 4194304 4896791 140735288637232 140735288634760 4203772 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16352/statm: 4869 4387 78 172 0 4695 0
Current children cumulated CPU time (s) 91.57
Current children cumulated vsize (KiB) 48728

[startup+91.8004 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 16352
/proc/meminfo: memFree=26961064/32873844 swapFree=6856/6856
[pid=16299] ppid=16297 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16299/stat : 16299 (runPb2sat.sh) S 16297 16299 14257 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273728323 9367552 275 33554432000 4194304 5064252 140734333209232 140734333208144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16299/statm: 2287 275 233 213 0 72 0
[pid=16300] ppid=16299 vsize=10956 CPUtime=87.4 cores=1,3,5,7
/proc/16300/stat : 16300 (pb2sat) S 16299 16299 14257 0 -1 4202496 27221 120135 0 0 88 13 8602 37 20 0 1 0 273728323 11218944 2347 33554432000 4194304 5873084 140736524664032 140736524657848 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16300/statm: 2739 2347 179 410 0 2321 0
[pid=16351] ppid=16300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16351/stat : 16351 (satsolver.sh) S 16300 16299 14257 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273737075 9367552 266 33554432000 4194304 5064252 140735585870112 140735585869024 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16351/statm: 2287 266 226 213 0 72 0
[pid=16352] ppid=16351 vsize=19476 CPUtime=4.27 cores=1,3,5,7
/proc/16352/stat : 16352 (glucose_static) R 16351 16299 14257 0 -1 4202496 5291 0 0 0 426 1 0 0 20 0 1 0 273737075 19943424 4387 33554432000 4194304 4896791 140735288637232 140735288634760 4203873 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16352/statm: 4869 4387 78 172 0 4695 0
Current children cumulated CPU time (s) 91.67
Current children cumulated vsize (KiB) 48728

Child status: 0
Real time (s): 91.8505
CPU time (s): 91.7511
CPU user time (s): 91.2191
CPU system time (s): 0.531919
CPU usage (%): 99.8918
Max. virtual memory (cumulated for all children) (KiB): 57976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 91.2191
system time used= 0.531919
maximum resident set size= 28968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154637
page faults= 0
swaps= 0
block input operations= 0
block output operations= 105912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125
involuntary context switches= 181

runsolver used 0.212967 second user time and 0.573912 second system time

The end