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-3699079-1338066448/watcher-3699079-1338066448 -o /tmp/evaluation-result-3699079-1338066448/solver-3699079-1338066448 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699079-1338066448.opb 488269581 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: 1.97 1.99 2.02 4/177 2727
/proc/meminfo: memFree=28156104/32873844 swapFree=7108/7108
[pid=2727] ppid=2725 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2727/stat : 2727 (npSolver-pbo-I.) S 2725 2727 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272773296 9367552 275 33554432000 4194304 5064252 140735478086256 140735478085168 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 2287 275 233 213 0 72 0
[startup+0.0951551 s]
/proc/loadavg: 1.97 1.99 2.02 4/177 2727
/proc/meminfo: memFree=28156104/32873844 swapFree=7108/7108
[pid=2727] ppid=2725 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2727/stat : 2727 (npSolver-pbo-I.) S 2725 2727 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272773296 9367552 275 33554432000 4194304 5064252 140735478086256 140735478085168 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100256 s]
/proc/loadavg: 1.97 1.99 2.02 4/177 2727
/proc/meminfo: memFree=28156104/32873844 swapFree=7108/7108
[pid=2727] ppid=2725 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2727/stat : 2727 (npSolver-pbo-I.) S 2725 2727 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272773296 9367552 275 33554432000 4194304 5064252 140735478086256 140735478085168 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300273 s]
/proc/loadavg: 1.97 1.99 2.02 4/177 2727
/proc/meminfo: memFree=28156104/32873844 swapFree=7108/7108
[pid=2727] ppid=2725 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2727/stat : 2727 (npSolver-pbo-I.) S 2725 2727 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272773296 9367552 275 33554432000 4194304 5064252 140735478086256 140735478085168 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70029 s]
/proc/loadavg: 1.97 1.99 2.02 4/177 2727
/proc/meminfo: memFree=28156104/32873844 swapFree=7108/7108
[pid=2727] ppid=2725 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2727/stat : 2727 (npSolver-pbo-I.) S 2725 2727 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272773296 9367552 275 33554432000 4194304 5064252 140735478086256 140735478085168 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 1.97 1.99 2.02 3/179 2729
/proc/meminfo: memFree=28096132/32873844 swapFree=7108/7108
[pid=2727] ppid=2725 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2727/stat : 2727 (npSolver-pbo-I.) S 2725 2727 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272773296 9367552 275 33554432000 4194304 5064252 140735478086256 140735478085168 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 2287 275 233 213 0 72 0
[pid=2728] ppid=2727 vsize=68124 CPUtime=1.49 cores=1,3,5,7
/proc/2728/stat : 2728 (npSolver-pbo) R 2727 2727 1127 0 -1 4202496 3720 0 0 0 147 2 0 0 20 0 1 0 272773296 69758976 11370 33554432000 4194304 5992684 140735549874048 140735549867112 4768371 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2728/statm: 17031 11370 148 440 0 16587 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 77272
[startup+3.10026 s]
/proc/loadavg: 1.97 1.99 2.02 3/179 2729
/proc/meminfo: memFree=28032280/32873844 swapFree=7108/7108
[pid=2727] ppid=2725 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2727/stat : 2727 (npSolver-pbo-I.) S 2725 2727 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272773296 9367552 275 33554432000 4194304 5064252 140735478086256 140735478085168 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 2287 275 233 213 0 72 0
[pid=2728] ppid=2727 vsize=133660 CPUtime=3.09 cores=1,3,5,7
/proc/2728/stat : 2728 (npSolver-pbo) R 2727 2727 1127 0 -1 4202496 4285 0 0 0 305 4 0 0 20 0 1 0 272773296 136867840 22634 33554432000 4194304 5992684 140735549874048 140735549867464 4809249 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2728/statm: 33415 22634 148 440 0 32971 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 142808
[startup+6.30027 s]
/proc/loadavg: 1.97 1.99 2.02 3/179 2729
/proc/meminfo: memFree=25996140/32873844 swapFree=7108/7108
[pid=2727] ppid=2725 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2727/stat : 2727 (npSolver-pbo-I.) S 2725 2727 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272773296 9367552 275 33554432000 4194304 5064252 140735478086256 140735478085168 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 2287 275 233 213 0 72 0
[pid=2728] ppid=2727 vsize=264732 CPUtime=6.28 cores=1,3,5,7
/proc/2728/stat : 2728 (npSolver-pbo) R 2727 2727 1127 0 -1 4202496 4904 0 0 0 621 7 0 0 20 0 1 0 272773296 271085568 45162 33554432000 4194304 5992684 140735549874048 140735549867112 4374856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2728/statm: 66183 45162 148 440 0 65739 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 273880
[startup+12.7003 s]
/proc/loadavg: 1.98 1.99 2.02 3/178 2729
/proc/meminfo: memFree=27483876/32873844 swapFree=7108/7108
[pid=2727] ppid=2725 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2727/stat : 2727 (npSolver-pbo-I.) S 2725 2727 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272773296 9367552 275 33554432000 4194304 5064252 140735478086256 140735478085168 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 2287 275 233 213 0 72 0
[pid=2728] ppid=2727 vsize=526876 CPUtime=12.69 cores=1,3,5,7
/proc/2728/stat : 2728 (npSolver-pbo) R 2727 2727 1127 0 -1 4202496 5631 0 0 0 1254 15 0 0 20 0 1 0 272773296 539521024 90218 33554432000 4194304 5992684 140735549874048 140735549867112 5044443 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2728/statm: 131719 90218 148 440 0 131275 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 536024
[startup+25.5003 s]
/proc/loadavg: 1.98 1.99 2.01 3/179 2730
/proc/meminfo: memFree=26030448/32873844 swapFree=7108/7108
[pid=2727] ppid=2725 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2727/stat : 2727 (npSolver-pbo-I.) S 2725 2727 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272773296 9367552 275 33554432000 4194304 5064252 140735478086256 140735478085168 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 2287 275 233 213 0 72 0
[pid=2728] ppid=2727 vsize=1982632 CPUtime=25.48 cores=1,3,5,7
/proc/2728/stat : 2728 (npSolver-pbo) R 2727 2727 1127 0 -1 4202496 66338 0 0 0 2472 76 0 0 20 0 1 0 272773296 2030215168 403495 33554432000 4194304 5992684 140735549874048 140735549870104 5182699 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2728/statm: 495658 403495 173 440 0 495214 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1991780
[startup+51.1004 s]
/proc/loadavg: 2.12 2.02 2.02 3/181 2732
/proc/meminfo: memFree=23468612/32873844 swapFree=7108/7108
[pid=2727] ppid=2725 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2727/stat : 2727 (npSolver-pbo-I.) S 2725 2727 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272773296 9367552 275 33554432000 4194304 5064252 140735478086256 140735478085168 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 2287 275 233 213 0 72 0
[pid=2728] ppid=2727 vsize=1303284 CPUtime=26.2 cores=1,3,5,7
/proc/2728/stat : 2728 (npSolver-pbo) S 2727 2727 1127 0 -1 4202496 66345 0 0 0 2472 148 0 0 20 0 1 0 272773296 1334562816 233664 33554432000 4194304 5992684 140735549874048 140735549868496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2728/statm: 325821 233664 179 440 0 325377 0
[pid=2731] ppid=2728 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2731/stat : 2731 (cp2_pre.sh) S 2728 2727 1127 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 272775918 9367552 277 33554432000 4194304 5064252 140733342145936 140733342144640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2731/statm: 2287 277 234 213 0 72 0
[pid=2732] ppid=2731 vsize=1673832 CPUtime=24.85 cores=1,3,5,7
/proc/2732/stat : 2732 (coprocessor) R 2731 2727 1127 0 -1 4202496 208577 0 0 0 2414 71 0 0 20 0 1 0 272775919 1714003968 402059 33554432000 4194304 6586260 140736929598784 140736929594808 4760358 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/2732/statm: 418458 402059 180 584 0 417870 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 2995412
############
# WARNING:
# current cumulated CPU time (26.2 s) is less than in the last sample (76.09 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (49.89 s) to the 'lost time'.
[startup+77.0223 s]
/proc/loadavg: 2.09 2.02 2.02 3/181 2732
/proc/meminfo: memFree=22658064/32873844 swapFree=7108/7108
[pid=2727] ppid=2725 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2727/stat : 2727 (npSolver-pbo-I.) S 2725 2727 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272773296 9367552 275 33554432000 4194304 5064252 140735478086256 140735478085168 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 2287 275 233 213 0 72 0
[pid=2728] ppid=2727 vsize=1303284 CPUtime=26.2 cores=1,3,5,7
/proc/2728/stat : 2728 (npSolver-pbo) S 2727 2727 1127 0 -1 4202496 66345 0 0 0 2472 148 0 0 20 0 1 0 272773296 1334562816 233664 33554432000 4194304 5992684 140735549874048 140735549868496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2728/statm: 325821 233664 179 440 0 325377 0
[pid=2731] ppid=2728 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2731/stat : 2731 (cp2_pre.sh) S 2728 2727 1127 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 272775918 9367552 277 33554432000 4194304 5064252 140733342145936 140733342144640 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2731/statm: 2287 277 234 213 0 72 0
[pid=2732] ppid=2731 vsize=1803104 CPUtime=49.89 cores=1,3,5,7
/proc/2732/stat : 2732 (coprocessor) R 2731 2727 1127 0 -1 4202496 220676 0 0 0 4786 203 0 0 20 0 1 0 272775919 1846378496 435109 33554432000 4194304 6586260 140736929598784 140736929594536 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 87 0 0
/proc/2732/statm: 450776 435109 199 584 0 450188 0
Current children cumulated CPU time (s) 76.09
Current children cumulated vsize (KiB) 3124684
[startup+78.4581 s]
/proc/loadavg: 2.09 2.02 2.02 3/181 2732
/proc/meminfo: memFree=22658064/32873844 swapFree=7108/7108
[pid=2727] ppid=2725 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2727/stat : 2727 (npSolver-pbo-I.) S 2725 2727 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272773296 9367552 275 33554432000 4194304 5064252 140735478086256 140735478085168 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 2287 275 233 213 0 72 0
[pid=2728] ppid=2727 vsize=1303284 CPUtime=26.2 cores=1,3,5,7
/proc/2728/stat : 2728 (npSolver-pbo) S 2727 2727 1127 0 -1 4202496 66345 0 0 0 2472 148 0 0 20 0 1 0 272773296 1334562816 233664 33554432000 4194304 5992684 140735549874048 140735549868496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2728/statm: 325821 233664 179 440 0 325377 0
[pid=2731] ppid=2728 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2731/stat : 2731 (cp2_pre.sh) R 2728 2727 1127 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 272775918 9367552 277 33554432000 4194304 5064252 140733342145936 140733342144640 249649849934 0 65536 4100 65538 0 0 0 17 3 0 0 0 0 0
/proc/2731/statm: 2287 277 234 213 0 72 0
Current children cumulated CPU time (s) 26.2
Current children cumulated vsize (KiB) 1321580
#
############
[startup+111.842 s]
/proc/loadavg: 2.36 2.08 2.04 3/181 2733
/proc/meminfo: memFree=22452716/32873844 swapFree=7108/7108
[pid=2727] ppid=2725 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2727/stat : 2727 (npSolver-pbo-I.) S 2725 2727 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272773296 9367552 275 33554432000 4194304 5064252 140735478086256 140735478085168 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 2287 275 233 213 0 72 0
[pid=2728] ppid=2727 vsize=1303284 CPUtime=77.68 cores=1,3,5,7
/proc/2728/stat : 2728 (npSolver-pbo) S 2727 2727 1127 0 -1 4202496 66362 221578 0 0 2472 149 4919 228 20 0 1 0 272773296 1334562816 233666 33554432000 4194304 5992684 140735549874048 140735549860312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2728/statm: 325821 233666 181 440 0 325377 0
Current children cumulated CPU time (s) 77.68
Current children cumulated vsize (KiB) 1312432
heavy processes:
[startup+322.01 s]
/proc/loadavg: 2.27 2.09 2.04 3/180 2734
################
# More data... #
################
/proc/2734/statm: 248991 236120 141 357 0 248631 0
Current children cumulated CPU time (s) 1241.17
Current children cumulated vsize (KiB) 2308396
[startup+1302.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/180 2741
/proc/meminfo: memFree=19202184/32873844 swapFree=7108/7108
[pid=2727] ppid=2725 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2727/stat : 2727 (npSolver-pbo-I.) S 2725 2727 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272773296 9367552 275 33554432000 4194304 5064252 140735478086256 140735478085168 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 2287 275 233 213 0 72 0
[pid=2728] ppid=2727 vsize=1303284 CPUtime=77.68 cores=1,3,5,7
/proc/2728/stat : 2728 (npSolver-pbo) S 2727 2727 1127 0 -1 4202496 66362 221578 0 0 2472 149 4919 228 20 0 1 0 272773296 1334562816 233666 33554432000 4194304 5992684 140735549874048 140735549860312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2728/statm: 325821 233666 181 440 0 325377 0
[pid=2734] ppid=2728 vsize=995964 CPUtime=1223.48 cores=1,3,5,7
/proc/2734/stat : 2734 (glucosInc) R 2728 2727 1127 0 -1 4202496 81164 0 0 0 122303 45 0 0 20 0 1 0 272781155 1019867136 237386 33554432000 4194304 5654031 140735910437472 140735910425288 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2734/statm: 248991 237386 141 357 0 248631 0
Current children cumulated CPU time (s) 1301.16
Current children cumulated vsize (KiB) 2308396
[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/181 2744
/proc/meminfo: memFree=19201236/32873844 swapFree=7108/7108
[pid=2727] ppid=2725 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2727/stat : 2727 (npSolver-pbo-I.) S 2725 2727 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272773296 9367552 275 33554432000 4194304 5064252 140735478086256 140735478085168 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 2287 275 233 213 0 72 0
[pid=2728] ppid=2727 vsize=1303284 CPUtime=77.68 cores=1,3,5,7
/proc/2728/stat : 2728 (npSolver-pbo) S 2727 2727 1127 0 -1 4202496 66362 221578 0 0 2472 149 4919 228 20 0 1 0 272773296 1334562816 233666 33554432000 4194304 5992684 140735549874048 140735549860312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2728/statm: 325821 233666 181 440 0 325377 0
[pid=2734] ppid=2728 vsize=995964 CPUtime=1283.46 cores=1,3,5,7
/proc/2734/stat : 2734 (glucosInc) R 2728 2727 1127 0 -1 4202496 81451 0 0 0 128301 45 0 0 20 0 1 0 272781155 1019867136 237670 33554432000 4194304 5654031 140735910437472 140735910425288 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2734/statm: 248991 237670 141 357 0 248631 0
Current children cumulated CPU time (s) 1361.14
Current children cumulated vsize (KiB) 2308396
[startup+1422.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/180 2744
/proc/meminfo: memFree=19194176/32873844 swapFree=7108/7108
[pid=2727] ppid=2725 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2727/stat : 2727 (npSolver-pbo-I.) S 2725 2727 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272773296 9367552 275 33554432000 4194304 5064252 140735478086256 140735478085168 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 2287 275 233 213 0 72 0
[pid=2728] ppid=2727 vsize=1303284 CPUtime=77.68 cores=1,3,5,7
/proc/2728/stat : 2728 (npSolver-pbo) S 2727 2727 1127 0 -1 4202496 66362 221578 0 0 2472 149 4919 228 20 0 1 0 272773296 1334562816 233666 33554432000 4194304 5992684 140735549874048 140735549860312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2728/statm: 325821 233666 181 440 0 325377 0
[pid=2734] ppid=2728 vsize=1345212 CPUtime=1343.46 cores=1,3,5,7
/proc/2734/stat : 2734 (glucosInc) R 2728 2727 1127 0 -1 4202496 81690 0 0 0 134300 46 0 0 20 0 1 0 272781155 1377497088 239434 33554432000 4194304 5654031 140735910437472 140735910425288 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2734/statm: 336303 239434 141 357 0 335943 0
Current children cumulated CPU time (s) 1421.14
Current children cumulated vsize (KiB) 2657644
[startup+1482.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/180 2744
/proc/meminfo: memFree=19192188/32873844 swapFree=7108/7108
[pid=2727] ppid=2725 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2727/stat : 2727 (npSolver-pbo-I.) S 2725 2727 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272773296 9367552 275 33554432000 4194304 5064252 140735478086256 140735478085168 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 2287 275 233 213 0 72 0
[pid=2728] ppid=2727 vsize=1303284 CPUtime=77.68 cores=1,3,5,7
/proc/2728/stat : 2728 (npSolver-pbo) S 2727 2727 1127 0 -1 4202496 66362 221578 0 0 2472 149 4919 228 20 0 1 0 272773296 1334562816 233666 33554432000 4194304 5992684 140735549874048 140735549860312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2728/statm: 325821 233666 181 440 0 325377 0
[pid=2734] ppid=2728 vsize=1345212 CPUtime=1403.45 cores=1,3,5,7
/proc/2734/stat : 2734 (glucosInc) R 2728 2727 1127 0 -1 4202496 81691 0 0 0 140299 46 0 0 20 0 1 0 272781155 1377497088 239946 33554432000 4194304 5654031 140735910437472 140735910425288 4232491 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2734/statm: 336303 239946 141 357 0 335943 0
Current children cumulated CPU time (s) 1481.13
Current children cumulated vsize (KiB) 2657644
[startup+1542.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/180 2744
/proc/meminfo: memFree=19187968/32873844 swapFree=7108/7108
[pid=2727] ppid=2725 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2727/stat : 2727 (npSolver-pbo-I.) S 2725 2727 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272773296 9367552 275 33554432000 4194304 5064252 140735478086256 140735478085168 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 2287 275 233 213 0 72 0
[pid=2728] ppid=2727 vsize=1303284 CPUtime=77.68 cores=1,3,5,7
/proc/2728/stat : 2728 (npSolver-pbo) S 2727 2727 1127 0 -1 4202496 66362 221578 0 0 2472 149 4919 228 20 0 1 0 272773296 1334562816 233666 33554432000 4194304 5992684 140735549874048 140735549860312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2728/statm: 325821 233666 181 440 0 325377 0
[pid=2734] ppid=2728 vsize=1345212 CPUtime=1463.44 cores=1,3,5,7
/proc/2734/stat : 2734 (glucosInc) R 2728 2727 1127 0 -1 4202496 81693 0 0 0 146298 46 0 0 20 0 1 0 272781155 1377497088 240970 33554432000 4194304 5654031 140735910437472 140735910425288 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2734/statm: 336303 240970 141 357 0 335943 0
Current children cumulated CPU time (s) 1541.12
Current children cumulated vsize (KiB) 2657644
[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/180 2745
/proc/meminfo: memFree=19185856/32873844 swapFree=7108/7108
[pid=2727] ppid=2725 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2727/stat : 2727 (npSolver-pbo-I.) S 2725 2727 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272773296 9367552 275 33554432000 4194304 5064252 140735478086256 140735478085168 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 2287 275 233 213 0 72 0
[pid=2728] ppid=2727 vsize=1303284 CPUtime=77.68 cores=1,3,5,7
/proc/2728/stat : 2728 (npSolver-pbo) S 2727 2727 1127 0 -1 4202496 66362 221578 0 0 2472 149 4919 228 20 0 1 0 272773296 1334562816 233666 33554432000 4194304 5992684 140735549874048 140735549860312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2728/statm: 325821 233666 181 440 0 325377 0
[pid=2734] ppid=2728 vsize=1345212 CPUtime=1523.43 cores=1,3,5,7
/proc/2734/stat : 2734 (glucosInc) R 2728 2727 1127 0 -1 4202496 81694 0 0 0 152297 46 0 0 20 0 1 0 272781155 1377497088 241482 33554432000 4194304 5654031 140735910437472 140735910425288 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2734/statm: 336303 241482 141 357 0 335943 0
Current children cumulated CPU time (s) 1601.11
Current children cumulated vsize (KiB) 2657644
[startup+1662.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/180 2745
/proc/meminfo: memFree=19181884/32873844 swapFree=7108/7108
[pid=2727] ppid=2725 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2727/stat : 2727 (npSolver-pbo-I.) S 2725 2727 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272773296 9367552 275 33554432000 4194304 5064252 140735478086256 140735478085168 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 2287 275 233 213 0 72 0
[pid=2728] ppid=2727 vsize=1303284 CPUtime=77.68 cores=1,3,5,7
/proc/2728/stat : 2728 (npSolver-pbo) S 2727 2727 1127 0 -1 4202496 66362 221578 0 0 2472 149 4919 228 20 0 1 0 272773296 1334562816 233666 33554432000 4194304 5992684 140735549874048 140735549860312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2728/statm: 325821 233666 181 440 0 325377 0
[pid=2734] ppid=2728 vsize=1345212 CPUtime=1583.43 cores=1,3,5,7
/proc/2734/stat : 2734 (glucosInc) R 2728 2727 1127 0 -1 4202496 81696 0 0 0 158297 46 0 0 20 0 1 0 272781155 1377497088 242506 33554432000 4194304 5654031 140735910437472 140735910425288 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2734/statm: 336303 242506 141 357 0 335943 0
Current children cumulated CPU time (s) 1661.11
Current children cumulated vsize (KiB) 2657644
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/180 2745
/proc/meminfo: memFree=19164016/32873844 swapFree=7108/7108
[pid=2727] ppid=2725 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2727/stat : 2727 (npSolver-pbo-I.) S 2725 2727 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272773296 9367552 275 33554432000 4194304 5064252 140735478086256 140735478085168 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 2287 275 233 213 0 72 0
[pid=2728] ppid=2727 vsize=1303284 CPUtime=77.68 cores=1,3,5,7
/proc/2728/stat : 2728 (npSolver-pbo) S 2727 2727 1127 0 -1 4202496 66362 221578 0 0 2472 149 4919 228 20 0 1 0 272773296 1334562816 233666 33554432000 4194304 5992684 140735549874048 140735549860312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2728/statm: 325821 233666 181 440 0 325377 0
[pid=2734] ppid=2728 vsize=1352284 CPUtime=1643.41 cores=1,3,5,7
/proc/2734/stat : 2734 (glucosInc) R 2728 2727 1127 0 -1 4202496 83074 0 0 0 164295 46 0 0 20 0 1 0 272781155 1384738816 246950 33554432000 4194304 5654031 140735910437472 140735910425288 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2734/statm: 338071 246950 141 357 0 337711 0
Current children cumulated CPU time (s) 1721.09
Current children cumulated vsize (KiB) 2664716
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1751.4 s]
/proc/loadavg: 2.07 2.05 2.00 3/182 2795
/proc/meminfo: memFree=27526804/32873844 swapFree=7108/7108
[pid=2727] ppid=2725 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2727/stat : 2727 (npSolver-pbo-I.) S 2725 2727 1127 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272773296 9367552 275 33554432000 4194304 5064252 140735478086256 140735478085168 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2727/statm: 2287 275 233 213 0 72 0
[pid=2728] ppid=2727 vsize=1303284 CPUtime=77.68 cores=1,3,5,7
/proc/2728/stat : 2728 (npSolver-pbo) S 2727 2727 1127 0 -1 4202496 66362 221578 0 0 2472 149 4919 228 20 0 1 0 272773296 1334562816 233666 33554432000 4194304 5992684 140735549874048 140735549860312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2728/statm: 325821 233666 181 440 0 325377 0
[pid=2734] ppid=2728 vsize=1352284 CPUtime=1672.52 cores=1,3,5,7
/proc/2734/stat : 2734 (glucosInc) R 2728 2727 1127 0 -1 4202496 83174 0 0 0 167206 46 0 0 20 0 1 0 272781155 1384738816 248072 33554432000 4194304 5654031 140735910437472 140735910425288 4232916 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2734/statm: 338071 248072 141 357 0 337711 0
Current children cumulated CPU time (s) 1750.2
Current children cumulated vsize (KiB) 2664716
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 2727 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1750.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 49.89
# lost CPU user time (s): 47.86
# lost CPU system time (s): 2.03
Real time (s): 1751.42
CPU time (s): 1800.09
CPU user time (s): 1793.83
CPU system time (s): 6.26
CPU usage (%): 102.779
Max. virtual memory (cumulated for all children) (KiB): 3124684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
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= 3
runsolver used 3.45247 second user time and 8.92464 second system time
The end