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-3747174-1339098386/watcher-3747174-1339098386 -o /tmp/evaluation-result-3747174-1339098386/solver-3747174-1339098386 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747174-1339098386.opb 696256657 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: 3.45 1.51 0.57 3/178 4206
/proc/meminfo: memFree=31150688/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
[startup+0.0180479 s]
/proc/loadavg: 3.45 1.51 0.57 3/178 4206
/proc/meminfo: memFree=31150688/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100305 s]
/proc/loadavg: 3.45 1.51 0.57 3/178 4206
/proc/meminfo: memFree=31150688/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300186 s]
/proc/loadavg: 3.45 1.51 0.57 3/178 4206
/proc/meminfo: memFree=31150688/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700194 s]
/proc/loadavg: 3.45 1.51 0.57 3/178 4206
/proc/meminfo: memFree=31150688/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50037 s]
/proc/loadavg: 3.34 1.51 0.58 3/181 4215
/proc/meminfo: memFree=31104388/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
[pid=4207] ppid=4206 vsize=11644 CPUtime=0.1 cores=1,3,5,7
/proc/4207/stat : 4207 (npSolver-pbo) S 4206 4206 4113 0 -1 4202496 4482 3123 0 0 7 1 1 1 20 0 1 0 375964627 11923456 2305 33554432000 4194304 6004724 140734540190928 140734540176776 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4207/statm: 2911 2305 175 442 0 2465 0
[pid=4215] ppid=4207 vsize=36488 CPUtime=1.37 cores=1,3,5,7
/proc/4215/stat : 4215 (glucosInc) R 4207 4206 4113 0 -1 4202496 7516 0 0 0 136 1 0 0 20 0 1 0 375964639 37363712 8326 33554432000 4194304 5654031 140737442221200 140737442218968 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4215/statm: 9122 8326 140 357 0 8762 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 57280
[startup+3.10026 s]
/proc/loadavg: 3.34 1.51 0.58 3/181 4215
/proc/meminfo: memFree=31101772/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
[pid=4207] ppid=4206 vsize=11644 CPUtime=0.1 cores=1,3,5,7
/proc/4207/stat : 4207 (npSolver-pbo) S 4206 4206 4113 0 -1 4202496 4482 3123 0 0 7 1 1 1 20 0 1 0 375964627 11923456 2305 33554432000 4194304 6004724 140734540190928 140734540176776 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4207/statm: 2911 2305 175 442 0 2465 0
[pid=4215] ppid=4207 vsize=36488 CPUtime=2.96 cores=1,3,5,7
/proc/4215/stat : 4215 (glucosInc) R 4207 4206 4113 0 -1 4202496 8618 0 0 0 295 1 0 0 20 0 1 0 375964639 37363712 8176 33554432000 4194304 5654031 140737442221200 140737442209016 4232935 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4215/statm: 9122 8176 142 357 0 8762 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 57280
[startup+6.30031 s]
/proc/loadavg: 3.34 1.51 0.58 3/181 4215
/proc/meminfo: memFree=31079884/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
[pid=4207] ppid=4206 vsize=11644 CPUtime=0.1 cores=1,3,5,7
/proc/4207/stat : 4207 (npSolver-pbo) S 4206 4206 4113 0 -1 4202496 4482 3123 0 0 7 1 1 1 20 0 1 0 375964627 11923456 2305 33554432000 4194304 6004724 140734540190928 140734540176776 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4207/statm: 2911 2305 175 442 0 2465 0
[pid=4215] ppid=4207 vsize=52128 CPUtime=6.17 cores=1,3,5,7
/proc/4215/stat : 4215 (glucosInc) R 4207 4206 4113 0 -1 4202496 10276 0 0 0 615 2 0 0 20 0 1 0 375964639 53379072 10954 33554432000 4194304 5654031 140737442221200 140737442219080 4215079 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4215/statm: 13032 10954 142 357 0 12672 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 72920
[startup+12.7003 s]
/proc/loadavg: 3.13 1.53 0.59 3/181 4215
/proc/meminfo: memFree=31124104/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
[pid=4207] ppid=4206 vsize=11644 CPUtime=0.1 cores=1,3,5,7
/proc/4207/stat : 4207 (npSolver-pbo) S 4206 4206 4113 0 -1 4202496 4482 3123 0 0 7 1 1 1 20 0 1 0 375964627 11923456 2305 33554432000 4194304 6004724 140734540190928 140734540176776 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4207/statm: 2911 2305 175 442 0 2465 0
[pid=4215] ppid=4207 vsize=52128 CPUtime=12.56 cores=1,3,5,7
/proc/4215/stat : 4215 (glucosInc) R 4207 4206 4113 0 -1 4202496 11791 0 0 0 1253 3 0 0 20 0 1 0 375964639 53379072 11466 33554432000 4194304 5654031 140737442221200 140737442219080 4215017 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4215/statm: 13032 11466 142 357 0 12672 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 72920
[startup+25.5003 s]
/proc/loadavg: 2.96 1.54 0.61 3/181 4215
/proc/meminfo: memFree=31051432/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
[pid=4207] ppid=4206 vsize=11644 CPUtime=0.1 cores=1,3,5,7
/proc/4207/stat : 4207 (npSolver-pbo) S 4206 4206 4113 0 -1 4202496 4482 3123 0 0 7 1 1 1 20 0 1 0 375964627 11923456 2305 33554432000 4194304 6004724 140734540190928 140734540176776 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4207/statm: 2911 2305 175 442 0 2465 0
[pid=4215] ppid=4207 vsize=82588 CPUtime=25.35 cores=1,3,5,7
/proc/4215/stat : 4215 (glucosInc) R 4207 4206 4113 0 -1 4202496 12661 0 0 0 2532 3 0 0 20 0 1 0 375964639 84570112 20001 33554432000 4194304 5654031 140737442221200 140737442219080 4215932 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 20647 20001 142 357 0 20287 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 103380
[startup+51.1004 s]
/proc/loadavg: 2.63 1.58 0.64 3/181 4215
/proc/meminfo: memFree=31043224/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
[pid=4207] ppid=4206 vsize=11644 CPUtime=0.1 cores=1,3,5,7
/proc/4207/stat : 4207 (npSolver-pbo) S 4206 4206 4113 0 -1 4202496 4482 3123 0 0 7 1 1 1 20 0 1 0 375964627 11923456 2305 33554432000 4194304 6004724 140734540190928 140734540176776 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4207/statm: 2911 2305 175 442 0 2465 0
[pid=4215] ppid=4207 vsize=82588 CPUtime=50.95 cores=1,3,5,7
/proc/4215/stat : 4215 (glucosInc) R 4207 4206 4113 0 -1 4202496 13685 0 0 0 5090 5 0 0 20 0 1 0 375964639 84570112 20001 33554432000 4194304 5654031 140737442221200 140737442219224 4215290 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 20647 20001 142 357 0 20287 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 103380
[startup+102.307 s]
/proc/loadavg: 2.29 1.66 0.72 3/181 4215
/proc/meminfo: memFree=31044296/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
[pid=4207] ppid=4206 vsize=11644 CPUtime=0.1 cores=1,3,5,7
/proc/4207/stat : 4207 (npSolver-pbo) S 4206 4206 4113 0 -1 4202496 4482 3123 0 0 7 1 1 1 20 0 1 0 375964627 11923456 2305 33554432000 4194304 6004724 140734540190928 140734540176776 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4207/statm: 2911 2305 175 442 0 2465 0
[pid=4215] ppid=4207 vsize=84552 CPUtime=102.15 cores=1,3,5,7
/proc/4215/stat : 4215 (glucosInc) R 4207 4206 4113 0 -1 4202496 16712 0 0 0 10205 10 0 0 20 0 1 0 375964639 86581248 20492 33554432000 4194304 5654031 140737442221200 140737442209016 4215112 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 21138 20492 142 357 0 20778 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 105344
[startup+162.3 s]
/proc/loadavg: 2.10 1.72 0.80 3/181 4215
/proc/meminfo: memFree=31065348/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
[pid=4207] ppid=4206 vsize=11644 CPUtime=0.1 cores=1,3,5,7
/proc/4207/stat : 4207 (npSolver-pbo) S 4206 4206 4113 0 -1 4202496 4482 3123 0 0 7 1 1 1 20 0 1 0 375964627 11923456 2305 33554432000 4194304 6004724 140734540190928 140734540176776 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4207/statm: 2911 2305 175 442 0 2465 0
[pid=4215] ppid=4207 vsize=84552 CPUtime=162.14 cores=1,3,5,7
/proc/4215/stat : 4215 (glucosInc) R 4207 4206 4113 0 -1 4202496 18779 0 0 0 16200 14 0 0 20 0 1 0 375964639 86581248 20492 33554432000 4194304 5654031 140737442221200 140737442219224 4218708 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 21138 20492 142 357 0 20778 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 105344
[startup+222.3 s]
/proc/loadavg: 2.04 1.77 0.87 3/182 4219
/proc/meminfo: memFree=30973564/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
[pid=4207] ppid=4206 vsize=11644 CPUtime=0.1 cores=1,3,5,7
/proc/4207/stat : 4207 (npSolver-pbo) S 4206 4206 4113 0 -1 4202496 4482 3123 0 0 7 1 1 1 20 0 1 0 375964627 11923456 2305 33554432000 4194304 6004724 140734540190928 140734540176776 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4207/statm: 2911 2305 175 442 0 2465 0
[pid=4215] ppid=4207 vsize=214780 CPUtime=222.13 cores=1,3,5,7
/proc/4215/stat : 4215 (glucosInc) R 4207 4206 4113 0 -1 4202496 21813 0 0 0 22193 20 0 0 20 0 1 0 375964639 219934720 45757 33554432000 4194304 5654031 140737442221200 140737442219288 4215091 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4215/statm: 53695 45757 142 357 0 53335 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 235572
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30911832/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
[pid=4207] ppid=4206 vsize=13020 CPUtime=500.11 cores=1,3,5,7
/proc/4207/stat : 4207 (npSolver-pbo) S 4206 4206 4113 0 -1 4202496 9346 45444 0 0 20 3 49943 45 20 0 1 0 375964627 13332480 2650 33554432000 4194304 6004724 140734540190928 140734540176776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4207/statm: 3255 2650 175 442 0 2809 0
[pid=4269] ppid=4207 vsize=163872 CPUtime=741.84 cores=1,3,5,7
/proc/4269/stat : 4269 (glucosInc) R 4207 4206 4113 0 -1 4202496 34304 0 0 0 74130 54 0 0 20 0 1 0 376014651 167804928 37978 33554432000 4194304 5654031 140735836639728 140735836627544 4208619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4269/statm: 40968 37978 142 357 0 40608 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 186040
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.63 3/181 4298
/proc/meminfo: memFree=30886040/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
[pid=4207] ppid=4206 vsize=13020 CPUtime=500.11 cores=1,3,5,7
/proc/4207/stat : 4207 (npSolver-pbo) S 4206 4206 4113 0 -1 4202496 9346 45444 0 0 20 3 49943 45 20 0 1 0 375964627 13332480 2650 33554432000 4194304 6004724 140734540190928 140734540176776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4207/statm: 3255 2650 175 442 0 2809 0
[pid=4269] ppid=4207 vsize=264940 CPUtime=801.83 cores=1,3,5,7
/proc/4269/stat : 4269 (glucosInc) R 4207 4206 4113 0 -1 4202496 37679 0 0 0 80124 59 0 0 20 0 1 0 376014651 271298560 51524 33554432000 4194304 5654031 140735836639728 140735836627544 4233232 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4269/statm: 66235 51524 142 357 0 65875 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 287108
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.65 3/181 4298
/proc/meminfo: memFree=30942292/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
[pid=4207] ppid=4206 vsize=13020 CPUtime=500.11 cores=1,3,5,7
/proc/4207/stat : 4207 (npSolver-pbo) S 4206 4206 4113 0 -1 4202496 9346 45444 0 0 20 3 49943 45 20 0 1 0 375964627 13332480 2650 33554432000 4194304 6004724 140734540190928 140734540176776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4207/statm: 3255 2650 175 442 0 2809 0
[pid=4269] ppid=4207 vsize=195724 CPUtime=861.81 cores=1,3,5,7
/proc/4269/stat : 4269 (glucosInc) R 4207 4206 4113 0 -1 4202496 40359 0 0 0 86117 64 0 0 20 0 1 0 376014651 200421376 46453 33554432000 4194304 5654031 140735836639728 140735836627544 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4269/statm: 48931 46453 142 357 0 48571 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 217892
[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.66 3/182 4301
/proc/meminfo: memFree=30833540/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
[pid=4207] ppid=4206 vsize=13020 CPUtime=500.11 cores=1,3,5,7
/proc/4207/stat : 4207 (npSolver-pbo) S 4206 4206 4113 0 -1 4202496 9346 45444 0 0 20 3 49943 45 20 0 1 0 375964627 13332480 2650 33554432000 4194304 6004724 140734540190928 140734540176776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4207/statm: 3255 2650 175 442 0 2809 0
[pid=4269] ppid=4207 vsize=276632 CPUtime=921.79 cores=1,3,5,7
/proc/4269/stat : 4269 (glucosInc) R 4207 4206 4113 0 -1 4202496 43367 0 0 0 92109 70 0 0 20 0 1 0 376014651 283271168 58085 33554432000 4194304 5654031 140735836639728 140735836627544 4232968 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4269/statm: 69158 58085 142 357 0 68798 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 298800
[startup+1482.3 s]
/proc/loadavg: 2.05 2.00 1.69 3/181 4302
/proc/meminfo: memFree=30886576/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
[pid=4207] ppid=4206 vsize=13020 CPUtime=500.11 cores=1,3,5,7
/proc/4207/stat : 4207 (npSolver-pbo) S 4206 4206 4113 0 -1 4202496 9346 45444 0 0 20 3 49943 45 20 0 1 0 375964627 13332480 2650 33554432000 4194304 6004724 140734540190928 140734540176776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4207/statm: 3255 2650 175 442 0 2809 0
[pid=4269] ppid=4207 vsize=146404 CPUtime=981.76 cores=1,3,5,7
/proc/4269/stat : 4269 (glucosInc) R 4207 4206 4113 0 -1 4202496 44967 0 0 0 98102 74 0 0 20 0 1 0 376014651 149917696 36082 33554432000 4194304 5654031 140735836639728 140735836627544 4232466 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4269/statm: 36601 36082 142 357 0 36241 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 168572
[startup+1542.3 s]
/proc/loadavg: 2.02 2.00 1.70 3/181 4302
/proc/meminfo: memFree=30893548/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
[pid=4207] ppid=4206 vsize=13020 CPUtime=500.11 cores=1,3,5,7
/proc/4207/stat : 4207 (npSolver-pbo) S 4206 4206 4113 0 -1 4202496 9346 45444 0 0 20 3 49943 45 20 0 1 0 375964627 13332480 2650 33554432000 4194304 6004724 140734540190928 140734540176776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4207/statm: 3255 2650 175 442 0 2809 0
[pid=4269] ppid=4207 vsize=226544 CPUtime=1041.75 cores=1,3,5,7
/proc/4269/stat : 4269 (glucosInc) R 4207 4206 4113 0 -1 4202496 47296 0 0 0 104096 79 0 0 20 0 1 0 376014651 231981056 51640 33554432000 4194304 5654031 140735836639728 140735836627544 4215009 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4269/statm: 56636 51640 142 357 0 56276 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 248712
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.72 3/181 4302
/proc/meminfo: memFree=30825944/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
[pid=4207] ppid=4206 vsize=13020 CPUtime=500.11 cores=1,3,5,7
/proc/4207/stat : 4207 (npSolver-pbo) S 4206 4206 4113 0 -1 4202496 9346 45444 0 0 20 3 49943 45 20 0 1 0 375964627 13332480 2650 33554432000 4194304 6004724 140734540190928 140734540176776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4207/statm: 3255 2650 175 442 0 2809 0
[pid=4269] ppid=4207 vsize=276632 CPUtime=1101.74 cores=1,3,5,7
/proc/4269/stat : 4269 (glucosInc) R 4207 4206 4113 0 -1 4202496 49714 0 0 0 110090 84 0 0 20 0 1 0 376014651 283271168 59109 33554432000 4194304 5654031 140735836639728 140735836627544 4233204 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4269/statm: 69158 59109 142 357 0 68798 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 298800
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/181 4302
/proc/meminfo: memFree=30795200/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
[pid=4207] ppid=4206 vsize=13020 CPUtime=500.11 cores=1,3,5,7
/proc/4207/stat : 4207 (npSolver-pbo) S 4206 4206 4113 0 -1 4202496 9346 45444 0 0 20 3 49943 45 20 0 1 0 375964627 13332480 2650 33554432000 4194304 6004724 140734540190928 140734540176776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4207/statm: 3255 2650 175 442 0 2809 0
[pid=4269] ppid=4207 vsize=276632 CPUtime=1161.72 cores=1,3,5,7
/proc/4269/stat : 4269 (glucosInc) R 4207 4206 4113 0 -1 4202496 51313 0 0 0 116085 87 0 0 20 0 1 0 376014651 283271168 64229 33554432000 4194304 5654031 140735836639728 140735836627544 4216368 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4269/statm: 69158 64229 142 357 0 68798 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 298800
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/181 4302
/proc/meminfo: memFree=30888836/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
[pid=4207] ppid=4206 vsize=13020 CPUtime=500.11 cores=1,3,5,7
/proc/4207/stat : 4207 (npSolver-pbo) S 4206 4206 4113 0 -1 4202496 9346 45444 0 0 20 3 49943 45 20 0 1 0 375964627 13332480 2650 33554432000 4194304 6004724 140734540190928 140734540176776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4207/statm: 3255 2650 175 442 0 2809 0
[pid=4269] ppid=4207 vsize=146404 CPUtime=1221.71 cores=1,3,5,7
/proc/4269/stat : 4269 (glucosInc) R 4207 4206 4113 0 -1 4202496 53426 0 0 0 122079 92 0 0 20 0 1 0 376014651 149917696 36082 33554432000 4194304 5654031 140735836639728 140735836627544 4215076 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4269/statm: 36601 36082 142 357 0 36241 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 168572
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.76 3/181 4303
/proc/meminfo: memFree=30723632/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
[pid=4207] ppid=4206 vsize=13020 CPUtime=500.11 cores=1,3,5,7
/proc/4207/stat : 4207 (npSolver-pbo) S 4206 4206 4113 0 -1 4202496 9346 45444 0 0 20 3 49943 45 20 0 1 0 375964627 13332480 2650 33554432000 4194304 6004724 140734540190928 140734540176776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4207/statm: 3255 2650 175 442 0 2809 0
[pid=4269] ppid=4207 vsize=358020 CPUtime=1281.68 cores=1,3,5,7
/proc/4269/stat : 4269 (glucosInc) R 4207 4206 4113 0 -1 4202496 55551 0 0 0 128073 95 0 0 20 0 1 0 376014651 366612480 72421 33554432000 4194304 5654031 140735836639728 140735836637816 4215009 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4269/statm: 89505 72421 142 357 0 89145 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 380188
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 1.76 3/181 4303
/proc/meminfo: memFree=30951188/32873648 swapFree=7628/7628
[pid=4206] ppid=4204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4206/stat : 4206 (npSolver-pbo-It) S 4204 4206 4113 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375964627 9367552 275 33554432000 4194304 5064252 140736253851504 140736253850416 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4206/statm: 2287 275 233 213 0 72 0
[pid=4207] ppid=4206 vsize=13020 CPUtime=500.11 cores=1,3,5,7
/proc/4207/stat : 4207 (npSolver-pbo) S 4206 4206 4113 0 -1 4202496 9346 45444 0 0 20 3 49943 45 20 0 1 0 375964627 13332480 2650 33554432000 4194304 6004724 140734540190928 140734540176776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4207/statm: 3255 2650 175 442 0 2809 0
[pid=4269] ppid=4207 vsize=146404 CPUtime=1299.99 cores=1,3,5,7
/proc/4269/stat : 4269 (glucosInc) R 4207 4206 4113 0 -1 4202496 55569 0 0 0 129903 96 0 0 20 0 1 0 376014651 149917696 36082 33554432000 4194304 5654031 140735836639728 140735836637752 4215200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4269/statm: 36601 36082 142 357 0 36241 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 168572
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.62
CPU time (s): 1800.13
CPU user time (s): 1798.67
CPU system time (s): 1.45478
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 380188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.67
system time used= 1.45478
maximum resident set size= 312212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110738
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 508
involuntary context switches= 3407
runsolver used 3.61445 second user time and 9.73752 second system time
The end