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-3750090-1339181765/watcher-3750090-1339181765 -o /tmp/evaluation-result-3750090-1339181765/solver-3750090-1339181765 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750090-1339181765.opb 1052704507 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 2.00 2/179 8792
/proc/meminfo: memFree=30831888/32873844 swapFree=7116/7116
[pid=8792] ppid=8790 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8792/stat : 8792 (npSolver-pbo.sh) S 8790 8792 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384303467 9367552 274 33554432000 4194304 5064252 140735352572944 140735352571856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8792/statm: 2287 274 233 213 0 72 0
[startup+0.103836 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 8792
/proc/meminfo: memFree=30831888/32873844 swapFree=7116/7116
[pid=8792] ppid=8790 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8792/stat : 8792 (npSolver-pbo.sh) S 8790 8792 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384303467 9367552 274 33554432000 4194304 5064252 140735352572944 140735352571856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8792/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200328 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 8792
/proc/meminfo: memFree=30831888/32873844 swapFree=7116/7116
[pid=8792] ppid=8790 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8792/stat : 8792 (npSolver-pbo.sh) S 8790 8792 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384303467 9367552 274 33554432000 4194304 5064252 140735352572944 140735352571856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8792/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300332 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 8792
/proc/meminfo: memFree=30831888/32873844 swapFree=7116/7116
[pid=8792] ppid=8790 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8792/stat : 8792 (npSolver-pbo.sh) S 8790 8792 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384303467 9367552 274 33554432000 4194304 5064252 140735352572944 140735352571856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8792/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700162 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 8792
/proc/meminfo: memFree=30831888/32873844 swapFree=7116/7116
[pid=8792] ppid=8790 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8792/stat : 8792 (npSolver-pbo.sh) S 8790 8792 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384303467 9367552 274 33554432000 4194304 5064252 140735352572944 140735352571856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8792/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8796
/proc/meminfo: memFree=30653204/32873844 swapFree=7116/7116
[pid=8792] ppid=8790 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8792/stat : 8792 (npSolver-pbo.sh) S 8790 8792 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384303467 9367552 274 33554432000 4194304 5064252 140735352572944 140735352571856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8792/statm: 2287 274 233 213 0 72 0
[pid=8793] ppid=8792 vsize=37588 CPUtime=0.49 cores=0,2,4,6
/proc/8793/stat : 8793 (npSolver-pbo) S 8792 8792 7523 0 -1 4202496 9066 0 0 0 44 5 0 0 20 0 1 0 384303468 38490112 7949 33554432000 4194304 6004724 140735015688992 140735015683040 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8793/statm: 9397 7949 164 442 0 8951 0
[pid=8795] ppid=8793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8795/stat : 8795 (cp2_pre.sh) S 8793 8792 7523 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 384303518 9367552 276 33554432000 4194304 5064252 140733968485280 140733968483984 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8795/statm: 2287 276 234 213 0 72 0
[pid=8796] ppid=8795 vsize=163544 CPUtime=0.98 cores=0,2,4,6
/proc/8796/stat : 8796 (coprocessor) R 8795 8792 7523 0 -1 4202496 29187 0 0 0 93 5 0 0 20 0 1 0 384303518 167469056 39432 33554432000 4194304 6586260 140735795833984 140735795830312 4768675 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/8796/statm: 40886 39432 182 584 0 40298 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 219428
[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8796
/proc/meminfo: memFree=30602704/32873844 swapFree=7116/7116
[pid=8792] ppid=8790 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8792/stat : 8792 (npSolver-pbo.sh) S 8790 8792 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384303467 9367552 274 33554432000 4194304 5064252 140735352572944 140735352571856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8792/statm: 2287 274 233 213 0 72 0
[pid=8793] ppid=8792 vsize=37588 CPUtime=0.49 cores=0,2,4,6
/proc/8793/stat : 8793 (npSolver-pbo) S 8792 8792 7523 0 -1 4202496 9066 0 0 0 44 5 0 0 20 0 1 0 384303468 38490112 7949 33554432000 4194304 6004724 140735015688992 140735015683040 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8793/statm: 9397 7949 164 442 0 8951 0
[pid=8795] ppid=8793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8795/stat : 8795 (cp2_pre.sh) S 8793 8792 7523 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 384303518 9367552 276 33554432000 4194304 5064252 140733968485280 140733968483984 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8795/statm: 2287 276 234 213 0 72 0
[pid=8796] ppid=8795 vsize=188960 CPUtime=2.57 cores=0,2,4,6
/proc/8796/stat : 8796 (coprocessor) R 8795 8792 7523 0 -1 4202496 33213 0 0 0 251 6 0 0 20 0 1 0 384303518 193495040 46013 33554432000 4194304 6586260 140735795833984 140735795829352 4683467 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/8796/statm: 47240 46013 192 584 0 46652 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 244844
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8803
/proc/meminfo: memFree=30777212/32873844 swapFree=7116/7116
[pid=8792] ppid=8790 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8792/stat : 8792 (npSolver-pbo.sh) S 8790 8792 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384303467 9367552 274 33554432000 4194304 5064252 140735352572944 140735352571856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8792/statm: 2287 274 233 213 0 72 0
[pid=8793] ppid=8792 vsize=37588 CPUtime=6.27 cores=0,2,4,6
/proc/8793/stat : 8793 (npSolver-pbo) R 8792 8792 7523 0 -1 4202496 10707 59067 0 0 63 75 467 22 20 0 1 0 384303468 38490112 7955 33554432000 4194304 6004724 140735015688992 140735015683192 5190832 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8793/statm: 9397 7955 170 442 0 8951 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 46736
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8806
/proc/meminfo: memFree=30332736/32873844 swapFree=7116/7116
[pid=8792] ppid=8790 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8792/stat : 8792 (npSolver-pbo.sh) S 8790 8792 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384303467 9367552 274 33554432000 4194304 5064252 140735352572944 140735352571856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8792/statm: 2287 274 233 213 0 72 0
[pid=8793] ppid=8792 vsize=180404 CPUtime=7.6 cores=0,2,4,6
/proc/8793/stat : 8793 (npSolver-pbo) S 8792 8792 7523 0 -1 4202496 17141 59581 0 0 174 96 467 23 20 0 1 0 384303468 184733696 30791 33554432000 4194304 6004724 140735015688992 140735015681344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8793/statm: 45101 30791 180 442 0 44655 0
[pid=8805] ppid=8793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8805/stat : 8805 (satsolver.sh) S 8793 8792 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384304231 9367552 267 33554432000 4194304 5064252 140734659172240 140734659171152 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8805/statm: 2287 267 226 213 0 72 0
[pid=8806] ppid=8805 vsize=303568 CPUtime=5.04 cores=0,2,4,6
/proc/8806/stat : 8806 (glucose) R 8805 8792 7523 0 -1 4202496 50861 0 0 0 492 12 0 0 20 0 1 0 384304232 310853632 63689 33554432000 4194304 5208918 140734358793680 140734358791512 4228997 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8806/statm: 75892 63689 104 248 0 75641 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 502268
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 8809
/proc/meminfo: memFree=30562540/32873844 swapFree=7116/7116
[pid=8792] ppid=8790 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8792/stat : 8792 (npSolver-pbo.sh) S 8790 8792 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384303467 9367552 274 33554432000 4194304 5064252 140735352572944 140735352571856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8792/statm: 2287 274 233 213 0 72 0
[pid=8793] ppid=8792 vsize=180404 CPUtime=25.25 cores=0,2,4,6
/proc/8793/stat : 8793 (npSolver-pbo) S 8792 8792 7523 0 -1 4202496 17149 111779 0 0 174 96 2216 39 20 0 1 0 384303468 184733696 30791 33554432000 4194304 6004724 140735015688992 140735015680832 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8793/statm: 45101 30791 180 442 0 44655 0
[pid=8807] ppid=8793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8807/stat : 8807 (cp2_post.sh) S 8793 8792 7523 0 -1 4202496 611 227 0 0 0 0 0 0 20 0 1 0 384305996 9367552 266 33554432000 4194304 5064252 140734271305888 140734271304176 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8807/statm: 2287 266 225 213 0 72 0
[pid=8809] ppid=8807 vsize=23672 CPUtime=0.2 cores=0,2,4,6
/proc/8809/stat : 8809 (coprocessor) R 8807 8792 7523 0 -1 4202496 4387 0 0 0 20 0 0 0 20 0 1 0 384305997 24240128 4641 33554432000 4194304 6586260 140733473218256 140734271304200 5599569 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/8809/statm: 5918 4648 148 584 0 5330 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 222372
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8813
/proc/meminfo: memFree=30510176/32873844 swapFree=7116/7116
[pid=8792] ppid=8790 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8792/stat : 8792 (npSolver-pbo.sh) S 8790 8792 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384303467 9367552 274 33554432000 4194304 5064252 140735352572944 140735352571856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8792/statm: 2287 274 233 213 0 72 0
[pid=8793] ppid=8792 vsize=163028 CPUtime=27.21 cores=0,2,4,6
/proc/8793/stat : 8793 (npSolver-pbo) S 8792 8792 7523 0 -1 4202496 25908 119528 0 0 273 109 2268 71 20 0 1 0 384303468 166940672 23408 33554432000 4194304 6004724 140735015688992 140735015681344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8793/statm: 40757 23408 181 442 0 40311 0
[pid=8812] ppid=8793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8812/stat : 8812 (satsolver.sh) S 8793 8792 7523 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384306193 9367552 266 33554432000 4194304 5064252 140733520875728 140733520874640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8812/statm: 2287 266 226 213 0 72 0
[pid=8813] ppid=8812 vsize=272044 CPUtime=23.82 cores=0,2,4,6
/proc/8813/stat : 8813 (glucose) R 8812 8792 7523 0 -1 4202496 45503 0 0 0 2370 12 0 0 20 0 1 0 384306193 278573056 58794 33554432000 4194304 5208918 140735645447568 140735645445240 4229251 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8813/statm: 68011 58794 105 248 0 67760 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 453368
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8813
/proc/meminfo: memFree=30427156/32873844 swapFree=7116/7116
[pid=8792] ppid=8790 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8792/stat : 8792 (npSolver-pbo.sh) S 8790 8792 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384303467 9367552 274 33554432000 4194304 5064252 140735352572944 140735352571856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8792/statm: 2287 274 233 213 0 72 0
[pid=8793] ppid=8792 vsize=163028 CPUtime=27.21 cores=0,2,4,6
/proc/8793/stat : 8793 (npSolver-pbo) S 8792 8792 7523 0 -1 4202496 25908 119528 0 0 273 109 2268 71 20 0 1 0 384303468 166940672 23408 33554432000 4194304 6004724 140735015688992 140735015681344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8793/statm: 40757 23408 181 442 0 40311 0
[pid=8812] ppid=8793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8812/stat : 8812 (satsolver.sh) S 8793 8792 7523 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384306193 9367552 266 33554432000 4194304 5064252 140733520875728 140733520874640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8812/statm: 2287 266 226 213 0 72 0
[pid=8813] ppid=8812 vsize=245324 CPUtime=75.02 cores=0,2,4,6
/proc/8813/stat : 8813 (glucose) R 8812 8792 7523 0 -1 4202496 46368 0 0 0 7488 14 0 0 20 0 1 0 384306193 251211776 57896 33554432000 4194304 5208918 140735645447568 140735645445656 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8813/statm: 61331 57896 105 248 0 61080 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 426648
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8813
/proc/meminfo: memFree=30332196/32873844 swapFree=7116/7116
[pid=8792] ppid=8790 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8792/stat : 8792 (npSolver-pbo.sh) S 8790 8792 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384303467 9367552 274 33554432000 4194304 5064252 140735352572944 140735352571856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8792/statm: 2287 274 233 213 0 72 0
[pid=8793] ppid=8792 vsize=163028 CPUtime=27.21 cores=0,2,4,6
/proc/8793/stat : 8793 (npSolver-pbo) S 8792 8792 7523 0 -1 4202496 25908 119528 0 0 273 109 2268 71 20 0 1 0 384303468 166940672 23408 33554432000 4194304 6004724 140735015688992 140735015681344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8793/statm: 40757 23408 181 442 0 40311 0
[pid=8812] ppid=8793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8812/stat : 8812 (satsolver.sh) S 8793 8792 7523 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384306193 9367552 266 33554432000 4194304 5064252 140733520875728 140733520874640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8812/statm: 2287 266 226 213 0 72 0
[pid=8813] ppid=8812 vsize=279168 CPUtime=134.99 cores=0,2,4,6
/proc/8813/stat : 8813 (glucose) R 8812 8792 7523 0 -1 4202496 49110 0 0 0 13482 17 0 0 20 0 1 0 384306193 285868032 60100 33554432000 4194304 5208918 140735645447568 140735645445656 4211104 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8813/statm: 69792 60100 105 248 0 69541 0
Current children cumulated CPU time (s) 162.2
################
# More data... #
################
/proc/8847/stat : 8847 (glucose) R 8846 8792 7523 0 -1 4202496 69433 0 0 0 104798 80 0 0 20 0 1 0 384334795 777162752 146312 33554432000 4194304 5208918 140733796894512 140733796892360 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8847/statm: 189737 146312 104 248 0 189486 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 873624
[startup+1422.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 8912
/proc/meminfo: memFree=30157192/32873844 swapFree=7116/7116
[pid=8792] ppid=8790 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8792/stat : 8792 (npSolver-pbo.sh) S 8790 8792 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384303467 9367552 274 33554432000 4194304 5064252 140735352572944 140735352571856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8792/statm: 2287 274 233 213 0 72 0
[pid=8793] ppid=8792 vsize=96380 CPUtime=313.12 cores=0,2,4,6
/proc/8793/stat : 8793 (npSolver-pbo) S 8792 8792 7523 0 -1 4202496 33507 182537 0 0 357 121 30705 129 20 0 1 0 384303468 98693120 21082 33554432000 4194304 6004724 140735015688992 140735015681344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8793/statm: 24095 21082 181 442 0 23649 0
[pid=8846] ppid=8793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8846/stat : 8846 (satsolver.sh) S 8793 8792 7523 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384334795 9367552 267 33554432000 4194304 5064252 140733580898864 140733580897776 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8846/statm: 2287 267 226 213 0 72 0
[pid=8847] ppid=8846 vsize=759232 CPUtime=1108.77 cores=0,2,4,6
/proc/8847/stat : 8847 (glucose) R 8846 8792 7523 0 -1 4202496 71419 0 0 0 110789 88 0 0 20 0 1 0 384334795 777453568 147225 33554432000 4194304 5208918 140733796894512 140733796892664 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8847/statm: 189808 147225 104 248 0 189557 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 873908
[startup+1482.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/184 8916
/proc/meminfo: memFree=30157184/32873844 swapFree=7116/7116
[pid=8792] ppid=8790 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8792/stat : 8792 (npSolver-pbo.sh) S 8790 8792 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384303467 9367552 274 33554432000 4194304 5064252 140735352572944 140735352571856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8792/statm: 2287 274 233 213 0 72 0
[pid=8793] ppid=8792 vsize=96380 CPUtime=313.12 cores=0,2,4,6
/proc/8793/stat : 8793 (npSolver-pbo) S 8792 8792 7523 0 -1 4202496 33507 182537 0 0 357 121 30705 129 20 0 1 0 384303468 98693120 21082 33554432000 4194304 6004724 140735015688992 140735015681344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8793/statm: 24095 21082 181 442 0 23649 0
[pid=8846] ppid=8793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8846/stat : 8846 (satsolver.sh) S 8793 8792 7523 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384334795 9367552 267 33554432000 4194304 5064252 140733580898864 140733580897776 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8846/statm: 2287 267 226 213 0 72 0
[pid=8847] ppid=8846 vsize=760512 CPUtime=1168.76 cores=0,2,4,6
/proc/8847/stat : 8847 (glucose) R 8846 8792 7523 0 -1 4202496 73290 0 0 0 116779 97 0 0 20 0 1 0 384334795 778764288 147695 33554432000 4194304 5208918 140733796894512 140733796892360 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8847/statm: 190128 147695 104 248 0 189877 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 875188
[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 8916
/proc/meminfo: memFree=30191712/32873844 swapFree=7116/7116
[pid=8792] ppid=8790 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8792/stat : 8792 (npSolver-pbo.sh) S 8790 8792 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384303467 9367552 274 33554432000 4194304 5064252 140735352572944 140735352571856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8792/statm: 2287 274 233 213 0 72 0
[pid=8793] ppid=8792 vsize=96380 CPUtime=313.12 cores=0,2,4,6
/proc/8793/stat : 8793 (npSolver-pbo) S 8792 8792 7523 0 -1 4202496 33507 182537 0 0 357 121 30705 129 20 0 1 0 384303468 98693120 21082 33554432000 4194304 6004724 140735015688992 140735015681344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8793/statm: 24095 21082 181 442 0 23649 0
[pid=8846] ppid=8793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8846/stat : 8846 (satsolver.sh) S 8793 8792 7523 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384334795 9367552 267 33554432000 4194304 5064252 140733580898864 140733580897776 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8846/statm: 2287 267 226 213 0 72 0
[pid=8847] ppid=8846 vsize=762008 CPUtime=1228.75 cores=0,2,4,6
/proc/8847/stat : 8847 (glucose) R 8846 8792 7523 0 -1 4202496 74760 0 0 0 122770 105 0 0 20 0 1 0 384334795 780296192 138366 33554432000 4194304 5208918 140733796894512 140733796892664 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8847/statm: 190502 138366 104 248 0 190251 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 876684
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 8916
/proc/meminfo: memFree=30231176/32873844 swapFree=7116/7116
[pid=8792] ppid=8790 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8792/stat : 8792 (npSolver-pbo.sh) S 8790 8792 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384303467 9367552 274 33554432000 4194304 5064252 140735352572944 140735352571856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8792/statm: 2287 274 233 213 0 72 0
[pid=8793] ppid=8792 vsize=96380 CPUtime=313.12 cores=0,2,4,6
/proc/8793/stat : 8793 (npSolver-pbo) S 8792 8792 7523 0 -1 4202496 33507 182537 0 0 357 121 30705 129 20 0 1 0 384303468 98693120 21082 33554432000 4194304 6004724 140735015688992 140735015681344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8793/statm: 24095 21082 181 442 0 23649 0
[pid=8846] ppid=8793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8846/stat : 8846 (satsolver.sh) S 8793 8792 7523 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384334795 9367552 267 33554432000 4194304 5064252 140733580898864 140733580897776 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8846/statm: 2287 267 226 213 0 72 0
[pid=8847] ppid=8846 vsize=547296 CPUtime=1288.74 cores=0,2,4,6
/proc/8847/stat : 8847 (glucose) R 8846 8792 7523 0 -1 4202496 75660 0 0 0 128762 112 0 0 20 0 1 0 384334795 560431104 116015 33554432000 4194304 5208918 140733796894512 140733796892664 4229307 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8847/statm: 136824 116015 104 248 0 136573 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 661972
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 8916
/proc/meminfo: memFree=30065900/32873844 swapFree=7116/7116
[pid=8792] ppid=8790 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8792/stat : 8792 (npSolver-pbo.sh) S 8790 8792 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384303467 9367552 274 33554432000 4194304 5064252 140735352572944 140735352571856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8792/statm: 2287 274 233 213 0 72 0
[pid=8793] ppid=8792 vsize=96380 CPUtime=313.12 cores=0,2,4,6
/proc/8793/stat : 8793 (npSolver-pbo) S 8792 8792 7523 0 -1 4202496 33507 182537 0 0 357 121 30705 129 20 0 1 0 384303468 98693120 21082 33554432000 4194304 6004724 140735015688992 140735015681344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8793/statm: 24095 21082 181 442 0 23649 0
[pid=8846] ppid=8793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8846/stat : 8846 (satsolver.sh) S 8793 8792 7523 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384334795 9367552 267 33554432000 4194304 5064252 140733580898864 140733580897776 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8846/statm: 2287 267 226 213 0 72 0
[pid=8847] ppid=8846 vsize=763928 CPUtime=1348.73 cores=0,2,4,6
/proc/8847/stat : 8847 (glucose) R 8846 8792 7523 0 -1 4202496 76530 0 0 0 134757 116 0 0 20 0 1 0 384334795 782262272 169518 33554432000 4194304 5208918 140733796894512 140733796892360 4229504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8847/statm: 190982 169518 104 248 0 190731 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 878604
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 8916
/proc/meminfo: memFree=30186028/32873844 swapFree=7116/7116
[pid=8792] ppid=8790 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8792/stat : 8792 (npSolver-pbo.sh) S 8790 8792 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384303467 9367552 274 33554432000 4194304 5064252 140735352572944 140735352571856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8792/statm: 2287 274 233 213 0 72 0
[pid=8793] ppid=8792 vsize=96380 CPUtime=313.12 cores=0,2,4,6
/proc/8793/stat : 8793 (npSolver-pbo) S 8792 8792 7523 0 -1 4202496 33507 182537 0 0 357 121 30705 129 20 0 1 0 384303468 98693120 21082 33554432000 4194304 6004724 140735015688992 140735015681344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8793/statm: 24095 21082 181 442 0 23649 0
[pid=8846] ppid=8793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8846/stat : 8846 (satsolver.sh) S 8793 8792 7523 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384334795 9367552 267 33554432000 4194304 5064252 140733580898864 140733580897776 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8846/statm: 2287 267 226 213 0 72 0
[pid=8847] ppid=8846 vsize=764568 CPUtime=1408.72 cores=0,2,4,6
/proc/8847/stat : 8847 (glucose) R 8846 8792 7523 0 -1 4202496 77883 0 0 0 140746 126 0 0 20 0 1 0 384334795 782917632 140481 33554432000 4194304 5208918 140733796894512 140733796892664 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8847/statm: 191142 140481 104 248 0 190891 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 879244
[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 8917
/proc/meminfo: memFree=29984188/32873844 swapFree=7116/7116
[pid=8792] ppid=8790 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8792/stat : 8792 (npSolver-pbo.sh) S 8790 8792 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384303467 9367552 274 33554432000 4194304 5064252 140735352572944 140735352571856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8792/statm: 2287 274 233 213 0 72 0
[pid=8793] ppid=8792 vsize=96380 CPUtime=313.12 cores=0,2,4,6
/proc/8793/stat : 8793 (npSolver-pbo) S 8792 8792 7523 0 -1 4202496 33507 182537 0 0 357 121 30705 129 20 0 1 0 384303468 98693120 21082 33554432000 4194304 6004724 140735015688992 140735015681344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8793/statm: 24095 21082 181 442 0 23649 0
[pid=8846] ppid=8793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8846/stat : 8846 (satsolver.sh) S 8793 8792 7523 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384334795 9367552 267 33554432000 4194304 5064252 140733580898864 140733580897776 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8846/statm: 2287 267 226 213 0 72 0
[pid=8847] ppid=8846 vsize=765208 CPUtime=1468.69 cores=0,2,4,6
/proc/8847/stat : 8847 (glucose) R 8846 8792 7523 0 -1 4202496 78088 0 0 0 146741 128 0 0 20 0 1 0 384334795 783572992 173800 33554432000 4194304 5208918 140733796894512 140733796892360 4229517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8847/statm: 191302 173800 104 248 0 191051 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 879884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 8917
/proc/meminfo: memFree=30017544/32873844 swapFree=7116/7116
[pid=8792] ppid=8790 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8792/stat : 8792 (npSolver-pbo.sh) S 8790 8792 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384303467 9367552 274 33554432000 4194304 5064252 140735352572944 140735352571856 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8792/statm: 2287 274 233 213 0 72 0
[pid=8793] ppid=8792 vsize=96380 CPUtime=313.12 cores=0,2,4,6
/proc/8793/stat : 8793 (npSolver-pbo) S 8792 8792 7523 0 -1 4202496 33507 182537 0 0 357 121 30705 129 20 0 1 0 384303468 98693120 21082 33554432000 4194304 6004724 140735015688992 140735015681344 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8793/statm: 24095 21082 181 442 0 23649 0
[pid=8846] ppid=8793 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8846/stat : 8846 (satsolver.sh) S 8793 8792 7523 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384334795 9367552 267 33554432000 4194304 5064252 140733580898864 140733580897776 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8846/statm: 2287 267 226 213 0 72 0
[pid=8847] ppid=8846 vsize=765208 CPUtime=1486.9 cores=0,2,4,6
/proc/8847/stat : 8847 (glucose) R 8846 8792 7523 0 -1 4202496 78115 0 0 0 148561 129 0 0 20 0 1 0 384334795 783572992 181480 33554432000 4194304 5208918 140733796894512 140733796892360 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8847/statm: 191302 181480 104 248 0 191051 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 879884
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8792 and gives
# childrusage.ru_utime.tv_sec=310
# childrusage.ru_utime.tv_usec=623778
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=511618
# CPU time returned by wait4() is 313.135
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1796.23
CPU system time (s): 3.79
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 1090860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 310.624
system time used= 2.51162
maximum resident set size= 429416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217019
page faults= 0
swaps= 0
block input operations= 0
block output operations= 567160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2963
involuntary context switches= 626
runsolver used 2.79757 second user time and 7.08392 second system time
The end