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-3482037-1307576732/watcher-3482037-1307576732 -o /tmp/evaluation-result-3482037-1307576732/solver-3482037-1307576732 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482037-1307576732.opb -seed 19376851 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.42 1.51 0.67 2/557 18038
/proc/meminfo: memFree=27597320/32950928 swapFree=38525204/67111528
[pid=18038] ppid=18036 vsize=16236 CPUtime=0.01 cores=1,3,5,7
/proc/18038/stat : 18038 (python) R 18036 18038 17436 0 -1 4202496 1045 0 0 0 1 0 0 0 25 0 1 0 869272903 16625664 917 33554432000 4194304 5683644 140735504167456 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/18038/statm: 4059 917 381 364 0 546 0
[startup+0.109782 s]
/proc/loadavg: 2.42 1.51 0.67 2/557 18038
/proc/meminfo: memFree=27597320/32950928 swapFree=38525204/67111528
[pid=18038] ppid=18036 vsize=96124 CPUtime=0.08 cores=1,3,5,7
/proc/18038/stat : 18038 (python) R 18036 18038 17436 0 -1 4202496 3168 930 1 0 6 2 0 0 25 0 1 0 869272903 98430976 2483 33554432000 4194304 5683644 140735504167456 18446744073709551615 5170188 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/18038/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.200765 s]
/proc/loadavg: 2.42 1.51 0.67 2/557 18038
/proc/meminfo: memFree=27597320/32950928 swapFree=38525204/67111528
[pid=18038] ppid=18036 vsize=123736 CPUtime=0.14 cores=1,3,5,7
/proc/18038/stat : 18038 (python) R 18036 18038 17436 0 -1 4202496 5356 930 1 0 11 3 0 0 25 0 1 0 869272903 126705664 3743 33554432000 4194304 5683644 140735504167456 18446744073709551615 208080228357 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/18038/statm: 30934 3743 987 364 0 2766 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123736
[startup+0.30075 s]
/proc/loadavg: 2.42 1.51 0.67 2/557 18038
/proc/meminfo: memFree=27597320/32950928 swapFree=38525204/67111528
[pid=18038] ppid=18036 vsize=179984 CPUtime=0.22 cores=1,3,5,7
/proc/18038/stat : 18038 (python) S 18036 18038 17436 0 -1 4202496 6268 930 1 0 17 5 0 0 25 0 1 0 869272903 184303616 4576 33554432000 4194304 5683644 140735504167456 18446744073709551615 208080230400 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/18038/statm: 44996 4576 1244 364 0 3566 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 179984
[startup+0.700669 s]
/proc/loadavg: 2.42 1.51 0.67 2/557 18038
/proc/meminfo: memFree=27597320/32950928 swapFree=38525204/67111528
[pid=18038] ppid=18036 vsize=284940 CPUtime=0.57 cores=1,3,5,7
/proc/18038/stat : 18038 (python) R 18036 18038 17436 0 -1 4202496 10083 930 1 0 49 8 0 0 18 0 1 0 869272903 291778560 7608 33554432000 4194304 5683644 140735504167456 18446744073709551615 47167436795499 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/18038/statm: 71235 7608 1816 364 0 6128 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 284940
[startup+1.50158 s]
/proc/loadavg: 2.42 1.51 0.67 3/578 18063
/proc/meminfo: memFree=27531248/32950928 swapFree=38525204/67111528
[pid=18038] ppid=18036 vsize=295412 CPUtime=0.61 cores=1,3,5,7
/proc/18038/stat : 18038 (python) S 18036 18038 17436 0 -1 4202496 10547 930 1 0 53 8 0 0 20 0 2 0 869272903 302501888 7718 33554432000 4194304 5683644 140735504167456 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18038/statm: 73853 7718 1870 364 0 8740 0
[pid=18044] ppid=18038 vsize=285168 CPUtime=0 cores=1,3,5,7
/proc/18044/stat : 18044 (python) S 18038 18038 17436 0 -1 4202560 759 0 0 0 0 0 0 0 15 0 1 0 869272977 292012032 6196 33554432000 4194304 5683644 140735504167456 18446744073709551615 208080252431 0 0 16781312 33554946 633401680662102016 0 0 17 5 0 0 0
/proc/18044/statm: 71292 6196 352 364 0 6179 0
[pid=18046] ppid=18044 vsize=8539324 CPUtime=1.64 cores=1,3,5,7
/proc/18046/stat : 18046 (java) S 18044 18046 18046 0 -1 4202496 18260 0 1 0 161 3 0 0 18 0 19 0 869272977 8744267776 15348 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18046/statm: 2134831 15348 2230 9 0 2125572 0
[pid=18046/tid=18047] ppid=18044 vsize=8539324 CPUtime=0.74 cores=1,3,5,7
/proc/18046/task/18047/stat : 18047 (java) R 18044 18046 18046 0 -1 4202560 11256 0 1 0 72 2 0 0 25 0 19 0 869272978 8744267776 15348 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 46912505386976 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18046/tid=18048] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18048/stat : 18048 (java) S 18044 18046 18046 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869272978 8744267776 15348 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 1 0 0 0
[pid=18046/tid=18049] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18049/stat : 18049 (java) S 18044 18046 18046 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869272978 8744267776 15348 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 7 0 0 0
[pid=18046/tid=18050] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18050/stat : 18050 (java) S 18044 18046 18046 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869272978 8744267776 15348 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 5 0 0 0
[pid=18046/tid=18051] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18051/stat : 18051 (java) S 18044 18046 18046 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869272978 8744267776 15348 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 7 0 0 0
[pid=18046/tid=18052] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18052/stat : 18052 (java) S 18044 18046 18046 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869272978 8744267776 15348 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 5 0 0 0
[pid=18046/tid=18053] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18053/stat : 18053 (java) S 18044 18046 18046 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869272978 8744267776 15348 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 7 0 0 0
[pid=18046/tid=18054] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18054/stat : 18054 (java) S 18044 18046 18046 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869272978 8744267776 15348 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 5 0 0 0
[pid=18046/tid=18055] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18055/stat : 18055 (java) S 18044 18046 18046 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869272978 8744267776 15348 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 5 0 0 0
[pid=18046/tid=18056] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18056/stat : 18056 (java) S 18044 18046 18046 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 869272979 8744267776 15348 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048896 0 0 0 16800975 18446604469188405312 0 0 -1 5 0 0 0
[pid=18046/tid=18057] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18057/stat : 18057 (java) S 18044 18046 18046 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 869272980 8744267776 15348 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 1 0 0 0
[pid=18046/tid=18058] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18058/stat : 18058 (java) S 18044 18046 18046 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869272980 8744267776 15348 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 1 0 0 0
[pid=18046/tid=18059] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18059/stat : 18059 (java) S 18044 18046 18046 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869272982 8744267776 15348 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092055985 0 4 0 16800975 18446604469188405312 0 0 -1 1 0 0 0
[pid=18046/tid=18060] ppid=18044 vsize=8539324 CPUtime=0.4 cores=1,3,5,7
/proc/18046/task/18060/stat : 18060 (java) S 18044 18046 18046 0 -1 4202560 1462 0 0 0 40 0 0 0 25 0 19 0 869272982 8744267776 15348 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 3 0 0 0
[pid=18046/tid=18061] ppid=18044 vsize=8539324 CPUtime=0.48 cores=1,3,5,7
/proc/18046/task/18061/stat : 18061 (java) R 18044 18046 18046 0 -1 4202560 4153 0 0 0 48 0 0 0 25 0 19 0 869272982 8744267776 15348 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 47546816776080 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18046/tid=18062] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18062/stat : 18062 (java) S 18044 18046 18046 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869272982 8744267776 15348 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 1 0 0 0
[pid=18046/tid=18063] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18063/stat : 18063 (java) S 18044 18046 18046 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869272982 8744267776 15348 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048896 0 4 0 16800975 18446604469188405312 0 0 -1 7 0 0 0
[pid=18038/tid=18045] ppid=18036 vsize=295412 CPUtime=0 cores=1,3,5,7
/proc/18038/task/18045/stat : 18045 (python) S 18036 18038 17436 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 2 0 869272977 302501888 7718 33554432000 4194304 5683644 140735504167456 18446744073709551615 208092055985 0 0 16781312 33554434 18446604466635191360 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 9119904
[startup+3.10121 s]
/proc/loadavg: 2.42 1.51 0.67 3/579 18064
/proc/meminfo: memFree=27511400/32950928 swapFree=38525204/67111528
[pid=18038] ppid=18036 vsize=295412 CPUtime=0.61 cores=1,3,5,7
/proc/18038/stat : 18038 (python) S 18036 18038 17436 0 -1 4202496 10547 930 1 0 53 8 0 0 20 0 2 0 869272903 302501888 7718 33554432000 4194304 5683644 140735504167456 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18038/statm: 73853 7718 1870 364 0 8740 0
[pid=18044] ppid=18038 vsize=285168 CPUtime=0 cores=1,3,5,7
/proc/18044/stat : 18044 (python) S 18038 18038 17436 0 -1 4202560 759 0 0 0 0 0 0 0 15 0 1 0 869272977 292012032 6196 33554432000 4194304 5683644 140735504167456 18446744073709551615 208080252431 0 0 16781312 33554946 4294934790 0 0 17 5 0 0 0
/proc/18044/statm: 71292 6196 352 364 0 6179 0
[pid=18046] ppid=18044 vsize=8539324 CPUtime=3.4 cores=1,3,5,7
/proc/18046/stat : 18046 (java) S 18044 18046 18046 0 -1 4202496 20711 0 1 0 337 3 0 0 18 0 19 0 869272977 8744267776 17795 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18046/statm: 2134831 17795 2259 9 0 2125572 0
[pid=18046/tid=18047] ppid=18044 vsize=8539324 CPUtime=2.32 cores=1,3,5,7
/proc/18046/task/18047/stat : 18047 (java) R 18044 18046 18046 0 -1 4202560 12384 0 1 0 230 2 0 0 25 0 19 0 869272978 8744267776 17795 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 46912505939131 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18046/tid=18048] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18048/stat : 18048 (java) S 18044 18046 18046 0 -1 4202560 490 0 0 0 0 0 0 0 18 0 19 0 869272978 8744267776 17795 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 1 0 0 0
[pid=18046/tid=18049] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18049/stat : 18049 (java) S 18044 18046 18046 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869272978 8744267776 17795 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 3 0 0 0
[pid=18046/tid=18050] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18050/stat : 18050 (java) S 18044 18046 18046 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869272978 8744267776 17795 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 3 0 0 0
[pid=18046/tid=18051] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18051/stat : 18051 (java) S 18044 18046 18046 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869272978 8744267776 17795 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 7 0 0 0
[pid=18046/tid=18052] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18052/stat : 18052 (java) S 18044 18046 18046 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869272978 8744267776 17795 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 7 0 0 0
[pid=18046/tid=18053] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18053/stat : 18053 (java) S 18044 18046 18046 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869272978 8744267776 17795 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 7 0 0 0
[pid=18046/tid=18054] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18054/stat : 18054 (java) S 18044 18046 18046 0 -1 4202560 154 0 0 0 0 0 0 0 18 0 19 0 869272978 8744267776 17795 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 7 0 0 0
[pid=18046/tid=18055] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18055/stat : 18055 (java) S 18044 18046 18046 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869272978 8744267776 17795 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 3 0 0 0
[pid=18046/tid=18056] ppid=18044 vsize=8539324 CPUtime=0.01 cores=1,3,5,7
/proc/18046/task/18056/stat : 18056 (java) S 18044 18046 18046 0 -1 4202560 650 0 0 0 1 0 0 0 15 0 19 0 869272979 8744267776 17795 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048896 0 0 0 16800975 18446604469188405312 0 0 -1 5 0 0 0
[pid=18046/tid=18057] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18057/stat : 18057 (java) S 18044 18046 18046 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869272980 8744267776 17795 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 1 0 0 0
[pid=18046/tid=18058] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18058/stat : 18058 (java) S 18044 18046 18046 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869272980 8744267776 17795 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 1 0 0 0
[pid=18046/tid=18059] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18059/stat : 18059 (java) S 18044 18046 18046 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869272982 8744267776 17795 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092055985 0 4 0 16800975 18446604469188405312 0 0 -1 1 0 0 0
[pid=18046/tid=18060] ppid=18044 vsize=8539324 CPUtime=0.45 cores=1,3,5,7
/proc/18046/task/18060/stat : 18060 (java) S 18044 18046 18046 0 -1 4202560 1471 0 0 0 45 0 0 0 17 0 19 0 869272982 8744267776 17795 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 3 0 0 0
[pid=18046/tid=18061] ppid=18044 vsize=8539324 CPUtime=0.59 cores=1,3,5,7
/proc/18046/task/18061/stat : 18061 (java) S 18044 18046 18046 0 -1 4202560 4178 0 0 0 59 0 0 0 17 0 19 0 869272982 8744267776 17795 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 5 0 0 0
[pid=18046/tid=18062] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18062/stat : 18062 (java) S 18044 18046 18046 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869272982 8744267776 17795 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 1 0 0 0
[pid=18046/tid=18063] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18063/stat : 18063 (java) S 18044 18046 18046 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869272982 8744267776 17795 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048896 0 4 0 16800975 18446604469188405312 0 0 -1 3 0 0 0
[pid=18046/tid=18064] ppid=18044 vsize=8539324 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18064/stat : 18064 (java) S 18044 18046 18046 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869273021 8744267776 17795 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048896 0 4 0 16800975 18446604469188405312 0 0 -1 7 0 0 0
[pid=18038/tid=18045] ppid=18036 vsize=295412 CPUtime=0 cores=1,3,5,7
/proc/18038/task/18045/stat : 18045 (python) S 18036 18038 17436 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 2 0 869272977 302501888 7718 33554432000 4194304 5683644 140735504167456 18446744073709551615 208092055985 0 0 16781312 33554434 18446604466635191360 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 9119904
[startup+6.3006 s]
/proc/loadavg: 2.62 1.57 0.69 3/579 18064
/proc/meminfo: memFree=27500588/32950928 swapFree=38525204/67111528
[pid=18038] ppid=18036 vsize=295412 CPUtime=0.61 cores=1,3,5,7
/proc/18038/stat : 18038 (python) S 18036 18038 17436 0 -1 4202496 10547 930 1 0 53 8 0 0 20 0 2 0 869272903 302501888 7718 33554432000 4194304 5683644 140735504167456 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18038/statm: 73853 7718 1870 364 0 8740 0
[pid=18044] ppid=18038 vsize=285168 CPUtime=0.02 cores=1,3,5,7
/proc/18044/stat : 18044 (python) S 18038 18038 17436 0 -1 4202560 891 0 0 0 1 1 0 0 15 0 1 0 869272977 292012032 6220 33554432000 4194304 5683644 140735504167456 18446744073709551615 208080252431 0 0 16781312 33554946 3228904229280153600 0 0 17 7 0 0 0
/proc/18044/statm: 71292 6220 376 364 0 6179 0
[pid=18046] ppid=18044 vsize=8537596 CPUtime=6.66 cores=1,3,5,7
/proc/18046/stat : 18046 (java) S 18044 18046 18046 0 -1 4202496 22300 0 1 0 663 3 0 0 18 0 19 0 869272977 8742498304 18946 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18046/statm: 2134399 18946 2259 9 0 2125140 0
[pid=18046/tid=18047] ppid=18044 vsize=8537596 CPUtime=5.48 cores=1,3,5,7
/proc/18046/task/18047/stat : 18047 (java) R 18044 18046 18046 0 -1 4202560 12388 0 1 0 546 2 0 0 19 0 19 0 869272978 8742498304 18946 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 46912505842972 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18046/tid=18048] ppid=18044 vsize=8537596 CPUtime=0.01 cores=1,3,5,7
/proc/18046/task/18048/stat : 18048 (java) S 18044 18046 18046 0 -1 4202560 490 0 0 0 1 0 0 0 16 0 19 0 869272978 8742498304 18946 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 1 0 0 0
[pid=18046/tid=18049] ppid=18044 vsize=8537596 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18049/stat : 18049 (java) S 18044 18046 18046 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869272978 8742498304 18946 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 1 0 0 0
[pid=18046/tid=18050] ppid=18044 vsize=8537596 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18050/stat : 18050 (java) S 18044 18046 18046 0 -1 4202560 381 0 0 0 0 0 0 0 15 0 19 0 869272978 8742498304 18946 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 3 0 0 0
[pid=18046/tid=18051] ppid=18044 vsize=8537596 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18051/stat : 18051 (java) S 18044 18046 18046 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869272978 8742498304 18946 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 7 0 0 0
[pid=18046/tid=18052] ppid=18044 vsize=8537596 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18052/stat : 18052 (java) S 18044 18046 18046 0 -1 4202560 82 0 0 0 0 0 0 0 15 0 19 0 869272978 8742498304 18946 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 7 0 0 0
[pid=18046/tid=18053] ppid=18044 vsize=8537596 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18053/stat : 18053 (java) S 18044 18046 18046 0 -1 4202560 157 0 0 0 0 0 0 0 16 0 19 0 869272978 8742498304 18946 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 7 0 0 0
[pid=18046/tid=18054] ppid=18044 vsize=8537596 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18054/stat : 18054 (java) S 18044 18046 18046 0 -1 4202560 505 0 0 0 0 0 0 0 16 0 19 0 869272978 8742498304 18946 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 7 0 0 0
[pid=18046/tid=18055] ppid=18044 vsize=8537596 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18055/stat : 18055 (java) S 18044 18046 18046 0 -1 4202560 118 0 0 0 0 0 0 0 16 0 19 0 869272978 8742498304 18946 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446604469188405312 0 0 -1 1 0 0 0
[pid=18046/tid=18056] ppid=18044 vsize=8537596 CPUtime=0.03 cores=1,3,5,7
/proc/18046/task/18056/stat : 18056 (java) S 18044 18046 18046 0 -1 4202560 1141 0 0 0 3 0 0 0 15 0 19 0 869272979 8742498304 18946 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048896 0 0 0 16800975 18446604469188405312 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=18355/tid=18369] ppid=18353 vsize=8539792 CPUtime=0.47 cores=1,3,5,7
/proc/18355/task/18369/stat : 18369 (java) R 18353 18355 18355 0 -1 4202560 3041 0 0 0 47 0 0 0 25 0 19 0 869292427 8744747008 18244 33554432000 1073741824 1073778376 140736935948720 18446744073709551615 47967186230432 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18355/tid=18370] ppid=18353 vsize=8539792 CPUtime=0.49 cores=1,3,5,7
/proc/18355/task/18370/stat : 18370 (java) R 18353 18355 18355 0 -1 4202560 2873 0 0 0 49 0 0 0 25 0 19 0 869292427 8744747008 18244 33554432000 1073741824 1073778376 140736935948720 18446744073709551615 47967187396283 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18355/tid=18371] ppid=18353 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18371/stat : 18371 (java) S 18353 18355 18355 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869292427 8744747008 18244 33554432000 1073741824 1073778376 140736935948720 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 1 0 0 0
[pid=18355/tid=18372] ppid=18353 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18372/stat : 18372 (java) S 18353 18355 18355 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869292427 8744747008 18244 33554432000 1073741824 1073778376 140736935948720 18446744073709551615 208092048896 0 4 0 16800975 18446604459719238784 0 0 -1 5 0 0 0
[pid=18355/tid=18373] ppid=18353 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18373/stat : 18373 (java) S 18353 18355 18355 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869292465 8744747008 18244 33554432000 1073741824 1073778376 140736935948720 18446744073709551615 208092048896 0 4 0 16800975 18446604459719238784 0 0 -1 1 0 0 0
[pid=18038/tid=18045] ppid=18036 vsize=337044 CPUtime=0 cores=1,3,5,7
/proc/18038/task/18045/stat : 18045 (python) S 18036 18038 17436 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 6 0 869272977 345133056 7869 33554432000 4194304 5683644 140735504167456 18446744073709551615 208092055985 0 0 16781312 33554434 18446604466635191360 0 0 -1 7 0 0 0
[pid=18038/tid=18235] ppid=18036 vsize=337044 CPUtime=0 cores=1,3,5,7
/proc/18038/task/18235/stat : 18235 (python) S 18036 18038 17436 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 6 0 869277910 345133056 7869 33554432000 4194304 5683644 140735504167456 18446744073709551615 208092055985 0 0 16781312 33554434 18446604466635191360 0 0 -1 3 0 0 0
[pid=18038/tid=18262] ppid=18036 vsize=337044 CPUtime=0 cores=1,3,5,7
/proc/18038/task/18262/stat : 18262 (python) S 18036 18038 17436 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 6 0 869282586 345133056 7869 33554432000 4194304 5683644 140735504167456 18446744073709551615 208092055985 0 0 16781312 33554434 18446604466635191360 0 0 -1 3 0 0 0
[pid=18038/tid=18272] ppid=18036 vsize=337044 CPUtime=0 cores=1,3,5,7
/proc/18038/task/18272/stat : 18272 (python) S 18036 18038 17436 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 6 0 869287335 345133056 7869 33554432000 4194304 5683644 140735504167456 18446744073709551615 208092055985 0 0 16781312 33554434 18446604466635191360 0 0 -1 5 0 0 0
[pid=18038/tid=18354] ppid=18036 vsize=337044 CPUtime=0 cores=1,3,5,7
/proc/18038/task/18354/stat : 18354 (python) S 18036 18038 17436 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 6 0 869292422 345133056 7869 33554432000 4194304 5683644 140735504167456 18446744073709551615 208092055985 0 0 16781312 33554434 18446604466635191360 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 198.78
Current children cumulated vsize (KiB) 19233224
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+195.901 s]
/proc/loadavg: 2.31 1.85 0.96 7/644 18373
/proc/meminfo: memFree=26823788/32950928 swapFree=38525204/67111528
[pid=18038] ppid=18036 vsize=337044 CPUtime=0.72 cores=1,3,5,7
/proc/18038/stat : 18038 (python) S 18036 18038 17436 0 -1 4202496 14298 930 1 0 63 9 0 0 20 0 6 0 869272903 345133056 7869 33554432000 4194304 5683644 140735504167456 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/18038/statm: 84261 7869 1879 364 0 19136 0
[pid=18044] ppid=18038 vsize=295412 CPUtime=0.22 cores=1,3,5,7
/proc/18044/stat : 18044 (python) S 18038 18038 17436 0 -1 4202560 1077 0 0 0 10 12 0 0 17 0 2 0 869272977 302501888 6256 33554432000 4194304 5683644 140735504167456 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/18044/statm: 73853 6256 407 364 0 8740 0
[pid=18046] ppid=18044 vsize=8537596 CPUtime=50.47 cores=1,3,5,7
/proc/18046/stat : 18046 (java) T 18044 18046 18046 0 -1 4202496 27506 0 1 0 5043 4 0 0 18 0 19 0 869272977 8742498304 24124 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18046/statm: 2134399 24124 2259 9 0 2125140 0
[pid=18046/tid=18047] ppid=18044 vsize=8537596 CPUtime=48.81 cores=1,3,5,7
/proc/18046/task/18047/stat : 18047 (java) T 18044 18046 18046 0 -1 4202560 12404 0 1 0 4879 2 0 0 25 0 19 0 869272978 8742498304 24124 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 46912505989120 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18046/tid=18048] ppid=18044 vsize=8537596 CPUtime=0.02 cores=1,3,5,7
/proc/18046/task/18048/stat : 18048 (java) T 18044 18046 18046 0 -1 4202560 1007 0 0 0 2 0 0 0 15 0 19 0 869272978 8742498304 24124 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18046/tid=18049] ppid=18044 vsize=8537596 CPUtime=0.02 cores=1,3,5,7
/proc/18046/task/18049/stat : 18049 (java) T 18044 18046 18046 0 -1 4202560 291 0 0 0 2 0 0 0 15 0 19 0 869272978 8742498304 24124 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18046/tid=18050] ppid=18044 vsize=8537596 CPUtime=0.01 cores=1,3,5,7
/proc/18046/task/18050/stat : 18050 (java) T 18044 18046 18046 0 -1 4202560 1210 0 0 0 1 0 0 0 15 0 19 0 869272978 8742498304 24124 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18046/tid=18051] ppid=18044 vsize=8537596 CPUtime=0.01 cores=1,3,5,7
/proc/18046/task/18051/stat : 18051 (java) T 18044 18046 18046 0 -1 4202560 598 0 0 0 1 0 0 0 15 0 19 0 869272978 8742498304 24124 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18046/tid=18052] ppid=18044 vsize=8537596 CPUtime=0.02 cores=1,3,5,7
/proc/18046/task/18052/stat : 18052 (java) T 18044 18046 18046 0 -1 4202560 213 0 0 0 2 0 0 0 15 0 19 0 869272978 8742498304 24124 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18046/tid=18053] ppid=18044 vsize=8537596 CPUtime=0.02 cores=1,3,5,7
/proc/18046/task/18053/stat : 18053 (java) T 18044 18046 18046 0 -1 4202560 739 0 0 0 2 0 0 0 15 0 19 0 869272978 8742498304 24124 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18046/tid=18054] ppid=18044 vsize=8537596 CPUtime=0.02 cores=1,3,5,7
/proc/18046/task/18054/stat : 18054 (java) T 18044 18046 18046 0 -1 4202560 600 0 0 0 2 0 0 0 15 0 19 0 869272978 8742498304 24124 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18046/tid=18055] ppid=18044 vsize=8537596 CPUtime=0.02 cores=1,3,5,7
/proc/18046/task/18055/stat : 18055 (java) T 18044 18046 18046 0 -1 4202560 125 0 0 0 2 0 0 0 15 0 19 0 869272978 8742498304 24124 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18046/tid=18056] ppid=18044 vsize=8537596 CPUtime=0.31 cores=1,3,5,7
/proc/18046/task/18056/stat : 18056 (java) T 18044 18046 18046 0 -1 4202560 3273 0 0 0 31 0 0 0 15 0 19 0 869272979 8742498304 24124 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048896 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18046/tid=18057] ppid=18044 vsize=8537596 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18057/stat : 18057 (java) T 18044 18046 18046 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869272980 8742498304 24124 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18046/tid=18058] ppid=18044 vsize=8537596 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18058/stat : 18058 (java) T 18044 18046 18046 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869272980 8742498304 24124 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18046/tid=18059] ppid=18044 vsize=8537596 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18059/stat : 18059 (java) T 18044 18046 18046 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869272982 8742498304 24124 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092055985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18046/tid=18060] ppid=18044 vsize=8537596 CPUtime=0.5 cores=1,3,5,7
/proc/18046/task/18060/stat : 18060 (java) T 18044 18046 18046 0 -1 4202560 1482 0 0 0 50 0 0 0 15 0 19 0 869272982 8742498304 24124 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18046/tid=18061] ppid=18044 vsize=8537596 CPUtime=0.63 cores=1,3,5,7
/proc/18046/task/18061/stat : 18061 (java) T 18044 18046 18046 0 -1 4202560 4184 0 0 0 63 0 0 0 15 0 19 0 869272982 8742498304 24124 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18046/tid=18062] ppid=18044 vsize=8537596 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18062/stat : 18062 (java) T 18044 18046 18046 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869272982 8742498304 24124 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18046/tid=18063] ppid=18044 vsize=8537596 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18063/stat : 18063 (java) T 18044 18046 18046 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869272982 8742498304 24124 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18046/tid=18064] ppid=18044 vsize=8537596 CPUtime=0 cores=1,3,5,7
/proc/18046/task/18064/stat : 18064 (java) T 18044 18046 18046 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869273021 8742498304 24124 33554432000 1073741824 1073778376 140737397915024 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18044/tid=18233] ppid=18038 vsize=295412 CPUtime=0 cores=1,3,5,7
/proc/18044/task/18233/stat : 18233 (python) S 18038 18038 17436 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869277907 302501888 6256 33554432000 4194304 5683644 140735504167456 18446744073709551615 208092055985 0 0 16781312 33554946 18446604468552378304 0 0 -1 1 0 0 0
[pid=18234] ppid=18038 vsize=296032 CPUtime=0.19 cores=1,3,5,7
/proc/18234/stat : 18234 (python) S 18038 18038 17436 0 -1 4202560 1116 0 0 0 8 11 0 0 16 0 2 0 869277910 303136768 6372 33554432000 4194304 5683644 140735504167456 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18234/statm: 74008 6372 397 364 0 8892 0
[pid=18236] ppid=18234 vsize=97016 CPUtime=46.71 cores=1,3,5,7
/proc/18236/stat : 18236 (scip-2.0.1.linu) T 18234 18236 18236 0 -1 4202496 35145 0 0 0 4594 77 0 0 25 0 1 0 869277910 99344384 21712 33554432000 4194304 13684479 140736410971328 18446744073709551615 7419498 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/18236/statm: 24254 21712 810 2317 0 21932 0
[pid=18234/tid=18260] ppid=18038 vsize=296032 CPUtime=0 cores=1,3,5,7
/proc/18234/task/18260/stat : 18260 (python) S 18038 18038 17436 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869282583 303136768 6372 33554432000 4194304 5683644 140735504167456 18446744073709551615 208092055985 0 0 16781312 33554946 18446604468552376512 0 0 -1 3 0 0 0
[pid=18261] ppid=18038 vsize=306288 CPUtime=0.25 cores=1,3,5,7
/proc/18261/stat : 18261 (python) S 18038 18038 17436 0 -1 4202560 1139 0 0 0 12 13 0 0 16 0 2 0 869282586 313638912 6376 33554432000 4194304 5683644 140735504167456 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18261/statm: 76572 6376 397 364 0 11453 0
[pid=18263] ppid=18261 vsize=63384 CPUtime=47.45 cores=1,3,5,7
/proc/18263/stat : 18263 (wbo1.4a) T 18261 18263 18263 0 -1 4202496 17792 0 0 0 4661 84 0 0 25 0 1 0 869282586 64905216 15405 33554432000 134512640 135751879 4287609632 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/18263/statm: 15846 15405 146 303 0 15541 0
[pid=18261/tid=18270] ppid=18038 vsize=306288 CPUtime=0 cores=1,3,5,7
/proc/18261/task/18270/stat : 18270 (python) S 18038 18038 17436 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869287332 313638912 6376 33554432000 4194304 5683644 140735504167456 18446744073709551615 208092055985 0 0 16781312 33554946 18446604465963256704 0 0 -1 7 0 0 0
[pid=18271] ppid=18038 vsize=316544 CPUtime=0.23 cores=1,3,5,7
/proc/18271/stat : 18271 (python) S 18038 18038 17436 0 -1 4202560 1139 0 0 0 12 11 0 0 17 0 2 0 869287335 324141056 6380 33554432000 4194304 5683644 140735504167456 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18271/statm: 79136 6380 397 364 0 14014 0
[pid=18273] ppid=18271 vsize=117316 CPUtime=50.83 cores=1,3,5,7
/proc/18273/stat : 18273 (scip-2.0.1.linu) T 18271 18273 18273 0 -1 4202496 92512 0 0 0 5034 49 0 0 25 0 1 0 869287335 120131584 21930 33554432000 4194304 15243407 140736018612640 18446744073709551615 8115312 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/18273/statm: 29329 21930 908 2698 0 26624 0
[pid=18271/tid=18352] ppid=18038 vsize=316544 CPUtime=0 cores=1,3,5,7
/proc/18271/task/18352/stat : 18352 (python) S 18038 18038 17436 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869292419 324141056 6380 33554432000 4194304 5683644 140735504167456 18446744073709551615 208092055985 0 0 16781312 33554946 18446604471128849408 0 0 -1 7 0 0 0
[pid=18353] ppid=18038 vsize=326800 CPUtime=0 cores=1,3,5,7
/proc/18353/stat : 18353 (python) S 18038 18038 17436 0 -1 4202560 799 0 0 0 0 0 0 0 15 0 1 0 869292422 334643200 6335 33554432000 4194304 5683644 140735504167456 18446744073709551615 208080252486 0 0 16781312 33554946 3433173719986470912 0 0 17 5 0 0 0
/proc/18353/statm: 81700 6335 349 364 0 16575 0
[pid=18355] ppid=18353 vsize=8539792 CPUtime=1.71 cores=1,3,5,7
/proc/18355/stat : 18355 (java) S 18353 18355 18355 0 -1 4202496 21326 0 1 0 168 3 0 0 21 0 19 0 869292422 8744747008 18089 33554432000 1073741824 1073778376 140736935948720 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18355/statm: 2134948 18089 2233 9 0 2125689 0
[pid=18355/tid=18356] ppid=18353 vsize=8539792 CPUtime=0.73 cores=1,3,5,7
/proc/18355/task/18356/stat : 18356 (java) R 18353 18355 18355 0 -1 4202560 14170 0 1 0 71 2 0 0 25 0 19 0 869292423 8744747008 18243 33554432000 1073741824 1073778376 140736935948720 18446744073709551615 46912505881621 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18355/tid=18357] ppid=18353 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18357/stat : 18357 (java) S 18353 18355 18355 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869292423 8744747008 18243 33554432000 1073741824 1073778376 140736935948720 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 1 0 0 0
[pid=18355/tid=18358] ppid=18353 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18358/stat : 18358 (java) S 18353 18355 18355 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869292423 8744747008 18243 33554432000 1073741824 1073778376 140736935948720 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 7 0 0 0
[pid=18355/tid=18359] ppid=18353 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18359/stat : 18359 (java) S 18353 18355 18355 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869292423 8744747008 18243 33554432000 1073741824 1073778376 140736935948720 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 7 0 0 0
[pid=18355/tid=18360] ppid=18353 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18360/stat : 18360 (java) S 18353 18355 18355 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869292423 8744747008 18243 33554432000 1073741824 1073778376 140736935948720 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 7 0 0 0
[pid=18355/tid=18361] ppid=18353 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18361/stat : 18361 (java) S 18353 18355 18355 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869292423 8744747008 18243 33554432000 1073741824 1073778376 140736935948720 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 7 0 0 0
[pid=18355/tid=18362] ppid=18353 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18362/stat : 18362 (java) S 18353 18355 18355 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869292423 8744747008 18244 33554432000 1073741824 1073778376 140736935948720 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 7 0 0 0
[pid=18355/tid=18363] ppid=18353 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18363/stat : 18363 (java) S 18353 18355 18355 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869292423 8744747008 18244 33554432000 1073741824 1073778376 140736935948720 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 7 0 0 0
[pid=18355/tid=18364] ppid=18353 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18364/stat : 18364 (java) S 18353 18355 18355 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869292423 8744747008 18244 33554432000 1073741824 1073778376 140736935948720 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 7 0 0 0
[pid=18355/tid=18365] ppid=18353 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18365/stat : 18365 (java) S 18353 18355 18355 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 19 0 869292424 8744747008 18244 33554432000 1073741824 1073778376 140736935948720 18446744073709551615 208092048896 0 0 0 16800975 18446604459719238784 0 0 -1 1 0 0 0
[pid=18355/tid=18366] ppid=18353 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18366/stat : 18366 (java) S 18353 18355 18355 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869292424 8744747008 18244 33554432000 1073741824 1073778376 140736935948720 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 1 0 0 0
[pid=18355/tid=18367] ppid=18353 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18367/stat : 18367 (java) S 18353 18355 18355 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869292424 8744747008 18244 33554432000 1073741824 1073778376 140736935948720 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 1 0 0 0
[pid=18355/tid=18368] ppid=18353 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18368/stat : 18368 (java) S 18353 18355 18355 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869292427 8744747008 18244 33554432000 1073741824 1073778376 140736935948720 18446744073709551615 208092055985 0 4 0 16800975 18446604459719238784 0 0 -1 1 0 0 0
[pid=18355/tid=18369] ppid=18353 vsize=8539792 CPUtime=0.47 cores=1,3,5,7
/proc/18355/task/18369/stat : 18369 (java) R 18353 18355 18355 0 -1 4202560 3041 0 0 0 47 0 0 0 25 0 19 0 869292427 8744747008 18244 33554432000 1073741824 1073778376 140736935948720 18446744073709551615 47967186230432 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18355/tid=18370] ppid=18353 vsize=8539792 CPUtime=0.49 cores=1,3,5,7
/proc/18355/task/18370/stat : 18370 (java) R 18353 18355 18355 0 -1 4202560 2873 0 0 0 49 0 0 0 25 0 19 0 869292427 8744747008 18244 33554432000 1073741824 1073778376 140736935948720 18446744073709551615 47967187396283 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18355/tid=18371] ppid=18353 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18371/stat : 18371 (java) S 18353 18355 18355 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869292427 8744747008 18244 33554432000 1073741824 1073778376 140736935948720 18446744073709551615 208092048281 0 4 0 16800975 18446604459719238784 0 0 -1 1 0 0 0
[pid=18355/tid=18372] ppid=18353 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18372/stat : 18372 (java) S 18353 18355 18355 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869292427 8744747008 18244 33554432000 1073741824 1073778376 140736935948720 18446744073709551615 208092048896 0 4 0 16800975 18446604459719238784 0 0 -1 5 0 0 0
[pid=18355/tid=18373] ppid=18353 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18373/stat : 18373 (java) S 18353 18355 18355 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869292465 8744747008 18244 33554432000 1073741824 1073778376 140736935948720 18446744073709551615 208092048896 0 4 0 16800975 18446604459719238784 0 0 -1 1 0 0 0
[pid=18038/tid=18045] ppid=18036 vsize=337044 CPUtime=0 cores=1,3,5,7
/proc/18038/task/18045/stat : 18045 (python) S 18036 18038 17436 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 6 0 869272977 345133056 7869 33554432000 4194304 5683644 140735504167456 18446744073709551615 208092055985 0 0 16781312 33554434 18446604466635191360 0 0 -1 7 0 0 0
[pid=18038/tid=18235] ppid=18036 vsize=337044 CPUtime=0 cores=1,3,5,7
/proc/18038/task/18235/stat : 18235 (python) S 18036 18038 17436 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 6 0 869277910 345133056 7869 33554432000 4194304 5683644 140735504167456 18446744073709551615 208092055985 0 0 16781312 33554434 18446604466635191360 0 0 -1 3 0 0 0
[pid=18038/tid=18262] ppid=18036 vsize=337044 CPUtime=0 cores=1,3,5,7
/proc/18038/task/18262/stat : 18262 (python) S 18036 18038 17436 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 6 0 869282586 345133056 7869 33554432000 4194304 5683644 140735504167456 18446744073709551615 208092055985 0 0 16781312 33554434 18446604466635191360 0 0 -1 3 0 0 0
[pid=18038/tid=18272] ppid=18036 vsize=337044 CPUtime=0 cores=1,3,5,7
/proc/18038/task/18272/stat : 18272 (python) S 18036 18038 17436 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 6 0 869287335 345133056 7869 33554432000 4194304 5683644 140735504167456 18446744073709551615 208092055985 0 0 16781312 33554434 18446604466635191360 0 0 -1 5 0 0 0
[pid=18038/tid=18354] ppid=18036 vsize=337044 CPUtime=0 cores=1,3,5,7
/proc/18038/task/18354/stat : 18354 (python) S 18036 18038 17436 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 6 0 869292422 345133056 7869 33554432000 4194304 5683644 140735504167456 18446744073709551615 208092055985 0 0 16781312 33554434 18446604466635191360 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 198.78
Current children cumulated vsize (KiB) 19233224
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18038 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=634903
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=100984
# CPU time returned by wait4() is 0.735887
# while last known CPU time is 198.78
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 195.984
CPU time (s): 198.78
CPU user time (s): 196.05
CPU system time (s): 2.73
CPU usage (%): 101.426
Max. virtual memory (cumulated for all children) (KiB): 19233224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.634903
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15230
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= 1246
involuntary context switches= 16
runsolver used 1.12883 second user time and 2.71959 second system time
The end