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-3482291-1307578894/watcher-3482291-1307578894 -o /tmp/evaluation-result-3482291-1307578894/solver-3482291-1307578894 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482291-1307578894.opb -seed 2072724441 -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.86 2.34 2.02 3/791 29085
/proc/meminfo: memFree=8435012/32951124 swapFree=62998992/67111528
[pid=29085] ppid=29083 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/29085/stat : 29085 (python) R 29083 29085 27575 0 -1 4202496 1116 0 0 0 1 0 0 0 20 0 1 0 850305039 16789504 984 33554432000 4194304 5683644 140735528569584 18446744073709551615 264726404864 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29085/statm: 4099 984 408 364 0 586 0
[startup+0.121519 s]
/proc/loadavg: 2.86 2.34 2.02 3/791 29085
/proc/meminfo: memFree=8435012/32951124 swapFree=62998992/67111528
[pid=29085] ppid=29083 vsize=98560 CPUtime=0.09 cores=0,2,4,6
/proc/29085/stat : 29085 (python) R 29083 29085 27575 0 -1 4202496 3626 931 1 0 7 2 0 0 18 0 1 0 850305039 100925440 2587 33554432000 4194304 5683644 140735528569584 18446744073709551615 264726403072 0 2147483391 16781312 2 0 0 0 17 4 0 0 0
/proc/29085/statm: 24640 2587 794 364 0 1720 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 98560
[startup+0.200462 s]
/proc/loadavg: 2.86 2.34 2.02 3/791 29085
/proc/meminfo: memFree=8435012/32951124 swapFree=62998992/67111528
[pid=29085] ppid=29083 vsize=123740 CPUtime=0.15 cores=0,2,4,6
/proc/29085/stat : 29085 (python) R 29083 29085 27575 0 -1 4202496 5358 931 1 0 11 4 0 0 17 0 1 0 850305039 126709760 3744 33554432000 4194304 5683644 140735528569584 18446744073709551615 264726401029 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29085/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.300448 s]
/proc/loadavg: 2.86 2.34 2.02 3/791 29085
/proc/meminfo: memFree=8435012/32951124 swapFree=62998992/67111528
[pid=29085] ppid=29083 vsize=193292 CPUtime=0.24 cores=0,2,4,6
/proc/29085/stat : 29085 (python) S 29083 29085 27575 0 -1 4202496 6575 931 1 0 16 8 0 0 17 0 1 0 850305039 197931008 4866 33554432000 4194304 5683644 140735528569584 18446744073709551615 264726403072 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/29085/statm: 48323 4866 1417 364 0 3676 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 193292
[startup+0.700333 s]
/proc/loadavg: 2.86 2.34 2.02 3/791 29085
/proc/meminfo: memFree=8435012/32951124 swapFree=62998992/67111528
[pid=29085] ppid=29083 vsize=293984 CPUtime=0.49 cores=0,2,4,6
/proc/29085/stat : 29085 (python) S 29083 29085 27575 0 -1 4202496 9836 931 1 0 39 10 0 0 19 0 2 0 850305039 301039616 7340 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/29085/statm: 73496 7340 1862 364 0 8383 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 293984
[startup+1.50122 s]
/proc/loadavg: 2.86 2.34 2.02 3/795 29093
/proc/meminfo: memFree=8373596/32951124 swapFree=62998992/67111528
[pid=29085] ppid=29083 vsize=293984 CPUtime=0.49 cores=0,2,4,6
/proc/29085/stat : 29085 (python) S 29083 29085 27575 0 -1 4202496 9836 931 1 0 39 10 0 0 19 0 2 0 850305039 301039616 7340 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/29085/statm: 73496 7340 1862 364 0 8383 0
[pid=29091] ppid=29085 vsize=283740 CPUtime=0 cores=0,2,4,6
/proc/29091/stat : 29091 (python) S 29085 29085 27575 0 -1 4202560 878 0 0 0 0 0 0 0 15 0 1 0 850305097 290549760 5832 33554432000 4194304 5683644 140735528569584 18446744073709551615 264726425103 0 0 16781312 33554946 801813911048290304 0 0 17 4 0 0 0
/proc/29091/statm: 70935 5832 358 364 0 5822 0
[pid=29093] ppid=29091 vsize=53876 CPUtime=0.89 cores=0,2,4,6
/proc/29093/stat : 29093 (scip-2.0.1.linu) R 29091 29093 29093 0 -1 4202496 11960 0 0 0 88 1 0 0 18 0 1 0 850305097 55169024 11223 33554432000 4194304 13684479 140736885226272 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29093/statm: 13469 11223 779 2317 0 11147 0
[pid=29085/tid=29092] ppid=29083 vsize=293984 CPUtime=0 cores=0,2,4,6
/proc/29085/task/29092/stat : 29092 (python) S 29083 29085 27575 0 -1 4202560 30 931 0 0 0 0 0 0 19 0 2 0 850305097 301039616 7340 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738228657 0 0 16781312 33554434 18446604444554142912 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 631600
[startup+3.12193 s]
/proc/loadavg: 2.88 2.35 2.03 3/795 29093
/proc/meminfo: memFree=8353620/32951124 swapFree=62998992/67111528
[pid=29085] ppid=29083 vsize=293984 CPUtime=0.49 cores=0,2,4,6
/proc/29085/stat : 29085 (python) S 29083 29085 27575 0 -1 4202496 9836 931 1 0 39 10 0 0 19 0 2 0 850305039 301039616 7340 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/29085/statm: 73496 7340 1862 364 0 8383 0
[pid=29091] ppid=29085 vsize=283740 CPUtime=0 cores=0,2,4,6
/proc/29091/stat : 29091 (python) S 29085 29085 27575 0 -1 4202560 882 0 0 0 0 0 0 0 15 0 1 0 850305097 290549760 5832 33554432000 4194304 5683644 140735528569584 18446744073709551615 264726425103 0 0 16781312 33554946 1449419310551269376 0 0 17 4 0 0 0
/proc/29091/statm: 70935 5832 358 364 0 5822 0
[pid=29093] ppid=29091 vsize=71156 CPUtime=2.51 cores=0,2,4,6
/proc/29093/stat : 29093 (scip-2.0.1.linu) R 29091 29093 29093 0 -1 4202496 16225 0 0 0 248 3 0 0 21 0 1 0 850305097 72863744 15488 33554432000 4194304 13684479 140736885226272 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29093/statm: 17789 15488 779 2317 0 15467 0
[pid=29085/tid=29092] ppid=29083 vsize=293984 CPUtime=0 cores=0,2,4,6
/proc/29085/task/29092/stat : 29092 (python) S 29083 29085 27575 0 -1 4202560 30 931 0 0 0 0 0 0 19 0 2 0 850305097 301039616 7340 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738228657 0 0 16781312 33554434 18446604444554142912 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 648880
[startup+6.30134 s]
/proc/loadavg: 2.88 2.35 2.03 3/795 29093
/proc/meminfo: memFree=8339324/32951124 swapFree=62998992/67111528
[pid=29085] ppid=29083 vsize=293984 CPUtime=0.49 cores=0,2,4,6
/proc/29085/stat : 29085 (python) S 29083 29085 27575 0 -1 4202496 9836 931 1 0 39 10 0 0 19 0 2 0 850305039 301039616 7340 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/29085/statm: 73496 7340 1862 364 0 8383 0
[pid=29091] ppid=29085 vsize=283740 CPUtime=0.02 cores=0,2,4,6
/proc/29091/stat : 29091 (python) S 29085 29085 27575 0 -1 4202560 1015 0 0 0 1 1 0 0 15 0 1 0 850305097 290549760 5855 33554432000 4194304 5683644 140735528569584 18446744073709551615 264726425103 0 0 16781312 33554946 4156595127738957824 0 0 17 4 0 0 0
/proc/29091/statm: 70935 5855 381 364 0 5822 0
[pid=29093] ppid=29091 vsize=89192 CPUtime=5.71 cores=0,2,4,6
/proc/29093/stat : 29093 (scip-2.0.1.linu) R 29091 29093 29093 0 -1 4202496 20594 0 0 0 565 6 0 0 20 0 1 0 850305097 91332608 19837 33554432000 4194304 13684479 140736885226272 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/29093/statm: 22298 19837 779 2317 0 19976 0
[pid=29085/tid=29092] ppid=29083 vsize=293984 CPUtime=0 cores=0,2,4,6
/proc/29085/task/29092/stat : 29092 (python) S 29083 29085 27575 0 -1 4202560 30 931 0 0 0 0 0 0 19 0 2 0 850305097 301039616 7340 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738228657 0 0 16781312 33554434 18446604444554142912 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 666916
[startup+12.7011 s]
/proc/loadavg: 2.74 2.34 2.03 3/795 29094
/proc/meminfo: memFree=8317036/32951124 swapFree=62998992/67111528
[pid=29085] ppid=29083 vsize=293984 CPUtime=0.49 cores=0,2,4,6
/proc/29085/stat : 29085 (python) S 29083 29085 27575 0 -1 4202496 9836 931 1 0 39 10 0 0 19 0 2 0 850305039 301039616 7340 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/29085/statm: 73496 7340 1862 364 0 8383 0
[pid=29091] ppid=29085 vsize=283740 CPUtime=0.04 cores=0,2,4,6
/proc/29091/stat : 29091 (python) S 29085 29085 27575 0 -1 4202560 1018 0 0 0 2 2 0 0 15 0 1 0 850305097 290549760 5855 33554432000 4194304 5683644 140735528569584 18446744073709551615 264726425103 0 0 16781312 33554946 72556772316949392 0 0 17 6 0 0 0
/proc/29091/statm: 70935 5855 381 364 0 5822 0
[pid=29093] ppid=29091 vsize=112088 CPUtime=12.09 cores=0,2,4,6
/proc/29093/stat : 29093 (scip-2.0.1.linu) R 29091 29093 29093 0 -1 4202496 26118 0 0 0 1195 14 0 0 25 0 1 0 850305097 114778112 25314 33554432000 4194304 13684479 140736885226272 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/29093/statm: 28022 25314 808 2317 0 25700 0
[pid=29085/tid=29092] ppid=29083 vsize=293984 CPUtime=0 cores=0,2,4,6
/proc/29085/task/29092/stat : 29092 (python) S 29083 29085 27575 0 -1 4202560 30 931 0 0 0 0 0 0 19 0 2 0 850305097 301039616 7340 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738228657 0 0 16781312 33554434 18446604444554142912 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 689812
[startup+25.5007 s]
/proc/loadavg: 2.63 2.32 2.02 3/799 29098
/proc/meminfo: memFree=8245720/32951124 swapFree=62998992/67111528
[pid=29085] ppid=29083 vsize=293984 CPUtime=0.49 cores=0,2,4,6
/proc/29085/stat : 29085 (python) S 29083 29085 27575 0 -1 4202496 9836 931 1 0 39 10 0 0 19 0 2 0 850305039 301039616 7340 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/29085/statm: 73496 7340 1862 364 0 8383 0
[pid=29091] ppid=29085 vsize=283740 CPUtime=0.11 cores=0,2,4,6
/proc/29091/stat : 29091 (python) S 29085 29085 27575 0 -1 4202560 1025 0 0 0 6 5 0 0 15 0 1 0 850305097 290549760 5855 33554432000 4194304 5683644 140735528569584 18446744073709551615 264726425103 0 0 16781312 33554946 72556772316949392 0 0 17 6 0 0 0
/proc/29091/statm: 70935 5855 381 364 0 5822 0
[pid=29093] ppid=29091 vsize=112276 CPUtime=24.89 cores=0,2,4,6
/proc/29093/stat : 29093 (scip-2.0.1.linu) R 29091 29093 29093 0 -1 4202496 26158 0 0 0 2466 23 0 0 25 0 1 0 850305097 114970624 25354 33554432000 4194304 13684479 140736885226272 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/29093/statm: 28069 25354 824 2317 0 25747 0
[pid=29085/tid=29092] ppid=29083 vsize=293984 CPUtime=0 cores=0,2,4,6
/proc/29085/task/29092/stat : 29092 (python) S 29083 29085 27575 0 -1 4202560 30 931 0 0 0 0 0 0 19 0 2 0 850305097 301039616 7340 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738228657 0 0 16781312 33554434 18446604444554142912 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 690000
[startup+51.1018 s]
/proc/loadavg: 2.41 2.30 2.02 3/821 29121
/proc/meminfo: memFree=8194296/32951124 swapFree=62998992/67111528
[pid=29085] ppid=29083 vsize=304744 CPUtime=0.52 cores=0,2,4,6
/proc/29085/stat : 29085 (python) S 29083 29085 27575 0 -1 4202496 10737 931 1 0 41 11 0 0 18 0 3 0 850305039 312057856 7468 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/29085/statm: 76186 7468 1873 364 0 11070 0
[pid=29091] ppid=29085 vsize=293984 CPUtime=0.23 cores=0,2,4,6
/proc/29091/stat : 29091 (python) S 29085 29085 27575 0 -1 4202560 1167 0 0 0 12 11 0 0 17 0 2 0 850305097 301039616 5891 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29091/statm: 73496 5891 412 364 0 8383 0
[pid=29093] ppid=29091 vsize=112276 CPUtime=46.71 cores=0,2,4,6
/proc/29093/stat : 29093 (scip-2.0.1.linu) T 29091 29093 29093 0 -1 4202496 26158 0 0 0 4632 39 0 0 25 0 1 0 850305097 114970624 25354 33554432000 4194304 13684479 140736885226272 18446744073709551615 7158648 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/29093/statm: 28069 25354 824 2317 0 25747 0
[pid=29091/tid=29100] ppid=29085 vsize=293984 CPUtime=0 cores=0,2,4,6
/proc/29091/task/29100/stat : 29100 (python) S 29085 29085 27575 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 850309771 301039616 5891 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738228657 0 0 16781312 33554946 18446604451678205248 0 0 -1 6 0 0 0
[pid=29101] ppid=29085 vsize=294500 CPUtime=0.02 cores=0,2,4,6
/proc/29101/stat : 29101 (python) S 29085 29085 27575 0 -1 4202560 929 0 0 0 1 1 0 0 15 0 1 0 850309774 301568000 5964 33554432000 4194304 5683644 140735528569584 18446744073709551615 264726425158 0 0 16781312 33554946 16217083377621106947 0 0 17 2 0 0 0
/proc/29101/statm: 73625 5964 373 364 0 8509 0
[pid=29103] ppid=29101 vsize=8537212 CPUtime=4.47 cores=0,2,4,6
/proc/29103/stat : 29103 (java) S 29101 29103 29103 0 -1 4202496 17611 0 1 0 445 2 0 0 20 0 19 0 850309774 8742105088 14313 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29103/statm: 2134303 14313 2251 9 0 2125044 0
[pid=29103/tid=29104] ppid=29101 vsize=8537212 CPUtime=3.65 cores=0,2,4,6
/proc/29103/task/29104/stat : 29104 (java) R 29101 29103 29103 0 -1 4202560 9992 0 1 0 364 1 0 0 22 0 19 0 850309775 8742105088 14313 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 46912505760104 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=29103/tid=29105] ppid=29101 vsize=8537212 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29105/stat : 29105 (java) S 29101 29103 29103 0 -1 4202560 169 0 0 0 0 0 0 0 15 0 19 0 850309775 8742105088 14313 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738220953 0 4 0 16800975 18446604453060306816 0 0 -1 2 0 0 0
[pid=29103/tid=29106] ppid=29101 vsize=8537212 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29106/stat : 29106 (java) S 29101 29103 29103 0 -1 4202560 261 0 0 0 0 0 0 0 15 0 19 0 850309775 8742105088 14313 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738220953 0 4 0 16800975 18446604453060306816 0 0 -1 2 0 0 0
[pid=29103/tid=29107] ppid=29101 vsize=8537212 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29107/stat : 29107 (java) S 29101 29103 29103 0 -1 4202560 155 0 0 0 0 0 0 0 15 0 19 0 850309775 8742105088 14313 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738220953 0 4 0 16800975 18446604453060306816 0 0 -1 2 0 0 0
[pid=29103/tid=29108] ppid=29101 vsize=8537212 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29108/stat : 29108 (java) S 29101 29103 29103 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 850309775 8742105088 14313 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738220953 0 4 0 16800975 18446604453060306816 0 0 -1 2 0 0 0
[pid=29103/tid=29109] ppid=29101 vsize=8537212 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29109/stat : 29109 (java) S 29101 29103 29103 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 850309775 8742105088 14313 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738220953 0 4 0 16800975 18446604453060306816 0 0 -1 2 0 0 0
[pid=29103/tid=29110] ppid=29101 vsize=8537212 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29110/stat : 29110 (java) S 29101 29103 29103 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 850309775 8742105088 14313 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738220953 0 4 0 16800975 18446604453060306816 0 0 -1 2 0 0 0
[pid=29103/tid=29111] ppid=29101 vsize=8537212 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29111/stat : 29111 (java) S 29101 29103 29103 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 850309775 8742105088 14313 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738220953 0 4 0 16800975 18446604453060306816 0 0 -1 2 0 0 0
[pid=29103/tid=29112] ppid=29101 vsize=8537212 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29112/stat : 29112 (java) S 29101 29103 29103 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 19 0 850309775 8742105088 14313 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738220953 0 4 0 16800975 18446604453060306816 0 0 -1 2 0 0 0
[pid=29103/tid=29113] ppid=29101 vsize=8537212 CPUtime=0.04 cores=0,2,4,6
/proc/29103/task/29113/stat : 29113 (java) S 29101 29103 29103 0 -1 4202560 653 0 0 0 4 0 0 0 15 0 19 0 850309777 8742105088 14313 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738221568 0 0 0 16800975 18446604453060306816 0 0 -1 6 0 0 0
[pid=29103/tid=29114] ppid=29101 vsize=8537212 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29114/stat : 29114 (java) S 29101 29103 29103 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850309777 8742105088 14313 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738220953 0 4 0 16800975 18446604453060306816 0 0 -1 4 0 0 0
[pid=29103/tid=29115] ppid=29101 vsize=8537212 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29115/stat : 29115 (java) S 29101 29103 29103 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850309777 8742105088 14313 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738220953 0 4 0 16800975 18446604453060306816 0 0 -1 2 0 0 0
[pid=29103/tid=29116] ppid=29101 vsize=8537212 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29116/stat : 29116 (java) S 29101 29103 29103 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850309779 8742105088 14313 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738228657 0 4 0 16800975 18446604453060306816 0 0 -1 4 0 0 0
[pid=29103/tid=29117] ppid=29101 vsize=8537212 CPUtime=0.29 cores=0,2,4,6
/proc/29103/task/29117/stat : 29117 (java) S 29101 29103 29103 0 -1 4202560 1586 0 0 0 29 0 0 0 15 0 19 0 850309779 8742105088 14313 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738220953 0 4 0 16800975 18446604453060306816 0 0 -1 2 0 0 0
[pid=29103/tid=29118] ppid=29101 vsize=8537212 CPUtime=0.44 cores=0,2,4,6
/proc/29103/task/29118/stat : 29118 (java) S 29101 29103 29103 0 -1 4202560 3113 0 0 0 44 0 0 0 15 0 19 0 850309779 8742105088 14313 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738220953 0 4 0 16800975 18446604453060306816 0 0 -1 0 0 0 0
[pid=29103/tid=29119] ppid=29101 vsize=8537212 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=29085/tid=29102] ppid=29083 vsize=345936 CPUtime=0 cores=0,2,4,6
/proc/29085/task/29102/stat : 29102 (python) S 29083 29085 27575 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 7 0 850309774 354238464 7534 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738228657 0 0 16781312 33554434 18446604444554142912 0 0 -1 4 0 0 0
[pid=29085/tid=29125] ppid=29083 vsize=345936 CPUtime=0 cores=0,2,4,6
/proc/29085/task/29125/stat : 29125 (python) S 29083 29085 27575 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 7 0 850314453 354238464 7534 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738228657 0 0 16781312 33554434 18446604444554142912 0 0 -1 2 0 0 0
[pid=29085/tid=29131] ppid=29083 vsize=345936 CPUtime=0 cores=0,2,4,6
/proc/29085/task/29131/stat : 29131 (python) S 29083 29085 27575 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 7 0 850323611 354238464 7534 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738228657 0 0 16781312 33554434 18446604444554142912 0 0 -1 2 0 0 0
[pid=29085/tid=29141] ppid=29083 vsize=345936 CPUtime=0 cores=0,2,4,6
/proc/29085/task/29141/stat : 29141 (python) S 29083 29085 27575 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 7 0 850332779 354238464 7534 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738228657 0 0 16781312 33554434 18446604444554142912 0 0 -1 2 0 0 0
[pid=29085/tid=29146] ppid=29083 vsize=345936 CPUtime=0 cores=0,2,4,6
/proc/29085/task/29146/stat : 29146 (python) S 29083 29085 27575 0 -1 4202560 33 931 0 0 0 0 0 0 20 0 7 0 850337621 354238464 7534 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738228657 0 0 16781312 33554434 18446604444554142912 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 329.33
Current children cumulated vsize (KiB) 19615084
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+326.402 s]
/proc/loadavg: 2.16 2.15 2.01 6/855 29165
/proc/meminfo: memFree=7929628/32951124 swapFree=62998992/67111528
[pid=29085] ppid=29083 vsize=345936 CPUtime=0.65 cores=0,2,4,6
/proc/29085/stat : 29085 (python) S 29083 29085 27575 0 -1 4202496 14257 931 1 0 53 12 0 0 20 0 7 0 850305039 354238464 7534 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/29085/statm: 86484 7534 1881 364 0 21356 0
[pid=29091] ppid=29085 vsize=293984 CPUtime=0.46 cores=0,2,4,6
/proc/29091/stat : 29091 (python) S 29085 29085 27575 0 -1 4202560 1194 0 0 0 24 22 0 0 15 0 2 0 850305097 301039616 5892 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29091/statm: 73496 5892 413 364 0 8383 0
[pid=29093] ppid=29091 vsize=112276 CPUtime=92.44 cores=0,2,4,6
/proc/29093/stat : 29093 (scip-2.0.1.linu) T 29091 29093 29093 0 -1 4202496 26161 0 0 0 9168 76 0 0 25 0 1 0 850305097 114970624 25357 33554432000 4194304 13684479 140736885226272 18446744073709551615 7158538 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/29093/statm: 28069 25357 827 2317 0 25747 0
[pid=29091/tid=29100] ppid=29085 vsize=293984 CPUtime=0 cores=0,2,4,6
/proc/29091/task/29100/stat : 29100 (python) S 29085 29085 27575 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 2 0 850309771 301039616 5892 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738228657 0 0 16781312 33554946 18446604451678205248 0 0 -1 6 0 0 0
[pid=29101] ppid=29085 vsize=294500 CPUtime=0.27 cores=0,2,4,6
/proc/29101/stat : 29101 (python) S 29085 29085 27575 0 -1 4202560 1114 0 0 0 13 14 0 0 16 0 2 0 850309774 301568000 5989 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29101/statm: 73625 5989 397 364 0 8509 0
[pid=29103] ppid=29101 vsize=8537212 CPUtime=47.49 cores=0,2,4,6
/proc/29103/stat : 29103 (java) T 29101 29103 29103 0 -1 4202496 18144 0 1 0 4746 3 0 0 18 0 19 0 850309774 8742105088 14806 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29103/statm: 2134303 14806 2251 9 0 2125044 0
[pid=29103/tid=29104] ppid=29101 vsize=8537212 CPUtime=46.08 cores=0,2,4,6
/proc/29103/task/29104/stat : 29104 (java) T 29101 29103 29103 0 -1 4202560 10024 0 1 0 4607 1 0 0 25 0 19 0 850309775 8742105088 14806 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29103/tid=29105] ppid=29101 vsize=8537212 CPUtime=0.02 cores=0,2,4,6
/proc/29103/task/29105/stat : 29105 (java) T 29101 29103 29103 0 -1 4202560 174 0 0 0 2 0 0 0 15 0 19 0 850309775 8742105088 14806 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 47607272105120 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29103/tid=29106] ppid=29101 vsize=8537212 CPUtime=0.03 cores=0,2,4,6
/proc/29103/task/29106/stat : 29106 (java) T 29101 29103 29103 0 -1 4202560 261 0 0 0 3 0 0 0 15 0 19 0 850309775 8742105088 14806 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264726358327 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29103/tid=29107] ppid=29101 vsize=8537212 CPUtime=0.03 cores=0,2,4,6
/proc/29103/task/29107/stat : 29107 (java) T 29101 29103 29103 0 -1 4202560 172 0 0 0 3 0 0 0 15 0 19 0 850309775 8742105088 14806 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264726358327 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29103/tid=29108] ppid=29101 vsize=8537212 CPUtime=0.02 cores=0,2,4,6
/proc/29103/task/29108/stat : 29108 (java) T 29101 29103 29103 0 -1 4202560 76 0 0 0 2 0 0 0 15 0 19 0 850309775 8742105088 14806 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29103/tid=29109] ppid=29101 vsize=8537212 CPUtime=0.03 cores=0,2,4,6
/proc/29103/task/29109/stat : 29109 (java) T 29101 29103 29103 0 -1 4202560 40 0 0 0 3 0 0 0 15 0 19 0 850309775 8742105088 14806 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738221568 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29103/tid=29110] ppid=29101 vsize=8537212 CPUtime=0.03 cores=0,2,4,6
/proc/29103/task/29110/stat : 29110 (java) T 29101 29103 29103 0 -1 4202560 81 0 0 0 3 0 0 0 15 0 19 0 850309775 8742105088 14806 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264726358327 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29103/tid=29111] ppid=29101 vsize=8537212 CPUtime=0.01 cores=0,2,4,6
/proc/29103/task/29111/stat : 29111 (java) T 29101 29103 29103 0 -1 4202560 99 0 0 0 1 0 0 0 15 0 19 0 850309775 8742105088 14806 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 47607272105120 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29103/tid=29112] ppid=29101 vsize=8537212 CPUtime=0.04 cores=0,2,4,6
/proc/29103/task/29112/stat : 29112 (java) T 29101 29103 29103 0 -1 4202560 39 0 0 0 4 0 0 0 15 0 19 0 850309775 8742105088 14806 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738221568 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29103/tid=29113] ppid=29101 vsize=8537212 CPUtime=0.41 cores=0,2,4,6
/proc/29103/task/29113/stat : 29113 (java) T 29101 29103 29103 0 -1 4202560 1081 0 0 0 41 0 0 0 15 0 19 0 850309777 8742105088 14806 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738220953 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29103/tid=29114] ppid=29101 vsize=8537212 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29114/stat : 29114 (java) T 29101 29103 29103 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850309777 8742105088 14806 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29103/tid=29115] ppid=29101 vsize=8537212 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29115/stat : 29115 (java) T 29101 29103 29103 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850309777 8742105088 14806 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29103/tid=29116] ppid=29101 vsize=8537212 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29116/stat : 29116 (java) T 29101 29103 29103 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850309779 8742105088 14806 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738228657 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29103/tid=29117] ppid=29101 vsize=8537212 CPUtime=0.29 cores=0,2,4,6
/proc/29103/task/29117/stat : 29117 (java) T 29101 29103 29103 0 -1 4202560 1586 0 0 0 29 0 0 0 15 0 19 0 850309779 8742105088 14806 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29103/tid=29118] ppid=29101 vsize=8537212 CPUtime=0.44 cores=0,2,4,6
/proc/29103/task/29118/stat : 29118 (java) T 29101 29103 29103 0 -1 4202560 3113 0 0 0 44 0 0 0 15 0 19 0 850309779 8742105088 14806 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29103/tid=29119] ppid=29101 vsize=8537212 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29119/stat : 29119 (java) T 29101 29103 29103 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850309779 8742105088 14806 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29103/tid=29120] ppid=29101 vsize=8537212 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29120/stat : 29120 (java) T 29101 29103 29103 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 850309779 8742105088 14806 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738221568 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29103/tid=29121] ppid=29101 vsize=8537212 CPUtime=0 cores=0,2,4,6
/proc/29103/task/29121/stat : 29121 (java) T 29101 29103 29103 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850309810 8742105088 14806 33554432000 1073741824 1073778376 140736230108032 18446744073709551615 264738221568 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29101/tid=29123] ppid=29085 vsize=294500 CPUtime=0 cores=0,2,4,6
/proc/29101/task/29123/stat : 29123 (python) S 29085 29085 27575 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 850314450 301568000 5989 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738228657 0 0 16781312 33554946 18446604449984668736 0 0 -1 2 0 0 0
[pid=29124] ppid=29085 vsize=304756 CPUtime=0.44 cores=0,2,4,6
/proc/29124/stat : 29124 (python) S 29085 29085 27575 0 -1 4202560 1141 0 0 0 23 21 0 0 16 0 2 0 850314453 312070144 6010 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29124/statm: 76189 6010 397 364 0 11070 0
[pid=29126] ppid=29124 vsize=75836 CPUtime=91.54 cores=0,2,4,6
/proc/29126/stat : 29126 (scip-2.0.1.linu) T 29124 29126 29126 0 -1 4202496 33596 0 0 0 9126 28 0 0 25 0 1 0 850314453 77656064 16126 33554432000 4194304 15243407 140736317901040 18446744073709551615 7128842 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/29126/statm: 18959 16126 923 2698 0 16254 0
[pid=29124/tid=29129] ppid=29085 vsize=304756 CPUtime=0 cores=0,2,4,6
/proc/29124/task/29129/stat : 29129 (python) S 29085 29085 27575 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850323609 312070144 6010 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738228657 0 0 16781312 33554946 18446604449487152320 0 0 -1 6 0 0 0
[pid=29130] ppid=29085 vsize=315012 CPUtime=0.23 cores=0,2,4,6
/proc/29130/stat : 29130 (python) S 29085 29085 27575 0 -1 4202560 1149 0 0 0 11 12 0 0 17 0 2 0 850323611 322572288 6014 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/29130/statm: 78753 6014 397 364 0 13631 0
[pid=29132] ppid=29130 vsize=66324 CPUtime=45.84 cores=0,2,4,6
/proc/29132/stat : 29132 (wbo1.4a) T 29130 29132 29132 0 -1 4202496 16354 0 0 0 4566 18 0 0 25 0 1 0 850323612 67915776 16058 33554432000 134512640 135751879 4291282384 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 6 0 0 0
/proc/29132/statm: 16581 16058 146 303 0 16276 0
[pid=29130/tid=29137] ppid=29085 vsize=315012 CPUtime=0 cores=0,2,4,6
/proc/29130/task/29137/stat : 29137 (python) S 29085 29085 27575 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 850328202 322572288 6014 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738228657 0 0 16781312 33554946 18446604453642637632 0 0 -1 2 0 0 0
[pid=29140] ppid=29085 vsize=325436 CPUtime=0.23 cores=0,2,4,6
/proc/29140/stat : 29140 (python) S 29085 29085 27575 0 -1 4202560 1141 0 0 0 12 11 0 0 19 0 2 0 850332779 333246464 6043 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29140/statm: 81359 6043 397 364 0 16234 0
[pid=29142] ppid=29140 vsize=62700 CPUtime=48.37 cores=0,2,4,6
/proc/29142/stat : 29142 (bsolo_pb10) T 29140 29142 29142 0 -1 4202496 13590 0 0 0 4833 4 0 0 25 0 1 0 850332779 64204800 13242 33554432000 134512640 137138936 4293436080 18446744073709551615 134542187 0 0 16781312 16384 18446744071562691360 0 0 17 2 0 0 0
/proc/29142/statm: 15675 13242 192 642 0 15031 0
[pid=29140/tid=29144] ppid=29085 vsize=325436 CPUtime=0 cores=0,2,4,6
/proc/29140/task/29144/stat : 29144 (python) S 29085 29085 27575 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 850337618 333246464 6043 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738228657 0 0 16781312 33554946 18446604441127592960 0 0 -1 6 0 0 0
[pid=29145] ppid=29085 vsize=335692 CPUtime=0 cores=0,2,4,6
/proc/29145/stat : 29145 (python) S 29085 29085 27575 0 -1 4202560 845 0 0 0 0 0 0 0 15 0 1 0 850337620 343748608 5998 33554432000 4194304 5683644 140735528569584 18446744073709551615 264726425158 0 0 16781312 33554946 4294934787 0 0 17 2 0 0 0
/proc/29145/statm: 83923 5998 349 364 0 18795 0
[pid=29147] ppid=29145 vsize=8545420 CPUtime=1.37 cores=0,2,4,6
/proc/29147/stat : 29147 (java) S 29145 29147 29147 0 -1 4202496 23130 0 1 0 133 4 0 0 20 0 19 0 850337621 8750510080 19417 33554432000 1073741824 1073778376 140737101816816 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29147/statm: 2136355 19435 2229 9 0 2127096 0
[pid=29147/tid=29148] ppid=29145 vsize=8545892 CPUtime=0.6 cores=0,2,4,6
/proc/29147/task/29148/stat : 29148 (java) R 29145 29147 29147 0 -1 4202560 13549 0 1 0 58 2 0 0 18 0 19 0 850337622 8750993408 19557 33554432000 1073741824 1073778376 140737101816816 18446744073709551615 46912505786255 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29147/tid=29149] ppid=29145 vsize=8545892 CPUtime=0 cores=0,2,4,6
/proc/29147/task/29149/stat : 29149 (java) S 29145 29147 29147 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850337622 8750993408 19558 33554432000 1073741824 1073778376 140737101816816 18446744073709551615 264738220953 0 4 0 16800975 18446604443624516288 0 0 -1 4 0 0 0
[pid=29147/tid=29150] ppid=29145 vsize=8545892 CPUtime=0 cores=0,2,4,6
/proc/29147/task/29150/stat : 29150 (java) S 29145 29147 29147 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 850337622 8750993408 19558 33554432000 1073741824 1073778376 140737101816816 18446744073709551615 264738220953 0 4 0 16800975 18446604443624516288 0 0 -1 4 0 0 0
[pid=29147/tid=29151] ppid=29145 vsize=8545892 CPUtime=0 cores=0,2,4,6
/proc/29147/task/29151/stat : 29151 (java) S 29145 29147 29147 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 850337622 8750993408 19558 33554432000 1073741824 1073778376 140737101816816 18446744073709551615 264738220953 0 4 0 16800975 18446604443624516288 0 0 -1 4 0 0 0
[pid=29147/tid=29152] ppid=29145 vsize=8545892 CPUtime=0 cores=0,2,4,6
/proc/29147/task/29152/stat : 29152 (java) S 29145 29147 29147 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850337622 8750993408 19559 33554432000 1073741824 1073778376 140737101816816 18446744073709551615 264738220953 0 4 0 16800975 18446604443624516288 0 0 -1 6 0 0 0
[pid=29147/tid=29153] ppid=29145 vsize=8545892 CPUtime=0 cores=0,2,4,6
/proc/29147/task/29153/stat : 29153 (java) S 29145 29147 29147 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850337622 8750993408 19560 33554432000 1073741824 1073778376 140737101816816 18446744073709551615 264738220953 0 4 0 16800975 18446604443624516288 0 0 -1 6 0 0 0
[pid=29147/tid=29154] ppid=29145 vsize=8545892 CPUtime=0 cores=0,2,4,6
/proc/29147/task/29154/stat : 29154 (java) S 29145 29147 29147 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850337622 8750993408 19560 33554432000 1073741824 1073778376 140737101816816 18446744073709551615 264738220953 0 4 0 16800975 18446604443624516288 0 0 -1 6 0 0 0
[pid=29147/tid=29155] ppid=29145 vsize=8545892 CPUtime=0 cores=0,2,4,6
/proc/29147/task/29155/stat : 29155 (java) S 29145 29147 29147 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850337622 8750993408 19560 33554432000 1073741824 1073778376 140737101816816 18446744073709551615 264738220953 0 4 0 16800975 18446604443624516288 0 0 -1 6 0 0 0
[pid=29147/tid=29156] ppid=29145 vsize=8545892 CPUtime=0 cores=0,2,4,6
/proc/29147/task/29156/stat : 29156 (java) S 29145 29147 29147 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850337622 8750993408 19561 33554432000 1073741824 1073778376 140737101816816 18446744073709551615 264738220953 0 4 0 16800975 18446604443624516288 0 0 -1 6 0 0 0
[pid=29147/tid=29157] ppid=29145 vsize=8545892 CPUtime=0 cores=0,2,4,6
/proc/29147/task/29157/stat : 29157 (java) S 29145 29147 29147 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 850337623 8750993408 19561 33554432000 1073741824 1073778376 140737101816816 18446744073709551615 264738221568 0 0 0 16800975 18446604443624516288 0 0 -1 4 0 0 0
[pid=29147/tid=29158] ppid=29145 vsize=8545892 CPUtime=0 cores=0,2,4,6
/proc/29147/task/29158/stat : 29158 (java) S 29145 29147 29147 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850337624 8750993408 19561 33554432000 1073741824 1073778376 140737101816816 18446744073709551615 264738220953 0 4 0 16800975 18446604443624516288 0 0 -1 4 0 0 0
[pid=29147/tid=29159] ppid=29145 vsize=8545892 CPUtime=0 cores=0,2,4,6
/proc/29147/task/29159/stat : 29159 (java) S 29145 29147 29147 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850337624 8750993408 19562 33554432000 1073741824 1073778376 140737101816816 18446744073709551615 264738220953 0 4 0 16800975 18446604443624516288 0 0 -1 4 0 0 0
[pid=29147/tid=29160] ppid=29145 vsize=8545892 CPUtime=0 cores=0,2,4,6
/proc/29147/task/29160/stat : 29160 (java) S 29145 29147 29147 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850337626 8750993408 19562 33554432000 1073741824 1073778376 140737101816816 18446744073709551615 264738228657 0 4 0 16800975 18446604443624516288 0 0 -1 4 0 0 0
[pid=29147/tid=29161] ppid=29145 vsize=8545892 CPUtime=0.33 cores=0,2,4,6
/proc/29147/task/29161/stat : 29161 (java) R 29145 29147 29147 0 -1 4202560 3338 0 0 0 33 0 0 0 25 0 19 0 850337626 8750993408 19562 33554432000 1073741824 1073778376 140737101816816 18446744073709551615 47634021994216 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=29147/tid=29162] ppid=29145 vsize=8545892 CPUtime=0.41 cores=0,2,4,6
/proc/29147/task/29162/stat : 29162 (java) R 29145 29147 29147 0 -1 4202560 5163 0 0 0 41 0 0 0 18 0 19 0 850337626 8750993408 19563 33554432000 1073741824 1073778376 140737101816816 18446744073709551615 264726097616 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29147/tid=29163] ppid=29145 vsize=8546128 CPUtime=0 cores=0,2,4,6
/proc/29147/task/29163/stat : 29163 (java) S 29145 29147 29147 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850337626 8751235072 19567 33554432000 1073741824 1073778376 140737101816816 18446744073709551615 264738220953 0 4 0 16800975 18446604443624516288 0 0 -1 4 0 0 0
[pid=29147/tid=29164] ppid=29145 vsize=8546128 CPUtime=0 cores=0,2,4,6
/proc/29147/task/29164/stat : 29164 (java) S 29145 29147 29147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850337626 8751235072 19594 33554432000 1073741824 1073778376 140737101816816 18446744073709551615 264738221568 0 4 0 16800975 18446604443624516288 0 0 -1 6 0 0 0
[pid=29147/tid=29165] ppid=29145 vsize=8546128 CPUtime=0 cores=0,2,4,6
/proc/29147/task/29165/stat : 29165 (java) S 29145 29147 29147 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850337653 8751235072 19596 33554432000 1073741824 1073778376 140737101816816 18446744073709551615 264738221568 0 4 0 16800975 18446604443624516288 0 0 -1 6 0 0 0
[pid=29085/tid=29092] ppid=29083 vsize=345936 CPUtime=0 cores=0,2,4,6
/proc/29085/task/29092/stat : 29092 (python) S 29083 29085 27575 0 -1 4202560 35 931 0 0 0 0 0 0 18 0 7 0 850305097 354238464 7534 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738228657 0 0 16781312 33554434 18446604444554142912 0 0 -1 6 0 0 0
[pid=29085/tid=29102] ppid=29083 vsize=345936 CPUtime=0 cores=0,2,4,6
/proc/29085/task/29102/stat : 29102 (python) S 29083 29085 27575 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 7 0 850309774 354238464 7534 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738228657 0 0 16781312 33554434 18446604444554142912 0 0 -1 4 0 0 0
[pid=29085/tid=29125] ppid=29083 vsize=345936 CPUtime=0 cores=0,2,4,6
/proc/29085/task/29125/stat : 29125 (python) S 29083 29085 27575 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 7 0 850314453 354238464 7534 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738228657 0 0 16781312 33554434 18446604444554142912 0 0 -1 2 0 0 0
[pid=29085/tid=29131] ppid=29083 vsize=345936 CPUtime=0 cores=0,2,4,6
/proc/29085/task/29131/stat : 29131 (python) S 29083 29085 27575 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 7 0 850323611 354238464 7534 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738228657 0 0 16781312 33554434 18446604444554142912 0 0 -1 2 0 0 0
[pid=29085/tid=29141] ppid=29083 vsize=345936 CPUtime=0 cores=0,2,4,6
/proc/29085/task/29141/stat : 29141 (python) S 29083 29085 27575 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 7 0 850332779 354238464 7534 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738228657 0 0 16781312 33554434 18446604444554142912 0 0 -1 2 0 0 0
[pid=29085/tid=29146] ppid=29083 vsize=345936 CPUtime=0 cores=0,2,4,6
/proc/29085/task/29146/stat : 29146 (python) S 29083 29085 27575 0 -1 4202560 33 931 0 0 0 0 0 0 20 0 7 0 850337621 354238464 7534 33554432000 4194304 5683644 140735528569584 18446744073709551615 264738228657 0 0 16781312 33554434 18446604444554142912 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 329.33
Current children cumulated vsize (KiB) 19615084
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29085 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=538918
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=124981
# CPU time returned by wait4() is 0.663899
# while last known CPU time is 329.33
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 326.538
CPU time (s): 329.33
CPU user time (s): 327.08
CPU system time (s): 2.25
CPU usage (%): 100.855
Max. virtual memory (cumulated for all children) (KiB): 19615084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.538918
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15191
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= 1019
involuntary context switches= 25
runsolver used 2.6476 second user time and 4.94625 second system time
The end