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-3747991-1339123800/watcher-3747991-1339123800 -o /tmp/evaluation-result-3747991-1339123800/solver-3747991-1339123800 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3747991-1339123800.opb 2031709970 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.08 3/178 18048
/proc/meminfo: memFree=30084748/32873844 swapFree=7116/7116
[pid=18048] ppid=18046 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18048/stat : 18048 (npSolver-pbo-I.) S 18046 18048 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378508597 9367552 275 33554432000 4194304 5064252 140733943395712 140733943394624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 2287 275 233 213 0 72 0
[startup+0.0852289 s]
/proc/loadavg: 2.00 2.00 2.08 3/178 18048
/proc/meminfo: memFree=30084748/32873844 swapFree=7116/7116
[pid=18048] ppid=18046 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18048/stat : 18048 (npSolver-pbo-I.) S 18046 18048 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378508597 9367552 275 33554432000 4194304 5064252 140733943395712 140733943394624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100291 s]
/proc/loadavg: 2.00 2.00 2.08 3/178 18048
/proc/meminfo: memFree=30084748/32873844 swapFree=7116/7116
[pid=18048] ppid=18046 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18048/stat : 18048 (npSolver-pbo-I.) S 18046 18048 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378508597 9367552 275 33554432000 4194304 5064252 140733943395712 140733943394624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30023 s]
/proc/loadavg: 2.00 2.00 2.08 3/178 18048
/proc/meminfo: memFree=30084748/32873844 swapFree=7116/7116
[pid=18048] ppid=18046 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18048/stat : 18048 (npSolver-pbo-I.) S 18046 18048 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378508597 9367552 275 33554432000 4194304 5064252 140733943395712 140733943394624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700265 s]
/proc/loadavg: 2.00 2.00 2.08 3/178 18048
/proc/meminfo: memFree=30084748/32873844 swapFree=7116/7116
[pid=18048] ppid=18046 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18048/stat : 18048 (npSolver-pbo-I.) S 18046 18048 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378508597 9367552 275 33554432000 4194304 5064252 140733943395712 140733943394624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50038 s]
/proc/loadavg: 2.08 2.02 2.09 3/184 18057
/proc/meminfo: memFree=30072464/32873844 swapFree=7116/7116
[pid=18048] ppid=18046 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18048/stat : 18048 (npSolver-pbo-I.) S 18046 18048 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378508597 9367552 275 33554432000 4194304 5064252 140733943395712 140733943394624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 2287 275 233 213 0 72 0
[pid=18049] ppid=18048 vsize=2584 CPUtime=0.04 cores=1,3,5,7
/proc/18049/stat : 18049 (npSolver-pbo) S 18048 18048 15254 0 -1 4202496 1370 2075 0 0 0 0 4 0 20 0 1 0 378508598 2646016 312 33554432000 4194304 6004724 140734647878112 140734647864392 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18049/statm: 646 312 152 442 0 200 0
[pid=18054] ppid=18049 vsize=22844 CPUtime=1.42 cores=1,3,5,7
/proc/18054/stat : 18054 (glucosInc) R 18049 18048 15254 0 -1 4202496 3398 0 0 0 141 1 0 0 20 0 1 0 378508604 23392256 4073 33554432000 4194304 5654031 140734797380480 140734797378264 4232973 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18054/statm: 5711 4073 132 357 0 5351 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 34576
[startup+3.10039 s]
/proc/loadavg: 2.08 2.02 2.09 3/182 18057
/proc/meminfo: memFree=30072932/32873844 swapFree=7116/7116
[pid=18048] ppid=18046 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18048/stat : 18048 (npSolver-pbo-I.) S 18046 18048 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378508597 9367552 275 33554432000 4194304 5064252 140733943395712 140733943394624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 2287 275 233 213 0 72 0
[pid=18049] ppid=18048 vsize=2584 CPUtime=0.04 cores=1,3,5,7
/proc/18049/stat : 18049 (npSolver-pbo) S 18048 18048 15254 0 -1 4202496 1370 2075 0 0 0 0 4 0 20 0 1 0 378508598 2646016 312 33554432000 4194304 6004724 140734647878112 140734647864392 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18049/statm: 646 312 152 442 0 200 0
[pid=18054] ppid=18049 vsize=34588 CPUtime=3.03 cores=1,3,5,7
/proc/18054/stat : 18054 (glucosInc) R 18049 18048 15254 0 -1 4202496 4979 0 0 0 301 2 0 0 20 0 1 0 378508604 35418112 7725 33554432000 4194304 5654031 140734797380480 140734797378360 4232973 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18054/statm: 8647 7725 132 357 0 8287 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 46320
[startup+6.30038 s]
/proc/loadavg: 2.08 2.02 2.09 3/182 18057
/proc/meminfo: memFree=30038556/32873844 swapFree=7116/7116
[pid=18048] ppid=18046 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18048/stat : 18048 (npSolver-pbo-I.) S 18046 18048 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378508597 9367552 275 33554432000 4194304 5064252 140733943395712 140733943394624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 2287 275 233 213 0 72 0
[pid=18049] ppid=18048 vsize=2584 CPUtime=0.04 cores=1,3,5,7
/proc/18049/stat : 18049 (npSolver-pbo) S 18048 18048 15254 0 -1 4202496 1370 2075 0 0 0 0 4 0 20 0 1 0 378508598 2646016 312 33554432000 4194304 6004724 140734647878112 140734647864392 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18049/statm: 646 312 152 442 0 200 0
[pid=18054] ppid=18049 vsize=64936 CPUtime=6.23 cores=1,3,5,7
/proc/18054/stat : 18054 (glucosInc) R 18049 18048 15254 0 -1 4202496 5799 0 0 0 620 3 0 0 20 0 1 0 378508604 66494464 14381 33554432000 4194304 5654031 140734797380480 140734797378360 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18054/statm: 16234 14381 132 357 0 15874 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 76668
[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 2.09 3/182 18057
/proc/meminfo: memFree=30059232/32873844 swapFree=7116/7116
[pid=18048] ppid=18046 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18048/stat : 18048 (npSolver-pbo-I.) S 18046 18048 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378508597 9367552 275 33554432000 4194304 5064252 140733943395712 140733943394624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 2287 275 233 213 0 72 0
[pid=18049] ppid=18048 vsize=2584 CPUtime=0.04 cores=1,3,5,7
/proc/18049/stat : 18049 (npSolver-pbo) S 18048 18048 15254 0 -1 4202496 1370 2075 0 0 0 0 4 0 20 0 1 0 378508598 2646016 312 33554432000 4194304 6004724 140734647878112 140734647864392 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18049/statm: 646 312 152 442 0 200 0
[pid=18054] ppid=18049 vsize=64936 CPUtime=12.62 cores=1,3,5,7
/proc/18054/stat : 18054 (glucosInc) R 18049 18048 15254 0 -1 4202496 6534 0 0 0 1259 3 0 0 20 0 1 0 378508604 66494464 15705 33554432000 4194304 5654031 140734797380480 140734797378504 4232935 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18054/statm: 16234 15705 132 357 0 15874 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 76668
[startup+25.5004 s]
/proc/loadavg: 2.06 2.01 2.09 3/182 18057
/proc/meminfo: memFree=30023124/32873844 swapFree=7116/7116
[pid=18048] ppid=18046 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18048/stat : 18048 (npSolver-pbo-I.) S 18046 18048 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378508597 9367552 275 33554432000 4194304 5064252 140733943395712 140733943394624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 2287 275 233 213 0 72 0
[pid=18049] ppid=18048 vsize=2584 CPUtime=0.04 cores=1,3,5,7
/proc/18049/stat : 18049 (npSolver-pbo) S 18048 18048 15254 0 -1 4202496 1370 2075 0 0 0 0 4 0 20 0 1 0 378508598 2646016 312 33554432000 4194304 6004724 140734647878112 140734647864392 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18049/statm: 646 312 152 442 0 200 0
[pid=18054] ppid=18049 vsize=114256 CPUtime=25.42 cores=1,3,5,7
/proc/18054/stat : 18054 (glucosInc) R 18049 18048 15254 0 -1 4202496 8274 0 0 0 2536 6 0 0 20 0 1 0 378508604 116998144 25338 33554432000 4194304 5654031 140734797380480 140734797378408 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18054/statm: 28564 25338 132 357 0 28204 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 125988
[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 2.08 3/182 18057
/proc/meminfo: memFree=30027656/32873844 swapFree=7116/7116
[pid=18048] ppid=18046 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18048/stat : 18048 (npSolver-pbo-I.) S 18046 18048 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378508597 9367552 275 33554432000 4194304 5064252 140733943395712 140733943394624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 2287 275 233 213 0 72 0
[pid=18049] ppid=18048 vsize=2584 CPUtime=0.04 cores=1,3,5,7
/proc/18049/stat : 18049 (npSolver-pbo) S 18048 18048 15254 0 -1 4202496 1370 2075 0 0 0 0 4 0 20 0 1 0 378508598 2646016 312 33554432000 4194304 6004724 140734647878112 140734647864392 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18049/statm: 646 312 152 442 0 200 0
[pid=18054] ppid=18049 vsize=114256 CPUtime=51.02 cores=1,3,5,7
/proc/18054/stat : 18054 (glucosInc) R 18049 18048 15254 0 -1 4202496 11632 0 0 0 5089 13 0 0 20 0 1 0 378508604 116998144 24826 33554432000 4194304 5654031 140734797380480 140734797378408 4232968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18054/statm: 28564 24826 132 357 0 28204 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 125988
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.08 3/181 18057
/proc/meminfo: memFree=29992488/32873844 swapFree=7116/7116
[pid=18048] ppid=18046 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18048/stat : 18048 (npSolver-pbo-I.) S 18046 18048 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378508597 9367552 275 33554432000 4194304 5064252 140733943395712 140733943394624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 2287 275 233 213 0 72 0
[pid=18049] ppid=18048 vsize=2584 CPUtime=0.04 cores=1,3,5,7
/proc/18049/stat : 18049 (npSolver-pbo) S 18048 18048 15254 0 -1 4202496 1370 2075 0 0 0 0 4 0 20 0 1 0 378508598 2646016 312 33554432000 4194304 6004724 140734647878112 140734647864392 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18049/statm: 646 312 152 442 0 200 0
[pid=18054] ppid=18049 vsize=145076 CPUtime=102.21 cores=1,3,5,7
/proc/18054/stat : 18054 (glucosInc) R 18049 18048 15254 0 -1 4202496 17363 0 0 0 10197 24 0 0 20 0 1 0 378508604 148557824 32573 33554432000 4194304 5654031 140734797380480 140734797378568 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18054/statm: 36269 32573 132 357 0 35909 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 156808
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/181 18058
/proc/meminfo: memFree=29925896/32873844 swapFree=7116/7116
[pid=18048] ppid=18046 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18048/stat : 18048 (npSolver-pbo-I.) S 18046 18048 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378508597 9367552 275 33554432000 4194304 5064252 140733943395712 140733943394624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 2287 275 233 213 0 72 0
[pid=18049] ppid=18048 vsize=2584 CPUtime=0.04 cores=1,3,5,7
/proc/18049/stat : 18049 (npSolver-pbo) S 18048 18048 15254 0 -1 4202496 1370 2075 0 0 0 0 4 0 20 0 1 0 378508598 2646016 312 33554432000 4194304 6004724 140734647878112 140734647864392 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18049/statm: 646 312 152 442 0 200 0
[pid=18054] ppid=18049 vsize=64936 CPUtime=162.2 cores=1,3,5,7
/proc/18054/stat : 18054 (glucosInc) R 18049 18048 15254 0 -1 4202496 23759 0 0 0 16182 38 0 0 20 0 1 0 378508604 66494464 15705 33554432000 4194304 5654031 140734797380480 140734797378568 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18054/statm: 16234 15705 132 357 0 15874 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 76668
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/181 18058
/proc/meminfo: memFree=29975544/32873844 swapFree=7116/7116
[pid=18048] ppid=18046 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18048/stat : 18048 (npSolver-pbo-I.) S 18046 18048 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378508597 9367552 275 33554432000 4194304 5064252 140733943395712 140733943394624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 2287 275 233 213 0 72 0
[pid=18049] ppid=18048 vsize=2584 CPUtime=0.04 cores=1,3,5,7
/proc/18049/stat : 18049 (npSolver-pbo) S 18048 18048 15254 0 -1 4202496 1370 2075 0 0 0 0 4 0 20 0 1 0 378508598 2646016 312 33554432000 4194304 6004724 140734647878112 140734647864392 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18049/statm: 646 312 152 442 0 200 0
[pid=18054] ppid=18049 vsize=145076 CPUtime=222.18 cores=1,3,5,7
/proc/18054/stat : 18054 (glucosInc) R 18049 18048 15254 0 -1 4202496 30140 0 0 0 22167 51 0 0 20 0 1 0 378508604 148557824 28989 33554432000 4194304 5654031 140734797380480 140734797378408 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18054/statm: 36269 28989 132 357 0 35909 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 156808
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.01 2.00 3/181 18142
/proc/meminfo: memFree=29843424/32873844 swapFree=7116/7116
[pid=18048] ppid=18046 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18048/stat : 18048 (npSolver-pbo-I.) S 18046 18048 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378508597 9367552 275 33554432000 4194304 5064252 140733943395712 140733943394624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 2287 275 233 213 0 72 0
[pid=18049] ppid=18048 vsize=2584 CPUtime=0.04 cores=1,3,5,7
/proc/18049/stat : 18049 (npSolver-pbo) S 18048 18048 15254 0 -1 4202496 1370 2075 0 0 0 0 4 0 20 0 1 0 378508598 2646016 312 33554432000 4194304 6004724 140734647878112 140734647864392 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18049/statm: 646 312 152 442 0 200 0
[pid=18054] ppid=18049 vsize=276552 CPUtime=1361.92 cores=1,3,5,7
/proc/18054/stat : 18054 (glucosInc) R 18049 18048 15254 0 -1 4202496 92315 0 0 0 135979 213 0 0 20 0 1 0 378508604 283189248 68395 33554432000 4194304 5654031 140734797380480 140734797378568 4232973 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18054/statm: 69138 68395 132 357 0 68778 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 288284
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18144
/proc/meminfo: memFree=29845776/32873844 swapFree=7116/7116
[pid=18048] ppid=18046 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18048/stat : 18048 (npSolver-pbo-I.) S 18046 18048 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378508597 9367552 275 33554432000 4194304 5064252 140733943395712 140733943394624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 2287 275 233 213 0 72 0
[pid=18049] ppid=18048 vsize=2584 CPUtime=0.04 cores=1,3,5,7
/proc/18049/stat : 18049 (npSolver-pbo) S 18048 18048 15254 0 -1 4202496 1370 2075 0 0 0 0 4 0 20 0 1 0 378508598 2646016 312 33554432000 4194304 6004724 140734647878112 140734647864392 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18049/statm: 646 312 152 442 0 200 0
[pid=18054] ppid=18049 vsize=276552 CPUtime=1421.9 cores=1,3,5,7
/proc/18054/stat : 18054 (glucosInc) R 18049 18048 15254 0 -1 4202496 93849 0 0 0 141972 218 0 0 20 0 1 0 378508604 283189248 68328 33554432000 4194304 5654031 140734797380480 140734797378568 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18054/statm: 69138 68328 132 357 0 68778 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 288284
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18144
/proc/meminfo: memFree=29826476/32873844 swapFree=7116/7116
[pid=18048] ppid=18046 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18048/stat : 18048 (npSolver-pbo-I.) S 18046 18048 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378508597 9367552 275 33554432000 4194304 5064252 140733943395712 140733943394624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 2287 275 233 213 0 72 0
[pid=18049] ppid=18048 vsize=2584 CPUtime=0.04 cores=1,3,5,7
/proc/18049/stat : 18049 (npSolver-pbo) S 18048 18048 15254 0 -1 4202496 1370 2075 0 0 0 0 4 0 20 0 1 0 378508598 2646016 312 33554432000 4194304 6004724 140734647878112 140734647864392 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18049/statm: 646 312 152 442 0 200 0
[pid=18054] ppid=18049 vsize=408812 CPUtime=1481.89 cores=1,3,5,7
/proc/18054/stat : 18054 (glucosInc) R 18049 18048 15254 0 -1 4202496 96485 0 0 0 147965 224 0 0 20 0 1 0 378508604 418623488 73515 33554432000 4194304 5654031 140734797380480 140734797378568 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18054/statm: 102203 73515 132 357 0 101843 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 420544
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18144
/proc/meminfo: memFree=29925564/32873844 swapFree=7116/7116
[pid=18048] ppid=18046 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18048/stat : 18048 (npSolver-pbo-I.) S 18046 18048 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378508597 9367552 275 33554432000 4194304 5064252 140733943395712 140733943394624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 2287 275 233 213 0 72 0
[pid=18049] ppid=18048 vsize=2584 CPUtime=0.04 cores=1,3,5,7
/proc/18049/stat : 18049 (npSolver-pbo) S 18048 18048 15254 0 -1 4202496 1370 2075 0 0 0 0 4 0 20 0 1 0 378508598 2646016 312 33554432000 4194304 6004724 140734647878112 140734647864392 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18049/statm: 646 312 152 442 0 200 0
[pid=18054] ppid=18049 vsize=195164 CPUtime=1541.88 cores=1,3,5,7
/proc/18054/stat : 18054 (glucosInc) R 18049 18048 15254 0 -1 4202496 99072 0 0 0 153954 234 0 0 20 0 1 0 378508604 199847936 44843 33554432000 4194304 5654031 140734797380480 140734797378568 4217070 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18054/statm: 48791 44843 132 357 0 48431 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 206896
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18190
/proc/meminfo: memFree=29974512/32873844 swapFree=7116/7116
[pid=18048] ppid=18046 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18048/stat : 18048 (npSolver-pbo-I.) S 18046 18048 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378508597 9367552 275 33554432000 4194304 5064252 140733943395712 140733943394624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 2287 275 233 213 0 72 0
[pid=18049] ppid=18048 vsize=2584 CPUtime=0.04 cores=1,3,5,7
/proc/18049/stat : 18049 (npSolver-pbo) S 18048 18048 15254 0 -1 4202496 1370 2075 0 0 0 0 4 0 20 0 1 0 378508598 2646016 312 33554432000 4194304 6004724 140734647878112 140734647864392 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18049/statm: 646 312 152 442 0 200 0
[pid=18054] ppid=18049 vsize=195164 CPUtime=1601.87 cores=1,3,5,7
/proc/18054/stat : 18054 (glucosInc) R 18049 18048 15254 0 -1 4202496 100965 0 0 0 159948 239 0 0 20 0 1 0 378508604 199847936 47168 33554432000 4194304 5654031 140734797380480 140734797378568 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18054/statm: 48791 47168 132 357 0 48431 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 206896
[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/181 18191
/proc/meminfo: memFree=29921840/32873844 swapFree=7116/7116
[pid=18048] ppid=18046 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18048/stat : 18048 (npSolver-pbo-I.) S 18046 18048 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378508597 9367552 275 33554432000 4194304 5064252 140733943395712 140733943394624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 2287 275 233 213 0 72 0
[pid=18049] ppid=18048 vsize=2584 CPUtime=0.04 cores=1,3,5,7
/proc/18049/stat : 18049 (npSolver-pbo) S 18048 18048 15254 0 -1 4202496 1370 2075 0 0 0 0 4 0 20 0 1 0 378508598 2646016 312 33554432000 4194304 6004724 140734647878112 140734647864392 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18049/statm: 646 312 152 442 0 200 0
[pid=18054] ppid=18049 vsize=276552 CPUtime=1661.86 cores=1,3,5,7
/proc/18054/stat : 18054 (glucosInc) R 18049 18048 15254 0 -1 4202496 103265 0 0 0 165940 246 0 0 20 0 1 0 378508604 283189248 55595 33554432000 4194304 5654031 140734797380480 140734797378568 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18054/statm: 69138 55595 132 357 0 68778 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 288284
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 18191
/proc/meminfo: memFree=29908848/32873844 swapFree=7116/7116
[pid=18048] ppid=18046 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18048/stat : 18048 (npSolver-pbo-I.) S 18046 18048 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378508597 9367552 275 33554432000 4194304 5064252 140733943395712 140733943394624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 2287 275 233 213 0 72 0
[pid=18049] ppid=18048 vsize=2584 CPUtime=0.04 cores=1,3,5,7
/proc/18049/stat : 18049 (npSolver-pbo) S 18048 18048 15254 0 -1 4202496 1370 2075 0 0 0 0 4 0 20 0 1 0 378508598 2646016 312 33554432000 4194304 6004724 140734647878112 140734647864392 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18049/statm: 646 312 152 442 0 200 0
[pid=18054] ppid=18049 vsize=276552 CPUtime=1721.85 cores=1,3,5,7
/proc/18054/stat : 18054 (glucosInc) R 18049 18048 15254 0 -1 4202496 104820 0 0 0 171932 253 0 0 20 0 1 0 378508604 283189248 55024 33554432000 4194304 5654031 140734797380480 140734797378568 4215307 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18054/statm: 69138 55024 140 357 0 68778 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 288284
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 18191
/proc/meminfo: memFree=29944652/32873844 swapFree=7116/7116
[pid=18048] ppid=18046 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18048/stat : 18048 (npSolver-pbo-I.) S 18046 18048 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378508597 9367552 275 33554432000 4194304 5064252 140733943395712 140733943394624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 2287 275 233 213 0 72 0
[pid=18049] ppid=18048 vsize=2584 CPUtime=0.04 cores=1,3,5,7
/proc/18049/stat : 18049 (npSolver-pbo) S 18048 18048 15254 0 -1 4202496 1370 2075 0 0 0 0 4 0 20 0 1 0 378508598 2646016 312 33554432000 4194304 6004724 140734647878112 140734647864392 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18049/statm: 646 312 152 442 0 200 0
[pid=18054] ppid=18049 vsize=195164 CPUtime=1781.84 cores=1,3,5,7
/proc/18054/stat : 18054 (glucosInc) R 18049 18048 15254 0 -1 4202496 106600 0 0 0 177924 260 0 0 20 0 1 0 378508604 199847936 44616 33554432000 4194304 5654031 140734797380480 140734797378568 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18054/statm: 48791 44616 140 357 0 48431 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 206896
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 18191
/proc/meminfo: memFree=29980140/32873844 swapFree=7116/7116
[pid=18048] ppid=18046 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18048/stat : 18048 (npSolver-pbo-I.) S 18046 18048 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378508597 9367552 275 33554432000 4194304 5064252 140733943395712 140733943394624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 2287 275 233 213 0 72 0
[pid=18049] ppid=18048 vsize=2584 CPUtime=0.04 cores=1,3,5,7
/proc/18049/stat : 18049 (npSolver-pbo) S 18048 18048 15254 0 -1 4202496 1370 2075 0 0 0 0 4 0 20 0 1 0 378508598 2646016 312 33554432000 4194304 6004724 140734647878112 140734647864392 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18049/statm: 646 312 152 442 0 200 0
[pid=18054] ppid=18049 vsize=145076 CPUtime=1800.04 cores=1,3,5,7
/proc/18054/stat : 18054 (glucosInc) R 18049 18048 15254 0 -1 4202496 107263 0 0 0 179741 263 0 0 20 0 1 0 378508604 148557824 35611 33554432000 4194304 5654031 140734797380480 140734797378504 4232988 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18054/statm: 36269 35611 140 357 0 35909 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 156808
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 18191
/proc/meminfo: memFree=29980140/32873844 swapFree=7116/7116
[pid=18048] ppid=18046 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18048/stat : 18048 (npSolver-pbo-I.) S 18046 18048 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378508597 9367552 275 33554432000 4194304 5064252 140733943395712 140733943394624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 2287 275 233 213 0 72 0
[pid=18049] ppid=18048 vsize=2584 CPUtime=0.04 cores=1,3,5,7
/proc/18049/stat : 18049 (npSolver-pbo) S 18048 18048 15254 0 -1 4202496 1370 2075 0 0 0 0 4 0 20 0 1 0 378508598 2646016 312 33554432000 4194304 6004724 140734647878112 140734647864392 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18049/statm: 646 312 152 442 0 200 0
[pid=18054] ppid=18049 vsize=145076 CPUtime=1800.04 cores=1,3,5,7
/proc/18054/stat : 18054 (glucosInc) R 18049 18048 15254 0 -1 4202496 107263 0 0 0 179741 263 0 0 20 0 1 0 378508604 148557824 35611 33554432000 4194304 5654031 140734797380480 140734797378504 4232988 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18054/statm: 36269 35611 140 357 0 35909 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 156808
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18048 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=51992
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=14997
# CPU time returned by wait4() is 0.066989
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1797.45
CPU system time (s): 2.63
CPU usage (%): 99.9762
Max. virtual memory (cumulated for all children) (KiB): 500684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.051992
system time used= 0.014997
maximum resident set size= 29604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3821
page faults= 0
swaps= 0
block input operations= 0
block output operations= 440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11
involuntary context switches= 6
runsolver used 2.96155 second user time and 8.50971 second system time
The end