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-3748161-1339167547/watcher-3748161-1339167547 -o /tmp/evaluation-result-3748161-1339167547/solver-3748161-1339167547 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748161-1339167547.opb 118709814 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.20 2.06 2.01 2/176 30811
/proc/meminfo: memFree=31423464/32873852 swapFree=6860/6860
[pid=30811] ppid=30809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30811/stat : 30811 (npSolver-pbo-I.) S 30809 30811 25581 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382880597 9367552 274 33554432000 4194304 5064252 140733564727936 140733564726848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30811/statm: 2287 274 233 213 0 72 0
[startup+0.0218181 s]
/proc/loadavg: 2.20 2.06 2.01 2/176 30811
/proc/meminfo: memFree=31423464/32873852 swapFree=6860/6860
[pid=30811] ppid=30809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30811/stat : 30811 (npSolver-pbo-I.) S 30809 30811 25581 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382880597 9367552 274 33554432000 4194304 5064252 140733564727936 140733564726848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30811/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100164 s]
/proc/loadavg: 2.20 2.06 2.01 2/176 30811
/proc/meminfo: memFree=31423464/32873852 swapFree=6860/6860
[pid=30811] ppid=30809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30811/stat : 30811 (npSolver-pbo-I.) S 30809 30811 25581 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382880597 9367552 274 33554432000 4194304 5064252 140733564727936 140733564726848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30811/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300194 s]
/proc/loadavg: 2.20 2.06 2.01 2/176 30811
/proc/meminfo: memFree=31423464/32873852 swapFree=6860/6860
[pid=30811] ppid=30809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30811/stat : 30811 (npSolver-pbo-I.) S 30809 30811 25581 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382880597 9367552 274 33554432000 4194304 5064252 140733564727936 140733564726848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30811/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700196 s]
/proc/loadavg: 2.20 2.06 2.01 2/176 30811
/proc/meminfo: memFree=31423464/32873852 swapFree=6860/6860
[pid=30811] ppid=30809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30811/stat : 30811 (npSolver-pbo-I.) S 30809 30811 25581 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382880597 9367552 274 33554432000 4194304 5064252 140733564727936 140733564726848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30811/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.20 2.06 2.01 3/179 30817
/proc/meminfo: memFree=31410736/32873852 swapFree=6860/6860
[pid=30811] ppid=30809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30811/stat : 30811 (npSolver-pbo-I.) S 30809 30811 25581 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382880597 9367552 274 33554432000 4194304 5064252 140733564727936 140733564726848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30811/statm: 2287 274 233 213 0 72 0
[pid=30812] ppid=30811 vsize=5804 CPUtime=0.16 cores=0,2,4,6
/proc/30812/stat : 30812 (npSolver-pbo) S 30811 30811 25581 0 -1 4202496 3096 3369 0 0 4 0 12 0 20 0 1 0 382880598 5943296 1103 33554432000 4194304 6004724 140736844754912 140736844741192 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30812/statm: 1451 1103 152 442 0 1005 0
[pid=30817] ppid=30812 vsize=10504 CPUtime=1.3 cores=0,2,4,6
/proc/30817/stat : 30817 (glucosInc) R 30812 30811 25581 0 -1 4202496 3192 0 0 0 130 0 0 0 20 0 1 0 382880616 10756096 1963 33554432000 4194304 5654031 140736977351552 140736977349640 4234964 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30817/statm: 2626 1963 142 357 0 2266 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 25456
[startup+3.10026 s]
/proc/loadavg: 2.20 2.06 2.01 3/179 30817
/proc/meminfo: memFree=31402360/32873852 swapFree=6860/6860
[pid=30811] ppid=30809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30811/stat : 30811 (npSolver-pbo-I.) S 30809 30811 25581 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382880597 9367552 274 33554432000 4194304 5064252 140733564727936 140733564726848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30811/statm: 2287 274 233 213 0 72 0
[pid=30812] ppid=30811 vsize=5804 CPUtime=0.16 cores=0,2,4,6
/proc/30812/stat : 30812 (npSolver-pbo) S 30811 30811 25581 0 -1 4202496 3096 3369 0 0 4 0 12 0 20 0 1 0 382880598 5943296 1103 33554432000 4194304 6004724 140736844754912 140736844741192 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30812/statm: 1451 1103 152 442 0 1005 0
[pid=30817] ppid=30812 vsize=16548 CPUtime=2.9 cores=0,2,4,6
/proc/30817/stat : 30817 (glucosInc) R 30812 30811 25581 0 -1 4202496 4173 0 0 0 290 0 0 0 20 0 1 0 382880616 16945152 3423 33554432000 4194304 5654031 140736977351552 140736977339368 4215168 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30817/statm: 4137 3423 142 357 0 3777 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 31500
[startup+6.30029 s]
/proc/loadavg: 2.19 2.06 2.01 3/179 30817
/proc/meminfo: memFree=31388276/32873852 swapFree=6860/6860
[pid=30811] ppid=30809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30811/stat : 30811 (npSolver-pbo-I.) S 30809 30811 25581 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382880597 9367552 274 33554432000 4194304 5064252 140733564727936 140733564726848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30811/statm: 2287 274 233 213 0 72 0
[pid=30812] ppid=30811 vsize=5804 CPUtime=0.16 cores=0,2,4,6
/proc/30812/stat : 30812 (npSolver-pbo) S 30811 30811 25581 0 -1 4202496 3096 3369 0 0 4 0 12 0 20 0 1 0 382880598 5943296 1103 33554432000 4194304 6004724 140736844754912 140736844741192 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30812/statm: 1451 1103 152 442 0 1005 0
[pid=30817] ppid=30812 vsize=22348 CPUtime=6.11 cores=0,2,4,6
/proc/30817/stat : 30817 (glucosInc) R 30812 30811 25581 0 -1 4202496 6717 0 0 0 609 2 0 0 20 0 1 0 382880616 22884352 5068 33554432000 4194304 5654031 140736977351552 140736977339368 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30817/statm: 5587 5068 142 357 0 5227 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 37300
[startup+12.7003 s]
/proc/loadavg: 2.17 2.06 2.01 3/179 30817
/proc/meminfo: memFree=31347572/32873852 swapFree=6860/6860
[pid=30811] ppid=30809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30811/stat : 30811 (npSolver-pbo-I.) S 30809 30811 25581 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382880597 9367552 274 33554432000 4194304 5064252 140733564727936 140733564726848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30811/statm: 2287 274 233 213 0 72 0
[pid=30812] ppid=30811 vsize=5804 CPUtime=0.16 cores=0,2,4,6
/proc/30812/stat : 30812 (npSolver-pbo) S 30811 30811 25581 0 -1 4202496 3096 3369 0 0 4 0 12 0 20 0 1 0 382880598 5943296 1103 33554432000 4194304 6004724 140736844754912 140736844741192 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30812/statm: 1451 1103 152 442 0 1005 0
[pid=30817] ppid=30812 vsize=49840 CPUtime=12.5 cores=0,2,4,6
/proc/30817/stat : 30817 (glucosInc) R 30812 30811 25581 0 -1 4202496 7977 0 0 0 1247 3 0 0 20 0 1 0 382880616 51036160 9429 33554432000 4194304 5654031 140736977351552 140736977339368 4232803 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30817/statm: 12460 9429 142 357 0 12100 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 64792
[startup+25.5003 s]
/proc/loadavg: 2.13 2.06 2.01 3/179 30817
/proc/meminfo: memFree=31401752/32873852 swapFree=6860/6860
[pid=30811] ppid=30809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30811/stat : 30811 (npSolver-pbo-I.) S 30809 30811 25581 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382880597 9367552 274 33554432000 4194304 5064252 140733564727936 140733564726848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30811/statm: 2287 274 233 213 0 72 0
[pid=30812] ppid=30811 vsize=5804 CPUtime=0.16 cores=0,2,4,6
/proc/30812/stat : 30812 (npSolver-pbo) S 30811 30811 25581 0 -1 4202496 3096 3369 0 0 4 0 12 0 20 0 1 0 382880598 5943296 1103 33554432000 4194304 6004724 140736844754912 140736844741192 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30812/statm: 1451 1103 152 442 0 1005 0
[pid=30817] ppid=30812 vsize=68696 CPUtime=25.3 cores=0,2,4,6
/proc/30817/stat : 30817 (glucosInc) R 30812 30811 25581 0 -1 4202496 8306 0 0 0 2527 3 0 0 20 0 1 0 382880616 70344704 12502 33554432000 4194304 5654031 140736977351552 140736977339368 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30817/statm: 17174 12502 142 357 0 16814 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 83648
[startup+51.1003 s]
/proc/loadavg: 2.09 2.05 2.01 3/179 30817
/proc/meminfo: memFree=31266896/32873852 swapFree=6860/6860
[pid=30811] ppid=30809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30811/stat : 30811 (npSolver-pbo-I.) S 30809 30811 25581 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382880597 9367552 274 33554432000 4194304 5064252 140733564727936 140733564726848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30811/statm: 2287 274 233 213 0 72 0
[pid=30812] ppid=30811 vsize=5804 CPUtime=0.16 cores=0,2,4,6
/proc/30812/stat : 30812 (npSolver-pbo) S 30811 30811 25581 0 -1 4202496 3096 3369 0 0 4 0 12 0 20 0 1 0 382880598 5943296 1103 33554432000 4194304 6004724 140736844754912 140736844741192 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30812/statm: 1451 1103 152 442 0 1005 0
[pid=30817] ppid=30812 vsize=118016 CPUtime=50.89 cores=0,2,4,6
/proc/30817/stat : 30817 (glucosInc) R 30812 30811 25581 0 -1 4202496 9340 0 0 0 5084 5 0 0 20 0 1 0 382880616 120848384 25846 33554432000 4194304 5654031 140736977351552 140736977339368 4232484 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30817/statm: 29504 25846 142 357 0 29144 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 132968
[startup+102.307 s]
/proc/loadavg: 2.04 2.04 2.00 3/180 30820
/proc/meminfo: memFree=31344764/32873852 swapFree=6860/6860
[pid=30811] ppid=30809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30811/stat : 30811 (npSolver-pbo-I.) S 30809 30811 25581 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382880597 9367552 274 33554432000 4194304 5064252 140733564727936 140733564726848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30811/statm: 2287 274 233 213 0 72 0
[pid=30812] ppid=30811 vsize=5804 CPUtime=0.16 cores=0,2,4,6
/proc/30812/stat : 30812 (npSolver-pbo) S 30811 30811 25581 0 -1 4202496 3096 3369 0 0 4 0 12 0 20 0 1 0 382880598 5943296 1103 33554432000 4194304 6004724 140736844754912 140736844741192 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30812/statm: 1451 1103 152 442 0 1005 0
[pid=30817] ppid=30812 vsize=118016 CPUtime=102.07 cores=0,2,4,6
/proc/30817/stat : 30817 (glucosInc) R 30812 30811 25581 0 -1 4202496 12090 0 0 0 10198 9 0 0 20 0 1 0 382880616 120848384 26870 33554432000 4194304 5654031 140736977351552 140736977339368 4232448 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30817/statm: 29504 26870 142 357 0 29144 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 132968
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/180 30886
/proc/meminfo: memFree=31321548/32873852 swapFree=6860/6860
[pid=30811] ppid=30809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30811/stat : 30811 (npSolver-pbo-I.) S 30809 30811 25581 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382880597 9367552 274 33554432000 4194304 5064252 140733564727936 140733564726848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30811/statm: 2287 274 233 213 0 72 0
[pid=30812] ppid=30811 vsize=5804 CPUtime=0.16 cores=0,2,4,6
/proc/30812/stat : 30812 (npSolver-pbo) S 30811 30811 25581 0 -1 4202496 3096 3369 0 0 4 0 12 0 20 0 1 0 382880598 5943296 1103 33554432000 4194304 6004724 140736844754912 140736844741192 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30812/statm: 1451 1103 152 442 0 1005 0
[pid=30817] ppid=30812 vsize=162108 CPUtime=162.07 cores=0,2,4,6
/proc/30817/stat : 30817 (glucosInc) R 30812 30811 25581 0 -1 4202496 16615 0 0 0 16191 16 0 0 20 0 1 0 382880616 165998592 36399 33554432000 4194304 5654031 140736977351552 140736977339368 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30817/statm: 40527 36399 142 357 0 40167 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 177060
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 30886
/proc/meminfo: memFree=31243428/32873852 swapFree=6860/6860
[pid=30811] ppid=30809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30811/stat : 30811 (npSolver-pbo-I.) S 30809 30811 25581 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382880597 9367552 274 33554432000 4194304 5064252 140733564727936 140733564726848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30811/statm: 2287 274 233 213 0 72 0
[pid=30812] ppid=30811 vsize=5804 CPUtime=0.16 cores=0,2,4,6
/proc/30812/stat : 30812 (npSolver-pbo) S 30811 30811 25581 0 -1 4202496 3096 3369 0 0 4 0 12 0 20 0 1 0 382880598 5943296 1103 33554432000 4194304 6004724 140736844754912 140736844741192 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30812/statm: 1451 1103 152 442 0 1005 0
[pid=30817] ppid=30812 vsize=212196 CPUtime=222.05 cores=0,2,4,6
/proc/30817/stat : 30817 (glucosInc) R 30812 30811 25581 0 -1 4202496 19368 0 0 0 22184 21 0 0 20 0 1 0 382880616 217288704 43869 33554432000 4194304 5654031 140736977351552 140736977339368 4215307 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30817/statm: 53049 43869 142 357 0 52689 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 227148
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/180 30939
/proc/meminfo: memFree=31076012/32873852 swapFree=6860/6860
[pid=30811] ppid=30809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30811/stat : 30811 (npSolver-pbo-I.) S 30809 30811 25581 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382880597 9367552 274 33554432000 4194304 5064252 140733564727936 140733564726848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30811/statm: 2287 274 233 213 0 72 0
[pid=30812] ppid=30811 vsize=5804 CPUtime=0.16 cores=0,2,4,6
/proc/30812/stat : 30812 (npSolver-pbo) S 30811 30811 25581 0 -1 4202496 3096 3369 0 0 4 0 12 0 20 0 1 0 382880598 5943296 1103 33554432000 4194304 6004724 140736844754912 140736844741192 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30812/statm: 1451 1103 152 442 0 1005 0
[pid=30817] ppid=30812 vsize=300508 CPUtime=1301.84 cores=0,2,4,6
/proc/30817/stat : 30817 (glucosInc) R 30812 30811 25581 0 -1 4202496 55339 0 0 0 130092 92 0 0 20 0 1 0 382880616 307720192 61472 33554432000 4194304 5654031 140736977351552 140736977339368 4233232 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30817/statm: 75127 61472 142 357 0 74767 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 315460
[startup+1362.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 30939
/proc/meminfo: memFree=31095484/32873852 swapFree=6860/6860
[pid=30811] ppid=30809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30811/stat : 30811 (npSolver-pbo-I.) S 30809 30811 25581 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382880597 9367552 274 33554432000 4194304 5064252 140733564727936 140733564726848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30811/statm: 2287 274 233 213 0 72 0
[pid=30812] ppid=30811 vsize=5804 CPUtime=0.16 cores=0,2,4,6
/proc/30812/stat : 30812 (npSolver-pbo) S 30811 30811 25581 0 -1 4202496 3096 3369 0 0 4 0 12 0 20 0 1 0 382880598 5943296 1103 33554432000 4194304 6004724 140736844754912 140736844741192 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30812/statm: 1451 1103 152 442 0 1005 0
[pid=30817] ppid=30812 vsize=301272 CPUtime=1361.82 cores=0,2,4,6
/proc/30817/stat : 30817 (glucosInc) R 30812 30811 25581 0 -1 4202496 57441 0 0 0 136086 96 0 0 20 0 1 0 382880616 308502528 60127 33554432000 4194304 5654031 140736977351552 140736977339368 4215097 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30817/statm: 75318 60127 142 357 0 74958 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 316224
[startup+1422.31 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 30939
/proc/meminfo: memFree=31194732/32873852 swapFree=6860/6860
[pid=30811] ppid=30809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30811/stat : 30811 (npSolver-pbo-I.) S 30809 30811 25581 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382880597 9367552 274 33554432000 4194304 5064252 140733564727936 140733564726848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30811/statm: 2287 274 233 213 0 72 0
[pid=30812] ppid=30811 vsize=5804 CPUtime=0.16 cores=0,2,4,6
/proc/30812/stat : 30812 (npSolver-pbo) S 30811 30811 25581 0 -1 4202496 3096 3369 0 0 4 0 12 0 20 0 1 0 382880598 5943296 1103 33554432000 4194304 6004724 140736844754912 140736844741192 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30812/statm: 1451 1103 152 442 0 1005 0
[pid=30817] ppid=30812 vsize=171520 CPUtime=1421.81 cores=0,2,4,6
/proc/30817/stat : 30817 (glucosInc) R 30812 30811 25581 0 -1 4202496 59448 0 0 0 142079 102 0 0 20 0 1 0 382880616 175636480 42337 33554432000 4194304 5654031 140736977351552 140736977339368 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30817/statm: 42880 42337 142 357 0 42520 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 186472
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 30939
/proc/meminfo: memFree=31138256/32873852 swapFree=6860/6860
[pid=30811] ppid=30809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30811/stat : 30811 (npSolver-pbo-I.) S 30809 30811 25581 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382880597 9367552 274 33554432000 4194304 5064252 140733564727936 140733564726848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30811/statm: 2287 274 233 213 0 72 0
[pid=30812] ppid=30811 vsize=5804 CPUtime=0.16 cores=0,2,4,6
/proc/30812/stat : 30812 (npSolver-pbo) S 30811 30811 25581 0 -1 4202496 3096 3369 0 0 4 0 12 0 20 0 1 0 382880598 5943296 1103 33554432000 4194304 6004724 140736844754912 140736844741192 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30812/statm: 1451 1103 152 442 0 1005 0
[pid=30817] ppid=30812 vsize=141560 CPUtime=1481.79 cores=0,2,4,6
/proc/30817/stat : 30817 (glucosInc) R 30812 30811 25581 0 -1 4202496 60990 0 0 0 148074 105 0 0 20 0 1 0 382880616 144957440 33781 33554432000 4194304 5654031 140736977351552 140736977339368 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30817/statm: 35390 33781 142 357 0 35030 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 156512
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 30941
/proc/meminfo: memFree=31038260/32873852 swapFree=6860/6860
[pid=30811] ppid=30809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30811/stat : 30811 (npSolver-pbo-I.) S 30809 30811 25581 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382880597 9367552 274 33554432000 4194304 5064252 140733564727936 140733564726848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30811/statm: 2287 274 233 213 0 72 0
[pid=30812] ppid=30811 vsize=5804 CPUtime=0.16 cores=0,2,4,6
/proc/30812/stat : 30812 (npSolver-pbo) S 30811 30811 25581 0 -1 4202496 3096 3369 0 0 4 0 12 0 20 0 1 0 382880598 5943296 1103 33554432000 4194304 6004724 140736844754912 140736844741192 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30812/statm: 1451 1103 152 442 0 1005 0
[pid=30817] ppid=30812 vsize=303856 CPUtime=1541.78 cores=0,2,4,6
/proc/30817/stat : 30817 (glucosInc) R 30812 30811 25581 0 -1 4202496 62456 0 0 0 154071 107 0 0 20 0 1 0 382880616 311148544 65893 33554432000 4194304 5654031 140736977351552 140736977339368 4232973 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30817/statm: 75964 65893 142 357 0 75604 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 318808
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30941
/proc/meminfo: memFree=31174892/32873852 swapFree=6860/6860
[pid=30811] ppid=30809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30811/stat : 30811 (npSolver-pbo-I.) S 30809 30811 25581 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382880597 9367552 274 33554432000 4194304 5064252 140733564727936 140733564726848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30811/statm: 2287 274 233 213 0 72 0
[pid=30812] ppid=30811 vsize=5804 CPUtime=0.16 cores=0,2,4,6
/proc/30812/stat : 30812 (npSolver-pbo) S 30811 30811 25581 0 -1 4202496 3096 3369 0 0 4 0 12 0 20 0 1 0 382880598 5943296 1103 33554432000 4194304 6004724 140736844754912 140736844741192 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30812/statm: 1451 1103 152 442 0 1005 0
[pid=30817] ppid=30812 vsize=224896 CPUtime=1601.78 cores=0,2,4,6
/proc/30817/stat : 30817 (glucosInc) R 30812 30811 25581 0 -1 4202496 64947 0 0 0 160065 113 0 0 20 0 1 0 382880616 230293504 44484 33554432000 4194304 5654031 140736977351552 140736977339368 4215913 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30817/statm: 56224 44484 142 357 0 55864 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 239848
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30941
/proc/meminfo: memFree=31106488/32873852 swapFree=6860/6860
[pid=30811] ppid=30809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30811/stat : 30811 (npSolver-pbo-I.) S 30809 30811 25581 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382880597 9367552 274 33554432000 4194304 5064252 140733564727936 140733564726848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30811/statm: 2287 274 233 213 0 72 0
[pid=30812] ppid=30811 vsize=5804 CPUtime=0.16 cores=0,2,4,6
/proc/30812/stat : 30812 (npSolver-pbo) S 30811 30811 25581 0 -1 4202496 3096 3369 0 0 4 0 12 0 20 0 1 0 382880598 5943296 1103 33554432000 4194304 6004724 140736844754912 140736844741192 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30812/statm: 1451 1103 152 442 0 1005 0
[pid=30817] ppid=30812 vsize=175540 CPUtime=1661.76 cores=0,2,4,6
/proc/30817/stat : 30817 (glucosInc) R 30812 30811 25581 0 -1 4202496 66741 0 0 0 166061 115 0 0 20 0 1 0 382880616 179752960 36686 33554432000 4194304 5654031 140736977351552 140736977339368 4216672 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30817/statm: 43885 36686 142 357 0 43525 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 190492
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30941
/proc/meminfo: memFree=31035796/32873852 swapFree=6860/6860
[pid=30811] ppid=30809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30811/stat : 30811 (npSolver-pbo-I.) S 30809 30811 25581 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382880597 9367552 274 33554432000 4194304 5064252 140733564727936 140733564726848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30811/statm: 2287 274 233 213 0 72 0
[pid=30812] ppid=30811 vsize=5804 CPUtime=0.16 cores=0,2,4,6
/proc/30812/stat : 30812 (npSolver-pbo) S 30811 30811 25581 0 -1 4202496 3096 3369 0 0 4 0 12 0 20 0 1 0 382880598 5943296 1103 33554432000 4194304 6004724 140736844754912 140736844741192 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30812/statm: 1451 1103 152 442 0 1005 0
[pid=30817] ppid=30812 vsize=307016 CPUtime=1721.76 cores=0,2,4,6
/proc/30817/stat : 30817 (glucosInc) R 30812 30811 25581 0 -1 4202496 67614 0 0 0 172058 118 0 0 20 0 1 0 382880616 314384384 66683 33554432000 4194304 5654031 140736977351552 140736977339368 4233144 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30817/statm: 76754 66683 142 357 0 76394 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 321968
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30941
/proc/meminfo: memFree=31039568/32873852 swapFree=6860/6860
[pid=30811] ppid=30809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30811/stat : 30811 (npSolver-pbo-I.) S 30809 30811 25581 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382880597 9367552 274 33554432000 4194304 5064252 140733564727936 140733564726848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30811/statm: 2287 274 233 213 0 72 0
[pid=30812] ppid=30811 vsize=5804 CPUtime=0.16 cores=0,2,4,6
/proc/30812/stat : 30812 (npSolver-pbo) S 30811 30811 25581 0 -1 4202496 3096 3369 0 0 4 0 12 0 20 0 1 0 382880598 5943296 1103 33554432000 4194304 6004724 140736844754912 140736844741192 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30812/statm: 1451 1103 152 442 0 1005 0
[pid=30817] ppid=30812 vsize=225628 CPUtime=1781.75 cores=0,2,4,6
/proc/30817/stat : 30817 (glucosInc) R 30812 30811 25581 0 -1 4202496 69485 0 0 0 178052 123 0 0 20 0 1 0 382880616 231043072 44155 33554432000 4194304 5654031 140736977351552 140736977349640 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30817/statm: 56407 44155 142 357 0 56047 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 240580
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30942
/proc/meminfo: memFree=31134076/32873852 swapFree=6860/6860
[pid=30811] ppid=30809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30811/stat : 30811 (npSolver-pbo-I.) S 30809 30811 25581 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382880597 9367552 274 33554432000 4194304 5064252 140733564727936 140733564726848 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30811/statm: 2287 274 233 213 0 72 0
[pid=30812] ppid=30811 vsize=5804 CPUtime=0.16 cores=0,2,4,6
/proc/30812/stat : 30812 (npSolver-pbo) S 30811 30811 25581 0 -1 4202496 3096 3369 0 0 4 0 12 0 20 0 1 0 382880598 5943296 1103 33554432000 4194304 6004724 140736844754912 140736844741192 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30812/statm: 1451 1103 152 442 0 1005 0
[pid=30817] ppid=30812 vsize=225628 CPUtime=1799.85 cores=0,2,4,6
/proc/30817/stat : 30817 (glucosInc) R 30812 30811 25581 0 -1 4202496 69503 0 0 0 179862 123 0 0 20 0 1 0 382880616 231043072 53371 33554432000 4194304 5654031 140736977351552 140736977339368 4216579 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30817/statm: 56407 53371 142 357 0 56047 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 240580
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 30811 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=165974
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=18997
# CPU time returned by wait4() is 0.184971
# 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): 1798.78
CPU system time (s): 1.23
CPU usage (%): 99.9776
Max. virtual memory (cumulated for all children) (KiB): 503548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.165974
system time used= 0.018997
maximum resident set size= 32880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6839
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 7
runsolver used 2.67659 second user time and 7.16391 second system time
The end