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-3748133-1339168362/watcher-3748133-1339168362 -o /tmp/evaluation-result-3748133-1339168362/solver-3748133-1339168362 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748133-1339168362.opb 475529771 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.09 2.33 3/178 14053
/proc/meminfo: memFree=30148504/32873648 swapFree=7112/7112
[pid=14053] ppid=14051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14053/stat : 14053 (npSolver-pbo-I.) S 14051 14053 32524 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962124 9367552 275 33554432000 4194304 5064252 140733564455040 140733564453952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14053/statm: 2287 275 233 213 0 72 0
[startup+0.00983499 s]
/proc/loadavg: 2.00 2.09 2.33 3/178 14053
/proc/meminfo: memFree=30148504/32873648 swapFree=7112/7112
[pid=14053] ppid=14051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14053/stat : 14053 (npSolver-pbo-I.) S 14051 14053 32524 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962124 9367552 275 33554432000 4194304 5064252 140733564455040 140733564453952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14053/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100215 s]
/proc/loadavg: 2.00 2.09 2.33 3/178 14053
/proc/meminfo: memFree=30148504/32873648 swapFree=7112/7112
[pid=14053] ppid=14051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14053/stat : 14053 (npSolver-pbo-I.) S 14051 14053 32524 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962124 9367552 275 33554432000 4194304 5064252 140733564455040 140733564453952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14053/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300152 s]
/proc/loadavg: 2.00 2.09 2.33 3/178 14053
/proc/meminfo: memFree=30148504/32873648 swapFree=7112/7112
[pid=14053] ppid=14051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14053/stat : 14053 (npSolver-pbo-I.) S 14051 14053 32524 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962124 9367552 275 33554432000 4194304 5064252 140733564455040 140733564453952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14053/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700251 s]
/proc/loadavg: 2.00 2.09 2.33 3/178 14053
/proc/meminfo: memFree=30148504/32873648 swapFree=7112/7112
[pid=14053] ppid=14051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14053/stat : 14053 (npSolver-pbo-I.) S 14051 14053 32524 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962124 9367552 275 33554432000 4194304 5064252 140733564455040 140733564453952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14053/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.00 2.09 2.33 4/181 14059
/proc/meminfo: memFree=30168116/32873648 swapFree=7112/7112
[pid=14053] ppid=14051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14053/stat : 14053 (npSolver-pbo-I.) S 14051 14053 32524 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962124 9367552 275 33554432000 4194304 5064252 140733564455040 140733564453952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14053/statm: 2287 275 233 213 0 72 0
[pid=14054] ppid=14053 vsize=16712 CPUtime=0.5 cores=1,3,5,7
/proc/14054/stat : 14054 (npSolver-pbo) S 14053 14053 32524 0 -1 4202496 5761 6309 0 0 14 1 34 1 20 0 1 0 382962124 17113088 3711 33554432000 4194304 6004724 140735876819792 140735876806072 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14054/statm: 4178 3711 152 442 0 3732 0
[pid=14059] ppid=14054 vsize=15788 CPUtime=0.96 cores=1,3,5,7
/proc/14059/stat : 14059 (glucosInc) R 14054 14053 32524 0 -1 4202496 2982 0 0 0 96 0 0 0 20 0 1 0 382962177 16166912 3348 33554432000 4194304 5654031 140737260332128 140737260319944 4233213 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14059/statm: 3947 3348 140 357 0 3587 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 41648
[startup+3.10033 s]
/proc/loadavg: 2.00 2.09 2.33 4/181 14059
/proc/meminfo: memFree=30168676/32873648 swapFree=7112/7112
[pid=14053] ppid=14051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14053/stat : 14053 (npSolver-pbo-I.) S 14051 14053 32524 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962124 9367552 275 33554432000 4194304 5064252 140733564455040 140733564453952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14053/statm: 2287 275 233 213 0 72 0
[pid=14054] ppid=14053 vsize=16712 CPUtime=0.5 cores=1,3,5,7
/proc/14054/stat : 14054 (npSolver-pbo) S 14053 14053 32524 0 -1 4202496 5761 6309 0 0 14 1 34 1 20 0 1 0 382962124 17113088 3711 33554432000 4194304 6004724 140735876819792 140735876806072 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14054/statm: 4178 3711 152 442 0 3732 0
[pid=14059] ppid=14054 vsize=19140 CPUtime=2.56 cores=1,3,5,7
/proc/14059/stat : 14059 (glucosInc) R 14054 14053 32524 0 -1 4202496 4467 0 0 0 256 0 0 0 20 0 1 0 382962177 19599360 3808 33554432000 4194304 5654031 140737260332128 140737260319944 4234964 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14059/statm: 4785 3808 141 357 0 4425 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 45000
[startup+6.30035 s]
/proc/loadavg: 2.00 2.09 2.33 4/181 14059
/proc/meminfo: memFree=30160224/32873648 swapFree=7112/7112
[pid=14053] ppid=14051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14053/stat : 14053 (npSolver-pbo-I.) S 14051 14053 32524 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962124 9367552 275 33554432000 4194304 5064252 140733564455040 140733564453952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14053/statm: 2287 275 233 213 0 72 0
[pid=14054] ppid=14053 vsize=16712 CPUtime=0.5 cores=1,3,5,7
/proc/14054/stat : 14054 (npSolver-pbo) S 14053 14053 32524 0 -1 4202496 5761 6309 0 0 14 1 34 1 20 0 1 0 382962124 17113088 3711 33554432000 4194304 6004724 140735876819792 140735876806072 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14054/statm: 4178 3711 152 442 0 3732 0
[pid=14059] ppid=14054 vsize=29064 CPUtime=5.76 cores=1,3,5,7
/proc/14059/stat : 14059 (glucosInc) R 14054 14053 32524 0 -1 4202496 5805 0 0 0 575 1 0 0 20 0 1 0 382962177 29761536 5941 33554432000 4194304 5654031 140737260332128 140737260319944 4233464 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14059/statm: 7266 5941 141 357 0 6906 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 54924
[startup+12.7003 s]
/proc/loadavg: 2.00 2.09 2.33 4/181 14059
/proc/meminfo: memFree=30116716/32873648 swapFree=7112/7112
[pid=14053] ppid=14051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14053/stat : 14053 (npSolver-pbo-I.) S 14051 14053 32524 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962124 9367552 275 33554432000 4194304 5064252 140733564455040 140733564453952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14053/statm: 2287 275 233 213 0 72 0
[pid=14054] ppid=14053 vsize=16712 CPUtime=0.5 cores=1,3,5,7
/proc/14054/stat : 14054 (npSolver-pbo) S 14053 14053 32524 0 -1 4202496 5761 6309 0 0 14 1 34 1 20 0 1 0 382962124 17113088 3711 33554432000 4194304 6004724 140735876819792 140735876806072 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14054/statm: 4178 3711 152 442 0 3732 0
[pid=14059] ppid=14054 vsize=37996 CPUtime=12.16 cores=1,3,5,7
/proc/14059/stat : 14059 (glucosInc) R 14054 14053 32524 0 -1 4202496 7866 0 0 0 1214 2 0 0 20 0 1 0 382962177 38907904 7317 33554432000 4194304 5654031 140737260332128 140737260319944 4209087 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14059/statm: 9499 7317 141 357 0 9139 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 63856
[startup+25.5003 s]
/proc/loadavg: 2.00 2.08 2.32 4/181 14059
/proc/meminfo: memFree=30139356/32873648 swapFree=7112/7112
[pid=14053] ppid=14051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14053/stat : 14053 (npSolver-pbo-I.) S 14051 14053 32524 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962124 9367552 275 33554432000 4194304 5064252 140733564455040 140733564453952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14053/statm: 2287 275 233 213 0 72 0
[pid=14054] ppid=14053 vsize=16712 CPUtime=0.5 cores=1,3,5,7
/proc/14054/stat : 14054 (npSolver-pbo) S 14053 14053 32524 0 -1 4202496 5761 6309 0 0 14 1 34 1 20 0 1 0 382962124 17113088 3711 33554432000 4194304 6004724 140735876819792 140735876806072 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14054/statm: 4178 3711 152 442 0 3732 0
[pid=14059] ppid=14054 vsize=54220 CPUtime=24.95 cores=1,3,5,7
/proc/14059/stat : 14059 (glucosInc) R 14054 14053 32524 0 -1 4202496 8850 0 0 0 2493 2 0 0 20 0 1 0 382962177 55521280 10245 33554432000 4194304 5654031 140737260332128 140737260319944 4216621 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14059/statm: 13555 10245 141 357 0 13195 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 80080
[startup+51.1004 s]
/proc/loadavg: 2.00 2.07 2.31 4/181 14059
/proc/meminfo: memFree=30108712/32873648 swapFree=7112/7112
[pid=14053] ppid=14051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14053/stat : 14053 (npSolver-pbo-I.) S 14051 14053 32524 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962124 9367552 275 33554432000 4194304 5064252 140733564455040 140733564453952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14053/statm: 2287 275 233 213 0 72 0
[pid=14054] ppid=14053 vsize=16712 CPUtime=0.5 cores=1,3,5,7
/proc/14054/stat : 14054 (npSolver-pbo) S 14053 14053 32524 0 -1 4202496 5761 6309 0 0 14 1 34 1 20 0 1 0 382962124 17113088 3711 33554432000 4194304 6004724 140735876819792 140735876806072 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14054/statm: 4178 3711 152 442 0 3732 0
[pid=14059] ppid=14054 vsize=73076 CPUtime=50.55 cores=1,3,5,7
/proc/14059/stat : 14059 (glucosInc) R 14054 14053 32524 0 -1 4202496 9643 0 0 0 5051 4 0 0 20 0 1 0 382962177 74829824 17832 33554432000 4194304 5654031 140737260332128 140737260319944 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14059/statm: 18269 17832 141 357 0 17909 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 98936
[startup+102.307 s]
/proc/loadavg: 2.00 2.06 2.29 4/181 14060
/proc/meminfo: memFree=30052536/32873648 swapFree=7112/7112
[pid=14053] ppid=14051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14053/stat : 14053 (npSolver-pbo-I.) S 14051 14053 32524 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962124 9367552 275 33554432000 4194304 5064252 140733564455040 140733564453952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14053/statm: 2287 275 233 213 0 72 0
[pid=14054] ppid=14053 vsize=16712 CPUtime=0.5 cores=1,3,5,7
/proc/14054/stat : 14054 (npSolver-pbo) S 14053 14053 32524 0 -1 4202496 5761 6309 0 0 14 1 34 1 20 0 1 0 382962124 17113088 3711 33554432000 4194304 6004724 140735876819792 140735876806072 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14054/statm: 4178 3711 152 442 0 3732 0
[pid=14059] ppid=14054 vsize=134356 CPUtime=101.75 cores=1,3,5,7
/proc/14059/stat : 14059 (glucosInc) R 14054 14053 32524 0 -1 4202496 11324 0 0 0 10167 8 0 0 20 0 1 0 382962177 137580544 31737 33554432000 4194304 5654031 140737260332128 140737260319944 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14059/statm: 33589 31737 141 357 0 33229 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 160216
[startup+162.3 s]
/proc/loadavg: 2.00 2.05 2.27 4/181 14060
/proc/meminfo: memFree=30014780/32873648 swapFree=7112/7112
[pid=14053] ppid=14051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14053/stat : 14053 (npSolver-pbo-I.) S 14051 14053 32524 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962124 9367552 275 33554432000 4194304 5064252 140733564455040 140733564453952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14053/statm: 2287 275 233 213 0 72 0
[pid=14054] ppid=14053 vsize=16712 CPUtime=0.5 cores=1,3,5,7
/proc/14054/stat : 14054 (npSolver-pbo) S 14053 14053 32524 0 -1 4202496 5761 6309 0 0 14 1 34 1 20 0 1 0 382962124 17113088 3711 33554432000 4194304 6004724 140735876819792 140735876806072 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14054/statm: 4178 3711 152 442 0 3732 0
[pid=14059] ppid=14054 vsize=85036 CPUtime=161.73 cores=1,3,5,7
/proc/14059/stat : 14059 (glucosInc) R 14054 14053 32524 0 -1 4202496 13460 0 0 0 16160 13 0 0 20 0 1 0 382962177 87076864 20823 33554432000 4194304 5654031 140737260332128 140737260319944 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14059/statm: 21259 20823 141 357 0 20899 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 110896
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.25 4/181 14060
/proc/meminfo: memFree=30051868/32873648 swapFree=7112/7112
[pid=14053] ppid=14051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14053/stat : 14053 (npSolver-pbo-I.) S 14051 14053 32524 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962124 9367552 275 33554432000 4194304 5064252 140733564455040 140733564453952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14053/statm: 2287 275 233 213 0 72 0
[pid=14054] ppid=14053 vsize=16712 CPUtime=0.5 cores=1,3,5,7
/proc/14054/stat : 14054 (npSolver-pbo) S 14053 14053 32524 0 -1 4202496 5761 6309 0 0 14 1 34 1 20 0 1 0 382962124 17113088 3711 33554432000 4194304 6004724 140735876819792 140735876806072 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14054/statm: 4178 3711 152 442 0 3732 0
[pid=14059] ppid=14054 vsize=85036 CPUtime=221.72 cores=1,3,5,7
/proc/14059/stat : 14059 (glucosInc) R 14054 14053 32524 0 -1 4202496 15837 0 0 0 22155 17 0 0 20 0 1 0 382962177 87076864 20823 33554432000 4194304 5654031 140737260332128 140737260319944 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14059/statm: 21259 20823 141 357 0 20899 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 110896
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.06 4/181 14072
/proc/meminfo: memFree=29628104/32873648 swapFree=7112/7112
[pid=14053] ppid=14051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14053/stat : 14053 (npSolver-pbo-I.) S 14051 14053 32524 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962124 9367552 275 33554432000 4194304 5064252 140733564455040 140733564453952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14053/statm: 2287 275 233 213 0 72 0
[pid=14054] ppid=14053 vsize=16712 CPUtime=0.5 cores=1,3,5,7
/proc/14054/stat : 14054 (npSolver-pbo) S 14053 14053 32524 0 -1 4202496 5761 6309 0 0 14 1 34 1 20 0 1 0 382962124 17113088 3711 33554432000 4194304 6004724 140735876819792 140735876806072 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14054/statm: 4178 3711 152 442 0 3732 0
[pid=14059] ppid=14054 vsize=448420 CPUtime=1301.52 cores=1,3,5,7
/proc/14059/stat : 14059 (glucosInc) R 14054 14053 32524 0 -1 4202496 50728 0 0 0 130069 83 0 0 20 0 1 0 382962177 459182080 84038 33554432000 4194304 5654031 140737260332128 140737260319944 4215121 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14059/statm: 112105 84038 141 357 0 111745 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 474280
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.06 4/181 14072
/proc/meminfo: memFree=29826676/32873648 swapFree=7112/7112
[pid=14053] ppid=14051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14053/stat : 14053 (npSolver-pbo-I.) S 14051 14053 32524 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962124 9367552 275 33554432000 4194304 5064252 140733564455040 140733564453952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14053/statm: 2287 275 233 213 0 72 0
[pid=14054] ppid=14053 vsize=16712 CPUtime=0.5 cores=1,3,5,7
/proc/14054/stat : 14054 (npSolver-pbo) S 14053 14053 32524 0 -1 4202496 5761 6309 0 0 14 1 34 1 20 0 1 0 382962124 17113088 3711 33554432000 4194304 6004724 140735876819792 140735876806072 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14054/statm: 4178 3711 152 442 0 3732 0
[pid=14059] ppid=14054 vsize=316160 CPUtime=1361.5 cores=1,3,5,7
/proc/14059/stat : 14059 (glucosInc) R 14054 14053 32524 0 -1 4202496 52877 0 0 0 136062 88 0 0 20 0 1 0 382962177 323747840 64117 33554432000 4194304 5654031 140737260332128 140737260319944 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14059/statm: 79040 64117 141 357 0 78680 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 342020
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.05 4/181 14072
/proc/meminfo: memFree=29622492/32873648 swapFree=7112/7112
[pid=14053] ppid=14051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14053/stat : 14053 (npSolver-pbo-I.) S 14051 14053 32524 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962124 9367552 275 33554432000 4194304 5064252 140733564455040 140733564453952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14053/statm: 2287 275 233 213 0 72 0
[pid=14054] ppid=14053 vsize=16712 CPUtime=0.5 cores=1,3,5,7
/proc/14054/stat : 14054 (npSolver-pbo) S 14053 14053 32524 0 -1 4202496 5761 6309 0 0 14 1 34 1 20 0 1 0 382962124 17113088 3711 33554432000 4194304 6004724 140735876819792 140735876806072 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14054/statm: 4178 3711 152 442 0 3732 0
[pid=14059] ppid=14054 vsize=448420 CPUtime=1421.49 cores=1,3,5,7
/proc/14059/stat : 14059 (glucosInc) R 14054 14053 32524 0 -1 4202496 53401 0 0 0 142059 90 0 0 20 0 1 0 382962177 459182080 87110 33554432000 4194304 5654031 140737260332128 140737260319944 4214505 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14059/statm: 112105 87110 141 357 0 111745 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 474280
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.05 4/181 14072
/proc/meminfo: memFree=29630416/32873648 swapFree=7112/7112
[pid=14053] ppid=14051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14053/stat : 14053 (npSolver-pbo-I.) S 14051 14053 32524 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962124 9367552 275 33554432000 4194304 5064252 140733564455040 140733564453952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14053/statm: 2287 275 233 213 0 72 0
[pid=14054] ppid=14053 vsize=16712 CPUtime=0.5 cores=1,3,5,7
/proc/14054/stat : 14054 (npSolver-pbo) S 14053 14053 32524 0 -1 4202496 5761 6309 0 0 14 1 34 1 20 0 1 0 382962124 17113088 3711 33554432000 4194304 6004724 140735876819792 140735876806072 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14054/statm: 4178 3711 152 442 0 3732 0
[pid=14059] ppid=14054 vsize=316160 CPUtime=1481.48 cores=1,3,5,7
/proc/14059/stat : 14059 (glucosInc) R 14054 14053 32524 0 -1 4202496 55550 0 0 0 148052 96 0 0 20 0 1 0 382962177 323747840 63605 33554432000 4194304 5654031 140737260332128 140737260319944 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14059/statm: 79040 63605 141 357 0 78680 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 342020
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.04 4/181 14072
/proc/meminfo: memFree=29639416/32873648 swapFree=7112/7112
[pid=14053] ppid=14051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14053/stat : 14053 (npSolver-pbo-I.) S 14051 14053 32524 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962124 9367552 275 33554432000 4194304 5064252 140733564455040 140733564453952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14053/statm: 2287 275 233 213 0 72 0
[pid=14054] ppid=14053 vsize=16712 CPUtime=0.5 cores=1,3,5,7
/proc/14054/stat : 14054 (npSolver-pbo) S 14053 14053 32524 0 -1 4202496 5761 6309 0 0 14 1 34 1 20 0 1 0 382962124 17113088 3711 33554432000 4194304 6004724 140735876819792 140735876806072 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14054/statm: 4178 3711 152 442 0 3732 0
[pid=14059] ppid=14054 vsize=448420 CPUtime=1541.46 cores=1,3,5,7
/proc/14059/stat : 14059 (glucosInc) R 14054 14053 32524 0 -1 4202496 56059 0 0 0 154048 98 0 0 20 0 1 0 382962177 459182080 86598 33554432000 4194304 5654031 140737260332128 140737260319944 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14059/statm: 112105 86598 141 357 0 111745 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 474280
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.03 4/180 14072
/proc/meminfo: memFree=29662116/32873648 swapFree=7112/7112
[pid=14053] ppid=14051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14053/stat : 14053 (npSolver-pbo-I.) S 14051 14053 32524 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962124 9367552 275 33554432000 4194304 5064252 140733564455040 140733564453952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14053/statm: 2287 275 233 213 0 72 0
[pid=14054] ppid=14053 vsize=16712 CPUtime=0.5 cores=1,3,5,7
/proc/14054/stat : 14054 (npSolver-pbo) S 14053 14053 32524 0 -1 4202496 5761 6309 0 0 14 1 34 1 20 0 1 0 382962124 17113088 3711 33554432000 4194304 6004724 140735876819792 140735876806072 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14054/statm: 4178 3711 152 442 0 3732 0
[pid=14059] ppid=14054 vsize=316160 CPUtime=1601.44 cores=1,3,5,7
/proc/14059/stat : 14059 (glucosInc) R 14054 14053 32524 0 -1 4202496 58217 0 0 0 160041 103 0 0 20 0 1 0 382962177 323747840 58997 33554432000 4194304 5654031 140737260332128 140737260319944 4218791 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14059/statm: 79040 58997 141 357 0 78680 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 342020
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.03 4/182 14076
/proc/meminfo: memFree=29685556/32873648 swapFree=7112/7112
[pid=14053] ppid=14051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14053/stat : 14053 (npSolver-pbo-I.) S 14051 14053 32524 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962124 9367552 275 33554432000 4194304 5064252 140733564455040 140733564453952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14053/statm: 2287 275 233 213 0 72 0
[pid=14054] ppid=14053 vsize=16712 CPUtime=0.5 cores=1,3,5,7
/proc/14054/stat : 14054 (npSolver-pbo) S 14053 14053 32524 0 -1 4202496 5761 6309 0 0 14 1 34 1 20 0 1 0 382962124 17113088 3711 33554432000 4194304 6004724 140735876819792 140735876806072 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14054/statm: 4178 3711 152 442 0 3732 0
[pid=14059] ppid=14054 vsize=448420 CPUtime=1661.44 cores=1,3,5,7
/proc/14059/stat : 14059 (glucosInc) R 14054 14053 32524 0 -1 4202496 58733 0 0 0 166038 106 0 0 20 0 1 0 382962177 459182080 84550 33554432000 4194304 5654031 140737260332128 140737260319944 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14059/statm: 112105 84550 141 357 0 111745 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 474280
[startup+1722.3 s]
/proc/loadavg: 2.15 2.03 2.03 3/181 14120
/proc/meminfo: memFree=29853268/32873648 swapFree=7112/7112
[pid=14053] ppid=14051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14053/stat : 14053 (npSolver-pbo-I.) S 14051 14053 32524 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962124 9367552 275 33554432000 4194304 5064252 140733564455040 140733564453952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14053/statm: 2287 275 233 213 0 72 0
[pid=14054] ppid=14053 vsize=16712 CPUtime=0.5 cores=1,3,5,7
/proc/14054/stat : 14054 (npSolver-pbo) S 14053 14053 32524 0 -1 4202496 5761 6309 0 0 14 1 34 1 20 0 1 0 382962124 17113088 3711 33554432000 4194304 6004724 140735876819792 140735876806072 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14054/statm: 4178 3711 152 442 0 3732 0
[pid=14059] ppid=14054 vsize=234772 CPUtime=1721.43 cores=1,3,5,7
/proc/14059/stat : 14059 (glucosInc) R 14054 14053 32524 0 -1 4202496 60360 0 0 0 172032 111 0 0 20 0 1 0 382962177 240406528 50293 33554432000 4194304 5654031 140737260332128 140737260319944 4232551 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14059/statm: 58693 50293 141 357 0 58333 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 260632
[startup+1782.3 s]
/proc/loadavg: 2.17 2.07 2.04 3/182 14165
/proc/meminfo: memFree=29653164/32873648 swapFree=7112/7112
[pid=14053] ppid=14051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14053/stat : 14053 (npSolver-pbo-I.) S 14051 14053 32524 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962124 9367552 275 33554432000 4194304 5064252 140733564455040 140733564453952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14053/statm: 2287 275 233 213 0 72 0
[pid=14054] ppid=14053 vsize=16712 CPUtime=0.5 cores=1,3,5,7
/proc/14054/stat : 14054 (npSolver-pbo) S 14053 14053 32524 0 -1 4202496 5761 6309 0 0 14 1 34 1 20 0 1 0 382962124 17113088 3711 33554432000 4194304 6004724 140735876819792 140735876806072 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14054/statm: 4178 3711 152 442 0 3732 0
[pid=14059] ppid=14054 vsize=316160 CPUtime=1781.41 cores=1,3,5,7
/proc/14059/stat : 14059 (glucosInc) R 14054 14053 32524 0 -1 4202496 60930 0 0 0 178029 112 0 0 20 0 1 0 382962177 323747840 76405 33554432000 4194304 5654031 140737260332128 140737260319944 4232528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14059/statm: 79040 76405 141 357 0 78680 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 342020
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.19 2.08 2.05 3/181 14165
/proc/meminfo: memFree=29624192/32873648 swapFree=7112/7112
[pid=14053] ppid=14051 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14053/stat : 14053 (npSolver-pbo-I.) S 14051 14053 32524 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382962124 9367552 275 33554432000 4194304 5064252 140733564455040 140733564453952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14053/statm: 2287 275 233 213 0 72 0
[pid=14054] ppid=14053 vsize=16712 CPUtime=0.5 cores=1,3,5,7
/proc/14054/stat : 14054 (npSolver-pbo) S 14053 14053 32524 0 -1 4202496 5761 6309 0 0 14 1 34 1 20 0 1 0 382962124 17113088 3711 33554432000 4194304 6004724 140735876819792 140735876806072 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/14054/statm: 4178 3711 152 442 0 3732 0
[pid=14059] ppid=14054 vsize=448420 CPUtime=1799.52 cores=1,3,5,7
/proc/14059/stat : 14059 (glucosInc) R 14054 14053 32524 0 -1 4202496 61408 0 0 0 179838 114 0 0 20 0 1 0 382962177 459182080 83526 33554432000 4194304 5654031 140737260332128 140737260319944 4232973 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14059/statm: 112105 83526 141 357 0 111745 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 474280
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14053 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=492925
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=37994
# CPU time returned by wait4() is 0.530919
# 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): 1800.41
CPU time (s): 1800.02
CPU user time (s): 1798.86
CPU system time (s): 1.16
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 523600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.492925
system time used= 0.037994
maximum resident set size= 42140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12445
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 11
runsolver used 3.47547 second user time and 8.83366 second system time
The end