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-3699582-1338056861/watcher-3699582-1338056861 -o /tmp/evaluation-result-3699582-1338056861/solver-3699582-1338056861 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699582-1338056861.opb 497807097 HOME HOME
running on 4 cores: 0,2,4,6
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.01 2.02 2.00 3/176 5981
/proc/meminfo: memFree=29597940/32873852 swapFree=7624/7624
[pid=5981] ppid=5979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5981/stat : 5981 (npSolver-pbo-I.) S 5979 5981 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271811550 9367552 274 33554432000 4194304 5064252 140736341429808 140736341428720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5981/statm: 2287 274 233 213 0 72 0
[startup+0.094246 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 5981
/proc/meminfo: memFree=29597940/32873852 swapFree=7624/7624
[pid=5981] ppid=5979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5981/stat : 5981 (npSolver-pbo-I.) S 5979 5981 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271811550 9367552 274 33554432000 4194304 5064252 140736341429808 140736341428720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5981/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100177 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 5981
/proc/meminfo: memFree=29597940/32873852 swapFree=7624/7624
[pid=5981] ppid=5979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5981/stat : 5981 (npSolver-pbo-I.) S 5979 5981 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271811550 9367552 274 33554432000 4194304 5064252 140736341429808 140736341428720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5981/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300148 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 5981
/proc/meminfo: memFree=29597940/32873852 swapFree=7624/7624
[pid=5981] ppid=5979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5981/stat : 5981 (npSolver-pbo-I.) S 5979 5981 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271811550 9367552 274 33554432000 4194304 5064252 140736341429808 140736341428720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5981/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700121 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 5981
/proc/meminfo: memFree=29597940/32873852 swapFree=7624/7624
[pid=5981] ppid=5979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5981/stat : 5981 (npSolver-pbo-I.) S 5979 5981 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271811550 9367552 274 33554432000 4194304 5064252 140736341429808 140736341428720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5981/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 5990
/proc/meminfo: memFree=29581788/32873852 swapFree=7624/7624
[pid=5981] ppid=5979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5981/stat : 5981 (npSolver-pbo-I.) S 5979 5981 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271811550 9367552 274 33554432000 4194304 5064252 140736341429808 140736341428720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5981/statm: 2287 274 233 213 0 72 0
[pid=5982] ppid=5981 vsize=2684 CPUtime=0.05 cores=0,2,4,6
/proc/5982/stat : 5982 (npSolver-pbo) S 5981 5981 5385 0 -1 4202496 2022 3523 0 0 4 0 1 0 20 0 1 0 271811550 2748416 380 33554432000 4194304 5992684 140734496635744 140734496620648 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5982/statm: 671 380 184 440 0 227 0
[pid=5990] ppid=5982 vsize=17456 CPUtime=1.4 cores=0,2,4,6
/proc/5990/stat : 5990 (glucosInc) R 5982 5981 5385 0 -1 4202496 5187 0 0 0 140 0 0 0 20 0 1 0 271811558 17874944 3966 33554432000 4194304 5654031 140733300154880 140733300142696 4232939 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 4364 3966 142 357 0 4004 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 29288
[startup+3.1003 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 5990
/proc/meminfo: memFree=29579060/32873852 swapFree=7624/7624
[pid=5981] ppid=5979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5981/stat : 5981 (npSolver-pbo-I.) S 5979 5981 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271811550 9367552 274 33554432000 4194304 5064252 140736341429808 140736341428720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5981/statm: 2287 274 233 213 0 72 0
[pid=5982] ppid=5981 vsize=2684 CPUtime=0.05 cores=0,2,4,6
/proc/5982/stat : 5982 (npSolver-pbo) S 5981 5981 5385 0 -1 4202496 2022 3523 0 0 4 0 1 0 20 0 1 0 271811550 2748416 380 33554432000 4194304 5992684 140734496635744 140734496620648 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5982/statm: 671 380 184 440 0 227 0
[pid=5990] ppid=5982 vsize=17668 CPUtime=3 cores=0,2,4,6
/proc/5990/stat : 5990 (glucosInc) R 5982 5981 5385 0 -1 4202496 5240 0 0 0 300 0 0 0 20 0 1 0 271811558 18092032 4019 33554432000 4194304 5654031 140733300154880 140733300142696 4232752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 4417 4019 142 357 0 4057 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 29500
[startup+6.3003 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 5990
/proc/meminfo: memFree=29572360/32873852 swapFree=7624/7624
[pid=5981] ppid=5979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5981/stat : 5981 (npSolver-pbo-I.) S 5979 5981 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271811550 9367552 274 33554432000 4194304 5064252 140736341429808 140736341428720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5981/statm: 2287 274 233 213 0 72 0
[pid=5982] ppid=5981 vsize=2684 CPUtime=0.05 cores=0,2,4,6
/proc/5982/stat : 5982 (npSolver-pbo) S 5981 5981 5385 0 -1 4202496 2022 3523 0 0 4 0 1 0 20 0 1 0 271811550 2748416 380 33554432000 4194304 5992684 140734496635744 140734496620648 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5982/statm: 671 380 184 440 0 227 0
[pid=5990] ppid=5982 vsize=26660 CPUtime=6.21 cores=0,2,4,6
/proc/5990/stat : 5990 (glucosInc) R 5982 5981 5385 0 -1 4202496 6040 0 0 0 620 1 0 0 20 0 1 0 271811558 27299840 6121 33554432000 4194304 5654031 140733300154880 140733300142696 4214949 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 6665 6121 142 357 0 6305 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 38492
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 5990
/proc/meminfo: memFree=29565336/32873852 swapFree=7624/7624
[pid=5981] ppid=5979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5981/stat : 5981 (npSolver-pbo-I.) S 5979 5981 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271811550 9367552 274 33554432000 4194304 5064252 140736341429808 140736341428720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5981/statm: 2287 274 233 213 0 72 0
[pid=5982] ppid=5981 vsize=2684 CPUtime=0.05 cores=0,2,4,6
/proc/5982/stat : 5982 (npSolver-pbo) S 5981 5981 5385 0 -1 4202496 2022 3523 0 0 4 0 1 0 20 0 1 0 271811550 2748416 380 33554432000 4194304 5992684 140734496635744 140734496620648 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5982/statm: 671 380 184 440 0 227 0
[pid=5990] ppid=5982 vsize=31080 CPUtime=12.61 cores=0,2,4,6
/proc/5990/stat : 5990 (glucosInc) R 5982 5981 5385 0 -1 4202496 6823 0 0 0 1260 1 0 0 20 0 1 0 271811558 31825920 7361 33554432000 4194304 5654031 140733300154880 140733300142696 4233332 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 7770 7361 142 357 0 7410 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 42912
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 5990
/proc/meminfo: memFree=29520832/32873852 swapFree=7624/7624
[pid=5981] ppid=5979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5981/stat : 5981 (npSolver-pbo-I.) S 5979 5981 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271811550 9367552 274 33554432000 4194304 5064252 140736341429808 140736341428720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5981/statm: 2287 274 233 213 0 72 0
[pid=5982] ppid=5981 vsize=2684 CPUtime=0.05 cores=0,2,4,6
/proc/5982/stat : 5982 (npSolver-pbo) S 5981 5981 5385 0 -1 4202496 2022 3523 0 0 4 0 1 0 20 0 1 0 271811550 2748416 380 33554432000 4194304 5992684 140734496635744 140734496620648 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5982/statm: 671 380 184 440 0 227 0
[pid=5990] ppid=5982 vsize=56968 CPUtime=25.4 cores=0,2,4,6
/proc/5990/stat : 5990 (glucosInc) R 5982 5981 5385 0 -1 4202496 7995 0 0 0 2538 2 0 0 20 0 1 0 271811558 58335232 10201 33554432000 4194304 5654031 140733300154880 140733300142696 4232794 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 14242 10201 142 357 0 13882 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 68800
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 5990
/proc/meminfo: memFree=29499672/32873852 swapFree=7624/7624
[pid=5981] ppid=5979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5981/stat : 5981 (npSolver-pbo-I.) S 5979 5981 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271811550 9367552 274 33554432000 4194304 5064252 140736341429808 140736341428720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5981/statm: 2287 274 233 213 0 72 0
[pid=5982] ppid=5981 vsize=2684 CPUtime=0.05 cores=0,2,4,6
/proc/5982/stat : 5982 (npSolver-pbo) S 5981 5981 5385 0 -1 4202496 2022 3523 0 0 4 0 1 0 20 0 1 0 271811550 2748416 380 33554432000 4194304 5992684 140734496635744 140734496620648 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5982/statm: 671 380 184 440 0 227 0
[pid=5990] ppid=5982 vsize=75824 CPUtime=51 cores=0,2,4,6
/proc/5990/stat : 5990 (glucosInc) R 5982 5981 5385 0 -1 4202496 8423 0 0 0 5098 2 0 0 20 0 1 0 271811558 77643776 11242 33554432000 4194304 5654031 140733300154880 140733300142696 4233144 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 18956 11242 142 357 0 18596 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 87656
[startup+102.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 5990
/proc/meminfo: memFree=29472236/32873852 swapFree=7624/7624
[pid=5981] ppid=5979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5981/stat : 5981 (npSolver-pbo-I.) S 5979 5981 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271811550 9367552 274 33554432000 4194304 5064252 140736341429808 140736341428720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5981/statm: 2287 274 233 213 0 72 0
[pid=5982] ppid=5981 vsize=2684 CPUtime=0.05 cores=0,2,4,6
/proc/5982/stat : 5982 (npSolver-pbo) S 5981 5981 5385 0 -1 4202496 2022 3523 0 0 4 0 1 0 20 0 1 0 271811550 2748416 380 33554432000 4194304 5992684 140734496635744 140734496620648 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5982/statm: 671 380 184 440 0 227 0
[pid=5990] ppid=5982 vsize=75824 CPUtime=102.19 cores=0,2,4,6
/proc/5990/stat : 5990 (glucosInc) R 5982 5981 5385 0 -1 4202496 9044 0 0 0 10216 3 0 0 20 0 1 0 271811558 77643776 18573 33554432000 4194304 5654031 140733300154880 140733300142696 4215248 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 18956 18573 142 357 0 18596 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 87656
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5993
/proc/meminfo: memFree=29422956/32873852 swapFree=7624/7624
[pid=5981] ppid=5979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5981/stat : 5981 (npSolver-pbo-I.) S 5979 5981 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271811550 9367552 274 33554432000 4194304 5064252 140736341429808 140736341428720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5981/statm: 2287 274 233 213 0 72 0
[pid=5982] ppid=5981 vsize=2684 CPUtime=0.05 cores=0,2,4,6
/proc/5982/stat : 5982 (npSolver-pbo) S 5981 5981 5385 0 -1 4202496 2022 3523 0 0 4 0 1 0 20 0 1 0 271811550 2748416 380 33554432000 4194304 5992684 140734496635744 140734496620648 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5982/statm: 671 380 184 440 0 227 0
[pid=5990] ppid=5982 vsize=136992 CPUtime=162.17 cores=0,2,4,6
/proc/5990/stat : 5990 (glucosInc) R 5982 5981 5385 0 -1 4202496 9659 0 0 0 16212 5 0 0 20 0 1 0 271811558 140279808 30261 33554432000 4194304 5654031 140733300154880 140733300142696 4232763 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 34248 30261 142 357 0 33888 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 148824
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5993
/proc/meminfo: memFree=29418880/32873852 swapFree=7624/7624
[pid=5981] ppid=5979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5981/stat : 5981 (npSolver-pbo-I.) S 5979 5981 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271811550 9367552 274 33554432000 4194304 5064252 140736341429808 140736341428720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5981/statm: 2287 274 233 213 0 72 0
[pid=5982] ppid=5981 vsize=2684 CPUtime=0.05 cores=0,2,4,6
/proc/5982/stat : 5982 (npSolver-pbo) S 5981 5981 5385 0 -1 4202496 2022 3523 0 0 4 0 1 0 20 0 1 0 271811550 2748416 380 33554432000 4194304 5992684 140734496635744 140734496620648 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5982/statm: 671 380 184 440 0 227 0
[pid=5990] ppid=5982 vsize=136992 CPUtime=222.16 cores=0,2,4,6
/proc/5990/stat : 5990 (glucosInc) R 5982 5981 5385 0 -1 4202496 9789 0 0 0 22208 8 0 0 20 0 1 0 271811558 140279808 31797 33554432000 4194304 5654031 140733300154880 140733300142696 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 34248 31797 142 357 0 33888 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 148824
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.01 2.00 3/179 6049
/proc/meminfo: memFree=29396032/32873852 swapFree=7624/7624
[pid=5981] ppid=5979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5981/stat : 5981 (npSolver-pbo-I.) S 5979 5981 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271811550 9367552 274 33554432000 4194304 5064252 140736341429808 140736341428720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5981/statm: 2287 274 233 213 0 72 0
[pid=5982] ppid=5981 vsize=2684 CPUtime=0.05 cores=0,2,4,6
/proc/5982/stat : 5982 (npSolver-pbo) S 5981 5981 5385 0 -1 4202496 2022 3523 0 0 4 0 1 0 20 0 1 0 271811550 2748416 380 33554432000 4194304 5992684 140734496635744 140734496620648 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5982/statm: 671 380 184 440 0 227 0
[pid=5990] ppid=5982 vsize=217900 CPUtime=1301.97 cores=0,2,4,6
/proc/5990/stat : 5990 (glucosInc) R 5982 5981 5385 0 -1 4202496 19817 0 0 0 130140 57 0 0 20 0 1 0 271811558 223129600 44968 33554432000 4194304 5654031 140733300154880 140733300142696 4215913 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 54475 44968 142 357 0 54115 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 229732
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6052
/proc/meminfo: memFree=29404224/32873852 swapFree=7624/7624
[pid=5981] ppid=5979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5981/stat : 5981 (npSolver-pbo-I.) S 5979 5981 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271811550 9367552 274 33554432000 4194304 5064252 140736341429808 140736341428720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5981/statm: 2287 274 233 213 0 72 0
[pid=5982] ppid=5981 vsize=2684 CPUtime=0.05 cores=0,2,4,6
/proc/5982/stat : 5982 (npSolver-pbo) S 5981 5981 5385 0 -1 4202496 2022 3523 0 0 4 0 1 0 20 0 1 0 271811550 2748416 380 33554432000 4194304 5992684 140734496635744 140734496620648 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5982/statm: 671 380 184 440 0 227 0
[pid=5990] ppid=5982 vsize=217900 CPUtime=1361.94 cores=0,2,4,6
/proc/5990/stat : 5990 (glucosInc) R 5982 5981 5385 0 -1 4202496 20794 0 0 0 136134 60 0 0 20 0 1 0 271811558 223129600 42920 33554432000 4194304 5654031 140733300154880 140733300142696 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 54475 42920 142 357 0 54115 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 229732
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6052
/proc/meminfo: memFree=29421964/32873852 swapFree=7624/7624
[pid=5981] ppid=5979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5981/stat : 5981 (npSolver-pbo-I.) S 5979 5981 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271811550 9367552 274 33554432000 4194304 5064252 140736341429808 140736341428720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5981/statm: 2287 274 233 213 0 72 0
[pid=5982] ppid=5981 vsize=2684 CPUtime=0.05 cores=0,2,4,6
/proc/5982/stat : 5982 (npSolver-pbo) S 5981 5981 5385 0 -1 4202496 2022 3523 0 0 4 0 1 0 20 0 1 0 271811550 2748416 380 33554432000 4194304 5992684 140734496635744 140734496620648 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5982/statm: 671 380 184 440 0 227 0
[pid=5990] ppid=5982 vsize=167812 CPUtime=1421.94 cores=0,2,4,6
/proc/5990/stat : 5990 (glucosInc) R 5982 5981 5385 0 -1 4202496 20925 0 0 0 142132 62 0 0 20 0 1 0 271811558 171839488 38523 33554432000 4194304 5654031 140733300154880 140733300142696 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 41953 38523 142 357 0 41593 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 179644
[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/179 6053
/proc/meminfo: memFree=29436100/32873852 swapFree=7624/7624
[pid=5981] ppid=5979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5981/stat : 5981 (npSolver-pbo-I.) S 5979 5981 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271811550 9367552 274 33554432000 4194304 5064252 140736341429808 140736341428720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5981/statm: 2287 274 233 213 0 72 0
[pid=5982] ppid=5981 vsize=2684 CPUtime=0.05 cores=0,2,4,6
/proc/5982/stat : 5982 (npSolver-pbo) S 5981 5981 5385 0 -1 4202496 2022 3523 0 0 4 0 1 0 20 0 1 0 271811550 2748416 380 33554432000 4194304 5992684 140734496635744 140734496620648 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5982/statm: 671 380 184 440 0 227 0
[pid=5990] ppid=5982 vsize=167812 CPUtime=1481.91 cores=0,2,4,6
/proc/5990/stat : 5990 (glucosInc) R 5982 5981 5385 0 -1 4202496 21879 0 0 0 148127 64 0 0 20 0 1 0 271811558 171839488 34939 33554432000 4194304 5654031 140733300154880 140733300142696 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 41953 34939 142 357 0 41593 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 179644
[startup+1542.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 6053
/proc/meminfo: memFree=29399984/32873852 swapFree=7624/7624
[pid=5981] ppid=5979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5981/stat : 5981 (npSolver-pbo-I.) S 5979 5981 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271811550 9367552 274 33554432000 4194304 5064252 140736341429808 140736341428720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5981/statm: 2287 274 233 213 0 72 0
[pid=5982] ppid=5981 vsize=2684 CPUtime=0.05 cores=0,2,4,6
/proc/5982/stat : 5982 (npSolver-pbo) S 5981 5981 5385 0 -1 4202496 2022 3523 0 0 4 0 1 0 20 0 1 0 271811550 2748416 380 33554432000 4194304 5992684 140734496635744 140734496620648 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5982/statm: 671 380 184 440 0 227 0
[pid=5990] ppid=5982 vsize=217900 CPUtime=1541.91 cores=0,2,4,6
/proc/5990/stat : 5990 (glucosInc) R 5982 5981 5385 0 -1 4202496 22715 0 0 0 154125 66 0 0 20 0 1 0 271811558 223129600 44456 33554432000 4194304 5654031 140733300154880 140733300142696 4232905 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 54475 44456 142 357 0 54115 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 229732
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 6053
/proc/meminfo: memFree=29419632/32873852 swapFree=7624/7624
[pid=5981] ppid=5979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5981/stat : 5981 (npSolver-pbo-I.) S 5979 5981 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271811550 9367552 274 33554432000 4194304 5064252 140736341429808 140736341428720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5981/statm: 2287 274 233 213 0 72 0
[pid=5982] ppid=5981 vsize=2684 CPUtime=0.05 cores=0,2,4,6
/proc/5982/stat : 5982 (npSolver-pbo) S 5981 5981 5385 0 -1 4202496 2022 3523 0 0 4 0 1 0 20 0 1 0 271811550 2748416 380 33554432000 4194304 5992684 140734496635744 140734496620648 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5982/statm: 671 380 184 440 0 227 0
[pid=5990] ppid=5982 vsize=167812 CPUtime=1601.89 cores=0,2,4,6
/proc/5990/stat : 5990 (glucosInc) R 5982 5981 5385 0 -1 4202496 22847 0 0 0 160122 67 0 0 20 0 1 0 271811558 171839488 39035 33554432000 4194304 5654031 140733300154880 140733300142696 4233232 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 41953 39035 142 357 0 41593 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 179644
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 6053
/proc/meminfo: memFree=29444224/32873852 swapFree=7624/7624
[pid=5981] ppid=5979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5981/stat : 5981 (npSolver-pbo-I.) S 5979 5981 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271811550 9367552 274 33554432000 4194304 5064252 140736341429808 140736341428720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5981/statm: 2287 274 233 213 0 72 0
[pid=5982] ppid=5981 vsize=2684 CPUtime=0.05 cores=0,2,4,6
/proc/5982/stat : 5982 (npSolver-pbo) S 5981 5981 5385 0 -1 4202496 2022 3523 0 0 4 0 1 0 20 0 1 0 271811550 2748416 380 33554432000 4194304 5992684 140734496635744 140734496620648 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5982/statm: 671 380 184 440 0 227 0
[pid=5990] ppid=5982 vsize=136992 CPUtime=1661.88 cores=0,2,4,6
/proc/5990/stat : 5990 (glucosInc) R 5982 5981 5385 0 -1 4202496 23752 0 0 0 166118 70 0 0 20 0 1 0 271811558 140279808 32824 33554432000 4194304 5654031 140733300154880 140733300142696 4216105 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 34248 32824 142 357 0 33888 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 148824
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6053
/proc/meminfo: memFree=29392408/32873852 swapFree=7624/7624
[pid=5981] ppid=5979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5981/stat : 5981 (npSolver-pbo-I.) S 5979 5981 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271811550 9367552 274 33554432000 4194304 5064252 140736341429808 140736341428720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5981/statm: 2287 274 233 213 0 72 0
[pid=5982] ppid=5981 vsize=2684 CPUtime=0.05 cores=0,2,4,6
/proc/5982/stat : 5982 (npSolver-pbo) S 5981 5981 5385 0 -1 4202496 2022 3523 0 0 4 0 1 0 20 0 1 0 271811550 2748416 380 33554432000 4194304 5992684 140734496635744 140734496620648 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5982/statm: 671 380 184 440 0 227 0
[pid=5990] ppid=5982 vsize=217900 CPUtime=1721.87 cores=0,2,4,6
/proc/5990/stat : 5990 (glucosInc) R 5982 5981 5385 0 -1 4202496 24666 0 0 0 172115 72 0 0 20 0 1 0 271811558 223129600 44968 33554432000 4194304 5654031 140733300154880 140733300142696 4233173 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 54475 44968 142 357 0 54115 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 229732
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 6054
/proc/meminfo: memFree=29411752/32873852 swapFree=7624/7624
[pid=5981] ppid=5979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5981/stat : 5981 (npSolver-pbo-I.) S 5979 5981 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271811550 9367552 274 33554432000 4194304 5064252 140736341429808 140736341428720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5981/statm: 2287 274 233 213 0 72 0
[pid=5982] ppid=5981 vsize=2684 CPUtime=0.05 cores=0,2,4,6
/proc/5982/stat : 5982 (npSolver-pbo) S 5981 5981 5385 0 -1 4202496 2022 3523 0 0 4 0 1 0 20 0 1 0 271811550 2748416 380 33554432000 4194304 5992684 140734496635744 140734496620648 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5982/statm: 671 380 184 440 0 227 0
[pid=5990] ppid=5982 vsize=167812 CPUtime=1781.86 cores=0,2,4,6
/proc/5990/stat : 5990 (glucosInc) R 5982 5981 5385 0 -1 4202496 24800 0 0 0 178112 74 0 0 20 0 1 0 271811558 171839488 39035 33554432000 4194304 5654031 140733300154880 140733300142696 4216501 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 41953 39035 142 357 0 41593 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 179644
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 6054
/proc/meminfo: memFree=29400956/32873852 swapFree=7624/7624
[pid=5981] ppid=5979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5981/stat : 5981 (npSolver-pbo-I.) S 5979 5981 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271811550 9367552 274 33554432000 4194304 5064252 140736341429808 140736341428720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5981/statm: 2287 274 233 213 0 72 0
[pid=5982] ppid=5981 vsize=2684 CPUtime=0.05 cores=0,2,4,6
/proc/5982/stat : 5982 (npSolver-pbo) S 5981 5981 5385 0 -1 4202496 2022 3523 0 0 4 0 1 0 20 0 1 0 271811550 2748416 380 33554432000 4194304 5992684 140734496635744 140734496620648 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5982/statm: 671 380 184 440 0 227 0
[pid=5990] ppid=5982 vsize=217900 CPUtime=1799.96 cores=0,2,4,6
/proc/5990/stat : 5990 (glucosInc) R 5982 5981 5385 0 -1 4202496 25563 0 0 0 179921 75 0 0 20 0 1 0 271811558 223129600 41833 33554432000 4194304 5654031 140733300154880 140733300142696 4233204 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 54475 41833 142 357 0 54115 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 229732
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 5981 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=63990
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=14997
# CPU time returned by wait4() is 0.078987
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.01
CPU user time (s): 1799.26
CPU system time (s): 0.75
CPU usage (%): 99.9777
Max. virtual memory (cumulated for all children) (KiB): 279052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.06399
system time used= 0.014997
maximum resident set size= 5548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5919
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 12
runsolver used 2.73858 second user time and 7.09492 second system time
The end