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-3702790-1338052435/watcher-3702790-1338052435 -o /tmp/evaluation-result-3702790-1338052435/solver-3702790-1338052435 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702790-1338052435.opb 797022658 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.04 2.05 1.91 3/175 3765
/proc/meminfo: memFree=29800208/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
[startup+0.269166 s]
/proc/loadavg: 2.04 2.05 1.91 3/175 3765
/proc/meminfo: memFree=29800208/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.398618 s]
/proc/loadavg: 2.04 2.05 1.91 3/175 3765
/proc/meminfo: memFree=29800208/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.693318 s]
/proc/loadavg: 2.04 2.05 1.91 3/175 3765
/proc/meminfo: memFree=29800208/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.750293 s]
/proc/loadavg: 2.04 2.05 1.91 3/175 3765
/proc/meminfo: memFree=29800208/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50636 s]
/proc/loadavg: 1.88 2.02 1.89 4/181 3791
/proc/meminfo: memFree=29752732/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
[pid=3767] ppid=3764 vsize=9372 CPUtime=1.14 cores=0,2,4,6
/proc/3767/stat : 3767 (npSolver-pbo) S 3764 3764 3390 0 -1 4202496 4073 13553 0 0 43 15 49 7 20 0 1 0 271369156 9596928 1814 33554432000 4194304 5992684 140735341356096 140735341341928 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3767/statm: 2343 1814 194 440 0 1899 0
[pid=3790] ppid=3767 vsize=16296 CPUtime=0.37 cores=0,2,4,6
/proc/3790/stat : 3790 (glucosInc) R 3767 3764 3390 0 -1 4202496 2569 0 0 0 37 0 0 0 20 0 1 0 271369268 16687104 3562 33554432000 4194304 5654031 140733755628784 140733755616600 4216337 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/3790/statm: 4074 3562 140 357 0 3714 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 34816
[startup+3.10029 s]
/proc/loadavg: 1.88 2.02 1.89 2/181 3794
/proc/meminfo: memFree=29762408/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
[pid=3767] ppid=3764 vsize=9372 CPUtime=1.83 cores=0,2,4,6
/proc/3767/stat : 3767 (npSolver-pbo) S 3764 3764 3390 0 -1 4202496 4612 16723 0 0 45 15 114 9 20 0 1 0 271369156 9596928 1814 33554432000 4194304 5992684 140735341356096 140735341341928 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3767/statm: 2343 1814 194 440 0 1899 0
[pid=3794] ppid=3767 vsize=16860 CPUtime=1.1 cores=0,2,4,6
/proc/3794/stat : 3794 (glucosInc) R 3767 3764 3390 0 -1 4202496 2713 0 0 0 109 1 0 0 20 0 1 0 271369354 17264640 3676 33554432000 4194304 5654031 140735157485568 140735157473384 4232477 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/3794/statm: 4215 3676 141 357 0 3855 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 35380
[startup+6.30034 s]
/proc/loadavg: 1.88 2.02 1.89 4/181 3801
/proc/meminfo: memFree=29754512/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
[pid=3767] ppid=3764 vsize=9372 CPUtime=5.06 cores=0,2,4,6
/proc/3767/stat : 3767 (npSolver-pbo) S 3764 3764 3390 0 -1 4202496 5690 23952 0 0 47 16 430 13 20 0 1 0 271369156 9596928 1814 33554432000 4194304 5992684 140735341356096 140735341341928 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3767/statm: 2343 1814 194 440 0 1899 0
[pid=3799] ppid=3767 vsize=16812 CPUtime=1.06 cores=0,2,4,6
/proc/3799/stat : 3799 (glucosInc) R 3767 3764 3390 0 -1 4202496 3025 0 0 0 106 0 0 0 20 0 1 0 271369678 17215488 3478 33554432000 4194304 5654031 140736735333040 140736735320856 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3799/statm: 4203 3478 141 357 0 3843 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 35332
[startup+12.7003 s]
/proc/loadavg: 1.89 2.01 1.90 4/181 3807
/proc/meminfo: memFree=29746296/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
[pid=3767] ppid=3764 vsize=9372 CPUtime=7.23 cores=0,2,4,6
/proc/3767/stat : 3767 (npSolver-pbo) S 3764 3764 3390 0 -1 4202496 6227 28139 0 0 48 16 645 14 20 0 1 0 271369156 9596928 1814 33554432000 4194304 5992684 140735341356096 140735341341928 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3767/statm: 2343 1814 194 440 0 1899 0
[pid=3805] ppid=3767 vsize=28836 CPUtime=5.28 cores=0,2,4,6
/proc/3805/stat : 3805 (glucosInc) R 3767 3764 3390 0 -1 4202496 5700 0 0 0 527 1 0 0 20 0 1 0 271369896 29528064 6051 33554432000 4194304 5654031 140734421076176 140734421063992 4232784 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3805/statm: 7209 6051 142 357 0 6849 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 47356
[startup+25.5003 s]
/proc/loadavg: 1.91 2.01 1.90 3/181 3811
/proc/meminfo: memFree=29718512/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
[pid=3767] ppid=3764 vsize=9372 CPUtime=12.66 cores=0,2,4,6
/proc/3767/stat : 3767 (npSolver-pbo) S 3764 3764 3390 0 -1 4202496 6766 34369 0 0 50 17 1183 16 20 0 1 0 271369156 9596928 1814 33554432000 4194304 5992684 140735341356096 140735341341928 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3767/statm: 2343 1814 194 440 0 1899 0
[pid=3809] ppid=3767 vsize=33296 CPUtime=12.66 cores=0,2,4,6
/proc/3809/stat : 3809 (glucosInc) R 3767 3764 3390 0 -1 4202496 5884 0 0 0 1264 2 0 0 20 0 1 0 271370438 34095104 7420 33554432000 4194304 5654031 140736258202128 140736258189944 4217205 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3809/statm: 8324 7420 142 357 0 7964 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 51816
[startup+51.1003 s]
/proc/loadavg: 1.94 2.01 1.90 4/181 3817
/proc/meminfo: memFree=29724592/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
[pid=3767] ppid=3764 vsize=9372 CPUtime=46.13 cores=0,2,4,6
/proc/3767/stat : 3767 (npSolver-pbo) S 3764 3764 3390 0 -1 4202496 7844 47285 0 0 52 17 4523 21 20 0 1 0 271369156 9596928 1814 33554432000 4194304 5992684 140735341356096 140735341341928 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3767/statm: 2343 1814 194 440 0 1899 0
[pid=3817] ppid=3767 vsize=28888 CPUtime=4.76 cores=0,2,4,6
/proc/3817/stat : 3817 (glucosInc) R 3767 3764 3390 0 -1 4202496 5000 0 0 0 475 1 0 0 20 0 1 0 271373788 29581312 6436 33554432000 4194304 5654031 140733226991584 140733226979400 4215932 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3817/statm: 7222 6436 142 357 0 6862 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 47408
[startup+102.3 s]
/proc/loadavg: 1.97 2.01 1.90 3/181 3821
/proc/meminfo: memFree=29706472/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
[pid=3767] ppid=3764 vsize=9372 CPUtime=46.13 cores=0,2,4,6
/proc/3767/stat : 3767 (npSolver-pbo) S 3764 3764 3390 0 -1 4202496 7844 47285 0 0 52 17 4523 21 20 0 1 0 271369156 9596928 1814 33554432000 4194304 5992684 140735341356096 140735341341928 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3767/statm: 2343 1814 194 440 0 1899 0
[pid=3817] ppid=3767 vsize=78028 CPUtime=55.94 cores=0,2,4,6
/proc/3817/stat : 3817 (glucosInc) R 3767 3764 3390 0 -1 4202496 9149 0 0 0 5591 3 0 0 20 0 1 0 271373788 79900672 14568 33554432000 4194304 5654031 140733226991584 140733226989464 4233204 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3817/statm: 19507 14568 142 357 0 19147 0
Current children cumulated CPU time (s) 102.07
Current children cumulated vsize (KiB) 96548
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.91 4/181 3821
/proc/meminfo: memFree=29613500/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
[pid=3767] ppid=3764 vsize=9372 CPUtime=46.13 cores=0,2,4,6
/proc/3767/stat : 3767 (npSolver-pbo) S 3764 3764 3390 0 -1 4202496 7844 47285 0 0 52 17 4523 21 20 0 1 0 271369156 9596928 1814 33554432000 4194304 5992684 140735341356096 140735341341928 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3767/statm: 2343 1814 194 440 0 1899 0
[pid=3817] ppid=3767 vsize=127348 CPUtime=115.92 cores=0,2,4,6
/proc/3817/stat : 3817 (glucosInc) R 3767 3764 3390 0 -1 4202496 12072 0 0 0 11583 9 0 0 20 0 1 0 271373788 130404352 24402 33554432000 4194304 5654031 140733226991584 140733226989512 4233204 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3817/statm: 31837 24402 142 357 0 31477 0
Current children cumulated CPU time (s) 162.05
Current children cumulated vsize (KiB) 145868
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.91 4/180 3823
/proc/meminfo: memFree=29621464/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
[pid=3767] ppid=3764 vsize=9372 CPUtime=46.13 cores=0,2,4,6
/proc/3767/stat : 3767 (npSolver-pbo) S 3764 3764 3390 0 -1 4202496 7844 47285 0 0 52 17 4523 21 20 0 1 0 271369156 9596928 1814 33554432000 4194304 5992684 140735341356096 140735341341928 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3767/statm: 2343 1814 194 440 0 1899 0
[pid=3817] ppid=3767 vsize=90028 CPUtime=175.92 cores=0,2,4,6
/proc/3817/stat : 3817 (glucosInc) R 3767 3764 3390 0 -1 4202496 13551 0 0 0 17579 13 0 0 20 0 1 0 271373788 92188672 21224 33554432000 4194304 5654031 140733226991584 140733226979400 4232784 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3817/statm: 22507 21224 142 357 0 22147 0
Current children cumulated CPU time (s) 222.05
Current children cumulated vsize (KiB) 108548
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29458580/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
[pid=3767] ppid=3764 vsize=9372 CPUtime=977.58 cores=0,2,4,6
/proc/3767/stat : 3767 (npSolver-pbo) S 3764 3764 3390 0 -1 4202496 8922 102715 0 0 55 17 97584 102 20 0 1 0 271369156 9596928 1814 33554432000 4194304 5992684 140735341356096 140735341341928 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3767/statm: 2343 1814 194 440 0 1899 0
[pid=3837] ppid=3767 vsize=215416 CPUtime=264.21 cores=0,2,4,6
/proc/3837/stat : 3837 (glucosInc) R 3767 3764 3390 0 -1 4202496 16055 0 0 0 26403 18 0 0 20 0 1 0 271466958 220585984 38004 33554432000 4194304 5654031 140736876073648 140736876071736 4232700 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3837/statm: 53854 38004 142 357 0 53494 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 233936
[startup+1302.31 s]
/proc/loadavg: 2.00 2.01 1.93 4/181 3838
/proc/meminfo: memFree=29529836/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
[pid=3767] ppid=3764 vsize=9372 CPUtime=977.58 cores=0,2,4,6
/proc/3767/stat : 3767 (npSolver-pbo) S 3764 3764 3390 0 -1 4202496 8922 102715 0 0 55 17 97584 102 20 0 1 0 271369156 9596928 1814 33554432000 4194304 5992684 140735341356096 140735341341928 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3767/statm: 2343 1814 194 440 0 1899 0
[pid=3837] ppid=3767 vsize=165328 CPUtime=324.21 cores=0,2,4,6
/proc/3837/stat : 3837 (glucosInc) R 3767 3764 3390 0 -1 4202496 18453 0 0 0 32398 23 0 0 20 0 1 0 271466958 169295872 35143 33554432000 4194304 5654031 140736876073648 140736876071736 4232752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3837/statm: 41332 35143 142 357 0 40972 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 183848
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.93 4/181 3838
/proc/meminfo: memFree=29394712/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
[pid=3767] ppid=3764 vsize=9372 CPUtime=977.58 cores=0,2,4,6
/proc/3767/stat : 3767 (npSolver-pbo) S 3764 3764 3390 0 -1 4202496 8922 102715 0 0 55 17 97584 102 20 0 1 0 271369156 9596928 1814 33554432000 4194304 5992684 140735341356096 140735341341928 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3767/statm: 2343 1814 194 440 0 1899 0
[pid=3837] ppid=3767 vsize=165328 CPUtime=384.19 cores=0,2,4,6
/proc/3837/stat : 3837 (glucosInc) R 3767 3764 3390 0 -1 4202496 21120 0 0 0 38390 29 0 0 20 0 1 0 271466958 169295872 29986 33554432000 4194304 5654031 140736876073648 140736876071736 4232968 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3837/statm: 41332 29986 142 357 0 40972 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 183848
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/181 3838
/proc/meminfo: memFree=29376864/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
[pid=3767] ppid=3764 vsize=9372 CPUtime=977.58 cores=0,2,4,6
/proc/3767/stat : 3767 (npSolver-pbo) S 3764 3764 3390 0 -1 4202496 8922 102715 0 0 55 17 97584 102 20 0 1 0 271369156 9596928 1814 33554432000 4194304 5992684 140735341356096 140735341341928 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3767/statm: 2343 1814 194 440 0 1899 0
[pid=3837] ppid=3767 vsize=215416 CPUtime=444.18 cores=0,2,4,6
/proc/3837/stat : 3837 (glucosInc) R 3767 3764 3390 0 -1 4202496 22852 0 0 0 44384 34 0 0 20 0 1 0 271466958 220585984 45684 33554432000 4194304 5654031 140736876073648 140736876071736 4215014 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3837/statm: 53854 45684 142 357 0 53494 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 233936
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/181 3839
/proc/meminfo: memFree=29479408/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
[pid=3767] ppid=3764 vsize=9372 CPUtime=977.58 cores=0,2,4,6
/proc/3767/stat : 3767 (npSolver-pbo) S 3764 3764 3390 0 -1 4202496 8922 102715 0 0 55 17 97584 102 20 0 1 0 271369156 9596928 1814 33554432000 4194304 5992684 140735341356096 140735341341928 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3767/statm: 2343 1814 194 440 0 1899 0
[pid=3837] ppid=3767 vsize=165328 CPUtime=504.17 cores=0,2,4,6
/proc/3837/stat : 3837 (glucosInc) R 3767 3764 3390 0 -1 4202496 25258 0 0 0 50378 39 0 0 20 0 1 0 271466958 169295872 37191 33554432000 4194304 5654031 140736876073648 140736876061464 4232927 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3837/statm: 41332 37191 142 357 0 40972 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 183848
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/181 3839
/proc/meminfo: memFree=29337056/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
[pid=3767] ppid=3764 vsize=9372 CPUtime=977.58 cores=0,2,4,6
/proc/3767/stat : 3767 (npSolver-pbo) S 3764 3764 3390 0 -1 4202496 8922 102715 0 0 55 17 97584 102 20 0 1 0 271369156 9596928 1814 33554432000 4194304 5992684 140735341356096 140735341341928 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3767/statm: 2343 1814 194 440 0 1899 0
[pid=3837] ppid=3767 vsize=177220 CPUtime=564.16 cores=0,2,4,6
/proc/3837/stat : 3837 (glucosInc) R 3767 3764 3390 0 -1 4202496 28542 0 0 0 56372 44 0 0 20 0 1 0 271466958 181473280 43703 33554432000 4194304 5654031 140736876073648 140736876071736 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3837/statm: 44305 43703 142 357 0 43945 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 195740
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/182 3842
/proc/meminfo: memFree=29383168/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
[pid=3767] ppid=3764 vsize=9372 CPUtime=977.58 cores=0,2,4,6
/proc/3767/stat : 3767 (npSolver-pbo) S 3764 3764 3390 0 -1 4202496 8922 102715 0 0 55 17 97584 102 20 0 1 0 271369156 9596928 1814 33554432000 4194304 5992684 140735341356096 140735341341928 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3767/statm: 2343 1814 194 440 0 1899 0
[pid=3837] ppid=3767 vsize=227308 CPUtime=624.15 cores=0,2,4,6
/proc/3837/stat : 3837 (glucosInc) R 3767 3764 3390 0 -1 4202496 30225 0 0 0 62367 48 0 0 20 0 1 0 271466958 232763392 51184 33554432000 4194304 5654031 140736876073648 140736876061464 4232794 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3837/statm: 56827 51184 142 357 0 56467 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 245828
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 3844
/proc/meminfo: memFree=29443652/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
[pid=3767] ppid=3764 vsize=9372 CPUtime=1646.51 cores=0,2,4,6
/proc/3767/stat : 3767 (npSolver-pbo) S 3764 3764 3390 0 -1 4202496 9461 135546 0 0 57 17 164422 155 20 0 1 0 271369156 9596928 1814 33554432000 4194304 5992684 140735341356096 140735341341928 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3767/statm: 2343 1814 194 440 0 1899 0
[pid=3844] ppid=3767 vsize=33260 CPUtime=15.21 cores=0,2,4,6
/proc/3844/stat : 3844 (glucosInc) R 3767 3764 3390 0 -1 4202496 6259 0 0 0 1519 2 0 0 20 0 1 0 271533863 34058240 7780 33554432000 4194304 5654031 140735916348864 140735916336680 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3844/statm: 8315 7780 142 357 0 7955 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 51780
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/181 3844
/proc/meminfo: memFree=29501172/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
[pid=3767] ppid=3764 vsize=9372 CPUtime=1646.51 cores=0,2,4,6
/proc/3767/stat : 3767 (npSolver-pbo) S 3764 3764 3390 0 -1 4202496 9461 135546 0 0 57 17 164422 155 20 0 1 0 271369156 9596928 1814 33554432000 4194304 5992684 140735341356096 140735341341928 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3767/statm: 2343 1814 194 440 0 1899 0
[pid=3844] ppid=3767 vsize=85384 CPUtime=75.21 cores=0,2,4,6
/proc/3844/stat : 3844 (glucosInc) R 3767 3764 3390 0 -1 4202496 9067 0 0 0 7517 4 0 0 20 0 1 0 271533863 87433216 15038 33554432000 4194304 5654031 140735916348864 140735916336680 4232772 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3844/statm: 21346 15038 142 357 0 20986 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 103904
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 3845
/proc/meminfo: memFree=29376992/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
[pid=3767] ppid=3764 vsize=9372 CPUtime=1646.51 cores=0,2,4,6
/proc/3767/stat : 3767 (npSolver-pbo) S 3764 3764 3390 0 -1 4202496 9461 135546 0 0 57 17 164422 155 20 0 1 0 271369156 9596928 1814 33554432000 4194304 5992684 140735341356096 140735341341928 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3767/statm: 2343 1814 194 440 0 1899 0
[pid=3844] ppid=3767 vsize=85384 CPUtime=135.19 cores=0,2,4,6
/proc/3844/stat : 3844 (glucosInc) R 3767 3764 3390 0 -1 4202496 9628 0 0 0 13514 5 0 0 20 0 1 0 271533863 87433216 16574 33554432000 4194304 5654031 140735916348864 140735916336680 4216577 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3844/statm: 21346 16574 142 357 0 20986 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 103904
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.61 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 3845
/proc/meminfo: memFree=29536892/32873844 swapFree=7112/7112
[pid=3764] ppid=3760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3764/stat : 3764 (npSolver-pbo-It) S 3760 3764 3390 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140734982792528 140734982791440 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3764/statm: 2287 275 233 213 0 72 0
[pid=3767] ppid=3764 vsize=9372 CPUtime=1646.51 cores=0,2,4,6
/proc/3767/stat : 3767 (npSolver-pbo) S 3764 3764 3390 0 -1 4202496 9461 135546 0 0 57 17 164422 155 20 0 1 0 271369156 9596928 1814 33554432000 4194304 5992684 140735341356096 140735341341928 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3767/statm: 2343 1814 194 440 0 1899 0
[pid=3844] ppid=3767 vsize=85384 CPUtime=153.5 cores=0,2,4,6
/proc/3844/stat : 3844 (glucosInc) R 3767 3764 3390 0 -1 4202496 10009 0 0 0 15343 7 0 0 20 0 1 0 271533863 87433216 16578 33554432000 4194304 5654031 140735916348864 140735916336680 4232688 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3844/statm: 21346 16578 142 357 0 20986 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 103904
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.62
CPU time (s): 1800.04
CPU user time (s): 1798.23
CPU system time (s): 1.81072
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 245828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.23
system time used= 1.81072
maximum resident set size= 204736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155398
page faults= 0
swaps= 0
block input operations= 0
block output operations= 77824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 743
involuntary context switches= 2643
runsolver used 3.23251 second user time and 7.93979 second system time
The end