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-3749292-1339131952/watcher-3749292-1339131952 -o /tmp/evaluation-result-3749292-1339131952/solver-3749292-1339131952 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3749292-1339131952.opb 1900317386 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.03 2.01 2.00 3/176 15601
/proc/meminfo: memFree=26565864/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
[startup+0.00890611 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 15601
/proc/meminfo: memFree=26565864/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100259 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 15601
/proc/meminfo: memFree=26565864/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300322 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 15601
/proc/meminfo: memFree=26565864/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700298 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 15601
/proc/meminfo: memFree=26565864/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 15610
/proc/meminfo: memFree=26544680/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
[pid=15602] ppid=15601 vsize=7168 CPUtime=0.83 cores=1,3,5,7
/proc/15602/stat : 15602 (npSolver-pbo) S 15601 15601 11080 0 -1 4202496 5283 13089 0 0 10 12 52 9 20 0 1 0 379323727 7340032 1435 33554432000 4194304 6004724 140733737065968 140733737050888 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15602/statm: 1792 1435 177 442 0 1346 0
[pid=15610] ppid=15602 vsize=17948 CPUtime=0.63 cores=1,3,5,7
/proc/15610/stat : 15610 (glucosInc) R 15602 15601 11080 0 -1 4202496 3184 0 0 0 63 0 0 0 20 0 1 0 379323812 18378752 3436 33554432000 4194304 5654031 140737433164048 140737433151864 4232607 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15610/statm: 4487 3436 139 357 0 4127 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 34264
[startup+3.10039 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 15610
/proc/meminfo: memFree=26543820/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
[pid=15602] ppid=15601 vsize=7168 CPUtime=0.83 cores=1,3,5,7
/proc/15602/stat : 15602 (npSolver-pbo) S 15601 15601 11080 0 -1 4202496 5283 13089 0 0 10 12 52 9 20 0 1 0 379323727 7340032 1435 33554432000 4194304 6004724 140733737065968 140733737050888 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15602/statm: 1792 1435 177 442 0 1346 0
[pid=15610] ppid=15602 vsize=16800 CPUtime=2.23 cores=1,3,5,7
/proc/15610/stat : 15610 (glucosInc) R 15602 15601 11080 0 -1 4202496 3561 0 0 0 223 0 0 0 20 0 1 0 379323812 17203200 3449 33554432000 4194304 5654031 140737433164048 140737433151864 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15610/statm: 4200 3449 141 357 0 3840 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 33116
[startup+6.30038 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 15610
/proc/meminfo: memFree=26541836/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
[pid=15602] ppid=15601 vsize=7168 CPUtime=0.83 cores=1,3,5,7
/proc/15602/stat : 15602 (npSolver-pbo) S 15601 15601 11080 0 -1 4202496 5283 13089 0 0 10 12 52 9 20 0 1 0 379323727 7340032 1435 33554432000 4194304 6004724 140733737065968 140733737050888 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15602/statm: 1792 1435 177 442 0 1346 0
[pid=15610] ppid=15602 vsize=21780 CPUtime=5.43 cores=1,3,5,7
/proc/15610/stat : 15610 (glucosInc) R 15602 15601 11080 0 -1 4202496 5141 0 0 0 542 1 0 0 20 0 1 0 379323812 22302720 4414 33554432000 4194304 5654031 140737433164048 140737433151864 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15610/statm: 5445 4414 141 357 0 5085 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 38096
[startup+12.7004 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 15610
/proc/meminfo: memFree=26533500/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
[pid=15602] ppid=15601 vsize=7168 CPUtime=0.83 cores=1,3,5,7
/proc/15602/stat : 15602 (npSolver-pbo) S 15601 15601 11080 0 -1 4202496 5283 13089 0 0 10 12 52 9 20 0 1 0 379323727 7340032 1435 33554432000 4194304 6004724 140733737065968 140733737050888 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15602/statm: 1792 1435 177 442 0 1346 0
[pid=15610] ppid=15602 vsize=28852 CPUtime=11.83 cores=1,3,5,7
/proc/15610/stat : 15610 (glucosInc) R 15602 15601 11080 0 -1 4202496 5842 0 0 0 1182 1 0 0 20 0 1 0 379323812 29544448 5442 33554432000 4194304 5654031 140737433164048 140737433151864 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15610/statm: 7213 5442 141 357 0 6853 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 45168
[startup+25.5005 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 15610
/proc/meminfo: memFree=26524680/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
[pid=15602] ppid=15601 vsize=7168 CPUtime=0.83 cores=1,3,5,7
/proc/15602/stat : 15602 (npSolver-pbo) S 15601 15601 11080 0 -1 4202496 5283 13089 0 0 10 12 52 9 20 0 1 0 379323727 7340032 1435 33554432000 4194304 6004724 140733737065968 140733737050888 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15602/statm: 1792 1435 177 442 0 1346 0
[pid=15610] ppid=15602 vsize=33272 CPUtime=24.62 cores=1,3,5,7
/proc/15610/stat : 15610 (glucosInc) R 15602 15601 11080 0 -1 4202496 6536 0 0 0 2461 1 0 0 20 0 1 0 379323812 34070528 7624 33554432000 4194304 5654031 140737433164048 140737433151864 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15610/statm: 8318 7624 141 357 0 7958 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 49588
[startup+51.1005 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 15610
/proc/meminfo: memFree=26548760/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
[pid=15602] ppid=15601 vsize=7168 CPUtime=0.83 cores=1,3,5,7
/proc/15602/stat : 15602 (npSolver-pbo) S 15601 15601 11080 0 -1 4202496 5283 13089 0 0 10 12 52 9 20 0 1 0 379323727 7340032 1435 33554432000 4194304 6004724 140733737065968 140733737050888 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15602/statm: 1792 1435 177 442 0 1346 0
[pid=15610] ppid=15602 vsize=59852 CPUtime=50.22 cores=1,3,5,7
/proc/15610/stat : 15610 (glucosInc) R 15602 15601 11080 0 -1 4202496 7949 0 0 0 5020 2 0 0 20 0 1 0 379323812 61288448 11088 33554432000 4194304 5654031 140737433164048 140737433151864 4232803 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15610/statm: 14963 11088 141 357 0 14603 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 76168
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15610
/proc/meminfo: memFree=26501596/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
[pid=15602] ppid=15601 vsize=7168 CPUtime=0.83 cores=1,3,5,7
/proc/15602/stat : 15602 (npSolver-pbo) S 15601 15601 11080 0 -1 4202496 5283 13089 0 0 10 12 52 9 20 0 1 0 379323727 7340032 1435 33554432000 4194304 6004724 140733737065968 140733737050888 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15602/statm: 1792 1435 177 442 0 1346 0
[pid=15610] ppid=15602 vsize=59852 CPUtime=101.42 cores=1,3,5,7
/proc/15610/stat : 15610 (glucosInc) R 15602 15601 11080 0 -1 4202496 8443 0 0 0 10139 3 0 0 20 0 1 0 379323812 61288448 14285 33554432000 4194304 5654031 140737433164048 140737433151864 4232755 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15610/statm: 14963 14285 141 357 0 14603 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 76168
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15611
/proc/meminfo: memFree=26495700/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
[pid=15602] ppid=15601 vsize=7168 CPUtime=0.83 cores=1,3,5,7
/proc/15602/stat : 15602 (npSolver-pbo) S 15601 15601 11080 0 -1 4202496 5283 13089 0 0 10 12 52 9 20 0 1 0 379323727 7340032 1435 33554432000 4194304 6004724 140733737065968 140733737050888 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15602/statm: 1792 1435 177 442 0 1346 0
[pid=15610] ppid=15602 vsize=59852 CPUtime=161.41 cores=1,3,5,7
/proc/15610/stat : 15610 (glucosInc) R 15602 15601 11080 0 -1 4202496 9925 0 0 0 16137 4 0 0 20 0 1 0 379323812 61288448 14285 33554432000 4194304 5654031 140737433164048 140737433151864 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15610/statm: 14963 14285 141 357 0 14603 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 76168
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15611
/proc/meminfo: memFree=26516736/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
[pid=15602] ppid=15601 vsize=7168 CPUtime=0.83 cores=1,3,5,7
/proc/15602/stat : 15602 (npSolver-pbo) S 15601 15601 11080 0 -1 4202496 5283 13089 0 0 10 12 52 9 20 0 1 0 379323727 7340032 1435 33554432000 4194304 6004724 140733737065968 140733737050888 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15602/statm: 1792 1435 177 442 0 1346 0
[pid=15610] ppid=15602 vsize=78708 CPUtime=221.39 cores=1,3,5,7
/proc/15610/stat : 15610 (glucosInc) R 15602 15601 11080 0 -1 4202496 10543 0 0 0 22135 4 0 0 20 0 1 0 379323812 80596992 18955 33554432000 4194304 5654031 140737433164048 140737433151864 4225982 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15610/statm: 19677 18955 141 357 0 19317 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 95024
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26590764/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
[pid=15602] ppid=15601 vsize=7168 CPUtime=0.83 cores=1,3,5,7
/proc/15602/stat : 15602 (npSolver-pbo) S 15601 15601 11080 0 -1 4202496 5283 13089 0 0 10 12 52 9 20 0 1 0 379323727 7340032 1435 33554432000 4194304 6004724 140733737065968 140733737050888 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15602/statm: 1792 1435 177 442 0 1346 0
[pid=15610] ppid=15602 vsize=109120 CPUtime=1241.23 cores=1,3,5,7
/proc/15610/stat : 15610 (glucosInc) R 15602 15601 11080 0 -1 4202496 19628 0 0 0 124099 24 0 0 20 0 1 0 379323812 111738880 26602 33554432000 4194304 5654031 140737433164048 140737433151864 4232632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15610/statm: 27280 26602 141 357 0 26920 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 125436
[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 15668
/proc/meminfo: memFree=26591340/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
[pid=15602] ppid=15601 vsize=7168 CPUtime=0.83 cores=1,3,5,7
/proc/15602/stat : 15602 (npSolver-pbo) S 15601 15601 11080 0 -1 4202496 5283 13089 0 0 10 12 52 9 20 0 1 0 379323727 7340032 1435 33554432000 4194304 6004724 140733737065968 140733737050888 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15602/statm: 1792 1435 177 442 0 1346 0
[pid=15610] ppid=15602 vsize=189260 CPUtime=1301.24 cores=1,3,5,7
/proc/15610/stat : 15610 (glucosInc) R 15602 15601 11080 0 -1 4202496 20207 0 0 0 130098 26 0 0 20 0 1 0 379323812 193802240 39444 33554432000 4194304 5654031 140737433164048 140737433151864 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15610/statm: 47315 39444 141 357 0 46955 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 205576
[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 15669
/proc/meminfo: memFree=26599980/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
[pid=15602] ppid=15601 vsize=7168 CPUtime=0.83 cores=1,3,5,7
/proc/15602/stat : 15602 (npSolver-pbo) S 15601 15601 11080 0 -1 4202496 5283 13089 0 0 10 12 52 9 20 0 1 0 379323727 7340032 1435 33554432000 4194304 6004724 140733737065968 140733737050888 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15602/statm: 1792 1435 177 442 0 1346 0
[pid=15610] ppid=15602 vsize=158440 CPUtime=1361.22 cores=1,3,5,7
/proc/15610/stat : 15610 (glucosInc) R 15602 15601 11080 0 -1 4202496 20718 0 0 0 136095 27 0 0 20 0 1 0 379323812 162242560 37329 33554432000 4194304 5654031 140737433164048 140737433151864 4215121 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15610/statm: 39610 37329 141 357 0 39250 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 174756
[startup+1422.31 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 15669
/proc/meminfo: memFree=26642320/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
[pid=15602] ppid=15601 vsize=7168 CPUtime=0.83 cores=1,3,5,7
/proc/15602/stat : 15602 (npSolver-pbo) S 15601 15601 11080 0 -1 4202496 5283 13089 0 0 10 12 52 9 20 0 1 0 379323727 7340032 1435 33554432000 4194304 6004724 140733737065968 140733737050888 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15602/statm: 1792 1435 177 442 0 1346 0
[pid=15610] ppid=15602 vsize=109120 CPUtime=1421.21 cores=1,3,5,7
/proc/15610/stat : 15610 (glucosInc) R 15602 15601 11080 0 -1 4202496 20797 0 0 0 142093 28 0 0 20 0 1 0 379323812 111738880 26602 33554432000 4194304 5654031 140737433164048 140737433151864 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15610/statm: 27280 26602 141 357 0 26920 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 125436
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 15672
/proc/meminfo: memFree=26587328/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
[pid=15602] ppid=15601 vsize=7168 CPUtime=0.83 cores=1,3,5,7
/proc/15602/stat : 15602 (npSolver-pbo) S 15601 15601 11080 0 -1 4202496 5283 13089 0 0 10 12 52 9 20 0 1 0 379323727 7340032 1435 33554432000 4194304 6004724 140733737065968 140733737050888 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15602/statm: 1792 1435 177 442 0 1346 0
[pid=15610] ppid=15602 vsize=189260 CPUtime=1481.2 cores=1,3,5,7
/proc/15610/stat : 15610 (glucosInc) R 15602 15601 11080 0 -1 4202496 21379 0 0 0 148091 29 0 0 20 0 1 0 379323812 193802240 40980 33554432000 4194304 5654031 140737433164048 140737433151864 4233232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15610/statm: 47315 40980 141 357 0 46955 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 205576
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 15672
/proc/meminfo: memFree=26600012/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
[pid=15602] ppid=15601 vsize=7168 CPUtime=0.83 cores=1,3,5,7
/proc/15602/stat : 15602 (npSolver-pbo) S 15601 15601 11080 0 -1 4202496 5283 13089 0 0 10 12 52 9 20 0 1 0 379323727 7340032 1435 33554432000 4194304 6004724 140733737065968 140733737050888 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15602/statm: 1792 1435 177 442 0 1346 0
[pid=15610] ppid=15602 vsize=158440 CPUtime=1541.19 cores=1,3,5,7
/proc/15610/stat : 15610 (glucosInc) R 15602 15601 11080 0 -1 4202496 21891 0 0 0 154089 30 0 0 20 0 1 0 379323812 162242560 37329 33554432000 4194304 5654031 140737433164048 140737433151864 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15610/statm: 39610 37329 141 357 0 39250 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 174756
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 15672
/proc/meminfo: memFree=26573016/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
[pid=15602] ppid=15601 vsize=7168 CPUtime=0.83 cores=1,3,5,7
/proc/15602/stat : 15602 (npSolver-pbo) S 15601 15601 11080 0 -1 4202496 5283 13089 0 0 10 12 52 9 20 0 1 0 379323727 7340032 1435 33554432000 4194304 6004724 140733737065968 140733737050888 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15602/statm: 1792 1435 177 442 0 1346 0
[pid=15610] ppid=15602 vsize=189260 CPUtime=1601.18 cores=1,3,5,7
/proc/15610/stat : 15610 (glucosInc) R 15602 15601 11080 0 -1 4202496 21972 0 0 0 160087 31 0 0 20 0 1 0 379323812 193802240 44052 33554432000 4194304 5654031 140737433164048 140737433151864 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15610/statm: 47315 44052 141 357 0 46955 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 205576
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15673
/proc/meminfo: memFree=26587368/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
[pid=15602] ppid=15601 vsize=7168 CPUtime=0.83 cores=1,3,5,7
/proc/15602/stat : 15602 (npSolver-pbo) S 15601 15601 11080 0 -1 4202496 5283 13089 0 0 10 12 52 9 20 0 1 0 379323727 7340032 1435 33554432000 4194304 6004724 140733737065968 140733737050888 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15602/statm: 1792 1435 177 442 0 1346 0
[pid=15610] ppid=15602 vsize=189260 CPUtime=1661.17 cores=1,3,5,7
/proc/15610/stat : 15610 (glucosInc) R 15602 15601 11080 0 -1 4202496 22554 0 0 0 166084 33 0 0 20 0 1 0 379323812 193802240 39956 33554432000 4194304 5654031 140737433164048 140737433151864 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15610/statm: 47315 39956 141 357 0 46955 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 205576
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15673
/proc/meminfo: memFree=26603892/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
[pid=15602] ppid=15601 vsize=7168 CPUtime=0.83 cores=1,3,5,7
/proc/15602/stat : 15602 (npSolver-pbo) S 15601 15601 11080 0 -1 4202496 5283 13089 0 0 10 12 52 9 20 0 1 0 379323727 7340032 1435 33554432000 4194304 6004724 140733737065968 140733737050888 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15602/statm: 1792 1435 177 442 0 1346 0
[pid=15610] ppid=15602 vsize=158440 CPUtime=1721.15 cores=1,3,5,7
/proc/15610/stat : 15610 (glucosInc) R 15602 15601 11080 0 -1 4202496 23090 0 0 0 172081 34 0 0 20 0 1 0 379323812 162242560 34769 33554432000 4194304 5654031 140737433164048 140737433151864 4233236 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15610/statm: 39610 34769 141 357 0 39250 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 174756
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 15673
/proc/meminfo: memFree=26574848/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
[pid=15602] ppid=15601 vsize=7168 CPUtime=0.83 cores=1,3,5,7
/proc/15602/stat : 15602 (npSolver-pbo) S 15601 15601 11080 0 -1 4202496 5283 13089 0 0 10 12 52 9 20 0 1 0 379323727 7340032 1435 33554432000 4194304 6004724 140733737065968 140733737050888 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15602/statm: 1792 1435 177 442 0 1346 0
[pid=15610] ppid=15602 vsize=189260 CPUtime=1781.14 cores=1,3,5,7
/proc/15610/stat : 15610 (glucosInc) R 15602 15601 11080 0 -1 4202496 23172 0 0 0 178079 35 0 0 20 0 1 0 379323812 193802240 42004 33554432000 4194304 5654031 140737433164048 140737433151864 4233232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15610/statm: 47315 42004 141 357 0 46955 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 205576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 15673
/proc/meminfo: memFree=26566656/32873844 swapFree=7120/7120
[pid=15601] ppid=15599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15601/stat : 15601 (npSolver-pbo-I.) S 15599 15601 11080 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379323726 9367552 275 33554432000 4194304 5064252 140737049883792 140737049882704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15601/statm: 2287 275 233 213 0 72 0
[pid=15602] ppid=15601 vsize=7168 CPUtime=0.83 cores=1,3,5,7
/proc/15602/stat : 15602 (npSolver-pbo) S 15601 15601 11080 0 -1 4202496 5283 13089 0 0 10 12 52 9 20 0 1 0 379323727 7340032 1435 33554432000 4194304 6004724 140733737065968 140733737050888 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15602/statm: 1792 1435 177 442 0 1346 0
[pid=15610] ppid=15602 vsize=189260 CPUtime=1799.24 cores=1,3,5,7
/proc/15610/stat : 15610 (glucosInc) R 15602 15601 11080 0 -1 4202496 23175 0 0 0 179889 35 0 0 20 0 1 0 379323812 193802240 43540 33554432000 4194304 5654031 140737433164048 140737433151864 4233176 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15610/statm: 47315 43540 141 357 0 46955 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 205576
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1799.53
CPU system time (s): 0.581911
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 205576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.581911
maximum resident set size= 182352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41931
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111
involuntary context switches= 1862
runsolver used 5.09922 second user time and 12.6891 second system time
The end