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-3752450-1339170707/watcher-3752450-1339170707 -o /tmp/evaluation-result-3752450-1339170707/solver-3752450-1339170707 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752450-1339170707.opb 347117872 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.01 2.02 2.00 3/178 25307
/proc/meminfo: memFree=27184884/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
[startup+0.098279 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 25307
/proc/meminfo: memFree=27184884/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100306 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 25307
/proc/meminfo: memFree=27184884/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300268 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 25307
/proc/meminfo: memFree=27184884/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700257 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 25307
/proc/meminfo: memFree=27184884/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 25309
/proc/meminfo: memFree=27092000/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
[pid=25308] ppid=25307 vsize=147676 CPUtime=1.49 cores=1,3,5,7
/proc/25308/stat : 25308 (npSolver-pbo) R 25307 25307 24896 0 -1 4202496 23493 0 0 0 143 6 0 0 20 0 1 0 383195203 151220224 33147 33554432000 4194304 6004724 140737471273184 140737471268696 5190736 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25308/statm: 36919 33148 130 442 0 36473 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 156824
[startup+3.10034 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 25309
/proc/meminfo: memFree=26953740/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
[pid=25308] ppid=25307 vsize=362872 CPUtime=3.09 cores=1,3,5,7
/proc/25308/stat : 25308 (npSolver-pbo) R 25307 25307 24896 0 -1 4202496 50732 0 0 0 294 15 0 0 20 0 1 0 383195203 371580928 74953 33554432000 4194304 6004724 140737471273184 140737471267784 4581169 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25308/statm: 90718 74953 154 442 0 90272 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 372020
[startup+6.30027 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 25309
/proc/meminfo: memFree=26711892/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
[pid=25308] ppid=25307 vsize=756088 CPUtime=6.28 cores=1,3,5,7
/proc/25308/stat : 25308 (npSolver-pbo) R 25307 25307 24896 0 -1 4202496 52059 0 0 0 599 29 0 0 20 0 1 0 383195203 774234112 132809 33554432000 4194304 6004724 140737471273184 140737471267784 4534738 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25308/statm: 189022 132809 154 442 0 188576 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 765236
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 25309
/proc/meminfo: memFree=26224104/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
[pid=25308] ppid=25307 vsize=1280376 CPUtime=12.69 cores=1,3,5,7
/proc/25308/stat : 25308 (npSolver-pbo) R 25307 25307 24896 0 -1 4202496 53062 0 0 0 1223 46 0 0 20 0 1 0 383195203 1311105024 253641 33554432000 4194304 6004724 140737471273184 140737471267784 4581408 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25308/statm: 320094 253641 154 442 0 319648 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1289524
[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 25311
/proc/meminfo: memFree=23967524/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
[pid=25308] ppid=25307 vsize=2337952 CPUtime=23.82 cores=1,3,5,7
/proc/25308/stat : 25308 (npSolver-pbo) S 25307 25307 24896 0 -1 4202496 57556 0 0 0 2084 298 0 0 20 0 1 0 383195203 2394062848 410065 33554432000 4194304 6004724 140737471273184 140737471267648 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 4 0 0
/proc/25308/statm: 584488 410065 163 442 0 584042 0
[pid=25310] ppid=25308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25310/stat : 25310 (cp2_pre.sh) S 25308 25307 24896 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383197589 9367552 276 33554432000 4194304 5064252 140736372829664 140736372828368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25310/statm: 2287 276 234 213 0 72 0
[pid=25311] ppid=25310 vsize=168016 CPUtime=1.6 cores=1,3,5,7
/proc/25311/stat : 25311 (coprocessor) R 25310 25307 24896 0 -1 4202496 13010 0 0 0 152 8 0 0 20 0 1 0 383197590 172048384 41128 33554432000 4194304 6586260 140735626414240 140735626411000 5732400 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/25311/statm: 42004 41128 138 584 0 41416 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 2524264
[startup+51.1004 s]
/proc/loadavg: 2.26 2.08 2.02 3/182 25311
/proc/meminfo: memFree=21580048/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
[pid=25308] ppid=25307 vsize=2337952 CPUtime=23.82 cores=1,3,5,7
/proc/25308/stat : 25308 (npSolver-pbo) S 25307 25307 24896 0 -1 4202496 57556 0 0 0 2084 298 0 0 20 0 1 0 383195203 2394062848 410065 33554432000 4194304 6004724 140737471273184 140737471267648 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 4 0 0
/proc/25308/statm: 584488 410065 163 442 0 584042 0
[pid=25310] ppid=25308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25310/stat : 25310 (cp2_pre.sh) S 25308 25307 24896 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383197589 9367552 276 33554432000 4194304 5064252 140736372829664 140736372828368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25310/statm: 2287 276 234 213 0 72 0
[pid=25311] ppid=25310 vsize=2760864 CPUtime=26.51 cores=1,3,5,7
/proc/25311/stat : 25311 (coprocessor) R 25310 25307 24896 0 -1 4202496 25238 0 0 0 2505 146 0 0 20 0 1 0 383197590 2827124736 583041 33554432000 4194304 6586260 140735626414240 140735626409992 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 69 0 0
/proc/25311/statm: 690216 583041 158 584 0 689628 0
Current children cumulated CPU time (s) 50.33
Current children cumulated vsize (KiB) 5117112
[startup+102.307 s]
/proc/loadavg: 2.22 2.09 2.03 3/181 25313
/proc/meminfo: memFree=22118284/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
[pid=25308] ppid=25307 vsize=2337952 CPUtime=91.57 cores=1,3,5,7
/proc/25308/stat : 25308 (npSolver-pbo) S 25307 25307 24896 0 -1 4202496 57574 26139 0 0 2084 298 6370 405 20 0 1 0 383195203 2394062848 410069 33554432000 4194304 6004724 140737471273184 140737471259464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 4 0 0
/proc/25308/statm: 584488 410069 167 442 0 584042 0
[pid=25313] ppid=25308 vsize=2476092 CPUtime=9.15 cores=1,3,5,7
/proc/25313/stat : 25313 (glucosInc) R 25308 25307 24896 0 -1 4202496 245744 0 0 0 831 84 0 0 20 0 1 0 383204516 2535518208 517726 33554432000 4194304 5654031 140735794902448 140735793852040 4797458 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25313/statm: 619023 517727 108 357 0 618663 0
Current children cumulated CPU time (s) 100.72
Current children cumulated vsize (KiB) 4823192
[startup+162.3 s]
/proc/loadavg: 2.08 2.07 2.02 3/180 25313
/proc/meminfo: memFree=21110848/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
[pid=25308] ppid=25307 vsize=2337952 CPUtime=91.57 cores=1,3,5,7
/proc/25308/stat : 25308 (npSolver-pbo) S 25307 25307 24896 0 -1 4202496 57574 26139 0 0 2084 298 6370 405 20 0 1 0 383195203 2394062848 410069 33554432000 4194304 6004724 140737471273184 140737471259464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 4 0 0
/proc/25308/statm: 584488 410069 167 442 0 584042 0
[pid=25313] ppid=25308 vsize=3846148 CPUtime=69.13 cores=1,3,5,7
/proc/25313/stat : 25313 (glucosInc) R 25308 25307 24896 0 -1 4202496 357997 0 0 0 6786 127 0 0 20 0 1 0 383204516 3938455552 762865 33554432000 4194304 5654031 140735794902448 140735794900232 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25313/statm: 961537 762865 140 357 0 961177 0
Current children cumulated CPU time (s) 160.7
Current children cumulated vsize (KiB) 6193248
[startup+222.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/181 25314
/proc/meminfo: memFree=21106124/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
[pid=25308] ppid=25307 vsize=2337952 CPUtime=91.57 cores=1,3,5,7
/proc/25308/stat : 25308 (npSolver-pbo) S 25307 25307 24896 0 -1 4202496 57574 26139 0 0 2084 298 6370 405 20 0 1 0 383195203 2394062848 410069 33554432000 4194304 6004724 140737471273184 140737471259464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 4 0 0
/proc/25308/statm: 584488 410069 167 442 0 584042 0
[pid=25313] ppid=25308 vsize=3846676 CPUtime=129.12 cores=1,3,5,7
/proc/25313/stat : 25313 (glucosInc) R 25308 25307 24896 0 -1 4202496 358122 0 0 0 12785 127 0 0 20 0 1 0 383204516 3938996224 762990 33554432000 4194304 5654031 140735794902448 140735794900232 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25313/statm: 961669 762990 140 357 0 961309 0
Current children cumulated CPU time (s) 220.69
Current children cumulated vsize (KiB) 6193776
[startup+282.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/181 25314
/proc/meminfo: memFree=21103692/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
[pid=25308] ppid=25307 vsize=2337952 CPUtime=91.57 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=21077488/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
[pid=25308] ppid=25307 vsize=2337952 CPUtime=91.57 cores=1,3,5,7
/proc/25308/stat : 25308 (npSolver-pbo) S 25307 25307 24896 0 -1 4202496 57574 26139 0 0 2084 298 6370 405 20 0 1 0 383195203 2394062848 410069 33554432000 4194304 6004724 140737471273184 140737471259464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 4 0 0
/proc/25308/statm: 584488 410069 167 442 0 584042 0
[pid=25313] ppid=25308 vsize=3857680 CPUtime=1208.97 cores=1,3,5,7
/proc/25313/stat : 25313 (glucosInc) R 25308 25307 24896 0 -1 4202496 392957 0 0 0 120758 139 0 0 20 0 1 0 383204516 3950264320 769824 33554432000 4194304 5654031 140735794902448 140735794890264 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25313/statm: 964420 769824 141 357 0 964060 0
Current children cumulated CPU time (s) 1300.54
Current children cumulated vsize (KiB) 6204780
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 25346
/proc/meminfo: memFree=21073952/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
[pid=25308] ppid=25307 vsize=2337952 CPUtime=91.57 cores=1,3,5,7
/proc/25308/stat : 25308 (npSolver-pbo) S 25307 25307 24896 0 -1 4202496 57574 26139 0 0 2084 298 6370 405 20 0 1 0 383195203 2394062848 410069 33554432000 4194304 6004724 140737471273184 140737471259464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 4 0 0
/proc/25308/statm: 584488 410069 167 442 0 584042 0
[pid=25313] ppid=25308 vsize=3857680 CPUtime=1268.95 cores=1,3,5,7
/proc/25313/stat : 25313 (glucosInc) R 25308 25307 24896 0 -1 4202496 392957 0 0 0 126756 139 0 0 20 0 1 0 383204516 3950264320 769824 33554432000 4194304 5654031 140735794902448 140735794890264 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25313/statm: 964420 769824 141 357 0 964060 0
Current children cumulated CPU time (s) 1360.52
Current children cumulated vsize (KiB) 6204780
[startup+1422.31 s]
/proc/loadavg: 2.16 2.04 2.01 3/181 25391
/proc/meminfo: memFree=21677972/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
[pid=25308] ppid=25307 vsize=2337952 CPUtime=91.57 cores=1,3,5,7
/proc/25308/stat : 25308 (npSolver-pbo) S 25307 25307 24896 0 -1 4202496 57574 26139 0 0 2084 298 6370 405 20 0 1 0 383195203 2394062848 410069 33554432000 4194304 6004724 140737471273184 140737471259464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 4 0 0
/proc/25308/statm: 584488 410069 167 442 0 584042 0
[pid=25313] ppid=25308 vsize=3858068 CPUtime=1328.95 cores=1,3,5,7
/proc/25313/stat : 25313 (glucosInc) R 25308 25307 24896 0 -1 4202496 397042 0 0 0 132755 140 0 0 20 0 1 0 383204516 3950661632 769919 33554432000 4194304 5654031 140735794902448 140735794900520 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25313/statm: 964517 769919 141 357 0 964157 0
Current children cumulated CPU time (s) 1420.52
Current children cumulated vsize (KiB) 6205168
[startup+1482.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/181 25391
/proc/meminfo: memFree=21665328/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
[pid=25308] ppid=25307 vsize=2337952 CPUtime=91.57 cores=1,3,5,7
/proc/25308/stat : 25308 (npSolver-pbo) S 25307 25307 24896 0 -1 4202496 57574 26139 0 0 2084 298 6370 405 20 0 1 0 383195203 2394062848 410069 33554432000 4194304 6004724 140737471273184 140737471259464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 4 0 0
/proc/25308/statm: 584488 410069 167 442 0 584042 0
[pid=25313] ppid=25308 vsize=3858068 CPUtime=1388.93 cores=1,3,5,7
/proc/25313/stat : 25313 (glucosInc) R 25308 25307 24896 0 -1 4202496 397042 0 0 0 138753 140 0 0 20 0 1 0 383204516 3950661632 769919 33554432000 4194304 5654031 140735794902448 140735794890264 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25313/statm: 964517 769919 141 357 0 964157 0
Current children cumulated CPU time (s) 1480.5
Current children cumulated vsize (KiB) 6205168
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 25391
/proc/meminfo: memFree=21661168/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
[pid=25308] ppid=25307 vsize=2337952 CPUtime=91.57 cores=1,3,5,7
/proc/25308/stat : 25308 (npSolver-pbo) S 25307 25307 24896 0 -1 4202496 57574 26139 0 0 2084 298 6370 405 20 0 1 0 383195203 2394062848 410069 33554432000 4194304 6004724 140737471273184 140737471259464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 4 0 0
/proc/25308/statm: 584488 410069 167 442 0 584042 0
[pid=25313] ppid=25308 vsize=3858068 CPUtime=1448.91 cores=1,3,5,7
/proc/25313/stat : 25313 (glucosInc) R 25308 25307 24896 0 -1 4202496 397054 0 0 0 144751 140 0 0 20 0 1 0 383204516 3950661632 769919 33554432000 4194304 5654031 140735794902448 140735794890264 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25313/statm: 964517 769919 141 357 0 964157 0
Current children cumulated CPU time (s) 1540.48
Current children cumulated vsize (KiB) 6205168
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 25391
/proc/meminfo: memFree=21652512/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
[pid=25308] ppid=25307 vsize=2337952 CPUtime=91.57 cores=1,3,5,7
/proc/25308/stat : 25308 (npSolver-pbo) S 25307 25307 24896 0 -1 4202496 57574 26139 0 0 2084 298 6370 405 20 0 1 0 383195203 2394062848 410069 33554432000 4194304 6004724 140737471273184 140737471259464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 4 0 0
/proc/25308/statm: 584488 410069 167 442 0 584042 0
[pid=25313] ppid=25308 vsize=3858068 CPUtime=1508.89 cores=1,3,5,7
/proc/25313/stat : 25313 (glucosInc) R 25308 25307 24896 0 -1 4202496 397077 0 0 0 150749 140 0 0 20 0 1 0 383204516 3950661632 770381 33554432000 4194304 5654031 140735794902448 140735794890264 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25313/statm: 964517 770381 141 357 0 964157 0
Current children cumulated CPU time (s) 1600.46
Current children cumulated vsize (KiB) 6205168
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 25391
/proc/meminfo: memFree=21648944/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
[pid=25308] ppid=25307 vsize=2337952 CPUtime=91.57 cores=1,3,5,7
/proc/25308/stat : 25308 (npSolver-pbo) S 25307 25307 24896 0 -1 4202496 57574 26139 0 0 2084 298 6370 405 20 0 1 0 383195203 2394062848 410069 33554432000 4194304 6004724 140737471273184 140737471259464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 4 0 0
/proc/25308/statm: 584488 410069 167 442 0 584042 0
[pid=25313] ppid=25308 vsize=3858068 CPUtime=1568.87 cores=1,3,5,7
/proc/25313/stat : 25313 (glucosInc) R 25308 25307 24896 0 -1 4202496 397090 0 0 0 156747 140 0 0 20 0 1 0 383204516 3950661632 771299 33554432000 4194304 5654031 140735794902448 140735794890264 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25313/statm: 964517 771299 141 357 0 964157 0
Current children cumulated CPU time (s) 1660.44
Current children cumulated vsize (KiB) 6205168
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 25395
/proc/meminfo: memFree=21644996/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
[pid=25308] ppid=25307 vsize=2337952 CPUtime=91.57 cores=1,3,5,7
/proc/25308/stat : 25308 (npSolver-pbo) S 25307 25307 24896 0 -1 4202496 57574 26139 0 0 2084 298 6370 405 20 0 1 0 383195203 2394062848 410069 33554432000 4194304 6004724 140737471273184 140737471259464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 4 0 0
/proc/25308/statm: 584488 410069 167 442 0 584042 0
[pid=25313] ppid=25308 vsize=3858068 CPUtime=1628.84 cores=1,3,5,7
/proc/25313/stat : 25313 (glucosInc) R 25308 25307 24896 0 -1 4202496 397114 0 0 0 162744 140 0 0 20 0 1 0 383204516 3950661632 772212 33554432000 4194304 5654031 140735794902448 140735794890264 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25313/statm: 964517 772212 141 357 0 964157 0
Current children cumulated CPU time (s) 1720.41
Current children cumulated vsize (KiB) 6205168
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25395
/proc/meminfo: memFree=21631932/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
[pid=25308] ppid=25307 vsize=2337952 CPUtime=91.57 cores=1,3,5,7
/proc/25308/stat : 25308 (npSolver-pbo) S 25307 25307 24896 0 -1 4202496 57574 26139 0 0 2084 298 6370 405 20 0 1 0 383195203 2394062848 410069 33554432000 4194304 6004724 140737471273184 140737471259464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 4 0 0
/proc/25308/statm: 584488 410069 167 442 0 584042 0
[pid=25313] ppid=25308 vsize=3858736 CPUtime=1688.82 cores=1,3,5,7
/proc/25313/stat : 25313 (glucosInc) R 25308 25307 24896 0 -1 4202496 401285 0 0 0 168741 141 0 0 20 0 1 0 383204516 3951345664 773818 33554432000 4194304 5654031 140735794902448 140735794900520 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25313/statm: 964684 773818 141 357 0 964324 0
Current children cumulated CPU time (s) 1780.39
Current children cumulated vsize (KiB) 6205836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25395
/proc/meminfo: memFree=21630660/32873844 swapFree=7644/7644
[pid=25307] ppid=25305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25307/stat : 25307 (npSolver-pbo-It) S 25305 25307 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383195202 9367552 275 33554432000 4194304 5064252 140734489714912 140734489713824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25307/statm: 2287 275 233 213 0 72 0
[pid=25308] ppid=25307 vsize=2337952 CPUtime=91.57 cores=1,3,5,7
/proc/25308/stat : 25308 (npSolver-pbo) S 25307 25307 24896 0 -1 4202496 57574 26139 0 0 2084 298 6370 405 20 0 1 0 383195203 2394062848 410069 33554432000 4194304 6004724 140737471273184 140737471259464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 4 0 0
/proc/25308/statm: 584488 410069 167 442 0 584042 0
[pid=25313] ppid=25308 vsize=3858736 CPUtime=1708.53 cores=1,3,5,7
/proc/25313/stat : 25313 (glucosInc) R 25308 25307 24896 0 -1 4202496 401288 0 0 0 170712 141 0 0 20 0 1 0 383204516 3951345664 774126 33554432000 4194304 5654031 140735794902448 140735794900520 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25313/statm: 964684 774126 141 357 0 964324 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 6205836
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25307 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1802.02
CPU time (s): 1800.1
CPU user time (s): 1791.66
CPU system time (s): 8.44
CPU usage (%): 99.8936
Max. virtual memory (cumulated for all children) (KiB): 6247360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 4.09938 second user time and 11.6552 second system time
The end