runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3481441-1307577832/watcher-3481441-1307577832 -o /tmp/evaluation-result-3481441-1307577832/solver-3481441-1307577832 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481441-1307577832.opb -seed 143886966 -budget 1800
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.28 2.11 1.60 2/637 28229
/proc/meminfo: memFree=18663780/32951124 swapFree=49244124/67111528
[pid=28229] ppid=28227 vsize=16236 CPUtime=0 cores=0,2,4,6
/proc/28229/stat : 28229 (python) R 28227 28229 26377 0 -1 4202496 1045 0 0 0 0 0 0 0 17 0 1 0 869386084 16625664 916 33554432000 4194304 5683644 140735083667888 18446744073709551615 218370651092 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/28229/statm: 4059 916 381 364 0 546 0
[startup+0.0513529 s]
/proc/loadavg: 2.28 2.11 1.60 2/637 28229
/proc/meminfo: memFree=18663780/32951124 swapFree=49244124/67111528
[pid=28229] ppid=28227 vsize=29784 CPUtime=0.03 cores=0,2,4,6
/proc/28229/stat : 28229 (python) R 28227 28229 26377 0 -1 4202496 1456 0 0 0 3 0 0 0 17 0 1 0 869386084 30498816 1296 33554432000 4194304 5683644 140735083667888 18446744073709551615 218370955264 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/28229/statm: 7446 1296 443 364 0 816 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29784
[startup+0.100331 s]
/proc/loadavg: 2.28 2.11 1.60 2/637 28229
/proc/meminfo: memFree=18663780/32951124 swapFree=49244124/67111528
[pid=28229] ppid=28227 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/28229/stat : 28229 (python) R 28227 28229 26377 0 -1 4202496 3168 931 1 0 6 1 0 0 18 0 1 0 869386084 98430976 2483 33554432000 4194304 5683644 140735083667888 18446744073709551615 5158128 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/28229/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.300325 s]
/proc/loadavg: 2.28 2.11 1.60 2/637 28229
/proc/meminfo: memFree=18663780/32951124 swapFree=49244124/67111528
[pid=28229] ppid=28227 vsize=184240 CPUtime=0.22 cores=0,2,4,6
/proc/28229/stat : 28229 (python) R 28227 28229 26377 0 -1 4202496 6282 931 1 0 16 6 0 0 17 0 1 0 869386084 188661760 4587 33554432000 4194304 5683644 140735083667888 18446744073709551615 218366034960 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/28229/statm: 46060 4589 1250 364 0 3566 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 184240
[startup+0.700219 s]
/proc/loadavg: 2.28 2.11 1.60 2/637 28229
/proc/meminfo: memFree=18663780/32951124 swapFree=49244124/67111528
[pid=28229] ppid=28227 vsize=283192 CPUtime=0.36 cores=0,2,4,6
/proc/28229/stat : 28229 (python) S 28227 28229 26377 0 -1 4202496 9381 931 1 0 28 8 0 0 16 0 1 0 869386084 289988608 7112 33554432000 4194304 5683644 140735083667888 18446744073709551615 218370977295 0 0 16781312 2 1864031568993976320 0 0 17 4 0 0 0
/proc/28229/statm: 70798 7112 1777 364 0 5691 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 283192
[startup+1.50109 s]
/proc/loadavg: 2.28 2.11 1.60 3/639 28235
/proc/meminfo: memFree=18632268/32951124 swapFree=49244124/67111528
[pid=28229] ppid=28227 vsize=299152 CPUtime=1.59 cores=0,2,4,6
/proc/28229/stat : 28229 (python) R 28227 28229 26377 0 -1 4202496 16480 1824 1 0 60 17 75 7 17 0 1 0 869386084 306331648 10952 33554432000 4194304 5683644 140735083667888 18446744073709551615 218370654327 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/28229/statm: 74788 10972 1782 364 0 9681 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 299152
[startup+3.1148 s]
/proc/loadavg: 2.28 2.11 1.60 3/639 28235
/proc/meminfo: memFree=18632268/32951124 swapFree=49244124/67111528
[pid=28229] ppid=28227 vsize=320048 CPUtime=3.21 cores=0,2,4,6
/proc/28229/stat : 28229 (python) R 28227 28229 26377 0 -1 4202496 30732 1824 1 0 220 19 75 7 20 0 1 0 869386084 327729152 16360 33554432000 4194304 5683644 140735083667888 18446744073709551615 218370624384 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/28229/statm: 80012 16360 1816 364 0 14905 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 320048
[startup+6.30128 s]
/proc/loadavg: 2.26 2.10 1.60 3/641 28239
/proc/meminfo: memFree=18538560/32951124 swapFree=49244124/67111528
[pid=28229] ppid=28227 vsize=333288 CPUtime=4.31 cores=0,2,4,6
/proc/28229/stat : 28229 (python) S 28227 28229 26377 0 -1 4202496 32135 1824 1 0 330 19 75 7 20 0 2 0 869386084 341286912 17162 33554432000 4194304 5683644 140735083667888 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/28229/statm: 83322 17162 1871 364 0 18209 0
[pid=28237] ppid=28229 vsize=323044 CPUtime=0 cores=0,2,4,6
/proc/28237/stat : 28237 (python) S 28229 28229 26377 0 -1 4202560 738 0 0 0 0 0 0 0 15 0 1 0 869386505 330797056 15605 33554432000 4194304 5683644 140735083667888 18446744073709551615 218370977295 0 0 16781312 33554946 4033095563640569856 0 0 17 4 0 0 0
/proc/28237/statm: 80761 15605 318 364 0 15648 0
[pid=28239] ppid=28237 vsize=53512 CPUtime=2.07 cores=0,2,4,6
/proc/28239/stat : 28239 (wbo1.4a) R 28237 28239 28239 0 -1 4202496 18675 0 0 0 205 2 0 0 25 0 1 0 869386506 54796288 12275 33554432000 134512640 135751879 4290034384 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/28239/statm: 13378 12275 146 303 0 13073 0
[pid=28229/tid=28238] ppid=28227 vsize=333288 CPUtime=0.82 cores=0,2,4,6
/proc/28229/task/28238/stat : 28238 (python) S 28227 28229 26377 0 -1 4202560 26 1824 0 0 0 0 75 7 20 0 2 0 869386505 341286912 17162 33554432000 4194304 5683644 140735083667888 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318301120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 709844
[startup+12.7011 s]
/proc/loadavg: 2.24 2.10 1.61 3/641 28239
/proc/meminfo: memFree=18530568/32951124 swapFree=49244124/67111528
[pid=28229] ppid=28227 vsize=333288 CPUtime=4.31 cores=0,2,4,6
/proc/28229/stat : 28229 (python) S 28227 28229 26377 0 -1 4202496 32135 1824 1 0 330 19 75 7 20 0 2 0 869386084 341286912 17162 33554432000 4194304 5683644 140735083667888 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/28229/statm: 83322 17162 1871 364 0 18209 0
[pid=28237] ppid=28229 vsize=323044 CPUtime=0.01 cores=0,2,4,6
/proc/28237/stat : 28237 (python) S 28229 28229 26377 0 -1 4202560 875 0 0 0 1 0 0 0 15 0 1 0 869386505 330797056 15629 33554432000 4194304 5683644 140735083667888 18446744073709551615 218370977295 0 0 16781312 33554946 4294934785 0 0 17 4 0 0 0
/proc/28237/statm: 80761 15629 342 364 0 15648 0
[pid=28239] ppid=28237 vsize=56304 CPUtime=8.47 cores=0,2,4,6
/proc/28239/stat : 28239 (wbo1.4a) R 28237 28239 28239 0 -1 4202496 20613 0 0 0 844 3 0 0 25 0 1 0 869386506 57655296 13010 33554432000 134512640 135751879 4290034384 18446744073709551615 134611297 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/28239/statm: 14076 13010 146 303 0 13771 0
[pid=28229/tid=28238] ppid=28227 vsize=333288 CPUtime=0.82 cores=0,2,4,6
/proc/28229/task/28238/stat : 28238 (python) S 28227 28229 26377 0 -1 4202560 26 1824 0 0 0 0 75 7 20 0 2 0 869386505 341286912 17162 33554432000 4194304 5683644 140735083667888 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318301120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 712636
[startup+25.5009 s]
/proc/loadavg: 2.18 2.10 1.61 3/641 28239
/proc/meminfo: memFree=18529844/32951124 swapFree=49244124/67111528
[pid=28229] ppid=28227 vsize=333288 CPUtime=4.31 cores=0,2,4,6
/proc/28229/stat : 28229 (python) S 28227 28229 26377 0 -1 4202496 32135 1824 1 0 330 19 75 7 20 0 2 0 869386084 341286912 17162 33554432000 4194304 5683644 140735083667888 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/28229/statm: 83322 17162 1871 364 0 18209 0
[pid=28237] ppid=28229 vsize=323044 CPUtime=0.06 cores=0,2,4,6
/proc/28237/stat : 28237 (python) S 28229 28229 26377 0 -1 4202560 884 0 0 0 3 3 0 0 15 0 1 0 869386505 330797056 15629 33554432000 4194304 5683644 140735083667888 18446744073709551615 218370977295 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/28237/statm: 80761 15629 342 364 0 15648 0
[pid=28239] ppid=28237 vsize=56304 CPUtime=21.27 cores=0,2,4,6
/proc/28239/stat : 28239 (wbo1.4a) R 28237 28239 28239 0 -1 4202496 20613 0 0 0 2124 3 0 0 25 0 1 0 869386506 57655296 13010 33554432000 134512640 135751879 4290034384 18446744073709551615 134620474 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/28239/statm: 14076 13010 146 303 0 13771 0
[pid=28229/tid=28238] ppid=28227 vsize=333288 CPUtime=0.82 cores=0,2,4,6
/proc/28229/task/28238/stat : 28238 (python) S 28227 28229 26377 0 -1 4202560 26 1824 0 0 0 0 75 7 20 0 2 0 869386505 341286912 17162 33554432000 4194304 5683644 140735083667888 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318301120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.64
Current children cumulated vsize (KiB) 712636
[startup+51.1013 s]
/proc/loadavg: 2.45 2.17 1.65 3/633 28300
/proc/meminfo: memFree=18408308/32951124 swapFree=49244124/67111528
[pid=28229] ppid=28227 vsize=343544 CPUtime=4.33 cores=0,2,4,6
/proc/28229/stat : 28229 (python) S 28227 28229 26377 0 -1 4202496 33054 1824 1 0 332 19 75 7 20 0 3 0 869386084 351789056 17169 33554432000 4194304 5683644 140735083667888 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/28229/statm: 85886 17169 1874 364 0 20770 0
[pid=28237] ppid=28229 vsize=333288 CPUtime=0.17 cores=0,2,4,6
/proc/28237/stat : 28237 (python) S 28229 28229 26377 0 -1 4202560 1098 0 0 0 9 8 0 0 16 0 2 0 869386505 341286912 15697 33554432000 4194304 5683644 140735083667888 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28237/statm: 83322 15697 405 364 0 18209 0
[pid=28239] ppid=28237 vsize=59604 CPUtime=46.77 cores=0,2,4,6
/proc/28239/stat : 28239 (wbo1.4a) T 28237 28239 28239 0 -1 4202496 21469 0 0 0 4672 5 0 0 25 0 1 0 869386506 61034496 13866 33554432000 134512640 135751879 4290034384 18446744073709551615 134518831 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/28239/statm: 14901 13866 146 303 0 14596 0
[pid=28229/tid=28238] ppid=28227 vsize=343544 CPUtime=0.82 cores=0,2,4,6
/proc/28229/task/28238/stat : 28238 (python) S 28227 28229 26377 0 -1 4202560 26 1824 0 0 0 0 75 7 20 0 3 0 869386505 351789056 17169 33554432000 4194304 5683644 140735083667888 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318301120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.27
Current children cumulated vsize (KiB) 736436
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+99.3017 s]
/proc/loadavg: 2.19 2.14 1.66 7/680 28348
/proc/meminfo: memFree=15290108/32951124 swapFree=49244124/67111528
[pid=28229] ppid=28227 vsize=353800 CPUtime=4.36 cores=0,2,4,6
/proc/28229/stat : 28229 (python) S 28227 28229 26377 0 -1 4202496 33917 1824 1 0 335 19 75 7 20 0 4 0 869386084 362291200 17175 33554432000 4194304 5683644 140735083667888 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/28229/statm: 88450 17175 1876 364 0 23331 0
[pid=28237] ppid=28229 vsize=333288 CPUtime=0.17 cores=0,2,4,6
/proc/28237/stat : 28237 (python) S 28229 28229 26377 0 -1 4202560 1098 0 0 0 9 8 0 0 16 0 2 0 869386505 341286912 15697 33554432000 4194304 5683644 140735083667888 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28237/statm: 83322 15697 405 364 0 18209 0
[pid=28239] ppid=28237 vsize=59604 CPUtime=46.77 cores=0,2,4,6
/proc/28239/stat : 28239 (wbo1.4a) T 28237 28239 28239 0 -1 4202496 21469 0 0 0 4672 5 0 0 25 0 1 0 869386506 61034496 13866 33554432000 134512640 135751879 4290034384 18446744073709551615 134518831 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/28239/statm: 14901 13866 146 303 0 14596 0
[pid=28237/tid=28301] ppid=28229 vsize=333288 CPUtime=0 cores=0,2,4,6
/proc/28237/task/28301/stat : 28301 (python) S 28229 28229 26377 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869391184 341286912 15697 33554432000 4194304 5683644 140735083667888 18446744073709551615 218382780849 0 0 16781312 33554946 18446604449938950208 0 0 -1 6 0 0 0
[pid=28302] ppid=28229 vsize=333300 CPUtime=0.16 cores=0,2,4,6
/proc/28302/stat : 28302 (python) S 28229 28229 26377 0 -1 4202560 1120 0 0 0 8 8 0 0 16 0 2 0 869391186 341299200 15682 33554432000 4194304 5683644 140735083667888 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28302/statm: 83325 15682 390 364 0 18209 0
[pid=28304] ppid=28302 vsize=8544652 CPUtime=50.18 cores=0,2,4,6
/proc/28304/stat : 28304 (java) T 28302 28304 28304 0 -1 4202496 713120 0 1 0 4938 80 0 0 18 0 19 0 869391187 8749723648 709156 33554432000 1073741824 1073778376 140736061543648 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/28304/statm: 2136163 709156 2244 9 0 2126904 0
[pid=28304/tid=28305] ppid=28302 vsize=8544652 CPUtime=46.89 cores=0,2,4,6
/proc/28304/task/28305/stat : 28305 (java) T 28302 28304 28304 0 -1 4202560 619425 0 1 0 4622 67 0 0 25 0 19 0 869391187 8749723648 709156 33554432000 1073741824 1073778376 140736061543648 18446744073709551615 46912505625645 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 4
[pid=28304/tid=28306] ppid=28302 vsize=8544652 CPUtime=0.19 cores=0,2,4,6
/proc/28304/task/28306/stat : 28306 (java) T 28302 28304 28304 0 -1 4202560 12792 0 0 0 18 1 0 0 15 0 19 0 869391188 8749723648 709156 33554432000 1073741824 1073778376 140736061543648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28304/tid=28307] ppid=28302 vsize=8544652 CPUtime=0.16 cores=0,2,4,6
/proc/28304/task/28307/stat : 28307 (java) T 28302 28304 28304 0 -1 4202560 10093 0 0 0 15 1 0 0 15 0 19 0 869391188 8749723648 709156 33554432000 1073741824 1073778376 140736061543648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28304/tid=28308] ppid=28302 vsize=8544652 CPUtime=0.15 cores=0,2,4,6
/proc/28304/task/28308/stat : 28308 (java) T 28302 28304 28304 0 -1 4202560 8335 0 0 0 14 1 0 0 15 0 19 0 869391188 8749723648 709156 33554432000 1073741824 1073778376 140736061543648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=28304/tid=28309] ppid=28302 vsize=8544652 CPUtime=0.28 cores=0,2,4,6
/proc/28304/task/28309/stat : 28309 (java) T 28302 28304 28304 0 -1 4202560 15800 0 0 0 26 2 0 0 15 0 19 0 869391188 8749723648 709156 33554432000 1073741824 1073778376 140736061543648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28304/tid=28310] ppid=28302 vsize=8544652 CPUtime=0.1 cores=0,2,4,6
/proc/28304/task/28310/stat : 28310 (java) T 28302 28304 28304 0 -1 4202560 5895 0 0 0 9 1 0 0 15 0 19 0 869391188 8749723648 709156 33554432000 1073741824 1073778376 140736061543648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28304/tid=28311] ppid=28302 vsize=8544652 CPUtime=0.14 cores=0,2,4,6
/proc/28304/task/28311/stat : 28311 (java) T 28302 28304 28304 0 -1 4202560 8052 0 0 0 14 0 0 0 15 0 19 0 869391188 8749723648 709156 33554432000 1073741824 1073778376 140736061543648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28304/tid=28312] ppid=28302 vsize=8544652 CPUtime=0.09 cores=0,2,4,6
/proc/28304/task/28312/stat : 28312 (java) T 28302 28304 28304 0 -1 4202560 6001 0 0 0 9 0 0 0 15 0 19 0 869391188 8749723648 709156 33554432000 1073741824 1073778376 140736061543648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=28304/tid=28313] ppid=28302 vsize=8544652 CPUtime=0.22 cores=0,2,4,6
/proc/28304/task/28313/stat : 28313 (java) T 28302 28304 28304 0 -1 4202560 13958 0 0 0 21 1 0 0 15 0 19 0 869391188 8749723648 709156 33554432000 1073741824 1073778376 140736061543648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28304/tid=28314] ppid=28302 vsize=8544652 CPUtime=0 cores=0,2,4,6
/proc/28304/task/28314/stat : 28314 (java) T 28302 28304 28304 0 -1 4202560 1272 0 0 0 0 0 0 0 15 0 19 0 869391189 8749723648 709156 33554432000 1073741824 1073778376 140736061543648 18446744073709551615 218382773760 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28304/tid=28315] ppid=28302 vsize=8544652 CPUtime=0 cores=0,2,4,6
/proc/28304/task/28315/stat : 28315 (java) T 28302 28304 28304 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869391189 8749723648 709156 33554432000 1073741824 1073778376 140736061543648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28304/tid=28316] ppid=28302 vsize=8544652 CPUtime=0 cores=0,2,4,6
/proc/28304/task/28316/stat : 28316 (java) T 28302 28304 28304 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869391189 8749723648 709156 33554432000 1073741824 1073778376 140736061543648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28304/tid=28317] ppid=28302 vsize=8544652 CPUtime=0 cores=0,2,4,6
/proc/28304/task/28317/stat : 28317 (java) T 28302 28304 28304 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869391191 8749723648 709156 33554432000 1073741824 1073778376 140736061543648 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28304/tid=28318] ppid=28302 vsize=8544652 CPUtime=0.97 cores=0,2,4,6
/proc/28304/task/28318/stat : 28318 (java) T 28302 28304 28304 0 -1 4202560 4013 0 0 0 97 0 0 0 15 0 19 0 869391191 8749723648 709156 33554432000 1073741824 1073778376 140736061543648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28304/tid=28319] ppid=28302 vsize=8544652 CPUtime=0.88 cores=0,2,4,6
/proc/28304/task/28319/stat : 28319 (java) T 28302 28304 28304 0 -1 4202560 6089 0 0 0 87 1 0 0 15 0 19 0 869391191 8749723648 709156 33554432000 1073741824 1073778376 140736061543648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=28304/tid=28320] ppid=28302 vsize=8544652 CPUtime=0 cores=0,2,4,6
/proc/28304/task/28320/stat : 28320 (java) T 28302 28304 28304 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869391191 8749723648 709156 33554432000 1073741824 1073778376 140736061543648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28304/tid=28321] ppid=28302 vsize=8544652 CPUtime=0 cores=0,2,4,6
/proc/28304/task/28321/stat : 28321 (java) T 28302 28304 28304 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869391191 8749723648 709156 33554432000 1073741824 1073778376 140736061543648 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=28304/tid=28322] ppid=28302 vsize=8544652 CPUtime=0 cores=0,2,4,6
/proc/28304/task/28322/stat : 28322 (java) T 28302 28304 28304 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869391299 8749723648 709156 33554432000 1073741824 1073778376 140736061543648 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28302/tid=28328] ppid=28229 vsize=333300 CPUtime=0 cores=0,2,4,6
/proc/28302/task/28328/stat : 28328 (python) S 28229 28229 26377 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 2 0 869395923 341299200 15682 33554432000 4194304 5683644 140735083667888 18446744073709551615 218382780849 0 0 16781312 33554946 18446604441181414720 0 0 -1 6 0 0 0
[pid=28329] ppid=28229 vsize=343556 CPUtime=0 cores=0,2,4,6
/proc/28329/stat : 28329 (python) S 28229 28229 26377 0 -1 4202560 764 0 0 0 0 0 0 0 18 0 1 0 869395926 351801344 15614 33554432000 4194304 5683644 140735083667888 18446744073709551615 218370977350 0 0 16781312 33554946 17285462127498199297 0 0 17 2 0 0 0
/proc/28329/statm: 85889 15614 319 364 0 20770 0
[pid=28331] ppid=28329 vsize=8546432 CPUtime=1.85 cores=0,2,4,6
/proc/28331/stat : 28331 (java) S 28329 28331 28331 0 -1 4202496 54541 0 1 0 176 9 0 0 20 0 18 0 869395926 8751546368 50634 33554432000 1073741824 1073778376 140737356711664 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/28331/statm: 2136608 50637 2229 9 0 2127349 0
[pid=28331/tid=28332] ppid=28329 vsize=8546432 CPUtime=0.84 cores=0,2,4,6
/proc/28331/task/28332/stat : 28332 (java) S 28329 28331 28331 0 -1 4202560 35254 0 1 0 78 6 0 0 18 0 18 0 869395927 8751546368 50715 33554432000 1073741824 1073778376 140737356711664 18446744073709551615 218382773145 0 4 0 16800975 18446604441573077184 0 0 -1 0 0 0 0
[pid=28331/tid=28333] ppid=28329 vsize=8546432 CPUtime=0.01 cores=0,2,4,6
/proc/28331/task/28333/stat : 28333 (java) R 28329 28331 28331 0 -1 4202560 1320 0 0 0 1 0 0 0 18 0 18 0 869395928 8751546368 50719 33554432000 1073741824 1073778376 140737356711664 18446744073709551615 47316870864167 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=28331/tid=28334] ppid=28329 vsize=8546432 CPUtime=0.04 cores=0,2,4,6
/proc/28331/task/28334/stat : 28334 (java) R 28329 28331 28331 0 -1 4202560 3480 0 0 0 4 0 0 0 18 0 18 0 869395928 8751546368 50720 33554432000 1073741824 1073778376 140737356711664 18446744073709551615 47316866438841 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28331/tid=28335] ppid=28329 vsize=8546432 CPUtime=0.04 cores=0,2,4,6
/proc/28331/task/28335/stat : 28335 (java) R 28329 28331 28331 0 -1 4202560 3233 0 0 0 4 0 0 0 18 0 18 0 869395928 8751546368 50723 33554432000 1073741824 1073778376 140737356711664 18446744073709551615 47316866438849 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28331/tid=28336] ppid=28329 vsize=8546432 CPUtime=0 cores=0,2,4,6
/proc/28331/task/28336/stat : 28336 (java) S 28329 28331 28331 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869395928 8751546368 50725 33554432000 1073741824 1073778376 140737356711664 18446744073709551615 218382773145 0 4 0 16800975 18446604441573077184 0 0 -1 0 0 0 0
[pid=28331/tid=28337] ppid=28329 vsize=8546432 CPUtime=0 cores=0,2,4,6
/proc/28331/task/28337/stat : 28337 (java) S 28329 28331 28331 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869395928 8751546368 50728 33554432000 1073741824 1073778376 140737356711664 18446744073709551615 218382773145 0 4 0 16800975 18446604441573077184 0 0 -1 0 0 0 0
[pid=28331/tid=28338] ppid=28329 vsize=8546432 CPUtime=0 cores=0,2,4,6
/proc/28331/task/28338/stat : 28338 (java) S 28329 28331 28331 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869395928 8751546368 50732 33554432000 1073741824 1073778376 140737356711664 18446744073709551615 218382773145 0 4 0 16800975 18446604441573077184 0 0 -1 0 0 0 0
[pid=28331/tid=28339] ppid=28329 vsize=8546432 CPUtime=0 cores=0,2,4,6
/proc/28331/task/28339/stat : 28339 (java) S 28329 28331 28331 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869395928 8751546368 50734 33554432000 1073741824 1073778376 140737356711664 18446744073709551615 218382773145 0 4 0 16800975 18446604441573077184 0 0 -1 0 0 0 0
[pid=28331/tid=28340] ppid=28329 vsize=8546432 CPUtime=0 cores=0,2,4,6
/proc/28331/task/28340/stat : 28340 (java) R 28329 28331 28331 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 869395928 8751546368 50737 33554432000 1073741824 1073778376 140737356711664 18446744073709551615 218382773145 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28331/tid=28341] ppid=28329 vsize=8546432 CPUtime=0 cores=0,2,4,6
/proc/28331/task/28341/stat : 28341 (java) S 28329 28331 28331 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 869395929 8751546368 50739 33554432000 1073741824 1073778376 140737356711664 18446744073709551615 218382773145 0 0 0 16800975 18446604441573077184 0 0 -1 6 0 0 0
[pid=28331/tid=28342] ppid=28329 vsize=8546432 CPUtime=0 cores=0,2,4,6
/proc/28331/task/28342/stat : 28342 (java) S 28329 28331 28331 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869395929 8751546368 50742 33554432000 1073741824 1073778376 140737356711664 18446744073709551615 218382773145 0 4 0 16800975 18446604441573077184 0 0 -1 6 0 0 0
[pid=28331/tid=28343] ppid=28329 vsize=8546432 CPUtime=0 cores=0,2,4,6
/proc/28331/task/28343/stat : 28343 (java) S 28329 28331 28331 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869395929 8751546368 50745 33554432000 1073741824 1073778376 140737356711664 18446744073709551615 218382773145 0 4 0 16800975 18446604441573077184 0 0 -1 0 0 0 0
[pid=28331/tid=28344] ppid=28329 vsize=8546432 CPUtime=0 cores=0,2,4,6
/proc/28331/task/28344/stat : 28344 (java) S 28329 28331 28331 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869395931 8751546368 50747 33554432000 1073741824 1073778376 140737356711664 18446744073709551615 218382780849 0 4 0 16800975 18446604441573077184 0 0 -1 6 0 0 0
[pid=28331/tid=28345] ppid=28329 vsize=8546432 CPUtime=0.43 cores=0,2,4,6
/proc/28331/task/28345/stat : 28345 (java) S 28329 28331 28331 0 -1 4202560 5311 0 0 0 43 0 0 0 19 0 18 0 869395931 8751546368 50750 33554432000 1073741824 1073778376 140737356711664 18446744073709551615 218382773145 0 4 0 16800975 18446604441573077184 0 0 -1 2 0 0 0
[pid=28331/tid=28346] ppid=28329 vsize=8546432 CPUtime=0.43 cores=0,2,4,6
/proc/28331/task/28346/stat : 28346 (java) S 28329 28331 28331 0 -1 4202560 4639 0 0 0 43 0 0 0 16 0 18 0 869395931 8751546368 50751 33554432000 1073741824 1073778376 140737356711664 18446744073709551615 218382773145 0 4 0 16800975 18446604441573077184 0 0 -1 6 0 0 0
[pid=28331/tid=28347] ppid=28329 vsize=8546432 CPUtime=0 cores=0,2,4,6
/proc/28331/task/28347/stat : 28347 (java) S 28329 28331 28331 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869395931 8751546368 50752 33554432000 1073741824 1073778376 140737356711664 18446744073709551615 218382773145 0 4 0 16800975 18446604441573077184 0 0 -1 6 0 0 0
[pid=28331/tid=28348] ppid=28329 vsize=8546432 CPUtime=0 cores=0,2,4,6
/proc/28331/task/28348/stat : 28348 (java) S 28329 28331 28331 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869395931 8751546368 50754 33554432000 1073741824 1073778376 140737356711664 18446744073709551615 218382773760 0 4 0 16800975 18446604441573077184 0 0 -1 2 0 0 0
[pid=28229/tid=28238] ppid=28227 vsize=353800 CPUtime=0.82 cores=0,2,4,6
/proc/28229/task/28238/stat : 28238 (python) S 28227 28229 26377 0 -1 4202560 26 1824 0 0 0 0 75 7 20 0 4 0 869386505 362291200 17175 33554432000 4194304 5683644 140735083667888 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318301120 0 0 -1 6 0 0 0
[pid=28229/tid=28303] ppid=28227 vsize=353800 CPUtime=0.82 cores=0,2,4,6
/proc/28229/task/28303/stat : 28303 (python) S 28227 28229 26377 0 -1 4202560 26 1824 0 0 0 0 75 7 20 0 4 0 869391187 362291200 17175 33554432000 4194304 5683644 140735083667888 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318301120 0 0 -1 0 0 0 0
[pid=28229/tid=28330] ppid=28227 vsize=353800 CPUtime=0.82 cores=0,2,4,6
/proc/28229/task/28330/stat : 28330 (python) S 28227 28229 26377 0 -1 4202560 28 1824 0 0 0 0 75 7 20 0 4 0 869395926 362291200 17175 33554432000 4194304 5683644 140735083667888 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318301120 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 103.49
Current children cumulated vsize (KiB) 18514632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28229 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=110375
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=275958
# CPU time returned by wait4() is 4.38633
# while last known CPU time is 103.49
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 99.3689
CPU time (s): 103.49
CPU user time (s): 102.13
CPU system time (s): 1.36
CPU usage (%): 104.147
Max. virtual memory (cumulated for all children) (KiB): 18514632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.11038
system time used= 0.275958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35742
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44062
involuntary context switches= 3200
runsolver used 0.470928 second user time and 0.974851 second system time
The end