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-3698036-1338052941/watcher-3698036-1338052941 -o /tmp/evaluation-result-3698036-1338052941/solver-3698036-1338052941 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698036-1338052941.opb 1143516708 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.91 1.98 1.99 4/178 4309
/proc/meminfo: memFree=28202952/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 233 213 0 72 0
[startup+0.0194709 s]
/proc/loadavg: 1.91 1.98 1.99 4/178 4309
/proc/meminfo: memFree=28202952/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100257 s]
/proc/loadavg: 1.91 1.98 1.99 4/178 4309
/proc/meminfo: memFree=28202952/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300227 s]
/proc/loadavg: 1.91 1.98 1.99 4/178 4309
/proc/meminfo: memFree=28202952/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700238 s]
/proc/loadavg: 1.91 1.98 1.99 4/178 4309
/proc/meminfo: memFree=28202952/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 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.91 1.98 1.99 4/181 4312
/proc/meminfo: memFree=28185780/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 233 213 0 72 0
[pid=4310] ppid=4309 vsize=21112 CPUtime=1.41 cores=1,3,5,7
/proc/4310/stat : 4310 (npSolver-pbo) S 4309 4309 4265 0 -1 4202496 3389 0 0 0 137 4 0 0 20 0 1 0 271419525 21618688 3435 33554432000 4194304 5992684 140735064308992 140735064303440 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4310/statm: 5278 3435 164 440 0 4834 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 30260
[startup+3.10024 s]
/proc/loadavg: 1.91 1.98 1.99 4/181 4312
/proc/meminfo: memFree=28185780/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 233 213 0 72 0
[pid=4310] ppid=4309 vsize=21112 CPUtime=1.41 cores=1,3,5,7
/proc/4310/stat : 4310 (npSolver-pbo) S 4309 4309 4265 0 -1 4202496 3389 0 0 0 137 4 0 0 20 0 1 0 271419525 21618688 3435 33554432000 4194304 5992684 140735064308992 140735064303440 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4310/statm: 5278 3435 164 440 0 4834 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 30260
heavy processes:
[startup+6.30032 s]
/proc/loadavg: 2.24 2.05 2.02 4/183 4320
/proc/meminfo: memFree=28080948/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 233 213 0 72 0
[pid=4310] ppid=4309 vsize=21112 CPUtime=3.11 cores=1,3,5,7
/proc/4310/stat : 4310 (npSolver-pbo) S 4309 4309 4265 0 -1 4202496 3405 14919 0 0 137 4 166 4 20 0 1 0 271419525 21618688 3437 33554432000 4194304 5992684 140735064308992 140735064295256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4310/statm: 5278 3437 166 440 0 4834 0
[pid=4318] ppid=4310 vsize=74152 CPUtime=3.15 cores=1,3,5,7
/proc/4318/stat : 4318 (glucosInc) R 4310 4309 4265 0 -1 4202496 10153 0 0 0 312 3 0 0 20 0 1 0 271419839 75931648 15937 33554432000 4194304 5654031 140736231242160 140736231240040 4233464 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4318/statm: 18538 15937 132 357 0 18178 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 104412
[startup+12.7003 s]
/proc/loadavg: 2.22 2.05 2.02 4/183 4320
/proc/meminfo: memFree=28011696/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 233 213 0 72 0
[pid=4310] ppid=4309 vsize=21112 CPUtime=3.11 cores=1,3,5,7
/proc/4310/stat : 4310 (npSolver-pbo) S 4309 4309 4265 0 -1 4202496 3405 14919 0 0 137 4 166 4 20 0 1 0 271419525 21618688 3437 33554432000 4194304 5992684 140735064308992 140735064295256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4310/statm: 5278 3437 166 440 0 4834 0
[pid=4318] ppid=4310 vsize=74152 CPUtime=9.55 cores=1,3,5,7
/proc/4318/stat : 4318 (glucosInc) R 4310 4309 4265 0 -1 4202496 11501 0 0 0 951 4 0 0 20 0 1 0 271419839 75931648 17781 33554432000 4194304 5654031 140736231242160 140736231240184 4233464 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4318/statm: 18538 17781 132 357 0 18178 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 104412
[startup+25.5003 s]
/proc/loadavg: 2.17 2.05 2.01 4/183 4320
/proc/meminfo: memFree=27977476/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 233 213 0 72 0
[pid=4310] ppid=4309 vsize=21112 CPUtime=3.11 cores=1,3,5,7
/proc/4310/stat : 4310 (npSolver-pbo) S 4309 4309 4265 0 -1 4202496 3405 14919 0 0 137 4 166 4 20 0 1 0 271419525 21618688 3437 33554432000 4194304 5992684 140735064308992 140735064295256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4310/statm: 5278 3437 166 440 0 4834 0
[pid=4318] ppid=4310 vsize=74152 CPUtime=22.35 cores=1,3,5,7
/proc/4318/stat : 4318 (glucosInc) R 4310 4309 4265 0 -1 4202496 13579 0 0 0 2228 7 0 0 20 0 1 0 271419839 75931648 17781 33554432000 4194304 5654031 140736231242160 140736231240184 4214603 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4318/statm: 18538 17781 132 357 0 18178 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 104412
[startup+51.1003 s]
/proc/loadavg: 2.11 2.04 2.01 4/183 4320
/proc/meminfo: memFree=27975632/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 233 213 0 72 0
[pid=4310] ppid=4309 vsize=21112 CPUtime=3.11 cores=1,3,5,7
/proc/4310/stat : 4310 (npSolver-pbo) S 4309 4309 4265 0 -1 4202496 3405 14919 0 0 137 4 166 4 20 0 1 0 271419525 21618688 3437 33554432000 4194304 5992684 140735064308992 140735064295256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4310/statm: 5278 3437 166 440 0 4834 0
[pid=4318] ppid=4310 vsize=123472 CPUtime=47.93 cores=1,3,5,7
/proc/4318/stat : 4318 (glucosInc) R 4310 4309 4265 0 -1 4202496 16269 0 0 0 4782 11 0 0 20 0 1 0 271419839 126435328 28012 33554432000 4194304 5654031 140736231242160 140736231240088 4233190 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4318/statm: 30868 28012 132 357 0 30508 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 153732
[startup+102.307 s]
/proc/loadavg: 2.10 2.05 2.01 4/183 4320
/proc/meminfo: memFree=27955860/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 233 213 0 72 0
[pid=4310] ppid=4309 vsize=21112 CPUtime=3.11 cores=1,3,5,7
/proc/4310/stat : 4310 (npSolver-pbo) S 4309 4309 4265 0 -1 4202496 3405 14919 0 0 137 4 166 4 20 0 1 0 271419525 21618688 3437 33554432000 4194304 5992684 140735064308992 140735064295256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4310/statm: 5278 3437 166 440 0 4834 0
[pid=4318] ppid=4310 vsize=74152 CPUtime=99.13 cores=1,3,5,7
/proc/4318/stat : 4318 (glucosInc) R 4310 4309 4265 0 -1 4202496 19338 0 0 0 9891 22 0 0 20 0 1 0 271419839 75931648 17781 33554432000 4194304 5654031 140736231242160 140736231240184 4233464 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4318/statm: 18538 17781 132 357 0 18178 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 104412
[startup+162.3 s]
/proc/loadavg: 2.04 2.04 2.01 4/183 4320
/proc/meminfo: memFree=27972992/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 233 213 0 72 0
[pid=4310] ppid=4309 vsize=21112 CPUtime=3.11 cores=1,3,5,7
/proc/4310/stat : 4310 (npSolver-pbo) S 4309 4309 4265 0 -1 4202496 3405 14919 0 0 137 4 166 4 20 0 1 0 271419525 21618688 3437 33554432000 4194304 5992684 140735064308992 140735064295256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4310/statm: 5278 3437 166 440 0 4834 0
[pid=4318] ppid=4310 vsize=123472 CPUtime=159.12 cores=1,3,5,7
/proc/4318/stat : 4318 (glucosInc) R 4310 4309 4265 0 -1 4202496 22901 0 0 0 15879 33 0 0 20 0 1 0 271419839 126435328 28012 33554432000 4194304 5654031 140736231242160 140736231240088 4215704 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4318/statm: 30868 28012 132 357 0 30508 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 153732
[startup+222.3 s]
/proc/loadavg: 2.06 2.04 2.01 4/183 4335
/proc/meminfo: memFree=27698992/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 233 213 0 72 0
[pid=4310] ppid=4309 vsize=30472 CPUtime=194.03 cores=1,3,5,7
/proc/4310/stat : 4310 (npSolver-pbo) S 4309 4309 4265 0 -1 4202496 21565 102895 0 0 568 119 18644 72 20 0 1 0 271419525 31203328 5826 33554432000 4194304 5992684 140735064308992 140735064294824 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4310/statm: 7618 5826 183 440 0 7174 0
[pid=4332] ppid=4310 vsize=172748 CPUtime=28.19 cores=1,3,5,7
/proc/4332/stat : 4332 (glucosInc) R 4310 4309 4265 0 -1 4202496 31793 0 0 0 2810 9 0 0 20 0 1 0 271438933 176893952 39813 33554432000 4194304 5654031 140735272972480 140735272960296 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4332/statm: 43187 39813 141 357 0 42827 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 212368
[startup+282.301 s]
/proc/loadavg: 2.02 2.03 2.00 4/183 4339
/proc/meminfo: memFree=27694776/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 233 213 0 72 0
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 4/183 4354
/proc/meminfo: memFree=27565956/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 233 213 0 72 0
[pid=4310] ppid=4309 vsize=30472 CPUtime=402.83 cores=1,3,5,7
/proc/4310/stat : 4310 (npSolver-pbo) S 4309 4309 4265 0 -1 4202496 46618 235582 0 0 1122 161 38871 129 20 0 1 0 271419525 31203328 5826 33554432000 4194304 5992684 140735064308992 140735064294824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4310/statm: 7618 5826 183 440 0 7174 0
[pid=4345] ppid=4310 vsize=280336 CPUtime=899.15 cores=1,3,5,7
/proc/4345/stat : 4345 (glucosInc) R 4310 4309 4265 0 -1 4202496 61212 0 0 0 89860 55 0 0 20 0 1 0 271459822 287064064 58696 33554432000 4194304 5654031 140734820847296 140734820835112 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4345/statm: 70084 58696 141 357 0 69724 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 319956
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 4354
/proc/meminfo: memFree=27408824/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 233 213 0 72 0
[pid=4310] ppid=4309 vsize=30472 CPUtime=402.83 cores=1,3,5,7
/proc/4310/stat : 4310 (npSolver-pbo) S 4309 4309 4265 0 -1 4202496 46618 235582 0 0 1122 161 38871 129 20 0 1 0 271419525 31203328 5826 33554432000 4194304 5992684 140735064308992 140735064294824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4310/statm: 7618 5826 183 440 0 7174 0
[pid=4345] ppid=4310 vsize=232624 CPUtime=959.13 cores=1,3,5,7
/proc/4345/stat : 4345 (glucosInc) R 4310 4309 4265 0 -1 4202496 63498 0 0 0 95855 58 0 0 20 0 1 0 271459822 238206976 52748 33554432000 4194304 5654031 140734820847296 140734820835112 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4345/statm: 58156 52748 141 357 0 57796 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 272244
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 4354
/proc/meminfo: memFree=27442880/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 233 213 0 72 0
[pid=4310] ppid=4309 vsize=30472 CPUtime=402.83 cores=1,3,5,7
/proc/4310/stat : 4310 (npSolver-pbo) S 4309 4309 4265 0 -1 4202496 46618 235582 0 0 1122 161 38871 129 20 0 1 0 271419525 31203328 5826 33554432000 4194304 5992684 140735064308992 140735064294824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4310/statm: 7618 5826 183 440 0 7174 0
[pid=4345] ppid=4310 vsize=282944 CPUtime=1019.13 cores=1,3,5,7
/proc/4345/stat : 4345 (glucosInc) R 4310 4309 4265 0 -1 4202496 64243 0 0 0 101853 60 0 0 20 0 1 0 271459822 289734656 67797 33554432000 4194304 5654031 140734820847296 140734820835112 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4345/statm: 70736 67797 141 357 0 70376 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 322564
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 4355
/proc/meminfo: memFree=27598764/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 233 213 0 72 0
[pid=4310] ppid=4309 vsize=30472 CPUtime=402.83 cores=1,3,5,7
/proc/4310/stat : 4310 (npSolver-pbo) S 4309 4309 4265 0 -1 4202496 46618 235582 0 0 1122 161 38871 129 20 0 1 0 271419525 31203328 5826 33554432000 4194304 5992684 140735064308992 140735064294824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4310/statm: 7618 5826 183 440 0 7174 0
[pid=4345] ppid=4310 vsize=234596 CPUtime=1079.12 cores=1,3,5,7
/proc/4345/stat : 4345 (glucosInc) R 4310 4309 4265 0 -1 4202496 65902 0 0 0 107849 63 0 0 20 0 1 0 271459822 240226304 54645 33554432000 4194304 5654031 140734820847296 140734820835112 4232729 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4345/statm: 58649 54645 141 357 0 58289 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 274216
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 4355
/proc/meminfo: memFree=27304144/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 233 213 0 72 0
[pid=4310] ppid=4309 vsize=30472 CPUtime=402.83 cores=1,3,5,7
/proc/4310/stat : 4310 (npSolver-pbo) S 4309 4309 4265 0 -1 4202496 46618 235582 0 0 1122 161 38871 129 20 0 1 0 271419525 31203328 5826 33554432000 4194304 5992684 140735064308992 140735064294824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4310/statm: 7618 5826 183 440 0 7174 0
[pid=4345] ppid=4310 vsize=367376 CPUtime=1139.1 cores=1,3,5,7
/proc/4345/stat : 4345 (glucosInc) R 4310 4309 4265 0 -1 4202496 67374 0 0 0 113845 65 0 0 20 0 1 0 271459822 376193024 78083 33554432000 4194304 5654031 140734820847296 140734820835112 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4345/statm: 91844 78083 141 357 0 91484 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 406996
[startup+1602.3 s]
/proc/loadavg: 2.12 2.03 2.01 4/183 4355
/proc/meminfo: memFree=27450764/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 233 213 0 72 0
[pid=4310] ppid=4309 vsize=30472 CPUtime=402.83 cores=1,3,5,7
/proc/4310/stat : 4310 (npSolver-pbo) S 4309 4309 4265 0 -1 4202496 46618 235582 0 0 1122 161 38871 129 20 0 1 0 271419525 31203328 5826 33554432000 4194304 5992684 140735064308992 140735064294824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4310/statm: 7618 5826 183 440 0 7174 0
[pid=4345] ppid=4310 vsize=368388 CPUtime=1199.09 cores=1,3,5,7
/proc/4345/stat : 4345 (glucosInc) R 4310 4309 4265 0 -1 4202496 69614 0 0 0 119839 70 0 0 20 0 1 0 271459822 377229312 70541 33554432000 4194304 5654031 140734820847296 140734820845384 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4345/statm: 92097 70541 141 357 0 91737 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 408008
[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 4/184 4358
/proc/meminfo: memFree=27365060/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 233 213 0 72 0
[pid=4310] ppid=4309 vsize=30472 CPUtime=402.83 cores=1,3,5,7
/proc/4310/stat : 4310 (npSolver-pbo) S 4309 4309 4265 0 -1 4202496 46618 235582 0 0 1122 161 38871 129 20 0 1 0 271419525 31203328 5826 33554432000 4194304 5992684 140735064308992 140735064294824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4310/statm: 7618 5826 183 440 0 7174 0
[pid=4345] ppid=4310 vsize=208236 CPUtime=1259.08 cores=1,3,5,7
/proc/4345/stat : 4345 (glucosInc) R 4310 4309 4265 0 -1 4202496 70883 0 0 0 125835 73 0 0 20 0 1 0 271459822 213233664 49143 33554432000 4194304 5654031 140734820847296 140734820845320 4232988 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4345/statm: 52059 49143 141 357 0 51699 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 247856
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/183 4358
/proc/meminfo: memFree=27315388/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 233 213 0 72 0
[pid=4310] ppid=4309 vsize=30472 CPUtime=402.83 cores=1,3,5,7
/proc/4310/stat : 4310 (npSolver-pbo) S 4309 4309 4265 0 -1 4202496 46618 235582 0 0 1122 161 38871 129 20 0 1 0 271419525 31203328 5826 33554432000 4194304 5992684 140735064308992 140735064294824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4310/statm: 7618 5826 183 440 0 7174 0
[pid=4345] ppid=4310 vsize=505156 CPUtime=1319.08 cores=1,3,5,7
/proc/4345/stat : 4345 (glucosInc) R 4310 4309 4265 0 -1 4202496 73560 0 0 0 131829 79 0 0 20 0 1 0 271459822 517279744 92183 33554432000 4194304 5654031 140734820847296 140734820845080 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4345/statm: 126289 92183 141 357 0 125929 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 544776
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/183 4359
/proc/meminfo: memFree=27593316/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 233 213 0 72 0
[pid=4310] ppid=4309 vsize=30472 CPUtime=402.83 cores=1,3,5,7
/proc/4310/stat : 4310 (npSolver-pbo) S 4309 4309 4265 0 -1 4202496 46618 235582 0 0 1122 161 38871 129 20 0 1 0 271419525 31203328 5826 33554432000 4194304 5992684 140735064308992 140735064294824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4310/statm: 7618 5826 183 440 0 7174 0
[pid=4345] ppid=4310 vsize=243780 CPUtime=1379.06 cores=1,3,5,7
/proc/4345/stat : 4345 (glucosInc) R 4310 4309 4265 0 -1 4202496 75898 0 0 0 137821 85 0 0 20 0 1 0 271459822 249630720 55080 33554432000 4194304 5654031 140734820847296 140734820845384 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4345/statm: 60945 55080 141 357 0 60585 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 283400
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 4359
/proc/meminfo: memFree=27460000/32873844 swapFree=7124/7124
[pid=4309] ppid=4307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (npSolver-pbo-It) S 4307 4309 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419525 9367552 275 33554432000 4194304 5064252 140735408049552 140735408048464 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4309/statm: 2287 275 233 213 0 72 0
[pid=4310] ppid=4309 vsize=30472 CPUtime=402.83 cores=1,3,5,7
/proc/4310/stat : 4310 (npSolver-pbo) S 4309 4309 4265 0 -1 4202496 46618 235582 0 0 1122 161 38871 129 20 0 1 0 271419525 31203328 5826 33554432000 4194304 5992684 140735064308992 140735064294824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4310/statm: 7618 5826 183 440 0 7174 0
[pid=4345] ppid=4310 vsize=294232 CPUtime=1397.26 cores=1,3,5,7
/proc/4345/stat : 4345 (glucosInc) R 4310 4309 4265 0 -1 4202496 76335 0 0 0 139640 86 0 0 20 0 1 0 271459822 301293568 69306 33554432000 4194304 5654031 140734820847296 140734820835112 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4345/statm: 73558 69306 141 357 0 73198 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 333852
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 4309 and gives
# childrusage.ru_utime.tv_sec=399
# childrusage.ru_utime.tv_usec=935200
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=914556
# CPU time returned by wait4() is 402.85
# while last known CPU time is 1800.09
#
# 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.09
CPU user time (s): 1796.33
CPU system time (s): 3.76
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 811380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 399.935
system time used= 2.91456
maximum resident set size= 204320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282574
page faults= 0
swaps= 0
block input operations= 0
block output operations= 846496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3201
involuntary context switches= 812
runsolver used 11.5742 second user time and 14.9137 second system time
The end