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-3699660-1338063734/watcher-3699660-1338063734 -o /tmp/evaluation-result-3699660-1338063734/solver-3699660-1338063734 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699660-1338063734.opb 259542122 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.09 2.03 2.00 3/178 9918
/proc/meminfo: memFree=29372028/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
[startup+0.0948951 s]
/proc/loadavg: 2.09 2.03 2.00 3/178 9918
/proc/meminfo: memFree=29372028/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100158 s]
/proc/loadavg: 2.09 2.03 2.00 3/178 9918
/proc/meminfo: memFree=29372028/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300148 s]
/proc/loadavg: 2.09 2.03 2.00 3/178 9918
/proc/meminfo: memFree=29372028/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700216 s]
/proc/loadavg: 2.09 2.03 2.00 3/178 9918
/proc/meminfo: memFree=29372028/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50037 s]
/proc/loadavg: 2.09 2.03 2.00 3/181 9927
/proc/meminfo: memFree=29334484/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
[pid=9919] ppid=9918 vsize=4320 CPUtime=0.58 cores=1,3,5,7
/proc/9919/stat : 9919 (npSolver-pbo) S 9918 9918 6495 0 -1 4202496 3222 5359 0 0 32 10 14 2 20 0 1 0 272499272 4423680 735 33554432000 4194304 5992684 140733911564160 140733911549064 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9919/statm: 1080 735 179 440 0 636 0
[pid=9927] ppid=9919 vsize=34144 CPUtime=0.89 cores=1,3,5,7
/proc/9927/stat : 9927 (glucosInc) R 9919 9918 6495 0 -1 4202496 7443 0 0 0 88 1 0 0 20 0 1 0 272499332 34963456 7561 33554432000 4194304 5654031 140733501316528 140733501314296 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 8536 7561 131 357 0 8176 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 47612
[startup+3.10034 s]
/proc/loadavg: 2.09 2.03 2.00 3/181 9929
/proc/meminfo: memFree=29334244/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
[pid=9919] ppid=9918 vsize=4320 CPUtime=0.58 cores=1,3,5,7
/proc/9919/stat : 9919 (npSolver-pbo) S 9918 9918 6495 0 -1 4202496 3222 5359 0 0 32 10 14 2 20 0 1 0 272499272 4423680 735 33554432000 4194304 5992684 140733911564160 140733911549064 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9919/statm: 1080 735 179 440 0 636 0
[pid=9927] ppid=9919 vsize=34144 CPUtime=2.49 cores=1,3,5,7
/proc/9927/stat : 9927 (glucosInc) R 9919 9918 6495 0 -1 4202496 7496 0 0 0 248 1 0 0 20 0 1 0 272499332 34963456 7614 33554432000 4194304 5654031 140733501316528 140733501314296 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 8536 7614 131 357 0 8176 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 47612
[startup+6.30033 s]
/proc/loadavg: 2.16 2.04 2.01 3/181 9931
/proc/meminfo: memFree=29335128/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
[pid=9919] ppid=9918 vsize=3272 CPUtime=4.44 cores=1,3,5,7
/proc/9919/stat : 9919 (npSolver-pbo) S 9918 9918 6495 0 -1 4202496 5266 13403 0 0 37 11 392 4 20 0 1 0 272499272 3350528 506 33554432000 4194304 5992684 140733911564160 140733911549064 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9919/statm: 818 506 180 440 0 374 0
[pid=9931] ppid=9919 vsize=34368 CPUtime=1.84 cores=1,3,5,7
/proc/9931/stat : 9931 (glucosInc) R 9919 9918 6495 0 -1 4202496 7462 0 0 0 183 1 0 0 20 0 1 0 272499718 35192832 7621 33554432000 4194304 5654031 140734970594080 140734970581896 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9931/statm: 8592 7621 137 357 0 8232 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 46788
[startup+12.7003 s]
/proc/loadavg: 2.15 2.04 2.01 3/181 9935
/proc/meminfo: memFree=29333320/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
[pid=9919] ppid=9918 vsize=3272 CPUtime=11.22 cores=1,3,5,7
/proc/9919/stat : 9919 (npSolver-pbo) S 9918 9918 6495 0 -1 4202496 7315 21519 0 0 42 11 1064 5 20 0 1 0 272499272 3350528 506 33554432000 4194304 5992684 140733911564160 140733911549064 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9919/statm: 818 506 180 440 0 374 0
[pid=9935] ppid=9919 vsize=34284 CPUtime=1.44 cores=1,3,5,7
/proc/9935/stat : 9935 (glucosInc) R 9919 9918 6495 0 -1 4202496 7439 0 0 0 143 1 0 0 20 0 1 0 272500398 35106816 7613 33554432000 4194304 5654031 140737307600976 140737307598744 4214612 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9935/statm: 8571 7613 140 357 0 8211 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 46704
[startup+25.5004 s]
/proc/loadavg: 2.12 2.04 2.01 3/181 9939
/proc/meminfo: memFree=29332244/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
[pid=9919] ppid=9918 vsize=3272 CPUtime=20.91 cores=1,3,5,7
/proc/9919/stat : 9919 (npSolver-pbo) S 9918 9918 6495 0 -1 4202496 9418 30203 0 0 47 12 2024 8 20 0 1 0 272499272 3350528 506 33554432000 4194304 5992684 140733911564160 140733911549064 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9919/statm: 818 506 180 440 0 374 0
[pid=9937] ppid=9919 vsize=37904 CPUtime=4.56 cores=1,3,5,7
/proc/9937/stat : 9937 (glucosInc) R 9919 9918 6495 0 -1 4202496 8085 0 0 0 455 1 0 0 20 0 1 0 272501366 38813696 8195 33554432000 4194304 5654031 140736856693696 140736856691784 4232531 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9937/statm: 9476 8195 140 357 0 9116 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 50324
[startup+51.1003 s]
/proc/loadavg: 2.08 2.03 2.00 3/181 9947
/proc/meminfo: memFree=29310472/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
[pid=9919] ppid=9918 vsize=4792 CPUtime=37.5 cores=1,3,5,7
/proc/9919/stat : 9919 (npSolver-pbo) S 9918 9918 6495 0 -1 4202496 14145 49589 0 0 67 13 3658 12 20 0 1 0 272499272 4907008 886 33554432000 4194304 5992684 140733911564160 140733911549064 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9919/statm: 1198 886 180 440 0 754 0
[pid=9945] ppid=9919 vsize=47088 CPUtime=13.54 cores=1,3,5,7
/proc/9945/stat : 9945 (glucosInc) R 9919 9918 6495 0 -1 4202496 10066 0 0 0 1352 2 0 0 20 0 1 0 272503026 48218112 10952 33554432000 4194304 5654031 140736931474192 140736931462008 4232720 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9945/statm: 11772 10952 142 357 0 11412 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 61028
[startup+102.307 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 9953
/proc/meminfo: memFree=29256852/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
[pid=9919] ppid=9918 vsize=13096 CPUtime=67.2 cores=1,3,5,7
/proc/9919/stat : 9919 (npSolver-pbo) S 9918 9918 6495 0 -1 4202496 18842 72580 0 0 86 15 6601 18 20 0 1 0 272499272 13410304 2800 33554432000 4194304 5992684 140733911564160 140733911549064 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9919/statm: 3274 2800 180 440 0 2830 0
[pid=9953] ppid=9919 vsize=64532 CPUtime=35.03 cores=1,3,5,7
/proc/9953/stat : 9953 (glucosInc) R 9919 9918 6495 0 -1 4202496 12660 0 0 0 3500 3 0 0 20 0 1 0 272505997 66080768 15480 33554432000 4194304 5654031 140734016230064 140734016217880 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9953/statm: 16133 15480 142 357 0 15773 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 86776
[startup+162.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/181 9953
/proc/meminfo: memFree=29208480/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
[pid=9919] ppid=9918 vsize=13096 CPUtime=67.2 cores=1,3,5,7
/proc/9919/stat : 9919 (npSolver-pbo) S 9918 9918 6495 0 -1 4202496 18842 72580 0 0 86 15 6601 18 20 0 1 0 272499272 13410304 2800 33554432000 4194304 5992684 140733911564160 140733911549064 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9919/statm: 3274 2800 180 440 0 2830 0
[pid=9953] ppid=9919 vsize=99404 CPUtime=95.01 cores=1,3,5,7
/proc/9953/stat : 9953 (glucosInc) R 9919 9918 6495 0 -1 4202496 14741 0 0 0 9497 4 0 0 20 0 1 0 272505997 101789696 22662 33554432000 4194304 5654031 140734016230064 140734016217880 4233168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9953/statm: 24851 22662 142 357 0 24491 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 121648
[startup+222.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 9954
/proc/meminfo: memFree=29183652/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
[pid=9919] ppid=9918 vsize=13096 CPUtime=67.2 cores=1,3,5,7
/proc/9919/stat : 9919 (npSolver-pbo) S 9918 9918 6495 0 -1 4202496 18842 72580 0 0 86 15 6601 18 20 0 1 0 272499272 13410304 2800 33554432000 4194304 5992684 140733911564160 140733911549064 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9919/statm: 3274 2800 180 440 0 2830 0
[pid=9953] ppid=9919 vsize=99404 CPUtime=155.01 cores=1,3,5,7
/proc/9953/stat : 9953 (glucosInc) R 9919 9918 6495 0 -1 4202496 14745 0 0 0 15496 5 0 0 20 0 1 0 272505997 101789696 23686 33554432000 4194304 5654031 140734016230064 140734016217880 4232431 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9953/statm: 24851 23686 142 357 0 24491 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 121648
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29008004/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
[pid=9919] ppid=9918 vsize=13096 CPUtime=67.2 cores=1,3,5,7
/proc/9919/stat : 9919 (npSolver-pbo) S 9918 9918 6495 0 -1 4202496 18842 72580 0 0 86 15 6601 18 20 0 1 0 272499272 13410304 2800 33554432000 4194304 5992684 140733911564160 140733911549064 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9919/statm: 3274 2800 180 440 0 2830 0
[pid=9953] ppid=9919 vsize=222720 CPUtime=1174.84 cores=1,3,5,7
/proc/9953/stat : 9953 (glucosInc) R 9919 9918 6495 0 -1 4202496 35439 0 0 0 117439 45 0 0 20 0 1 0 272505997 228065280 50142 33554432000 4194304 5654031 140734016230064 140734016228152 4232971 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9953/statm: 55680 50142 142 357 0 55320 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 244964
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9964
/proc/meminfo: memFree=29048956/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
[pid=9919] ppid=9918 vsize=13096 CPUtime=67.2 cores=1,3,5,7
/proc/9919/stat : 9919 (npSolver-pbo) S 9918 9918 6495 0 -1 4202496 18842 72580 0 0 86 15 6601 18 20 0 1 0 272499272 13410304 2800 33554432000 4194304 5992684 140733911564160 140733911549064 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9919/statm: 3274 2800 180 440 0 2830 0
[pid=9953] ppid=9919 vsize=191900 CPUtime=1234.84 cores=1,3,5,7
/proc/9953/stat : 9953 (glucosInc) R 9919 9918 6495 0 -1 4202496 36545 0 0 0 123436 48 0 0 20 0 1 0 272505997 196505600 44955 33554432000 4194304 5654031 140734016230064 140734016227992 4232912 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9953/statm: 47975 44955 142 357 0 47615 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 214144
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9964
/proc/meminfo: memFree=29024108/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
[pid=9919] ppid=9918 vsize=13096 CPUtime=67.2 cores=1,3,5,7
/proc/9919/stat : 9919 (npSolver-pbo) S 9918 9918 6495 0 -1 4202496 18842 72580 0 0 86 15 6601 18 20 0 1 0 272499272 13410304 2800 33554432000 4194304 5992684 140733911564160 140733911549064 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9919/statm: 3274 2800 180 440 0 2830 0
[pid=9953] ppid=9919 vsize=191900 CPUtime=1294.82 cores=1,3,5,7
/proc/9953/stat : 9953 (glucosInc) R 9919 9918 6495 0 -1 4202496 37397 0 0 0 129432 50 0 0 20 0 1 0 272505997 196505600 46491 33554432000 4194304 5654031 140734016230064 140734016217880 4232495 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9953/statm: 47975 46491 142 357 0 47615 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 214144
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 9964
/proc/meminfo: memFree=29072628/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
[pid=9919] ppid=9918 vsize=13096 CPUtime=67.2 cores=1,3,5,7
/proc/9919/stat : 9919 (npSolver-pbo) S 9918 9918 6495 0 -1 4202496 18842 72580 0 0 86 15 6601 18 20 0 1 0 272499272 13410304 2800 33554432000 4194304 5992684 140733911564160 140733911549064 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9919/statm: 3274 2800 180 440 0 2830 0
[pid=9953] ppid=9919 vsize=222720 CPUtime=1354.82 cores=1,3,5,7
/proc/9953/stat : 9953 (glucosInc) R 9919 9918 6495 0 -1 4202496 38845 0 0 0 135430 52 0 0 20 0 1 0 272505997 228065280 48094 33554432000 4194304 5654031 140734016230064 140734016228152 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9953/statm: 55680 48094 142 357 0 55320 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 244964
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 9965
/proc/meminfo: memFree=29024316/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
[pid=9919] ppid=9918 vsize=13096 CPUtime=67.2 cores=1,3,5,7
/proc/9919/stat : 9919 (npSolver-pbo) S 9918 9918 6495 0 -1 4202496 18842 72580 0 0 86 15 6601 18 20 0 1 0 272499272 13410304 2800 33554432000 4194304 5992684 140733911564160 140733911549064 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9919/statm: 3274 2800 180 440 0 2830 0
[pid=9953] ppid=9919 vsize=222720 CPUtime=1414.8 cores=1,3,5,7
/proc/9953/stat : 9953 (glucosInc) R 9919 9918 6495 0 -1 4202496 39700 0 0 0 141426 54 0 0 20 0 1 0 272505997 228065280 50142 33554432000 4194304 5654031 140734016230064 140734016228152 4232883 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9953/statm: 55680 50142 142 357 0 55320 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 244964
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9965
/proc/meminfo: memFree=29001764/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
[pid=9919] ppid=9918 vsize=13096 CPUtime=67.2 cores=1,3,5,7
/proc/9919/stat : 9919 (npSolver-pbo) S 9918 9918 6495 0 -1 4202496 18842 72580 0 0 86 15 6601 18 20 0 1 0 272499272 13410304 2800 33554432000 4194304 5992684 140733911564160 140733911549064 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9919/statm: 3274 2800 180 440 0 2830 0
[pid=9953] ppid=9919 vsize=222720 CPUtime=1474.79 cores=1,3,5,7
/proc/9953/stat : 9953 (glucosInc) R 9919 9918 6495 0 -1 4202496 40550 0 0 0 147423 56 0 0 20 0 1 0 272505997 228065280 50654 33554432000 4194304 5654031 140734016230064 140734016217880 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9953/statm: 55680 50654 142 357 0 55320 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 244964
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9965
/proc/meminfo: memFree=29057912/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
[pid=9919] ppid=9918 vsize=13096 CPUtime=67.2 cores=1,3,5,7
/proc/9919/stat : 9919 (npSolver-pbo) S 9918 9918 6495 0 -1 4202496 18842 72580 0 0 86 15 6601 18 20 0 1 0 272499272 13410304 2800 33554432000 4194304 5992684 140733911564160 140733911549064 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9919/statm: 3274 2800 180 440 0 2830 0
[pid=9953] ppid=9919 vsize=142580 CPUtime=1534.78 cores=1,3,5,7
/proc/9953/stat : 9953 (glucosInc) R 9919 9918 6495 0 -1 4202496 41405 0 0 0 153420 58 0 0 20 0 1 0 272505997 146001920 34992 33554432000 4194304 5654031 140734016230064 140734016228088 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9953/statm: 35645 34992 142 357 0 35285 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 164824
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9965
/proc/meminfo: memFree=29060068/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
[pid=9919] ppid=9918 vsize=13096 CPUtime=67.2 cores=1,3,5,7
/proc/9919/stat : 9919 (npSolver-pbo) S 9918 9918 6495 0 -1 4202496 18842 72580 0 0 86 15 6601 18 20 0 1 0 272499272 13410304 2800 33554432000 4194304 5992684 140733911564160 140733911549064 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9919/statm: 3274 2800 180 440 0 2830 0
[pid=9953] ppid=9919 vsize=191900 CPUtime=1594.77 cores=1,3,5,7
/proc/9953/stat : 9953 (glucosInc) R 9919 9918 6495 0 -1 4202496 42510 0 0 0 159417 60 0 0 20 0 1 0 272505997 196505600 43419 33554432000 4194304 5654031 140734016230064 140734016227992 4216325 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9953/statm: 47975 43419 142 357 0 47615 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 214144
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 9970
/proc/meminfo: memFree=29190672/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
[pid=9919] ppid=9918 vsize=13096 CPUtime=1714.93 cores=1,3,5,7
/proc/9919/stat : 9919 (npSolver-pbo) S 9918 9918 6495 0 -1 4202496 21785 116233 0 0 100 16 171296 81 20 0 1 0 272499272 13410304 2800 33554432000 4194304 5992684 140733911564160 140733911549064 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9919/statm: 3274 2800 180 440 0 2830 0
[pid=9970] ppid=9919 vsize=38460 CPUtime=7.03 cores=1,3,5,7
/proc/9970/stat : 9970 (glucosInc) R 9919 9918 6495 0 -1 4202496 8621 0 0 0 702 1 0 0 20 0 1 0 272670797 39383040 8358 33554432000 4194304 5654031 140734352120912 140734352108728 4233232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9970/statm: 9615 8358 142 357 0 9255 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 60704
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 9971
/proc/meminfo: memFree=29147132/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
[pid=9919] ppid=9918 vsize=13096 CPUtime=1714.93 cores=1,3,5,7
/proc/9919/stat : 9919 (npSolver-pbo) S 9918 9918 6495 0 -1 4202496 21785 116233 0 0 100 16 171296 81 20 0 1 0 272499272 13410304 2800 33554432000 4194304 5992684 140733911564160 140733911549064 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9919/statm: 3274 2800 180 440 0 2830 0
[pid=9970] ppid=9919 vsize=77916 CPUtime=67.02 cores=1,3,5,7
/proc/9970/stat : 9970 (glucosInc) R 9919 9918 6495 0 -1 4202496 13571 0 0 0 6698 4 0 0 20 0 1 0 272670797 79785984 18883 33554432000 4194304 5654031 140734352120912 140734352108728 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9970/statm: 19479 18883 142 357 0 19119 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 100160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 10011
/proc/meminfo: memFree=28682724/32873648 swapFree=7112/7112
[pid=9918] ppid=9916 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9918/stat : 9918 (npSolver-pbo-I.) S 9916 9918 6495 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272499272 9367552 275 33554432000 4194304 5064252 140734685233584 140734685232496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9918/statm: 2287 275 233 213 0 72 0
[pid=9919] ppid=9918 vsize=13096 CPUtime=1714.93 cores=1,3,5,7
/proc/9919/stat : 9919 (npSolver-pbo) S 9918 9918 6495 0 -1 4202496 21785 116233 0 0 100 16 171296 81 20 0 1 0 272499272 13410304 2800 33554432000 4194304 5992684 140733911564160 140733911549064 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9919/statm: 3274 2800 180 440 0 2830 0
[pid=9970] ppid=9919 vsize=77916 CPUtime=85.13 cores=1,3,5,7
/proc/9970/stat : 9970 (glucosInc) R 9919 9918 6495 0 -1 4202496 13962 0 0 0 8508 5 0 0 20 0 1 0 272670797 79785984 18883 33554432000 4194304 5654031 140734352120912 140734352108728 4232611 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9970/statm: 19479 18883 142 357 0 19119 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 100160
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): 1799.05
CPU system time (s): 1.03684
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 244964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.03684
maximum resident set size= 208760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152362
page faults= 0
swaps= 0
block input operations= 0
block output operations= 77512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 690
involuntary context switches= 1883
runsolver used 4.49532 second user time and 11.5212 second system time
The end