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-3751965-1339116922/watcher-3751965-1339116922 -o /tmp/evaluation-result-3751965-1339116922/solver-3751965-1339116922 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751965-1339116922.opb 1652807423 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.08 2.02 1.95 3/178 11268
/proc/meminfo: memFree=30157300/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
[startup+0.08398 s]
/proc/loadavg: 2.08 2.02 1.95 3/178 11268
/proc/meminfo: memFree=30157300/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100281 s]
/proc/loadavg: 2.08 2.02 1.95 3/178 11268
/proc/meminfo: memFree=30157300/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300165 s]
/proc/loadavg: 2.08 2.02 1.95 3/178 11268
/proc/meminfo: memFree=30157300/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700149 s]
/proc/loadavg: 2.08 2.02 1.95 3/178 11268
/proc/meminfo: memFree=30157300/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.08 2.02 1.95 3/181 11277
/proc/meminfo: memFree=30109852/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
[pid=11269] ppid=11268 vsize=11644 CPUtime=0.09 cores=0,2,4,6
/proc/11269/stat : 11269 (npSolver-pbo) S 11268 11268 9343 0 -1 4202496 4749 3636 0 0 7 1 1 0 20 0 1 0 377816309 11923456 2568 33554432000 4194304 6004724 140734117329392 140734117315240 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11269/statm: 2911 2568 188 442 0 2465 0
[pid=11277] ppid=11269 vsize=35372 CPUtime=1.37 cores=0,2,4,6
/proc/11277/stat : 11277 (glucosInc) R 11269 11268 9343 0 -1 4202496 7831 0 0 0 136 1 0 0 20 0 1 0 377816320 36220928 8086 33554432000 4194304 5654031 140733841092272 140733841090056 4233232 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11277/statm: 8843 8086 131 357 0 8483 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 56164
[startup+3.1003 s]
/proc/loadavg: 2.08 2.02 1.95 3/181 11277
/proc/meminfo: memFree=30098560/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
[pid=11269] ppid=11268 vsize=11644 CPUtime=0.09 cores=0,2,4,6
/proc/11269/stat : 11269 (npSolver-pbo) S 11268 11268 9343 0 -1 4202496 4749 3636 0 0 7 1 1 0 20 0 1 0 377816309 11923456 2568 33554432000 4194304 6004724 140734117329392 140734117315240 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11269/statm: 2911 2568 188 442 0 2465 0
[pid=11277] ppid=11269 vsize=35504 CPUtime=2.97 cores=0,2,4,6
/proc/11277/stat : 11277 (glucosInc) R 11269 11268 9343 0 -1 4202496 8759 0 0 0 296 1 0 0 20 0 1 0 377816320 36356096 8060 33554432000 4194304 5654031 140733841092272 140733841090360 4232495 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11277/statm: 8876 8060 132 357 0 8516 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 56296
[startup+6.30032 s]
/proc/loadavg: 2.07 2.02 1.95 3/181 11277
/proc/meminfo: memFree=30077708/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
[pid=11269] ppid=11268 vsize=11644 CPUtime=0.09 cores=0,2,4,6
/proc/11269/stat : 11269 (npSolver-pbo) S 11268 11268 9343 0 -1 4202496 4749 3636 0 0 7 1 1 0 20 0 1 0 377816309 11923456 2568 33554432000 4194304 6004724 140734117329392 140734117315240 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11269/statm: 2911 2568 188 442 0 2465 0
[pid=11277] ppid=11269 vsize=47376 CPUtime=6.17 cores=0,2,4,6
/proc/11277/stat : 11277 (glucosInc) R 11269 11268 9343 0 -1 4202496 9649 0 0 0 616 1 0 0 20 0 1 0 377816320 48513024 10481 33554432000 4194304 5654031 140733841092272 140733841090168 4233309 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11277/statm: 11844 10481 132 357 0 11484 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 68168
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 1.95 3/181 11277
/proc/meminfo: memFree=30013064/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
[pid=11269] ppid=11268 vsize=11644 CPUtime=0.09 cores=0,2,4,6
/proc/11269/stat : 11269 (npSolver-pbo) S 11268 11268 9343 0 -1 4202496 4749 3636 0 0 7 1 1 0 20 0 1 0 377816309 11923456 2568 33554432000 4194304 6004724 140734117329392 140734117315240 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11269/statm: 2911 2568 188 442 0 2465 0
[pid=11277] ppid=11269 vsize=96316 CPUtime=12.57 cores=0,2,4,6
/proc/11277/stat : 11277 (glucosInc) R 11269 11268 9343 0 -1 4202496 10640 0 0 0 1255 2 0 0 20 0 1 0 377816320 98627584 19241 33554432000 4194304 5654031 140733841092272 140733841090200 4215200 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11277/statm: 24079 19241 132 357 0 23719 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 117108
[startup+25.5004 s]
/proc/loadavg: 2.05 2.02 1.95 3/181 11277
/proc/meminfo: memFree=30207680/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
[pid=11269] ppid=11268 vsize=11644 CPUtime=0.09 cores=0,2,4,6
/proc/11269/stat : 11269 (npSolver-pbo) S 11268 11268 9343 0 -1 4202496 4749 3636 0 0 7 1 1 0 20 0 1 0 377816309 11923456 2568 33554432000 4194304 6004724 140734117329392 140734117315240 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11269/statm: 2911 2568 188 442 0 2465 0
[pid=11277] ppid=11269 vsize=84820 CPUtime=25.37 cores=0,2,4,6
/proc/11277/stat : 11277 (glucosInc) R 11269 11268 9343 0 -1 4202496 11398 0 0 0 2534 3 0 0 20 0 1 0 377816320 86855680 15878 33554432000 4194304 5654031 140733841092272 140733841090296 4215017 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11277/statm: 21205 15878 132 357 0 20845 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 105612
[startup+51.1003 s]
/proc/loadavg: 2.09 2.03 1.95 3/181 11277
/proc/meminfo: memFree=30057496/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
[pid=11269] ppid=11268 vsize=11644 CPUtime=0.09 cores=0,2,4,6
/proc/11269/stat : 11269 (npSolver-pbo) S 11268 11268 9343 0 -1 4202496 4749 3636 0 0 7 1 1 0 20 0 1 0 377816309 11923456 2568 33554432000 4194304 6004724 140734117329392 140734117315240 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11269/statm: 2911 2568 188 442 0 2465 0
[pid=11277] ppid=11269 vsize=84820 CPUtime=50.96 cores=0,2,4,6
/proc/11277/stat : 11277 (glucosInc) R 11269 11268 9343 0 -1 4202496 12199 0 0 0 5092 4 0 0 20 0 1 0 377816320 86855680 19061 33554432000 4194304 5654031 140733841092272 140733841080088 4215104 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11277/statm: 21205 19061 142 357 0 20845 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 105612
[startup+102.307 s]
/proc/loadavg: 2.04 2.02 1.95 3/181 11277
/proc/meminfo: memFree=30061780/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
[pid=11269] ppid=11268 vsize=11644 CPUtime=0.09 cores=0,2,4,6
/proc/11269/stat : 11269 (npSolver-pbo) S 11268 11268 9343 0 -1 4202496 4749 3636 0 0 7 1 1 0 20 0 1 0 377816309 11923456 2568 33554432000 4194304 6004724 140734117329392 140734117315240 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11269/statm: 2911 2568 188 442 0 2465 0
[pid=11277] ppid=11269 vsize=84820 CPUtime=102.16 cores=0,2,4,6
/proc/11277/stat : 11277 (glucosInc) R 11269 11268 9343 0 -1 4202496 13570 0 0 0 10209 7 0 0 20 0 1 0 377816320 86855680 19061 33554432000 4194304 5654031 140733841092272 140733841080088 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11277/statm: 21205 19061 142 357 0 20845 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 105612
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/181 11277
/proc/meminfo: memFree=29940704/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
[pid=11269] ppid=11268 vsize=11644 CPUtime=0.09 cores=0,2,4,6
/proc/11269/stat : 11269 (npSolver-pbo) S 11268 11268 9343 0 -1 4202496 4749 3636 0 0 7 1 1 0 20 0 1 0 377816309 11923456 2568 33554432000 4194304 6004724 140734117329392 140734117315240 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11269/statm: 2911 2568 188 442 0 2465 0
[pid=11277] ppid=11269 vsize=215048 CPUtime=162.14 cores=0,2,4,6
/proc/11277/stat : 11277 (glucosInc) R 11269 11268 9343 0 -1 4202496 16436 0 0 0 16203 11 0 0 20 0 1 0 377816320 220209152 41257 33554432000 4194304 5654031 140733841092272 140733841090360 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11277/statm: 53762 41257 142 357 0 53402 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 235840
[startup+222.3 s]
/proc/loadavg: 2.08 2.03 1.96 3/181 11277
/proc/meminfo: memFree=29937692/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
[pid=11269] ppid=11268 vsize=11644 CPUtime=0.09 cores=0,2,4,6
/proc/11269/stat : 11269 (npSolver-pbo) S 11268 11268 9343 0 -1 4202496 4749 3636 0 0 7 1 1 0 20 0 1 0 377816309 11923456 2568 33554432000 4194304 6004724 140734117329392 140734117315240 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11269/statm: 2911 2568 188 442 0 2465 0
[pid=11277] ppid=11269 vsize=109620 CPUtime=222.13 cores=0,2,4,6
/proc/11277/stat : 11277 (glucosInc) R 11269 11268 9343 0 -1 4202496 19795 0 0 0 22196 17 0 0 20 0 1 0 377816320 112250880 26756 33554432000 4194304 5654031 140733841092272 140733841080088 4215188 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11277/statm: 27405 26756 142 357 0 27045 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 130412
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30603496/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
[pid=11269] ppid=11268 vsize=11644 CPUtime=0.09 cores=0,2,4,6
/proc/11269/stat : 11269 (npSolver-pbo) S 11268 11268 9343 0 -1 4202496 4749 3636 0 0 7 1 1 0 20 0 1 0 377816309 11923456 2568 33554432000 4194304 6004724 140734117329392 140734117315240 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11269/statm: 2911 2568 188 442 0 2465 0
[pid=11277] ppid=11269 vsize=239560 CPUtime=1241.96 cores=0,2,4,6
/proc/11277/stat : 11277 (glucosInc) R 11269 11268 9343 0 -1 4202496 59712 0 0 0 124093 103 0 0 20 0 1 0 377816320 245309440 52909 33554432000 4194304 5654031 140733841092272 140733841090360 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11277/statm: 59890 52909 142 357 0 59530 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 260352
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/184 11409
/proc/meminfo: memFree=30423528/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
[pid=11269] ppid=11268 vsize=11644 CPUtime=0.09 cores=0,2,4,6
/proc/11269/stat : 11269 (npSolver-pbo) S 11268 11268 9343 0 -1 4202496 4749 3636 0 0 7 1 1 0 20 0 1 0 377816309 11923456 2568 33554432000 4194304 6004724 140734117329392 140734117315240 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11269/statm: 2911 2568 188 442 0 2465 0
[pid=11277] ppid=11269 vsize=503296 CPUtime=1301.96 cores=0,2,4,6
/proc/11277/stat : 11277 (glucosInc) R 11269 11268 9343 0 -1 4202496 61586 0 0 0 130088 108 0 0 20 0 1 0 377816320 515375104 96683 33554432000 4194304 5654031 140733841092272 140733841090360 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11277/statm: 125824 96683 142 357 0 125464 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 524088
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/184 11409
/proc/meminfo: memFree=30556700/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
[pid=11269] ppid=11268 vsize=11644 CPUtime=0.09 cores=0,2,4,6
/proc/11269/stat : 11269 (npSolver-pbo) S 11268 11268 9343 0 -1 4202496 4749 3636 0 0 7 1 1 0 20 0 1 0 377816309 11923456 2568 33554432000 4194304 6004724 140734117329392 140734117315240 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11269/statm: 2911 2568 188 442 0 2465 0
[pid=11277] ppid=11269 vsize=289648 CPUtime=1361.94 cores=0,2,4,6
/proc/11277/stat : 11277 (glucosInc) R 11269 11268 9343 0 -1 4202496 62865 0 0 0 136082 112 0 0 20 0 1 0 377816320 296599552 60378 33554432000 4194304 5654031 140733841092272 140733841090360 4218807 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11277/statm: 72412 60378 142 357 0 72052 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 310440
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.98 3/184 11409
/proc/meminfo: memFree=30498796/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
[pid=11269] ppid=11268 vsize=11644 CPUtime=0.09 cores=0,2,4,6
/proc/11269/stat : 11269 (npSolver-pbo) S 11268 11268 9343 0 -1 4202496 4749 3636 0 0 7 1 1 0 20 0 1 0 377816309 11923456 2568 33554432000 4194304 6004724 140734117329392 140734117315240 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11269/statm: 2911 2568 188 442 0 2465 0
[pid=11277] ppid=11269 vsize=371036 CPUtime=1421.94 cores=0,2,4,6
/proc/11277/stat : 11277 (glucosInc) R 11269 11268 9343 0 -1 4202496 64665 0 0 0 142078 116 0 0 20 0 1 0 377816320 379940864 74202 33554432000 4194304 5654031 140733841092272 140733841080088 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11277/statm: 92759 74202 142 357 0 92399 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 391828
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/185 11412
/proc/meminfo: memFree=30617268/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
[pid=11269] ppid=11268 vsize=11644 CPUtime=0.09 cores=0,2,4,6
/proc/11269/stat : 11269 (npSolver-pbo) S 11268 11268 9343 0 -1 4202496 4749 3636 0 0 7 1 1 0 20 0 1 0 377816309 11923456 2568 33554432000 4194304 6004724 140734117329392 140734117315240 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11269/statm: 2911 2568 188 442 0 2465 0
[pid=11277] ppid=11269 vsize=179528 CPUtime=1481.93 cores=0,2,4,6
/proc/11277/stat : 11277 (glucosInc) R 11269 11268 9343 0 -1 4202496 66798 0 0 0 148072 121 0 0 20 0 1 0 377816320 183836672 43126 33554432000 4194304 5654031 140733841092272 140733841080088 4214632 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11277/statm: 44882 43126 142 357 0 44522 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 200320
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 11413
/proc/meminfo: memFree=30556724/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
[pid=11269] ppid=11268 vsize=11644 CPUtime=0.09 cores=0,2,4,6
/proc/11269/stat : 11269 (npSolver-pbo) S 11268 11268 9343 0 -1 4202496 4749 3636 0 0 7 1 1 0 20 0 1 0 377816309 11923456 2568 33554432000 4194304 6004724 140734117329392 140734117315240 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11269/statm: 2911 2568 188 442 0 2465 0
[pid=11277] ppid=11269 vsize=228848 CPUtime=1541.91 cores=0,2,4,6
/proc/11277/stat : 11277 (glucosInc) R 11269 11268 9343 0 -1 4202496 69017 0 0 0 154066 125 0 0 20 0 1 0 377816320 234340352 56333 33554432000 4194304 5654031 140733841092272 140733841080088 4232544 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11277/statm: 57212 56333 142 357 0 56852 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 249640
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 11413
/proc/meminfo: memFree=30544404/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
[pid=11269] ppid=11268 vsize=11644 CPUtime=0.09 cores=0,2,4,6
/proc/11269/stat : 11269 (npSolver-pbo) S 11268 11268 9343 0 -1 4202496 4749 3636 0 0 7 1 1 0 20 0 1 0 377816309 11923456 2568 33554432000 4194304 6004724 140734117329392 140734117315240 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11269/statm: 2911 2568 188 442 0 2465 0
[pid=11277] ppid=11269 vsize=259668 CPUtime=1601.9 cores=0,2,4,6
/proc/11277/stat : 11277 (glucosInc) R 11269 11268 9343 0 -1 4202496 71391 0 0 0 160061 129 0 0 20 0 1 0 377816320 265900032 58960 33554432000 4194304 5654031 140733841092272 140733841080088 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11277/statm: 64917 58960 142 357 0 64557 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 280460
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 11413
/proc/meminfo: memFree=30528132/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
[pid=11269] ppid=11268 vsize=11644 CPUtime=0.09 cores=0,2,4,6
/proc/11269/stat : 11269 (npSolver-pbo) S 11268 11268 9343 0 -1 4202496 4749 3636 0 0 7 1 1 0 20 0 1 0 377816309 11923456 2568 33554432000 4194304 6004724 140734117329392 140734117315240 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11269/statm: 2911 2568 188 442 0 2465 0
[pid=11277] ppid=11269 vsize=259668 CPUtime=1661.89 cores=0,2,4,6
/proc/11277/stat : 11277 (glucosInc) R 11269 11268 9343 0 -1 4202496 73185 0 0 0 166056 133 0 0 20 0 1 0 377816320 265900032 63568 33554432000 4194304 5654031 140733841092272 140733841090360 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11277/statm: 64917 63568 142 357 0 64557 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 280460
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 11415
/proc/meminfo: memFree=30734136/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
[pid=11269] ppid=11268 vsize=13020 CPUtime=1692.72 cores=0,2,4,6
/proc/11269/stat : 11269 (npSolver-pbo) S 11268 11268 9343 0 -1 4202496 7200 78207 0 0 13 2 169121 136 20 0 1 0 377816309 13332480 2661 33554432000 4194304 6004724 140734117329392 140734117315240 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11269/statm: 3255 2661 188 442 0 2809 0
[pid=11415] ppid=11269 vsize=52128 CPUtime=29.24 cores=0,2,4,6
/proc/11415/stat : 11415 (glucosInc) R 11269 11268 9343 0 -1 4202496 12957 0 0 0 2921 3 0 0 20 0 1 0 377985613 53379072 11129 33554432000 4194304 5654031 140736615417904 140736615405720 4214612 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11415/statm: 13032 11129 142 357 0 12672 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 74296
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 11415
/proc/meminfo: memFree=30667720/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
[pid=11269] ppid=11268 vsize=13020 CPUtime=1692.72 cores=0,2,4,6
/proc/11269/stat : 11269 (npSolver-pbo) S 11268 11268 9343 0 -1 4202496 7200 78207 0 0 13 2 169121 136 20 0 1 0 377816309 13332480 2661 33554432000 4194304 6004724 140734117329392 140734117315240 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11269/statm: 3255 2661 188 442 0 2809 0
[pid=11415] ppid=11269 vsize=94196 CPUtime=89.23 cores=0,2,4,6
/proc/11415/stat : 11415 (glucosInc) R 11269 11268 9343 0 -1 4202496 14654 0 0 0 8918 5 0 0 20 0 1 0 377985613 96456704 22904 33554432000 4194304 5654031 140736615417904 140736615405720 4215040 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11415/statm: 23549 22904 142 357 0 23189 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 116364
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 11415
/proc/meminfo: memFree=30668336/32873648 swapFree=7376/7376
[pid=11268] ppid=11266 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11268/stat : 11268 (npSolver-pbo-It) S 11266 11268 9343 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377816309 9367552 275 33554432000 4194304 5064252 140735959897584 140735959896496 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11268/statm: 2287 275 233 213 0 72 0
[pid=11269] ppid=11268 vsize=13020 CPUtime=1692.72 cores=0,2,4,6
/proc/11269/stat : 11269 (npSolver-pbo) S 11268 11268 9343 0 -1 4202496 7200 78207 0 0 13 2 169121 136 20 0 1 0 377816309 13332480 2661 33554432000 4194304 6004724 140734117329392 140734117315240 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11269/statm: 3255 2661 188 442 0 2809 0
[pid=11415] ppid=11269 vsize=94196 CPUtime=107.33 cores=0,2,4,6
/proc/11415/stat : 11415 (glucosInc) R 11269 11268 9343 0 -1 4202496 14978 0 0 0 10728 5 0 0 20 0 1 0 377985613 96456704 22904 33554432000 4194304 5654031 140736615417904 140736615405720 4216427 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11415/statm: 23549 22904 142 357 0 23189 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 116364
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1798.64
CPU system time (s): 1.45478
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 524088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.64
system time used= 1.45478
maximum resident set size= 454316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100764
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 265
involuntary context switches= 2207
runsolver used 7.63384 second user time and 18.3342 second system time
The end