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-3750745-1339165571/watcher-3750745-1339165571 -o /tmp/evaluation-result-3750745-1339165571/solver-3750745-1339165571 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750745-1339165571.opb 309231589 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.02 2.01 2.00 4/179 32564
/proc/meminfo: memFree=30032672/32873648 swapFree=7376/7376
[pid=32564] ppid=32562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32564/stat : 32564 (npSolver-pbo.sh) S 32562 32564 24789 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382681229 9367552 274 33554432000 4194304 5064252 140737054153792 140737054152704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32564/statm: 2287 274 233 213 0 72 0
[startup+0.0884069 s]
/proc/loadavg: 2.02 2.01 2.00 4/179 32564
/proc/meminfo: memFree=30032672/32873648 swapFree=7376/7376
[pid=32564] ppid=32562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32564/stat : 32564 (npSolver-pbo.sh) S 32562 32564 24789 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382681229 9367552 274 33554432000 4194304 5064252 140737054153792 140737054152704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32564/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100327 s]
/proc/loadavg: 2.02 2.01 2.00 4/179 32564
/proc/meminfo: memFree=30032672/32873648 swapFree=7376/7376
[pid=32564] ppid=32562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32564/stat : 32564 (npSolver-pbo.sh) S 32562 32564 24789 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382681229 9367552 274 33554432000 4194304 5064252 140737054153792 140737054152704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32564/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300261 s]
/proc/loadavg: 2.02 2.01 2.00 4/179 32564
/proc/meminfo: memFree=30032672/32873648 swapFree=7376/7376
[pid=32564] ppid=32562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32564/stat : 32564 (npSolver-pbo.sh) S 32562 32564 24789 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382681229 9367552 274 33554432000 4194304 5064252 140737054153792 140737054152704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32564/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700278 s]
/proc/loadavg: 2.02 2.01 2.00 4/179 32564
/proc/meminfo: memFree=30032672/32873648 swapFree=7376/7376
[pid=32564] ppid=32562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32564/stat : 32564 (npSolver-pbo.sh) S 32562 32564 24789 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382681229 9367552 274 33554432000 4194304 5064252 140737054153792 140737054152704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32564/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 32566
/proc/meminfo: memFree=29899404/32873648 swapFree=7376/7376
[pid=32564] ppid=32562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32564/stat : 32564 (npSolver-pbo.sh) S 32562 32564 24789 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382681229 9367552 274 33554432000 4194304 5064252 140737054153792 140737054152704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32564/statm: 2287 274 233 213 0 72 0
[pid=32565] ppid=32564 vsize=176180 CPUtime=1.49 cores=1,3,5,7
/proc/32565/stat : 32565 (npSolver-pbo) R 32564 32564 24789 0 -1 4202496 17412 0 0 0 143 6 0 0 20 0 1 0 382681229 180408320 42251 33554432000 4194304 6004724 140735516014448 140735516009048 4536305 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32565/statm: 44045 42251 154 442 0 43599 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 185328
[startup+3.10034 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 32566
/proc/meminfo: memFree=29820216/32873648 swapFree=7376/7376
[pid=32564] ppid=32562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32564/stat : 32564 (npSolver-pbo.sh) S 32562 32564 24789 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382681229 9367552 274 33554432000 4194304 5064252 140737054153792 140737054152704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32564/statm: 2287 274 233 213 0 72 0
[pid=32565] ppid=32564 vsize=502328 CPUtime=3.09 cores=1,3,5,7
/proc/32565/stat : 32565 (npSolver-pbo) R 32564 32564 24789 0 -1 4202496 18727 0 0 0 297 12 0 0 20 0 1 0 382681229 514383872 90126 33554432000 4194304 6004724 140735516014448 140735516009048 5056502 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32565/statm: 125582 90126 157 442 0 125136 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 511476
[startup+6.30042 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 32568
/proc/meminfo: memFree=29365148/32873648 swapFree=7376/7376
[pid=32564] ppid=32562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32564/stat : 32564 (npSolver-pbo.sh) S 32562 32564 24789 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382681229 9367552 274 33554432000 4194304 5064252 140737054153792 140737054152704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32564/statm: 2287 274 233 213 0 72 0
[pid=32565] ppid=32564 vsize=332400 CPUtime=3.33 cores=1,3,5,7
/proc/32565/stat : 32565 (npSolver-pbo) S 32564 32564 24789 0 -1 4202496 19174 0 0 0 298 35 0 0 20 0 1 0 382681229 340377600 59843 33554432000 4194304 6004724 140735516014448 140735516008496 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32565/statm: 83100 59843 163 442 0 82654 0
[pid=32567] ppid=32565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32567/stat : 32567 (cp2_pre.sh) S 32565 32564 24789 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 382681563 9367552 277 33554432000 4194304 5064252 140735137960816 140735137959520 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32567/statm: 2287 277 234 213 0 72 0
[pid=32568] ppid=32567 vsize=651740 CPUtime=2.94 cores=1,3,5,7
/proc/32568/stat : 32568 (coprocessor) R 32567 32564 24789 0 -1 4202496 46763 0 0 0 277 17 0 0 20 0 1 0 382681564 667381760 145560 33554432000 4194304 6586260 140737297644816 140737297641576 5511711 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/32568/statm: 162935 145561 164 584 0 162347 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 1002436
[startup+12.7005 s]
/proc/loadavg: 2.10 2.03 2.01 3/183 32568
/proc/meminfo: memFree=28740336/32873648 swapFree=7376/7376
[pid=32564] ppid=32562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32564/stat : 32564 (npSolver-pbo.sh) S 32562 32564 24789 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382681229 9367552 274 33554432000 4194304 5064252 140737054153792 140737054152704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32564/statm: 2287 274 233 213 0 72 0
[pid=32565] ppid=32564 vsize=332400 CPUtime=3.33 cores=1,3,5,7
/proc/32565/stat : 32565 (npSolver-pbo) S 32564 32564 24789 0 -1 4202496 19174 0 0 0 298 35 0 0 20 0 1 0 382681229 340377600 59843 33554432000 4194304 6004724 140735516014448 140735516008496 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32565/statm: 83100 59843 163 442 0 82654 0
[pid=32567] ppid=32565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32567/stat : 32567 (cp2_pre.sh) S 32565 32564 24789 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 382681563 9367552 277 33554432000 4194304 5064252 140735137960816 140735137959520 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32567/statm: 2287 277 234 213 0 72 0
[pid=32568] ppid=32567 vsize=892660 CPUtime=9.34 cores=1,3,5,7
/proc/32568/stat : 32568 (coprocessor) R 32567 32564 24789 0 -1 4202496 92931 0 0 0 908 26 0 0 20 0 1 0 382681564 914083840 219322 33554432000 4194304 6586260 140737297644816 140737297640488 4586031 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/32568/statm: 223165 219322 193 584 0 222577 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1243356
[startup+25.5004 s]
/proc/loadavg: 2.08 2.02 2.00 3/183 32571
/proc/meminfo: memFree=29429352/32873648 swapFree=7376/7376
[pid=32564] ppid=32562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32564/stat : 32564 (npSolver-pbo.sh) S 32562 32564 24789 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382681229 9367552 274 33554432000 4194304 5064252 140737054153792 140737054152704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32564/statm: 2287 274 233 213 0 72 0
[pid=32565] ppid=32564 vsize=332400 CPUtime=16.03 cores=1,3,5,7
/proc/32565/stat : 32565 (npSolver-pbo) S 32564 32564 24789 0 -1 4202496 19184 94241 0 0 298 36 1197 72 20 0 1 0 382681229 340377600 59843 33554432000 4194304 6004724 140735516014448 140735516009584 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32565/statm: 83100 59843 163 442 0 82654 0
[pid=32570] ppid=32565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32570/stat : 32570 (satsolver.sh) S 32565 32564 24789 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382682834 9367552 266 33554432000 4194304 5064252 140734464512880 140734464511792 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32570/statm: 2287 266 226 213 0 72 0
[pid=32571] ppid=32570 vsize=361172 CPUtime=9.43 cores=1,3,5,7
/proc/32571/stat : 32571 (glucose) R 32570 32564 24789 0 -1 4202496 54525 0 0 0 931 12 0 0 20 0 1 0 382682835 369840128 73725 33554432000 4194304 5208918 140734647128336 140734647126184 4229311 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32571/statm: 90293 73725 103 248 0 90042 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 711868
[startup+51.1069 s]
/proc/loadavg: 2.13 2.04 2.01 3/184 32579
/proc/meminfo: memFree=29388884/32873648 swapFree=7376/7376
[pid=32564] ppid=32562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32564/stat : 32564 (npSolver-pbo.sh) S 32562 32564 24789 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382681229 9367552 274 33554432000 4194304 5064252 140737054153792 140737054152704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32564/statm: 2287 274 233 213 0 72 0
[pid=32565] ppid=32564 vsize=344692 CPUtime=42.43 cores=1,3,5,7
/proc/32565/stat : 32565 (npSolver-pbo) S 32564 32564 24789 0 -1 4202496 24896 159214 0 0 406 409 3322 106 20 0 1 0 382681229 352964608 62126 33554432000 4194304 6004724 140735516014448 140735516006800 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/32565/statm: 86173 62126 177 442 0 85727 0
[pid=32578] ppid=32565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32578/stat : 32578 (satsolver.sh) S 32565 32564 24789 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382685492 9367552 267 33554432000 4194304 5064252 140736331699792 140736331698704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32578/statm: 2287 267 226 213 0 72 0
[pid=32579] ppid=32578 vsize=333760 CPUtime=8.47 cores=1,3,5,7
/proc/32579/stat : 32579 (glucose) R 32578 32564 24789 0 -1 4202496 54815 0 0 0 834 13 0 0 20 0 1 0 382685492 341770240 70008 33554432000 4194304 5208918 140733717530640 140733717528488 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32579/statm: 83440 70008 104 248 0 83189 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 696748
[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 32579
/proc/meminfo: memFree=29416320/32873648 swapFree=7376/7376
[pid=32564] ppid=32562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32564/stat : 32564 (npSolver-pbo.sh) S 32562 32564 24789 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382681229 9367552 274 33554432000 4194304 5064252 140737054153792 140737054152704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32564/statm: 2287 274 233 213 0 72 0
[pid=32565] ppid=32564 vsize=344692 CPUtime=42.43 cores=1,3,5,7
/proc/32565/stat : 32565 (npSolver-pbo) S 32564 32564 24789 0 -1 4202496 24896 159214 0 0 406 409 3322 106 20 0 1 0 382681229 352964608 62126 33554432000 4194304 6004724 140735516014448 140735516006800 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/32565/statm: 86173 62126 177 442 0 85727 0
[pid=32578] ppid=32565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32578/stat : 32578 (satsolver.sh) S 32565 32564 24789 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382685492 9367552 267 33554432000 4194304 5064252 140736331699792 140736331698704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32578/statm: 2287 267 226 213 0 72 0
[pid=32579] ppid=32578 vsize=338360 CPUtime=59.65 cores=1,3,5,7
/proc/32579/stat : 32579 (glucose) R 32578 32564 24789 0 -1 4202496 56160 0 0 0 5951 14 0 0 20 0 1 0 382685492 346480640 71771 33554432000 4194304 5208918 140733717530640 140733717528488 4229039 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32579/statm: 84590 71771 104 248 0 84339 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 701348
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 32579
/proc/meminfo: memFree=29405744/32873648 swapFree=7376/7376
[pid=32564] ppid=32562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32564/stat : 32564 (npSolver-pbo.sh) S 32562 32564 24789 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382681229 9367552 274 33554432000 4194304 5064252 140737054153792 140737054152704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32564/statm: 2287 274 233 213 0 72 0
[pid=32565] ppid=32564 vsize=344692 CPUtime=42.43 cores=1,3,5,7
/proc/32565/stat : 32565 (npSolver-pbo) S 32564 32564 24789 0 -1 4202496 24896 159214 0 0 406 409 3322 106 20 0 1 0 382681229 352964608 62126 33554432000 4194304 6004724 140735516014448 140735516006800 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/32565/statm: 86173 62126 177 442 0 85727 0
[pid=32578] ppid=32565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32578/stat : 32578 (satsolver.sh) S 32565 32564 24789 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382685492 9367552 267 33554432000 4194304 5064252 140736331699792 140736331698704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32578/statm: 2287 267 226 213 0 72 0
[pid=32579] ppid=32578 vsize=341896 CPUtime=119.64 cores=1,3,5,7
/proc/32579/stat : 32579 (glucose) R 32578 32564 24789 0 -1 4202496 57265 0 0 0 11948 16 0 0 20 0 1 0 382685492 350101504 74267 33554432000 4194304 5208918 140733717530640 140733717528600 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32579/statm: 85474 74267 104 248 0 85223 0
Current children cumulated CPU time (s) 162.07
Current children cumulated vsize (KiB) 704884
[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 32580
/proc/meminfo: memFree=29406432/32873648 swapFree=7376/7376
[pid=32564] ppid=32562 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/32579/stat : 32579 (glucose) R 32578 32564 24789 0 -1 4202496 75503 0 0 0 137890 50 0 0 20 0 1 0 382685492 377475072 82289 33554432000 4194304 5208918 140733717530640 140733717528728 4211732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32579/statm: 92157 82289 104 248 0 91906 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 731616
[startup+1482.3 s]
/proc/loadavg: 2.01 2.59 2.54 3/184 32680
/proc/meminfo: memFree=29596772/32873648 swapFree=7376/7376
[pid=32564] ppid=32562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32564/stat : 32564 (npSolver-pbo.sh) S 32562 32564 24789 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382681229 9367552 274 33554432000 4194304 5064252 140737054153792 140737054152704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32564/statm: 2287 274 233 213 0 72 0
[pid=32565] ppid=32564 vsize=344692 CPUtime=42.43 cores=1,3,5,7
/proc/32565/stat : 32565 (npSolver-pbo) S 32564 32564 24789 0 -1 4202496 24896 159214 0 0 406 409 3322 106 20 0 1 0 382681229 352964608 62126 33554432000 4194304 6004724 140735516014448 140735516006800 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/32565/statm: 86173 62126 177 442 0 85727 0
[pid=32578] ppid=32565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32578/stat : 32578 (satsolver.sh) S 32565 32564 24789 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382685492 9367552 267 33554432000 4194304 5064252 140736331699792 140736331698704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32578/statm: 2287 267 226 213 0 72 0
[pid=32579] ppid=32578 vsize=399448 CPUtime=1439.39 cores=1,3,5,7
/proc/32579/stat : 32579 (glucose) R 32578 32564 24789 0 -1 4202496 76093 0 0 0 143888 51 0 0 20 0 1 0 382685492 409034752 86964 33554432000 4194304 5208918 140733717530640 140733717526952 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32579/statm: 99862 86964 104 248 0 99611 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 762436
[startup+1542.3 s]
/proc/loadavg: 2.00 2.48 2.50 3/183 32680
/proc/meminfo: memFree=29643584/32873648 swapFree=7376/7376
[pid=32564] ppid=32562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32564/stat : 32564 (npSolver-pbo.sh) S 32562 32564 24789 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382681229 9367552 274 33554432000 4194304 5064252 140737054153792 140737054152704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32564/statm: 2287 274 233 213 0 72 0
[pid=32565] ppid=32564 vsize=344692 CPUtime=42.43 cores=1,3,5,7
/proc/32565/stat : 32565 (npSolver-pbo) S 32564 32564 24789 0 -1 4202496 24896 159214 0 0 406 409 3322 106 20 0 1 0 382681229 352964608 62126 33554432000 4194304 6004724 140735516014448 140735516006800 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/32565/statm: 86173 62126 177 442 0 85727 0
[pid=32578] ppid=32565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32578/stat : 32578 (satsolver.sh) S 32565 32564 24789 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382685492 9367552 267 33554432000 4194304 5064252 140736331699792 140736331698704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32578/statm: 2287 267 226 213 0 72 0
[pid=32579] ppid=32578 vsize=399448 CPUtime=1499.38 cores=1,3,5,7
/proc/32579/stat : 32579 (glucose) R 32578 32564 24789 0 -1 4202496 76880 0 0 0 149885 53 0 0 20 0 1 0 382685492 409034752 83625 33554432000 4194304 5208918 140733717530640 140733717528792 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32579/statm: 99862 83625 104 248 0 99611 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 762436
[startup+1602.3 s]
/proc/loadavg: 2.06 2.40 2.47 3/183 32680
/proc/meminfo: memFree=29655676/32873648 swapFree=7376/7376
[pid=32564] ppid=32562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32564/stat : 32564 (npSolver-pbo.sh) S 32562 32564 24789 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382681229 9367552 274 33554432000 4194304 5064252 140737054153792 140737054152704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32564/statm: 2287 274 233 213 0 72 0
[pid=32565] ppid=32564 vsize=344692 CPUtime=42.43 cores=1,3,5,7
/proc/32565/stat : 32565 (npSolver-pbo) S 32564 32564 24789 0 -1 4202496 24896 159214 0 0 406 409 3322 106 20 0 1 0 382681229 352964608 62126 33554432000 4194304 6004724 140735516014448 140735516006800 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/32565/statm: 86173 62126 177 442 0 85727 0
[pid=32578] ppid=32565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32578/stat : 32578 (satsolver.sh) S 32565 32564 24789 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382685492 9367552 267 33554432000 4194304 5064252 140736331699792 140736331698704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32578/statm: 2287 267 226 213 0 72 0
[pid=32579] ppid=32578 vsize=368628 CPUtime=1559.37 cores=1,3,5,7
/proc/32579/stat : 32579 (glucose) R 32578 32564 24789 0 -1 4202496 77103 0 0 0 155883 54 0 0 20 0 1 0 382685492 377475072 80518 33554432000 4194304 5208918 140733717530640 140733717528728 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32579/statm: 92157 80518 104 248 0 91906 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 731616
[startup+1662.3 s]
/proc/loadavg: 2.02 2.33 2.44 3/183 32680
/proc/meminfo: memFree=29634892/32873648 swapFree=7376/7376
[pid=32564] ppid=32562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32564/stat : 32564 (npSolver-pbo.sh) S 32562 32564 24789 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382681229 9367552 274 33554432000 4194304 5064252 140737054153792 140737054152704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32564/statm: 2287 274 233 213 0 72 0
[pid=32565] ppid=32564 vsize=344692 CPUtime=42.43 cores=1,3,5,7
/proc/32565/stat : 32565 (npSolver-pbo) S 32564 32564 24789 0 -1 4202496 24896 159214 0 0 406 409 3322 106 20 0 1 0 382681229 352964608 62126 33554432000 4194304 6004724 140735516014448 140735516006800 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/32565/statm: 86173 62126 177 442 0 85727 0
[pid=32578] ppid=32565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32578/stat : 32578 (satsolver.sh) S 32565 32564 24789 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382685492 9367552 267 33554432000 4194304 5064252 140736331699792 140736331698704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32578/statm: 2287 267 226 213 0 72 0
[pid=32579] ppid=32578 vsize=399448 CPUtime=1619.36 cores=1,3,5,7
/proc/32579/stat : 32579 (glucose) R 32578 32564 24789 0 -1 4202496 77766 0 0 0 161880 56 0 0 20 0 1 0 382685492 409034752 85774 33554432000 4194304 5208918 140733717530640 140733717528792 4229483 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32579/statm: 99862 85774 104 248 0 99611 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 762436
[startup+1722.3 s]
/proc/loadavg: 2.00 2.27 2.41 3/183 32681
/proc/meminfo: memFree=29565016/32873648 swapFree=7376/7376
[pid=32564] ppid=32562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32564/stat : 32564 (npSolver-pbo.sh) S 32562 32564 24789 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382681229 9367552 274 33554432000 4194304 5064252 140737054153792 140737054152704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32564/statm: 2287 274 233 213 0 72 0
[pid=32565] ppid=32564 vsize=344692 CPUtime=42.43 cores=1,3,5,7
/proc/32565/stat : 32565 (npSolver-pbo) S 32564 32564 24789 0 -1 4202496 24896 159214 0 0 406 409 3322 106 20 0 1 0 382681229 352964608 62126 33554432000 4194304 6004724 140735516014448 140735516006800 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/32565/statm: 86173 62126 177 442 0 85727 0
[pid=32578] ppid=32565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32578/stat : 32578 (satsolver.sh) S 32565 32564 24789 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382685492 9367552 267 33554432000 4194304 5064252 140736331699792 140736331698704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32578/statm: 2287 267 226 213 0 72 0
[pid=32579] ppid=32578 vsize=449536 CPUtime=1679.35 cores=1,3,5,7
/proc/32579/stat : 32579 (glucose) R 32578 32564 24789 0 -1 4202496 78690 0 0 0 167877 58 0 0 20 0 1 0 382685492 460324864 92828 33554432000 4194304 5208918 140733717530640 140733717528792 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32579/statm: 112384 92828 104 248 0 112133 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 812524
[startup+1782.3 s]
/proc/loadavg: 2.00 2.22 2.38 3/183 32681
/proc/meminfo: memFree=29574832/32873648 swapFree=7376/7376
[pid=32564] ppid=32562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32564/stat : 32564 (npSolver-pbo.sh) S 32562 32564 24789 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382681229 9367552 274 33554432000 4194304 5064252 140737054153792 140737054152704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32564/statm: 2287 274 233 213 0 72 0
[pid=32565] ppid=32564 vsize=344692 CPUtime=42.43 cores=1,3,5,7
/proc/32565/stat : 32565 (npSolver-pbo) S 32564 32564 24789 0 -1 4202496 24896 159214 0 0 406 409 3322 106 20 0 1 0 382681229 352964608 62126 33554432000 4194304 6004724 140735516014448 140735516006800 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/32565/statm: 86173 62126 177 442 0 85727 0
[pid=32578] ppid=32565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32578/stat : 32578 (satsolver.sh) S 32565 32564 24789 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382685492 9367552 267 33554432000 4194304 5064252 140736331699792 140736331698704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32578/statm: 2287 267 226 213 0 72 0
[pid=32579] ppid=32578 vsize=450208 CPUtime=1739.34 cores=1,3,5,7
/proc/32579/stat : 32579 (glucose) R 32578 32564 24789 0 -1 4202496 78985 0 0 0 173876 58 0 0 20 0 1 0 382685492 461012992 97211 33554432000 4194304 5208918 140733717530640 140733717528488 4205227 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32579/statm: 112552 97211 104 248 0 112301 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 813196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.20 2.37 3/183 32681
/proc/meminfo: memFree=29587980/32873648 swapFree=7376/7376
[pid=32564] ppid=32562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32564/stat : 32564 (npSolver-pbo.sh) S 32562 32564 24789 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382681229 9367552 274 33554432000 4194304 5064252 140737054153792 140737054152704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32564/statm: 2287 274 233 213 0 72 0
[pid=32565] ppid=32564 vsize=344692 CPUtime=42.43 cores=1,3,5,7
/proc/32565/stat : 32565 (npSolver-pbo) S 32564 32564 24789 0 -1 4202496 24896 159214 0 0 406 409 3322 106 20 0 1 0 382681229 352964608 62126 33554432000 4194304 6004724 140735516014448 140735516006800 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/32565/statm: 86173 62126 177 442 0 85727 0
[pid=32578] ppid=32565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32578/stat : 32578 (satsolver.sh) S 32565 32564 24789 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382685492 9367552 267 33554432000 4194304 5064252 140736331699792 140736331698704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32578/statm: 2287 267 226 213 0 72 0
[pid=32579] ppid=32578 vsize=403012 CPUtime=1757.64 cores=1,3,5,7
/proc/32579/stat : 32579 (glucose) R 32578 32564 24789 0 -1 4202496 80277 0 0 0 175704 60 0 0 20 0 1 0 382685492 412684288 84134 33554432000 4194304 5208918 140733717530640 140733717528792 4228924 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32579/statm: 100753 84134 104 248 0 100502 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 766000
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.00 2.20 2.37 3/183 32681
/proc/meminfo: memFree=29587980/32873648 swapFree=7376/7376
[pid=32564] ppid=32562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32564/stat : 32564 (npSolver-pbo.sh) S 32562 32564 24789 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382681229 9367552 274 33554432000 4194304 5064252 140737054153792 140737054152704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32564/statm: 2287 274 233 213 0 72 0
[pid=32565] ppid=32564 vsize=344692 CPUtime=42.43 cores=1,3,5,7
/proc/32565/stat : 32565 (npSolver-pbo) S 32564 32564 24789 0 -1 4202496 24896 159214 0 0 406 409 3322 106 20 0 1 0 382681229 352964608 62126 33554432000 4194304 6004724 140735516014448 140735516006800 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/32565/statm: 86173 62126 177 442 0 85727 0
[pid=32578] ppid=32565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32578/stat : 32578 (satsolver.sh) S 32565 32564 24789 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382685492 9367552 267 33554432000 4194304 5064252 140736331699792 140736331698704 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32578/statm: 2287 267 226 213 0 72 0
[pid=32579] ppid=32578 vsize=403012 CPUtime=1757.64 cores=1,3,5,7
/proc/32579/stat : 32579 (glucose) R 32578 32564 24789 0 -1 4202496 80277 0 0 0 175704 60 0 0 20 0 1 0 382685492 412684288 84134 33554432000 4194304 5208918 140733717530640 140733717528792 4228924 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32579/statm: 100753 84134 104 248 0 100502 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 766000
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32564 and gives
# childrusage.ru_utime.tv_sec=37
# childrusage.ru_utime.tv_usec=298329
# childrusage.ru_stime.tv_sec=5
# childrusage.ru_stime.tv_usec=172213
# CPU time returned by wait4() is 42.4705
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.62
CPU time (s): 1800.07
CPU user time (s): 1794.32
CPU system time (s): 5.75
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 1269484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.2983
system time used= 5.17221
maximum resident set size= 903432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185085
page faults= 0
swaps= 0
block input operations= 0
block output operations= 732152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2152
involuntary context switches= 79
runsolver used 3.34449 second user time and 7.53685 second system time
The end