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-3749296-1339131094/watcher-3749296-1339131094 -o /tmp/evaluation-result-3749296-1339131094/solver-3749296-1339131094 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3749296-1339131094.opb 1200867241 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.00 3/178 22140
/proc/meminfo: memFree=26942160/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
[startup+0.0817469 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22140
/proc/meminfo: memFree=26942160/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100283 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22140
/proc/meminfo: memFree=26942160/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300319 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22140
/proc/meminfo: memFree=26942160/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700441 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22140
/proc/meminfo: memFree=26942160/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 1.92 1.98 1.99 3/182 22144
/proc/meminfo: memFree=26878196/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
[pid=22141] ppid=22140 vsize=10832 CPUtime=1.17 cores=1,3,5,7
/proc/22141/stat : 22141 (npSolver-pbo) S 22140 22140 17422 0 -1 4202496 7998 13175 0 0 26 1 79 11 20 0 1 0 379234831 11091968 2162 33554432000 4194304 6004724 140733921611328 140733921597608 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22141/statm: 2708 2162 167 442 0 2262 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 19980
[startup+3.10035 s]
/proc/loadavg: 1.92 1.98 1.99 3/181 22149
/proc/meminfo: memFree=26908704/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
[pid=22141] ppid=22140 vsize=10832 CPUtime=2.04 cores=1,3,5,7
/proc/22141/stat : 22141 (npSolver-pbo) S 22140 22140 17422 0 -1 4202496 8823 18946 0 0 33 22 136 13 20 0 1 0 379234831 11091968 2172 33554432000 4194304 6004724 140733921611328 140733921596248 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22141/statm: 2708 2172 177 442 0 2262 0
[pid=22149] ppid=22141 vsize=26396 CPUtime=1.02 cores=1,3,5,7
/proc/22149/stat : 22149 (glucosInc) R 22141 22140 17422 0 -1 4202496 5566 0 0 0 102 0 0 0 20 0 1 0 379235037 27029504 5807 33554432000 4194304 5654031 140735121323232 140735121311048 4208648 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22149/statm: 6599 5807 140 357 0 6239 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 46376
[startup+6.30035 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 22149
/proc/meminfo: memFree=26897932/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
[pid=22141] ppid=22140 vsize=10832 CPUtime=2.04 cores=1,3,5,7
/proc/22141/stat : 22141 (npSolver-pbo) S 22140 22140 17422 0 -1 4202496 8823 18946 0 0 33 22 136 13 20 0 1 0 379234831 11091968 2172 33554432000 4194304 6004724 140733921611328 140733921596248 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22141/statm: 2708 2172 177 442 0 2262 0
[pid=22149] ppid=22141 vsize=29776 CPUtime=4.23 cores=1,3,5,7
/proc/22149/stat : 22149 (glucosInc) R 22141 22140 17422 0 -1 4202496 5997 0 0 0 422 1 0 0 20 0 1 0 379235037 30490624 6226 33554432000 4194304 5654031 140735121323232 140735121311048 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22149/statm: 7444 6226 141 357 0 7084 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 49756
[startup+12.7005 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 22149
/proc/meminfo: memFree=26893232/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
[pid=22141] ppid=22140 vsize=10832 CPUtime=2.04 cores=1,3,5,7
/proc/22141/stat : 22141 (npSolver-pbo) S 22140 22140 17422 0 -1 4202496 8823 18946 0 0 33 22 136 13 20 0 1 0 379234831 11091968 2172 33554432000 4194304 6004724 140733921611328 140733921596248 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22141/statm: 2708 2172 177 442 0 2262 0
[pid=22149] ppid=22141 vsize=30928 CPUtime=10.63 cores=1,3,5,7
/proc/22149/stat : 22149 (glucosInc) R 22141 22140 17422 0 -1 4202496 7073 0 0 0 1062 1 0 0 20 0 1 0 379235037 31670272 6563 33554432000 4194304 5654031 140735121323232 140735121311048 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22149/statm: 7732 6563 142 357 0 7372 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 50908
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/181 22149
/proc/meminfo: memFree=26873960/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
[pid=22141] ppid=22140 vsize=10832 CPUtime=2.04 cores=1,3,5,7
/proc/22141/stat : 22141 (npSolver-pbo) S 22140 22140 17422 0 -1 4202496 8823 18946 0 0 33 22 136 13 20 0 1 0 379234831 11091968 2172 33554432000 4194304 6004724 140733921611328 140733921596248 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22141/statm: 2708 2172 177 442 0 2262 0
[pid=22149] ppid=22141 vsize=39868 CPUtime=23.43 cores=1,3,5,7
/proc/22149/stat : 22149 (glucosInc) R 22141 22140 17422 0 -1 4202496 8653 0 0 0 2341 2 0 0 20 0 1 0 379235037 40824832 9309 33554432000 4194304 5654031 140735121323232 140735121311048 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22149/statm: 9967 9309 142 357 0 9607 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 59848
[startup+51.1004 s]
/proc/loadavg: 1.96 1.98 1.99 3/181 22149
/proc/meminfo: memFree=26901272/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
[pid=22141] ppid=22140 vsize=10832 CPUtime=2.04 cores=1,3,5,7
/proc/22141/stat : 22141 (npSolver-pbo) S 22140 22140 17422 0 -1 4202496 8823 18946 0 0 33 22 136 13 20 0 1 0 379234831 11091968 2172 33554432000 4194304 6004724 140733921611328 140733921596248 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22141/statm: 2708 2172 177 442 0 2262 0
[pid=22149] ppid=22141 vsize=47008 CPUtime=49.02 cores=1,3,5,7
/proc/22149/stat : 22149 (glucosInc) R 22141 22140 17422 0 -1 4202496 9021 0 0 0 4900 2 0 0 20 0 1 0 379235037 48136192 11175 33554432000 4194304 5654031 140735121323232 140735121311048 4232744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22149/statm: 11752 11175 142 357 0 11392 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 66988
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/181 22149
/proc/meminfo: memFree=26932884/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
[pid=22141] ppid=22140 vsize=10832 CPUtime=2.04 cores=1,3,5,7
/proc/22141/stat : 22141 (npSolver-pbo) S 22140 22140 17422 0 -1 4202496 8823 18946 0 0 33 22 136 13 20 0 1 0 379234831 11091968 2172 33554432000 4194304 6004724 140733921611328 140733921596248 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22141/statm: 2708 2172 177 442 0 2262 0
[pid=22149] ppid=22141 vsize=70244 CPUtime=100.22 cores=1,3,5,7
/proc/22149/stat : 22149 (glucosInc) R 22141 22140 17422 0 -1 4202496 10754 0 0 0 10018 4 0 0 20 0 1 0 379235037 71929856 14148 33554432000 4194304 5654031 140735121323232 140735121311048 4232810 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22149/statm: 17561 14148 142 357 0 17201 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 90224
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 22150
/proc/meminfo: memFree=26824488/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
[pid=22141] ppid=22140 vsize=10832 CPUtime=2.04 cores=1,3,5,7
/proc/22141/stat : 22141 (npSolver-pbo) S 22140 22140 17422 0 -1 4202496 8823 18946 0 0 33 22 136 13 20 0 1 0 379234831 11091968 2172 33554432000 4194304 6004724 140733921611328 140733921596248 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22141/statm: 2708 2172 177 442 0 2262 0
[pid=22149] ppid=22141 vsize=89100 CPUtime=160.2 cores=1,3,5,7
/proc/22149/stat : 22149 (glucosInc) R 22141 22140 17422 0 -1 4202496 11399 0 0 0 16015 5 0 0 20 0 1 0 379235037 91238400 21272 33554432000 4194304 5654031 140735121323232 140735121311048 4214475 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22149/statm: 22275 21272 142 357 0 21915 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 109080
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 22150
/proc/meminfo: memFree=26825772/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
[pid=22141] ppid=22140 vsize=10832 CPUtime=2.04 cores=1,3,5,7
/proc/22141/stat : 22141 (npSolver-pbo) S 22140 22140 17422 0 -1 4202496 8823 18946 0 0 33 22 136 13 20 0 1 0 379234831 11091968 2172 33554432000 4194304 6004724 140733921611328 140733921596248 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22141/statm: 2708 2172 177 442 0 2262 0
[pid=22149] ppid=22141 vsize=89100 CPUtime=220.18 cores=1,3,5,7
/proc/22149/stat : 22149 (glucosInc) R 22141 22140 17422 0 -1 4202496 11811 0 0 0 22013 5 0 0 20 0 1 0 379235037 91238400 21714 33554432000 4194304 5654031 140735121323232 140735121311048 4232703 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22149/statm: 22275 21714 142 357 0 21915 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 109080
[startup+282.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/181 22150
/proc/meminfo: memFree=26827812/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=26848576/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
[pid=22141] ppid=22140 vsize=10832 CPUtime=630.54 cores=1,3,5,7
/proc/22141/stat : 22141 (npSolver-pbo) S 22140 22140 17422 0 -1 4202496 9246 32878 0 0 34 22 62976 22 20 0 1 0 379234831 11091968 2172 33554432000 4194304 6004724 140733921611328 140733921596248 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22141/statm: 2708 2172 177 442 0 2262 0
[pid=22226] ppid=22141 vsize=172184 CPUtime=611.52 cores=1,3,5,7
/proc/22226/stat : 22226 (glucosInc) R 22141 22140 17422 0 -1 4202496 14740 0 0 0 61139 13 0 0 20 0 1 0 379297898 176316416 33825 33554432000 4194304 5654031 140733667950800 140733667938616 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22226/statm: 43046 33825 141 357 0 42686 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 192164
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22233
/proc/meminfo: memFree=26829292/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
[pid=22141] ppid=22140 vsize=10832 CPUtime=630.54 cores=1,3,5,7
/proc/22141/stat : 22141 (npSolver-pbo) S 22140 22140 17422 0 -1 4202496 9246 32878 0 0 34 22 62976 22 20 0 1 0 379234831 11091968 2172 33554432000 4194304 6004724 140733921611328 140733921596248 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22141/statm: 2708 2172 177 442 0 2262 0
[pid=22226] ppid=22141 vsize=172184 CPUtime=671.51 cores=1,3,5,7
/proc/22226/stat : 22226 (glucosInc) R 22141 22140 17422 0 -1 4202496 15523 0 0 0 67137 14 0 0 20 0 1 0 379297898 176316416 35873 33554432000 4194304 5654031 140733667950800 140733667938616 4232540 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22226/statm: 43046 35873 141 357 0 42686 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 192164
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22234
/proc/meminfo: memFree=26868224/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
[pid=22141] ppid=22140 vsize=10832 CPUtime=630.54 cores=1,3,5,7
/proc/22141/stat : 22141 (npSolver-pbo) S 22140 22140 17422 0 -1 4202496 9246 32878 0 0 34 22 62976 22 20 0 1 0 379234831 11091968 2172 33554432000 4194304 6004724 140733921611328 140733921596248 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22141/statm: 2708 2172 177 442 0 2262 0
[pid=22226] ppid=22141 vsize=122864 CPUtime=731.49 cores=1,3,5,7
/proc/22226/stat : 22226 (glucosInc) R 22141 22140 17422 0 -1 4202496 16307 0 0 0 73133 16 0 0 20 0 1 0 379297898 125812736 25464 33554432000 4194304 5654031 140733667950800 140733667938616 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22226/statm: 30716 25464 141 357 0 30356 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 142844
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22234
/proc/meminfo: memFree=26831112/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
[pid=22141] ppid=22140 vsize=10832 CPUtime=630.54 cores=1,3,5,7
/proc/22141/stat : 22141 (npSolver-pbo) S 22140 22140 17422 0 -1 4202496 9246 32878 0 0 34 22 62976 22 20 0 1 0 379234831 11091968 2172 33554432000 4194304 6004724 140733921611328 140733921596248 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22141/statm: 2708 2172 177 442 0 2262 0
[pid=22226] ppid=22141 vsize=172184 CPUtime=791.49 cores=1,3,5,7
/proc/22226/stat : 22226 (glucosInc) R 22141 22140 17422 0 -1 4202496 16747 0 0 0 79131 18 0 0 20 0 1 0 379297898 176316416 34849 33554432000 4194304 5654031 140733667950800 140733667938616 4215055 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22226/statm: 43046 34849 141 357 0 42686 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 192164
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22234
/proc/meminfo: memFree=26829080/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
[pid=22141] ppid=22140 vsize=10832 CPUtime=630.54 cores=1,3,5,7
/proc/22141/stat : 22141 (npSolver-pbo) S 22140 22140 17422 0 -1 4202496 9246 32878 0 0 34 22 62976 22 20 0 1 0 379234831 11091968 2172 33554432000 4194304 6004724 140733921611328 140733921596248 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22141/statm: 2708 2172 177 442 0 2262 0
[pid=22226] ppid=22141 vsize=172184 CPUtime=851.47 cores=1,3,5,7
/proc/22226/stat : 22226 (glucosInc) R 22141 22140 17422 0 -1 4202496 17533 0 0 0 85128 19 0 0 20 0 1 0 379297898 176316416 35361 33554432000 4194304 5654031 140733667950800 140733667938616 4232581 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22226/statm: 43046 35361 141 357 0 42686 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 192164
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22234
/proc/meminfo: memFree=26795776/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
[pid=22141] ppid=22140 vsize=10832 CPUtime=630.54 cores=1,3,5,7
/proc/22141/stat : 22141 (npSolver-pbo) S 22140 22140 17422 0 -1 4202496 9246 32878 0 0 34 22 62976 22 20 0 1 0 379234831 11091968 2172 33554432000 4194304 6004724 140733921611328 140733921596248 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22141/statm: 2708 2172 177 442 0 2262 0
[pid=22226] ppid=22141 vsize=185372 CPUtime=911.46 cores=1,3,5,7
/proc/22226/stat : 22226 (glucosInc) R 22141 22140 17422 0 -1 4202496 18912 0 0 0 91125 21 0 0 20 0 1 0 379297898 189820928 43562 33554432000 4194304 5654031 140733667950800 140733667938616 4233151 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22226/statm: 46343 43562 141 357 0 45983 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 205352
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22234
/proc/meminfo: memFree=26762588/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
[pid=22141] ppid=22140 vsize=10832 CPUtime=630.54 cores=1,3,5,7
/proc/22141/stat : 22141 (npSolver-pbo) S 22140 22140 17422 0 -1 4202496 9246 32878 0 0 34 22 62976 22 20 0 1 0 379234831 11091968 2172 33554432000 4194304 6004724 140733921611328 140733921596248 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22141/statm: 2708 2172 177 442 0 2262 0
[pid=22226] ppid=22141 vsize=185372 CPUtime=971.46 cores=1,3,5,7
/proc/22226/stat : 22226 (glucosInc) R 22141 22140 17422 0 -1 4202496 19708 0 0 0 97123 23 0 0 20 0 1 0 379297898 189820928 43562 33554432000 4194304 5654031 140733667950800 140733667938616 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22226/statm: 46343 43562 141 357 0 45983 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 205352
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22234
/proc/meminfo: memFree=26802208/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
[pid=22141] ppid=22140 vsize=10832 CPUtime=630.54 cores=1,3,5,7
/proc/22141/stat : 22141 (npSolver-pbo) S 22140 22140 17422 0 -1 4202496 9246 32878 0 0 34 22 62976 22 20 0 1 0 379234831 11091968 2172 33554432000 4194304 6004724 140733921611328 140733921596248 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22141/statm: 2708 2172 177 442 0 2262 0
[pid=22226] ppid=22141 vsize=185372 CPUtime=1031.45 cores=1,3,5,7
/proc/22226/stat : 22226 (glucosInc) R 22141 22140 17422 0 -1 4202496 20492 0 0 0 103120 25 0 0 20 0 1 0 379297898 189820928 42026 33554432000 4194304 5654031 140733667950800 140733667938616 4216668 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22226/statm: 46343 42026 141 357 0 45983 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 205352
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 22238
/proc/meminfo: memFree=26800284/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
[pid=22141] ppid=22140 vsize=10832 CPUtime=630.54 cores=1,3,5,7
/proc/22141/stat : 22141 (npSolver-pbo) S 22140 22140 17422 0 -1 4202496 9246 32878 0 0 34 22 62976 22 20 0 1 0 379234831 11091968 2172 33554432000 4194304 6004724 140733921611328 140733921596248 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22141/statm: 2708 2172 177 442 0 2262 0
[pid=22226] ppid=22141 vsize=185372 CPUtime=1091.44 cores=1,3,5,7
/proc/22226/stat : 22226 (glucosInc) R 22141 22140 17422 0 -1 4202496 21276 0 0 0 109117 27 0 0 20 0 1 0 379297898 189820928 41002 33554432000 4194304 5654031 140733667950800 140733667938616 4232800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22226/statm: 46343 41002 141 357 0 45983 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 205352
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22238
/proc/meminfo: memFree=26798144/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
[pid=22141] ppid=22140 vsize=10832 CPUtime=630.54 cores=1,3,5,7
/proc/22141/stat : 22141 (npSolver-pbo) S 22140 22140 17422 0 -1 4202496 9246 32878 0 0 34 22 62976 22 20 0 1 0 379234831 11091968 2172 33554432000 4194304 6004724 140733921611328 140733921596248 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22141/statm: 2708 2172 177 442 0 2262 0
[pid=22226] ppid=22141 vsize=185372 CPUtime=1151.43 cores=1,3,5,7
/proc/22226/stat : 22226 (glucosInc) R 22141 22140 17422 0 -1 4202496 22076 0 0 0 115114 29 0 0 20 0 1 0 379297898 189820928 43050 33554432000 4194304 5654031 140733667950800 140733667938616 4215344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22226/statm: 46343 43050 141 357 0 45983 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 205352
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22238
/proc/meminfo: memFree=26754704/32873648 swapFree=7116/7116
[pid=22140] ppid=22138 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22140/stat : 22140 (npSolver-pbo-I.) S 22138 22140 17422 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379234831 9367552 274 33554432000 4194304 5064252 140733699746944 140733699745856 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22140/statm: 2287 274 233 213 0 72 0
[pid=22141] ppid=22140 vsize=10832 CPUtime=630.54 cores=1,3,5,7
/proc/22141/stat : 22141 (npSolver-pbo) S 22140 22140 17422 0 -1 4202496 9246 32878 0 0 34 22 62976 22 20 0 1 0 379234831 11091968 2172 33554432000 4194304 6004724 140733921611328 140733921596248 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22141/statm: 2708 2172 177 442 0 2262 0
[pid=22226] ppid=22141 vsize=216192 CPUtime=1169.54 cores=1,3,5,7
/proc/22226/stat : 22226 (glucosInc) R 22141 22140 17422 0 -1 4202496 22655 0 0 0 116924 30 0 0 20 0 1 0 379297898 221380608 45651 33554432000 4194304 5654031 140733667950800 140733667948888 4232495 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22226/statm: 54048 45651 141 357 0 53688 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 236172
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.11
CPU user time (s): 1799.36
CPU system time (s): 0.756884
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 236172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.756884
maximum resident set size= 201140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65156
page faults= 0
swaps= 0
block input operations= 0
block output operations= 35928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 165
involuntary context switches= 2107
runsolver used 4.96724 second user time and 19.1251 second system time
The end