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-3748872-1339124517/watcher-3748872-1339124517 -o /tmp/evaluation-result-3748872-1339124517/solver-3748872-1339124517 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748872-1339124517.opb 1281019078 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.00 2.00 2.08 3/179 17951
/proc/meminfo: memFree=26735760/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
[startup+0.0907561 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 17951
/proc/meminfo: memFree=26735760/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100321 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 17951
/proc/meminfo: memFree=26735760/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300279 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 17951
/proc/meminfo: memFree=26735760/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700249 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 17951
/proc/meminfo: memFree=26735760/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.08 3/181 17953
/proc/meminfo: memFree=26645312/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
[pid=17952] ppid=17951 vsize=129760 CPUtime=1.49 cores=1,3,5,7
/proc/17952/stat : 17952 (npSolver-pbo) R 17951 17951 10841 0 -1 4202496 16175 0 0 0 144 5 0 0 20 0 1 0 378576240 132874240 30776 33554432000 4194304 6004724 140736988363760 140736988358360 4579276 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17952/statm: 32440 30776 154 442 0 31994 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 138908
[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.08 3/181 17953
/proc/meminfo: memFree=26568536/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
[pid=17952] ppid=17951 vsize=326368 CPUtime=3.09 cores=1,3,5,7
/proc/17952/stat : 17952 (npSolver-pbo) R 17951 17951 10841 0 -1 4202496 17348 0 0 0 299 10 0 0 20 0 1 0 378576240 334200832 58936 33554432000 4194304 6004724 140736988363760 140736988358360 4582601 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17952/statm: 81592 58936 154 442 0 81146 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 335516
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.08 3/180 17953
/proc/meminfo: memFree=26324088/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
[pid=17952] ppid=17951 vsize=588512 CPUtime=6.29 cores=1,3,5,7
/proc/17952/stat : 17952 (npSolver-pbo) R 17951 17951 10841 0 -1 4202496 18105 0 0 0 610 19 0 0 20 0 1 0 378576240 602636288 119352 33554432000 4194304 6004724 140736988363760 140736988358360 4617979 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17952/statm: 147128 119352 154 442 0 146682 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 597660
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.08 3/180 17953
/proc/meminfo: memFree=25821484/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
[pid=17952] ppid=17951 vsize=1112800 CPUtime=12.69 cores=1,3,5,7
/proc/17952/stat : 17952 (npSolver-pbo) R 17951 17951 10841 0 -1 4202496 19107 0 0 0 1232 37 0 0 20 0 1 0 378576240 1139507200 239672 33554432000 4194304 6004724 140736988363760 140736988358360 4206420 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17952/statm: 278200 239672 154 442 0 277754 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1121948
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.08 3/180 17953
/proc/meminfo: memFree=24863912/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
[pid=17952] ppid=17951 vsize=2161376 CPUtime=25.48 cores=1,3,5,7
/proc/17952/stat : 17952 (npSolver-pbo) R 17951 17951 10841 0 -1 4202496 20602 0 0 0 2476 72 0 0 20 0 1 0 378576240 2213249024 481336 33554432000 4194304 6004724 140736988363760 140736988358360 4534761 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17952/statm: 540344 481336 154 442 0 539898 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2170524
[startup+51.1004 s]
/proc/loadavg: 2.16 2.03 2.09 3/182 17955
/proc/meminfo: memFree=19887088/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
[pid=17952] ppid=17951 vsize=4246808 CPUtime=49.1 cores=1,3,5,7
/proc/17952/stat : 17952 (npSolver-pbo) S 17951 17951 10841 0 -1 4202496 24712 0 0 0 4287 623 0 0 20 0 1 0 378576240 4348731392 834767 33554432000 4194304 6004724 140736988363760 140736988358224 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 50 0 0
/proc/17952/statm: 1061702 834767 163 442 0 1061256 0
[pid=17954] ppid=17952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17954/stat : 17954 (cp2_pre.sh) S 17952 17951 10841 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 378581201 9367552 276 33554432000 4194304 5064252 140735789740480 140735789739184 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17954/statm: 2287 276 234 213 0 72 0
[pid=17955] ppid=17954 vsize=177884 CPUtime=1.47 cores=1,3,5,7
/proc/17955/stat : 17955 (coprocessor) R 17954 17951 10841 0 -1 4202496 12553 0 0 0 139 8 0 0 20 0 1 0 378581202 182153216 40321 33554432000 4194304 6586260 140735035447776 140735035444536 5732400 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/17955/statm: 44471 40321 137 584 0 43883 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 4442988
[startup+102.307 s]
/proc/loadavg: 2.72 2.21 2.15 3/183 17997
/proc/meminfo: memFree=14633912/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
[pid=17952] ppid=17951 vsize=4246808 CPUtime=49.1 cores=1,3,5,7
/proc/17952/stat : 17952 (npSolver-pbo) S 17951 17951 10841 0 -1 4202496 24712 0 0 0 4287 623 0 0 20 0 1 0 378576240 4348731392 834767 33554432000 4194304 6004724 140736988363760 140736988358224 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 50 0 0
/proc/17952/statm: 1061702 834767 163 442 0 1061256 0
[pid=17954] ppid=17952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17954/stat : 17954 (cp2_pre.sh) S 17952 17951 10841 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 378581201 9367552 276 33554432000 4194304 5064252 140735789740480 140735789739184 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17954/statm: 2287 276 234 213 0 72 0
[pid=17955] ppid=17954 vsize=5533268 CPUtime=52.46 cores=1,3,5,7
/proc/17955/stat : 17955 (coprocessor) R 17954 17951 10841 0 -1 4202496 29610 0 0 0 5005 241 0 0 20 0 1 0 378581202 5666066432 1171933 33554432000 4194304 6586260 140735035447776 140735035443528 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 20 0 0
/proc/17955/statm: 1383317 1171933 158 584 0 1382729 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 9798372
[startup+162.3 s]
/proc/loadavg: 2.54 2.27 2.17 3/182 18002
/proc/meminfo: memFree=13019196/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
[pid=17952] ppid=17951 vsize=4246808 CPUtime=49.1 cores=1,3,5,7
/proc/17952/stat : 17952 (npSolver-pbo) S 17951 17951 10841 0 -1 4202496 24712 0 0 0 4287 623 0 0 20 0 1 0 378576240 4348731392 834767 33554432000 4194304 6004724 140736988363760 140736988358224 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 50 0 0
/proc/17952/statm: 1061702 834767 163 442 0 1061256 0
[pid=17954] ppid=17952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17954/stat : 17954 (cp2_pre.sh) S 17952 17951 10841 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 378581201 9367552 276 33554432000 4194304 5064252 140735789740480 140735789739184 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17954/statm: 2287 276 234 213 0 72 0
[pid=17955] ppid=17954 vsize=5533268 CPUtime=111.1 cores=1,3,5,7
/proc/17955/stat : 17955 (coprocessor) R 17954 17951 10841 0 -1 4202496 29610 0 0 0 10553 557 0 0 20 0 1 0 378581202 5666066432 1171933 33554432000 4194304 6586260 140735035447776 140735035443528 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 155 0 0
/proc/17955/statm: 1383317 1171933 158 584 0 1382729 0
Current children cumulated CPU time (s) 160.2
Current children cumulated vsize (KiB) 9798372
[startup+222.3 s]
/proc/loadavg: 2.26 2.25 2.17 3/181 18004
/proc/meminfo: memFree=16307932/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
[pid=17952] ppid=17951 vsize=4246808 CPUtime=204.08 cores=1,3,5,7
/proc/17952/stat : 17952 (npSolver-pbo) S 17951 17951 10841 0 -1 4202496 24731 30513 0 0 4287 623 14632 866 20 0 1 0 378576240 4348731392 834772 33554432000 4194304 6004724 140736988363760 140736988350040 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 50 0 0
/proc/17952/statm: 1061702 834772 167 442 0 1061256 0
[pid=18004] ppid=17952 vsize=4163460 CPUtime=15.68 cores=1,3,5,7
/proc/18004/stat : 18004 (glucosInc) R 17952 17951 10841 0 -1 4202496 376286 0 0 0 1430 138 0 0 20 0 1 0 378596901 4263383040 866073 33554432000 4194304 5654031 140736875022016 140736873971464 4797458 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18004/statm: 1040865 866073 108 357 0 1040505 0
Current children cumulated CPU time (s) 219.76
Current children cumulated vsize (KiB) 8419416
[startup+282.3 s]
/proc/loadavg: 2.09 2.20 2.16 3/181 18005
/proc/meminfo: memFree=13045692/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
[pid=17952] ppid=17951 vsize=4246808 CPUtime=204.08 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=12961808/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
[pid=17952] ppid=17951 vsize=4246808 CPUtime=204.08 cores=1,3,5,7
/proc/17952/stat : 17952 (npSolver-pbo) S 17951 17951 10841 0 -1 4202496 24731 30513 0 0 4287 623 14632 866 20 0 1 0 378576240 4348731392 834772 33554432000 4194304 6004724 140736988363760 140736988350040 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 50 0 0
/proc/17952/statm: 1061702 834772 167 442 0 1061256 0
[pid=18004] ppid=17952 vsize=7320324 CPUtime=1095.5 cores=1,3,5,7
/proc/18004/stat : 18004 (glucosInc) R 17952 17951 10841 0 -1 4202496 756315 0 0 0 109266 284 0 0 20 0 1 0 378596901 7496011776 1688616 33554432000 4194304 5654031 140736875022016 140736875009832 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18004/statm: 1830081 1688616 141 357 0 1829721 0
Current children cumulated CPU time (s) 1299.58
Current children cumulated vsize (KiB) 11576280
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 18014
/proc/meminfo: memFree=12958644/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
[pid=17952] ppid=17951 vsize=4246808 CPUtime=204.08 cores=1,3,5,7
/proc/17952/stat : 17952 (npSolver-pbo) S 17951 17951 10841 0 -1 4202496 24731 30513 0 0 4287 623 14632 866 20 0 1 0 378576240 4348731392 834772 33554432000 4194304 6004724 140736988363760 140736988350040 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 50 0 0
/proc/17952/statm: 1061702 834772 167 442 0 1061256 0
[pid=18004] ppid=17952 vsize=7321248 CPUtime=1155.49 cores=1,3,5,7
/proc/18004/stat : 18004 (glucosInc) R 17952 17951 10841 0 -1 4202496 756556 0 0 0 115264 285 0 0 20 0 1 0 378596901 7496957952 1689368 33554432000 4194304 5654031 140736875022016 140736875019800 4214603 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18004/statm: 1830312 1689368 141 357 0 1829952 0
Current children cumulated CPU time (s) 1359.57
Current children cumulated vsize (KiB) 11577204
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.03 3/181 18014
/proc/meminfo: memFree=12955480/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
[pid=17952] ppid=17951 vsize=4246808 CPUtime=204.08 cores=1,3,5,7
/proc/17952/stat : 17952 (npSolver-pbo) S 17951 17951 10841 0 -1 4202496 24731 30513 0 0 4287 623 14632 866 20 0 1 0 378576240 4348731392 834772 33554432000 4194304 6004724 140736988363760 140736988350040 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 50 0 0
/proc/17952/statm: 1061702 834772 167 442 0 1061256 0
[pid=18004] ppid=17952 vsize=7322124 CPUtime=1215.49 cores=1,3,5,7
/proc/18004/stat : 18004 (glucosInc) R 17952 17951 10841 0 -1 4202496 760742 0 0 0 121262 287 0 0 20 0 1 0 378596901 7497854976 1690114 33554432000 4194304 5654031 140736875022016 140736875009832 4232628 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18004/statm: 1830531 1690114 141 357 0 1830171 0
Current children cumulated CPU time (s) 1419.57
Current children cumulated vsize (KiB) 11578080
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 18014
/proc/meminfo: memFree=12952936/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
[pid=17952] ppid=17951 vsize=4246808 CPUtime=204.08 cores=1,3,5,7
/proc/17952/stat : 17952 (npSolver-pbo) S 17951 17951 10841 0 -1 4202496 24731 30513 0 0 4287 623 14632 866 20 0 1 0 378576240 4348731392 834772 33554432000 4194304 6004724 140736988363760 140736988350040 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 50 0 0
/proc/17952/statm: 1061702 834772 167 442 0 1061256 0
[pid=18004] ppid=17952 vsize=7322940 CPUtime=1275.47 cores=1,3,5,7
/proc/18004/stat : 18004 (glucosInc) R 17952 17951 10841 0 -1 4202496 760901 0 0 0 127260 287 0 0 20 0 1 0 378596901 7498690560 1690784 33554432000 4194304 5654031 140736875022016 140736875009832 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18004/statm: 1830735 1690784 141 357 0 1830375 0
Current children cumulated CPU time (s) 1479.55
Current children cumulated vsize (KiB) 11578896
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 18015
/proc/meminfo: memFree=12949468/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
[pid=17952] ppid=17951 vsize=4246808 CPUtime=204.08 cores=1,3,5,7
/proc/17952/stat : 17952 (npSolver-pbo) S 17951 17951 10841 0 -1 4202496 24731 30513 0 0 4287 623 14632 866 20 0 1 0 378576240 4348731392 834772 33554432000 4194304 6004724 140736988363760 140736988350040 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 50 0 0
/proc/17952/statm: 1061702 834772 167 442 0 1061256 0
[pid=18004] ppid=17952 vsize=7324108 CPUtime=1335.47 cores=1,3,5,7
/proc/18004/stat : 18004 (glucosInc) R 17952 17951 10841 0 -1 4202496 765168 0 0 0 133257 290 0 0 20 0 1 0 378596901 7499886592 1691100 33554432000 4194304 5654031 140736875022016 140736875009832 4232755 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18004/statm: 1831027 1691100 141 357 0 1830667 0
Current children cumulated CPU time (s) 1539.55
Current children cumulated vsize (KiB) 11580064
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/181 18015
/proc/meminfo: memFree=12946812/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
[pid=17952] ppid=17951 vsize=4246808 CPUtime=204.08 cores=1,3,5,7
/proc/17952/stat : 17952 (npSolver-pbo) S 17951 17951 10841 0 -1 4202496 24731 30513 0 0 4287 623 14632 866 20 0 1 0 378576240 4348731392 834772 33554432000 4194304 6004724 140736988363760 140736988350040 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 50 0 0
/proc/17952/statm: 1061702 834772 167 442 0 1061256 0
[pid=18004] ppid=17952 vsize=7324764 CPUtime=1395.46 cores=1,3,5,7
/proc/18004/stat : 18004 (glucosInc) R 17952 17951 10841 0 -1 4202496 765320 0 0 0 139256 290 0 0 20 0 1 0 378596901 7500558336 1691763 33554432000 4194304 5654031 140736875022016 140736875009832 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18004/statm: 1831191 1691763 141 357 0 1830831 0
Current children cumulated CPU time (s) 1599.54
Current children cumulated vsize (KiB) 11580720
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/181 18015
/proc/meminfo: memFree=12944176/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
[pid=17952] ppid=17951 vsize=4246808 CPUtime=204.08 cores=1,3,5,7
/proc/17952/stat : 17952 (npSolver-pbo) S 17951 17951 10841 0 -1 4202496 24731 30513 0 0 4287 623 14632 866 20 0 1 0 378576240 4348731392 834772 33554432000 4194304 6004724 140736988363760 140736988350040 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 50 0 0
/proc/17952/statm: 1061702 834772 167 442 0 1061256 0
[pid=18004] ppid=17952 vsize=7325028 CPUtime=1455.45 cores=1,3,5,7
/proc/18004/stat : 18004 (glucosInc) R 17952 17951 10841 0 -1 4202496 765401 0 0 0 145255 290 0 0 20 0 1 0 378596901 7500828672 1691844 33554432000 4194304 5654031 140736875022016 140736875019704 4232581 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18004/statm: 1831257 1691844 141 357 0 1830897 0
Current children cumulated CPU time (s) 1659.53
Current children cumulated vsize (KiB) 11580984
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 18018
/proc/meminfo: memFree=12941748/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
[pid=17952] ppid=17951 vsize=4246808 CPUtime=204.08 cores=1,3,5,7
/proc/17952/stat : 17952 (npSolver-pbo) S 17951 17951 10841 0 -1 4202496 24731 30513 0 0 4287 623 14632 866 20 0 1 0 378576240 4348731392 834772 33554432000 4194304 6004724 140736988363760 140736988350040 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 50 0 0
/proc/17952/statm: 1061702 834772 167 442 0 1061256 0
[pid=18004] ppid=17952 vsize=7325028 CPUtime=1515.44 cores=1,3,5,7
/proc/18004/stat : 18004 (glucosInc) R 17952 17951 10841 0 -1 4202496 765403 0 0 0 151254 290 0 0 20 0 1 0 378596901 7500828672 1692357 33554432000 4194304 5654031 140736875022016 140736875019704 4233204 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18004/statm: 1831257 1692357 141 357 0 1830897 0
Current children cumulated CPU time (s) 1719.52
Current children cumulated vsize (KiB) 11580984
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18018
/proc/meminfo: memFree=12938284/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
[pid=17952] ppid=17951 vsize=4246808 CPUtime=204.08 cores=1,3,5,7
/proc/17952/stat : 17952 (npSolver-pbo) S 17951 17951 10841 0 -1 4202496 24731 30513 0 0 4287 623 14632 866 20 0 1 0 378576240 4348731392 834772 33554432000 4194304 6004724 140736988363760 140736988350040 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 50 0 0
/proc/17952/statm: 1061702 834772 167 442 0 1061256 0
[pid=18004] ppid=17952 vsize=7326056 CPUtime=1575.43 cores=1,3,5,7
/proc/18004/stat : 18004 (glucosInc) R 17952 17951 10841 0 -1 4202496 769711 0 0 0 157251 292 0 0 20 0 1 0 378596901 7501881344 1693226 33554432000 4194304 5654031 140736875022016 140736875009832 4232415 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18004/statm: 1831514 1693226 141 357 0 1831154 0
Current children cumulated CPU time (s) 1779.51
Current children cumulated vsize (KiB) 11582012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 18018
/proc/meminfo: memFree=12938044/32873844 swapFree=9160/9160
[pid=17951] ppid=17949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17951/stat : 17951 (npSolver-pbo-I.) S 17949 17951 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378576240 9367552 275 33554432000 4194304 5064252 140733984715728 140733984714640 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17951/statm: 2287 275 233 213 0 72 0
[pid=17952] ppid=17951 vsize=4246808 CPUtime=204.08 cores=1,3,5,7
/proc/17952/stat : 17952 (npSolver-pbo) S 17951 17951 10841 0 -1 4202496 24731 30513 0 0 4287 623 14632 866 20 0 1 0 378576240 4348731392 834772 33554432000 4194304 6004724 140736988363760 140736988350040 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 50 0 0
/proc/17952/statm: 1061702 834772 167 442 0 1061256 0
[pid=18004] ppid=17952 vsize=7326452 CPUtime=1595.94 cores=1,3,5,7
/proc/18004/stat : 18004 (glucosInc) R 17952 17951 10841 0 -1 4202496 769800 0 0 0 159302 292 0 0 20 0 1 0 378596901 7502286848 1693315 33554432000 4194304 5654031 140736875022016 140736875009832 4209098 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18004/statm: 1831613 1693315 141 357 0 1831253 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 11582408
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 17951 and gives
# childrusage.ru_utime.tv_sec=189
# childrusage.ru_utime.tv_usec=196237
# childrusage.ru_stime.tv_sec=14
# childrusage.ru_stime.tv_usec=919731
# CPU time returned by wait4() is 204.116
# 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): 1802.83
CPU time (s): 1800.02
CPU user time (s): 1782.21
CPU system time (s): 17.81
CPU usage (%): 99.8439
Max. virtual memory (cumulated for all children) (KiB): 11643356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 189.196
system time used= 14.9197
maximum resident set size= 6625096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55602
page faults= 0
swaps= 0
block input operations= 8
block output operations= 12911928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49
involuntary context switches= 239
runsolver used 4.03939 second user time and 11.5662 second system time
The end