runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4247711-1500736206/watcher-4247711-1500736206 -o /tmp/evaluation-result-4247711-1500736206/solver-4247711-1500736206 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500716625-14915 --watchdog 2560 bin/concrete HOME/instance-4247711-1500736206.xml
pid=18891
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.58 2.37 3/261 18894
/proc/meminfo: memFree=27413900/32770624 swapFree=5780/170876
[pid=18894] ppid=18891 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18894/stat : 18894 (bash) S 18891 18894 14883 0 -1 4202496 685 1532 0 0 0 0 0 0 20 0 1 0 8887978 9736192 350 33554432000 4194304 5098028 140725409906928 140725409904568 140232046644224 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 9801728 140725409907982 140725409908067 140725409908067 140725409910766 0
/proc/18894/statm: 2377 350 278 221 0 86 0
[startup+0.100177 s]
/proc/loadavg: 2.02 2.58 2.37 3/261 18894
/proc/meminfo: memFree=27413900/32770624 swapFree=5780/170876
[pid=18894] ppid=18891 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18894/stat : 18894 (bash) S 18891 18894 14883 0 -1 4202496 879 6421 0 0 0 0 0 1 20 0 1 0 8887978 9871360 377 33554432000 4194304 5098028 140725409906928 140725409900936 140232046644224 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 9801728 140725409907982 140725409908067 140725409908067 140725409910766 0
/proc/18894/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200374 s]
/proc/loadavg: 2.02 2.58 2.37 3/261 18894
/proc/meminfo: memFree=27413900/32770624 swapFree=5780/170876
[pid=18894] ppid=18891 vsize=10435860 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/18894/stat : 18894 (java) S 18891 18894 14883 0 -1 1077944320 4857 12260 0 0 6 1 8 4 20 0 13 0 8887978 10686320640 5174 33554432000 4194304 4196468 140727043522944 140727043505488 140682651270903 0 0 0 16800971 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
/proc/18894/statm: 2608965 5239 2172 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860
[startup+0.300331 s]
/proc/loadavg: 2.02 2.58 2.37 3/261 18894
/proc/meminfo: memFree=27413900/32770624 swapFree=5780/170876
[pid=18894] ppid=18891 vsize=10902392 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/18894/stat : 18894 (java) S 18891 18894 14883 0 -1 1077944320 7140 12260 0 0 22 3 8 4 20 0 20 0 8887978 11164049408 8960 33554432000 4194304 4196468 140727043522944 140727043505488 140682651270903 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
/proc/18894/statm: 2725598 8960 2994 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902392
[startup+0.700232 s]
/proc/loadavg: 2.02 2.58 2.37 3/261 18894
/proc/meminfo: memFree=27413900/32770624 swapFree=5780/170876
[pid=18894] ppid=18891 vsize=10902720 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/18894/stat : 18894 (java) S 18891 18894 14883 0 -1 1077944320 12753 12260 0 0 79 5 8 4 20 0 20 0 8887978 11164385280 16036 33554432000 4194304 4196468 140727043522944 140727043505488 140682651270903 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
/proc/18894/statm: 2725680 16036 3219 1 0 2713890 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 10902720
[startup+1.50082 s]
/proc/loadavg: 2.02 2.58 2.37 3/281 18967
/proc/meminfo: memFree=27301488/32770624 swapFree=5780/170912
[pid=18894] ppid=18891 vsize=10913344 CPUtime=2.29 cores=1,3,5,7,9,11,13,15
/proc/18894/stat : 18894 (java) S 18891 18894 14883 0 -1 1077944320 27904 12260 0 0 204 13 8 4 20 0 20 0 8887978 11175264256 44232 33554432000 4194304 4196468 140727043522944 140727043505488 140682651270903 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
/proc/18894/statm: 2728336 44232 3416 1 0 2716450 0
[pid=18894/tid=18949] ppid=18891 vsize=10913344 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18949/stat : 18949 (java) R 18891 18894 14883 0 -1 4202560 19642 12260 0 0 125 6 8 4 20 0 20 0 8887990 11175264256 44232 33554432000 4194304 4196468 140727043522944 140682655500544 140682636639711 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18950] ppid=18891 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18950/stat : 18950 (java) S 18891 18894 14883 0 -1 1077944384 58 12260 0 0 0 0 8 4 20 0 20 0 8887991 11175264256 44232 33554432000 4194304 4196468 140727043522944 140682603891088 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18951] ppid=18891 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18951/stat : 18951 (java) S 18891 18894 14883 0 -1 1077944384 11 12260 0 0 1 0 8 4 20 0 20 0 8887991 11175264256 44232 33554432000 4194304 4196468 140727043522944 140682602838288 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18952] ppid=18891 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18952/stat : 18952 (java) S 18891 18894 14883 0 -1 1077944384 126 12260 0 0 1 0 8 4 20 0 20 0 8887991 11175264256 44232 33554432000 4194304 4196468 140727043522944 140682601786000 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18953] ppid=18891 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18953/stat : 18953 (java) S 18891 18894 14883 0 -1 1077944384 20 12260 0 0 0 0 8 4 20 0 20 0 8887991 11175264256 44232 33554432000 4194304 4196468 140727043522944 140682600733200 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18954] ppid=18891 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18954/stat : 18954 (java) S 18891 18894 14883 0 -1 1077944384 36 12260 0 0 1 0 8 4 20 0 20 0 8887991 11175264256 44232 33554432000 4194304 4196468 140727043522944 140682599680912 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18955] ppid=18891 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18955/stat : 18955 (java) S 18891 18894 14883 0 -1 1077944384 12 12260 0 0 1 0 8 4 20 0 20 0 8887991 11175264256 44232 33554432000 4194304 4196468 140727043522944 140682598628112 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18956] ppid=18891 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18956/stat : 18956 (java) S 18891 18894 14883 0 -1 1077944384 22 12260 0 0 1 0 8 4 20 0 20 0 8887991 11175264256 44232 33554432000 4194304 4196468 140727043522944 140682597575824 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18957] ppid=18891 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18957/stat : 18957 (java) S 18891 18894 14883 0 -1 1077944384 36 12260 0 0 1 0 8 4 20 0 20 0 8887991 11175264256 44232 33554432000 4194304 4196468 140727043522944 140682596523024 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18958] ppid=18891 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18958/stat : 18958 (java) S 18891 18894 14883 0 -1 1077944384 1617 12260 0 0 1 0 8 4 20 0 20 0 8887994 11175264256 44232 33554432000 4194304 4196468 140727043522944 140682193041520 140682651282050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18959] ppid=18891 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18959/stat : 18959 (java) S 18891 18894 14883 0 -1 1077944384 56 12260 0 0 0 0 8 4 20 0 20 0 8887994 11175264256 44232 33554432000 4194304 4196468 140727043522944 140682191987552 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18960] ppid=18891 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18960/stat : 18960 (java) S 18891 18894 14883 0 -1 1077944384 44 12260 0 0 0 0 8 4 20 0 20 0 8887995 11175264256 44232 33554432000 4194304 4196468 140727043522944 140682123535488 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18961] ppid=18891 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18961/stat : 18961 (java) S 18891 18894 14883 0 -1 1077944384 1 12260 0 0 0 0 8 4 20 0 20 0 8887999 11175264256 44232 33554432000 4194304 4196468 140727043522944 140682122483792 140682651289499 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18962] ppid=18891 vsize=10913344 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18962/stat : 18962 (java) S 18891 18894 14883 0 -1 1077944384 1625 12260 0 0 15 0 8 4 20 0 20 0 8887999 11175264256 44232 33554432000 4194304 4196468 140727043522944 140682121431664 140682651282050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18963] ppid=18891 vsize=10913344 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18963/stat : 18963 (java) S 18891 18894 14883 0 -1 1077944384 473 12260 0 0 9 0 8 4 20 0 20 0 8887999 11175264256 44232 33554432000 4194304 4196468 140727043522944 140682120378864 140682651282050 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18964] ppid=18891 vsize=10913344 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18964/stat : 18964 (java) S 18891 18894 14883 0 -1 1077944384 599 12260 0 0 15 0 8 4 20 0 20 0 8887999 11175264256 44232 33554432000 4194304 4196468 140727043522944 140682119326576 140682651282050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18965] ppid=18891 vsize=10913344 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18965/stat : 18965 (java) S 18891 18894 14883 0 -1 1077944384 1387 12260 0 0 27 0 8 4 20 0 20 0 8887999 11175264256 44232 33554432000 4194304 4196468 140727043522944 140682118273776 140682651282050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18966] ppid=18891 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18966/stat : 18966 (java) S 18891 18894 14883 0 -1 1077944384 3 12260 0 0 0 0 8 4 20 0 20 0 8887999 11175264256 44232 33554432000 4194304 4196468 140727043522944 140682117220704 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18967] ppid=18891 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18967/stat : 18967 (java) S 18891 18894 14883 0 -1 1077944384 7 12260 0 0 0 0 8 4 20 0 20 0 8888000 11175264256 44232 33554432000 4194304 4196468 140727043522944 140682116167984 140682651282050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 10913344
[startup+3.10075 s]
/proc/loadavg: 2.02 2.58 2.37 6/281 18967
/proc/meminfo: memFree=27233164/32770624 swapFree=5780/170892
[pid=18894] ppid=18891 vsize=10925820 CPUtime=6.07 cores=1,3,5,7,9,11,13,15
/proc/18894/stat : 18894 (java) S 18891 18894 14883 0 -1 1077944320 46996 12260 0 0 574 21 8 4 20 0 20 0 8887978 11188039680 57714 33554432000 4194304 4196468 140727043522944 140727043505488 140682651270903 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
/proc/18894/statm: 2731455 57714 3484 1 0 2719010 0
[pid=18894/tid=18949] ppid=18891 vsize=10925820 CPUtime=3.02 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18949/stat : 18949 (java) R 18891 18894 14883 0 -1 4202560 33272 12260 0 0 281 9 8 4 20 0 20 0 8887990 11188039680 57714 33554432000 4194304 4196468 140727043522944 140682655501808 140682283796923 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18950] ppid=18891 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18950/stat : 18950 (java) S 18891 18894 14883 0 -1 1077944384 58 12260 0 0 0 0 8 4 20 0 20 0 8887991 11188039680 57714 33554432000 4194304 4196468 140727043522944 140682603891088 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18951] ppid=18891 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18951/stat : 18951 (java) S 18891 18894 14883 0 -1 1077944384 11 12260 0 0 1 0 8 4 20 0 20 0 8887991 11188039680 57714 33554432000 4194304 4196468 140727043522944 140682602838288 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18952] ppid=18891 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18952/stat : 18952 (java) S 18891 18894 14883 0 -1 1077944384 126 12260 0 0 1 0 8 4 20 0 20 0 8887991 11188039680 57714 33554432000 4194304 4196468 140727043522944 140682601786000 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18953] ppid=18891 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18953/stat : 18953 (java) S 18891 18894 14883 0 -1 1077944384 20 12260 0 0 0 0 8 4 20 0 20 0 8887991 11188039680 57714 33554432000 4194304 4196468 140727043522944 140682600733200 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18954] ppid=18891 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18954/stat : 18954 (java) S 18891 18894 14883 0 -1 1077944384 36 12260 0 0 1 0 8 4 20 0 20 0 8887991 11188039680 57714 33554432000 4194304 4196468 140727043522944 140682599680912 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18955] ppid=18891 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18955/stat : 18955 (java) S 18891 18894 14883 0 -1 1077944384 12 12260 0 0 1 0 8 4 20 0 20 0 8887991 11188039680 57714 33554432000 4194304 4196468 140727043522944 140682598628112 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18956] ppid=18891 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18956/stat : 18956 (java) S 18891 18894 14883 0 -1 1077944384 22 12260 0 0 1 0 8 4 20 0 20 0 8887991 11188039680 57714 33554432000 4194304 4196468 140727043522944 140682597575824 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18957] ppid=18891 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18957/stat : 18957 (java) S 18891 18894 14883 0 -1 1077944384 36 12260 0 0 1 0 8 4 20 0 20 0 8887991 11188039680 57714 33554432000 4194304 4196468 140727043522944 140682596523024 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18958] ppid=18891 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18958/stat : 18958 (java) S 18891 18894 14883 0 -1 1077944384 1641 12260 0 0 1 0 8 4 20 0 20 0 8887994 11188039680 57714 33554432000 4194304 4196468 140727043522944 140682193041520 140682651282050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18959] ppid=18891 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18959/stat : 18959 (java) S 18891 18894 14883 0 -1 1077944384 56 12260 0 0 0 0 8 4 20 0 20 0 8887994 11188039680 57714 33554432000 4194304 4196468 140727043522944 140682191987552 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18960] ppid=18891 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18960/stat : 18960 (java) S 18891 18894 14883 0 -1 1077944384 44 12260 0 0 0 0 8 4 20 0 20 0 8887995 11188039680 57714 33554432000 4194304 4196468 140727043522944 140682123535488 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18961] ppid=18891 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18961/stat : 18961 (java) S 18891 18894 14883 0 -1 1077944384 1 12260 0 0 0 0 8 4 20 0 20 0 8887999 11188039680 57714 33554432000 4194304 4196468 140727043522944 140682122483792 140682651289499 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18962] ppid=18891 vsize=10925820 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18962/stat : 18962 (java) R 18891 18894 14883 0 -1 4202560 2343 12260 0 0 55 2 8 4 20 0 20 0 8887999 11188039680 57714 33554432000 4194304 4196468 140727043522944 140682121431664 140682636396851 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18963] ppid=18891 vsize=10925820 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18963/stat : 18963 (java) R 18891 18894 14883 0 -1 4202560 1969 12260 0 0 55 1 8 4 20 0 20 0 8887999 11188039680 57714 33554432000 4194304 4196468 140727043522944 140682120365216 140682632816267 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18964] ppid=18891 vsize=10925820 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18964/stat : 18964 (java) R 18891 18894 14883 0 -1 4202560 1449 12260 0 0 62 1 8 4 20 0 20 0 8887999 11188039680 57714 33554432000 4194304 4196468 140727043522944 140682119315376 140682632792247 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18965] ppid=18891 vsize=10925820 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18965/stat : 18965 (java) R 18891 18894 14883 0 -1 4202560 3763 12260 0 0 107 1 8 4 20 0 20 0 8887999 11188039680 57714 33554432000 4194304 4196468 140727043522944 140682118273776 140682630985700 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18966] ppid=18891 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18966/stat : 18966 (java) S 18891 18894 14883 0 -1 1077944384 3 12260 0 0 0 0 8 4 20 0 20 0 8887999 11188039680 57714 33554432000 4194304 4196468 140727043522944 140682117220704 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18967] ppid=18891 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18967/stat : 18967 (java) S 18891 18894 14883 0 -1 1077944384 8 12260 0 0 0 0 8 4 20 0 20 0 8888000 11188039680 57714 33554432000 4194304 4196468 140727043522944 140682116167984 140682651282050 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 10925820
[startup+6.30111 s]
/proc/loadavg: 1.94 2.55 2.36 7/281 18967
/proc/meminfo: memFree=27065524/32770624 swapFree=5780/170896
[pid=18894] ppid=18891 vsize=10997500 CPUtime=18.42 cores=1,3,5,7,9,11,13,15
/proc/18894/stat : 18894 (java) S 18891 18894 14883 0 -1 1077944320 71622 12260 0 0 1785 45 8 4 20 0 20 0 8887978 11261440000 107043 33554432000 4194304 4196468 140727043522944 140727043505488 140682651270903 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
/proc/18894/statm: 2749375 107043 3511 1 0 2736930 0
[pid=18894/tid=18949] ppid=18891 vsize=10997500 CPUtime=6.07 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18949/stat : 18949 (java) R 18891 18894 14883 0 -1 4202560 42415 12260 0 0 584 11 8 4 20 0 20 0 8887990 11261440000 107043 33554432000 4194304 4196468 140727043522944 140682655502440 140682294300820 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18950] ppid=18891 vsize=10997500 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18950/stat : 18950 (java) S 18891 18894 14883 0 -1 1077944384 156 12260 0 0 7 2 8 4 20 0 20 0 8887991 11261440000 107043 33554432000 4194304 4196468 140727043522944 140682603891088 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18951] ppid=18891 vsize=10997500 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18951/stat : 18951 (java) S 18891 18894 14883 0 -1 1077944384 81 12260 0 0 8 2 8 4 20 0 20 0 8887991 11261440000 107043 33554432000 4194304 4196468 140727043522944 140682602838288 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18952] ppid=18891 vsize=10997500 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18952/stat : 18952 (java) S 18891 18894 14883 0 -1 1077944384 195 12260 0 0 8 2 8 4 20 0 20 0 8887991 11261440000 107043 33554432000 4194304 4196468 140727043522944 140682601786000 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18953] ppid=18891 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18953/stat : 18953 (java) S 18891 18894 14883 0 -1 1077944384 60 12260 0 0 8 3 8 4 20 0 20 0 8887991 11261440000 107043 33554432000 4194304 4196468 140727043522944 140682600733200 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18954] ppid=18891 vsize=10997500 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18954/stat : 18954 (java) S 18891 18894 14883 0 -1 1077944384 82 12260 0 0 7 2 8 4 20 0 20 0 8887991 11261440000 107043 33554432000 4194304 4196468 140727043522944 140682599680912 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18955] ppid=18891 vsize=10997500 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18955/stat : 18955 (java) S 18891 18894 14883 0 -1 1077944384 75 12260 0 0 8 2 8 4 20 0 20 0 8887991 11261440000 107043 33554432000 4194304 4196468 140727043522944 140682598628112 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18956] ppid=18891 vsize=10997500 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18956/stat : 18956 (java) S 18891 18894 14883 0 -1 1077944384 69 12260 0 0 7 2 8 4 20 0 20 0 8887991 11261440000 107043 33554432000 4194304 4196468 140727043522944 140682597575824 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18957] ppid=18891 vsize=10997500 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18957/stat : 18957 (java) S 18891 18894 14883 0 -1 1077944384 668 12260 0 0 8 2 8 4 20 0 20 0 8887991 11261440000 107043 33554432000 4194304 4196468 140727043522944 140682596523024 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18958] ppid=18891 vsize=10997500 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18958/stat : 18958 (java) S 18891 18894 14883 0 -1 1077944384 2213 12260 0 0 5 0 8 4 20 0 20 0 8887994 11261440000 107043 33554432000 4194304 4196468 140727043522944 140682193041520 140682651282050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18959] ppid=18891 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18959/stat : 18959 (java) S 18891 18894 14883 0 -1 1077944384 56 12260 0 0 0 0 8 4 20 0 20 0 8887994 11261440000 107043 33554432000 4194304 4196468 140727043522944 140682191987552 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18960] ppid=18891 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18960/stat : 18960 (java) S 18891 18894 14883 0 -1 1077944384 44 12260 0 0 0 0 8 4 20 0 20 0 8887995 11261440000 107043 33554432000 4194304 4196468 140727043522944 140682123535488 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18961] ppid=18891 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18961/stat : 18961 (java) S 18891 18894 14883 0 -1 1077944384 1 12260 0 0 0 0 8 4 20 0 20 0 8887999 11261440000 107043 33554432000 4194304 4196468 140727043522944 140682122483792 140682651289499 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18962] ppid=18891 vsize=10997500 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18962/stat : 18962 (java) R 18891 18894 14883 0 -1 4202560 3432 12260 0 0 283 2 8 4 20 0 20 0 8887999 11261440000 107043 33554432000 4194304 4196468 140727043522944 140682121418208 140682630924880 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18963] ppid=18891 vsize=10997500 CPUtime=3.11 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18963/stat : 18963 (java) R 18891 18894 14883 0 -1 4202560 5279 12260 0 0 296 3 8 4 20 0 20 0 8887999 11261440000 107043 33554432000 4194304 4196468 140727043522944 140682120365472 140682634657812 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18964] ppid=18891 vsize=10997500 CPUtime=3.24 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18964/stat : 18964 (java) R 18891 18894 14883 0 -1 4202560 8289 12260 0 0 310 2 8 4 20 0 20 0 8887999 11261440000 107043 33554432000 4194304 4196468 140727043522944 140682119312736 140682634657644 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18965] ppid=18891 vsize=10997500 CPUtime=2.52 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18965/stat : 18965 (java) S 18891 18894 14883 0 -1 1077944384 6365 12260 0 0 238 2 8 4 20 0 20 0 8887999 11261440000 107043 33554432000 4194304 4196468 140727043522944 140682118273776 140682651282050 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18966] ppid=18891 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
Current children cumulated vsize (KiB) 10997500
[startup+2322.31 s]
/proc/loadavg: 1.78 1.71 1.73 3/281 19180
/proc/meminfo: memFree=27755620/32770624 swapFree=5780/172848
[pid=18894] ppid=18891 vsize=10997500 CPUtime=2395.77 cores=1,3,5,7,9,11,13,15
/proc/18894/stat : 18894 (java) S 18891 18894 14883 0 -1 1077944320 654567 12260 0 0 238806 759 8 4 20 0 20 0 8887978 11261440000 795267 33554432000 4194304 4196468 140727043522944 140727043505488 140682651270903 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
/proc/18894/statm: 2749375 795267 3521 1 0 2736930 0
[pid=18894/tid=18949] ppid=18891 vsize=10997500 CPUtime=2307.16 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18949/stat : 18949 (java) R 18891 18894 14883 0 -1 4202560 437971 12260 0 0 230587 117 8 4 20 0 20 0 8887990 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682655504720 140682295721095 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18950] ppid=18891 vsize=10997500 CPUtime=7.45 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18950/stat : 18950 (java) S 18891 18894 14883 0 -1 1077944384 8551 12260 0 0 665 68 8 4 20 0 20 0 8887991 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682603891088 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18951] ppid=18891 vsize=10997500 CPUtime=7.49 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18951/stat : 18951 (java) S 18891 18894 14883 0 -1 1077944384 11105 12260 0 0 669 68 8 4 20 0 20 0 8887991 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682602838288 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18952] ppid=18891 vsize=10997500 CPUtime=7.58 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18952/stat : 18952 (java) S 18891 18894 14883 0 -1 1077944384 13194 12260 0 0 678 68 8 4 20 0 20 0 8887991 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682601786000 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18953] ppid=18891 vsize=10997500 CPUtime=7.57 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18953/stat : 18953 (java) S 18891 18894 14883 0 -1 1077944384 14167 12260 0 0 677 68 8 4 20 0 20 0 8887991 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682600733200 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18954] ppid=18891 vsize=10997500 CPUtime=7.59 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18954/stat : 18954 (java) S 18891 18894 14883 0 -1 1077944384 17631 12260 0 0 682 65 8 4 20 0 20 0 8887991 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682599680912 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18955] ppid=18891 vsize=10997500 CPUtime=7.6 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18955/stat : 18955 (java) S 18891 18894 14883 0 -1 1077944384 13552 12260 0 0 678 70 8 4 20 0 20 0 8887991 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682598628112 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18956] ppid=18891 vsize=10997500 CPUtime=7.55 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18956/stat : 18956 (java) S 18891 18894 14883 0 -1 1077944384 15638 12260 0 0 680 63 8 4 20 0 20 0 8887991 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682597575824 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18957] ppid=18891 vsize=10997500 CPUtime=7.56 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18957/stat : 18957 (java) S 18891 18894 14883 0 -1 1077944384 14911 12260 0 0 677 67 8 4 20 0 20 0 8887991 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682596523024 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18958] ppid=18891 vsize=10997500 CPUtime=4.23 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18958/stat : 18958 (java) S 18891 18894 14883 0 -1 1077944384 33493 12260 0 0 348 63 8 4 20 0 20 0 8887994 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682193041520 140682651282050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18959] ppid=18891 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18959/stat : 18959 (java) S 18891 18894 14883 0 -1 1077944384 63 12260 0 0 0 0 8 4 20 0 20 0 8887994 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682191987552 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18960] ppid=18891 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18960/stat : 18960 (java) S 18891 18894 14883 0 -1 1077944384 55 12260 0 0 0 0 8 4 20 0 20 0 8887995 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682123535488 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18961] ppid=18891 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18961/stat : 18961 (java) S 18891 18894 14883 0 -1 1077944384 1 12260 0 0 0 0 8 4 20 0 20 0 8887999 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682122483792 140682651289499 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18962] ppid=18891 vsize=10997500 CPUtime=6.63 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18962/stat : 18962 (java) S 18891 18894 14883 0 -1 1077944384 10857 12260 0 0 646 5 8 4 20 0 20 0 8887999 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682121431664 140682651282050 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18963] ppid=18891 vsize=10997500 CPUtime=6.88 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18963/stat : 18963 (java) S 18891 18894 14883 0 -1 1077944384 13768 12260 0 0 671 5 8 4 20 0 20 0 8887999 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682120378864 140682651282050 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18964] ppid=18891 vsize=10997500 CPUtime=6.88 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18964/stat : 18964 (java) S 18891 18894 14883 0 -1 1077944384 23375 12260 0 0 671 5 8 4 20 0 20 0 8887999 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682119326576 140682651282050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18965] ppid=18891 vsize=10997500 CPUtime=3.71 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18965/stat : 18965 (java) S 18891 18894 14883 0 -1 1077944384 21550 12260 0 0 354 5 8 4 20 0 20 0 8887999 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682118273776 140682651282050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18966] ppid=18891 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18966/stat : 18966 (java) S 18891 18894 14883 0 -1 1077944384 3 12260 0 0 0 0 8 4 20 0 20 0 8887999 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682117220704 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18967] ppid=18891 vsize=10997500 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18967/stat : 18967 (java) S 18891 18894 14883 0 -1 1077944384 2553 12260 0 0 62 65 8 4 20 0 20 0 8888000 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682116167984 140682651282050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
Current children cumulated CPU time (s) 2395.77
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2326.6 s]
/proc/loadavg: 1.79 1.71 1.73 3/281 19180
/proc/meminfo: memFree=27755680/32770624 swapFree=5780/172848
[pid=18894] ppid=18891 vsize=10997500 CPUtime=2400.1 cores=1,3,5,7,9,11,13,15
/proc/18894/stat : 18894 (java) S 18891 18894 14883 0 -1 1077944320 654709 12260 0 0 239239 759 8 4 20 0 20 0 8887978 11261440000 795267 33554432000 4194304 4196468 140727043522944 140727043505488 140682651270903 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
/proc/18894/statm: 2749375 795267 3521 1 0 2736930 0
[pid=18894/tid=18949] ppid=18891 vsize=10997500 CPUtime=2311.47 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18949/stat : 18949 (java) R 18891 18894 14883 0 -1 4202560 438100 12260 0 0 231017 118 8 4 20 0 20 0 8887990 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682655505184 140682285577735 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18950] ppid=18891 vsize=10997500 CPUtime=7.45 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18950/stat : 18950 (java) S 18891 18894 14883 0 -1 1077944384 8552 12260 0 0 665 68 8 4 20 0 20 0 8887991 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682603891088 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18951] ppid=18891 vsize=10997500 CPUtime=7.5 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18951/stat : 18951 (java) S 18891 18894 14883 0 -1 1077944384 11105 12260 0 0 670 68 8 4 20 0 20 0 8887991 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682602838288 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18952] ppid=18891 vsize=10997500 CPUtime=7.58 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18952/stat : 18952 (java) S 18891 18894 14883 0 -1 1077944384 13194 12260 0 0 678 68 8 4 20 0 20 0 8887991 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682601786000 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18953] ppid=18891 vsize=10997500 CPUtime=7.58 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18953/stat : 18953 (java) S 18891 18894 14883 0 -1 1077944384 14171 12260 0 0 678 68 8 4 20 0 20 0 8887991 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682600733200 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18954] ppid=18891 vsize=10997500 CPUtime=7.59 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18954/stat : 18954 (java) S 18891 18894 14883 0 -1 1077944384 17631 12260 0 0 682 65 8 4 20 0 20 0 8887991 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682599680912 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18955] ppid=18891 vsize=10997500 CPUtime=7.6 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18955/stat : 18955 (java) S 18891 18894 14883 0 -1 1077944384 13552 12260 0 0 678 70 8 4 20 0 20 0 8887991 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682598628112 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18956] ppid=18891 vsize=10997500 CPUtime=7.56 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18956/stat : 18956 (java) S 18891 18894 14883 0 -1 1077944384 15639 12260 0 0 681 63 8 4 20 0 20 0 8887991 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682597575824 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18957] ppid=18891 vsize=10997500 CPUtime=7.56 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18957/stat : 18957 (java) S 18891 18894 14883 0 -1 1077944384 14913 12260 0 0 677 67 8 4 20 0 20 0 8887991 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682596523024 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18958] ppid=18891 vsize=10997500 CPUtime=4.24 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18958/stat : 18958 (java) S 18891 18894 14883 0 -1 1077944384 33496 12260 0 0 348 64 8 4 20 0 20 0 8887994 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682193041520 140682651282050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18959] ppid=18891 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18959/stat : 18959 (java) S 18891 18894 14883 0 -1 1077944384 63 12260 0 0 0 0 8 4 20 0 20 0 8887994 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682191987552 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18960] ppid=18891 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18960/stat : 18960 (java) S 18891 18894 14883 0 -1 1077944384 55 12260 0 0 0 0 8 4 20 0 20 0 8887995 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682123535488 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18961] ppid=18891 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18961/stat : 18961 (java) S 18891 18894 14883 0 -1 1077944384 1 12260 0 0 0 0 8 4 20 0 20 0 8887999 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682122483792 140682651289499 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18962] ppid=18891 vsize=10997500 CPUtime=6.63 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18962/stat : 18962 (java) S 18891 18894 14883 0 -1 1077944384 10857 12260 0 0 646 5 8 4 20 0 20 0 8887999 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682121431664 140682651282050 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18963] ppid=18891 vsize=10997500 CPUtime=6.88 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18963/stat : 18963 (java) S 18891 18894 14883 0 -1 1077944384 13768 12260 0 0 671 5 8 4 20 0 20 0 8887999 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682120378864 140682651282050 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18964] ppid=18891 vsize=10997500 CPUtime=6.88 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18964/stat : 18964 (java) S 18891 18894 14883 0 -1 1077944384 23375 12260 0 0 671 5 8 4 20 0 20 0 8887999 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682119326576 140682651282050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18965] ppid=18891 vsize=10997500 CPUtime=3.71 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18965/stat : 18965 (java) S 18891 18894 14883 0 -1 1077944384 21550 12260 0 0 354 5 8 4 20 0 20 0 8887999 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682118273776 140682651282050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18966] ppid=18891 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18966/stat : 18966 (java) S 18891 18894 14883 0 -1 1077944384 3 12260 0 0 0 0 8 4 20 0 20 0 8887999 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682117220704 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18967] ppid=18891 vsize=10997500 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18967/stat : 18967 (java) S 18891 18894 14883 0 -1 1077944384 2555 12260 0 0 62 65 8 4 20 0 20 0 8888000 11261440000 795267 33554432000 4194304 4196468 140727043522944 140682116167984 140682651282050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 10997500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18894 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2326.9 s]
/proc/loadavg: 1.79 1.71 1.73 3/281 19180
/proc/meminfo: memFree=27755680/32770624 swapFree=5780/172848
[pid=18894] ppid=18891 vsize=11130628 CPUtime=2401.55 cores=1,3,5,7,9,11,13,15
/proc/18894/stat : 18894 (java) S 18891 18894 14883 0 -1 1077944320 669117 12260 0 0 239382 761 8 4 20 0 22 0 8887978 11397763072 795911 33554432000 4194304 4196468 140727043522944 140727043505488 140682651270903 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
/proc/18894/statm: 2782657 795911 3521 1 0 2770212 0
[pid=18894/tid=18949] ppid=18891 vsize=11130628 CPUtime=2311.48 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18949/stat : 18949 (java) S 18891 18894 14883 0 -1 1077944384 439279 12260 0 0 231018 118 8 4 20 0 22 0 8887990 11397763072 795911 33554432000 4194304 4196468 140727043522944 140682655508624 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18950] ppid=18891 vsize=11130628 CPUtime=7.63 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18950/stat : 18950 (java) R 18891 18894 14883 0 -1 4202560 8603 12260 0 0 683 68 8 4 20 0 22 0 8887991 11397763072 795911 33554432000 4194304 4196468 140727043522944 140682603891288 140682635969651 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18951] ppid=18891 vsize=11130628 CPUtime=7.66 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18951/stat : 18951 (java) R 18891 18894 14883 0 -1 4202560 11138 12260 0 0 686 68 8 4 20 0 22 0 8887991 11397763072 795911 33554432000 4194304 4196468 140727043522944 140682602838488 140682636267530 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18952] ppid=18891 vsize=11130628 CPUtime=7.76 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18952/stat : 18952 (java) R 18891 18894 14883 0 -1 4202560 13235 12260 0 0 696 68 8 4 20 0 22 0 8887991 11397763072 795911 33554432000 4194304 4196468 140727043522944 140682601785888 140682636267456 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18953] ppid=18891 vsize=11130628 CPUtime=7.75 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18953/stat : 18953 (java) R 18891 18894 14883 0 -1 4202560 14199 12260 0 0 695 68 8 4 20 0 22 0 8887991 11397763072 795911 33554432000 4194304 4196468 140727043522944 140682600733200 140682635969773 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18954] ppid=18891 vsize=11130628 CPUtime=7.75 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18954/stat : 18954 (java) R 18891 18894 14883 0 -1 4202560 17638 12260 0 0 698 65 8 4 20 0 22 0 8887991 11397763072 795911 33554432000 4194304 4196468 140727043522944 140682599681112 140682636267307 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18955] ppid=18891 vsize=11130628 CPUtime=7.77 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18955/stat : 18955 (java) R 18891 18894 14883 0 -1 4202560 13599 12260 0 0 695 70 8 4 20 0 22 0 8887991 11397763072 795911 33554432000 4194304 4196468 140727043522944 140682598628312 140682635728443 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18956] ppid=18891 vsize=11130628 CPUtime=7.74 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18956/stat : 18956 (java) R 18891 18894 14883 0 -1 4202560 15717 12260 0 0 698 64 8 4 20 0 22 0 8887991 11397763072 795911 33554432000 4194304 4196468 140727043522944 140682597576024 140682636267255 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18957] ppid=18891 vsize=11130628 CPUtime=7.72 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18957/stat : 18957 (java) R 18891 18894 14883 0 -1 4202560 14922 12260 0 0 693 67 8 4 20 0 22 0 8887991 11397763072 795911 33554432000 4194304 4196468 140727043522944 140682596523024 140682636267396 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18958] ppid=18891 vsize=11130628 CPUtime=4.34 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18958/stat : 18958 (java) S 18891 18894 14883 0 -1 1077944384 45829 12260 0 0 357 65 8 4 20 0 22 0 8887994 11397763072 795911 33554432000 4194304 4196468 140727043522944 140682193040144 140682651281109 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18959] ppid=18891 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18959/stat : 18959 (java) S 18891 18894 14883 0 -1 1077944384 65 12260 0 0 0 0 8 4 20 0 22 0 8887994 11397763072 795911 33554432000 4194304 4196468 140727043522944 140682191987088 140682651282050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18960] ppid=18891 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18960/stat : 18960 (java) S 18891 18894 14883 0 -1 1077944384 55 12260 0 0 0 0 8 4 20 0 22 0 8887995 11397763072 795911 33554432000 4194304 4196468 140727043522944 140682123535488 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18961] ppid=18891 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18961/stat : 18961 (java) S 18891 18894 14883 0 -1 1077944384 237 12260 0 0 0 0 8 4 20 0 22 0 8887999 11397763072 795911 33554432000 4194304 4196468 140727043522944 140682122483792 140682651289499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18962] ppid=18891 vsize=11130628 CPUtime=6.63 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18962/stat : 18962 (java) S 18891 18894 14883 0 -1 1077944384 10857 12260 0 0 646 5 8 4 20 0 22 0 8887999 11397763072 795911 33554432000 4194304 4196468 140727043522944 140682121431664 140682651282050 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18963] ppid=18891 vsize=11130628 CPUtime=6.88 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18963/stat : 18963 (java) S 18891 18894 14883 0 -1 1077944384 13768 12260 0 0 671 5 8 4 20 0 22 0 8887999 11397763072 795911 33554432000 4194304 4196468 140727043522944 140682120378864 140682651282050 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18964] ppid=18891 vsize=11130628 CPUtime=6.88 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18964/stat : 18964 (java) S 18891 18894 14883 0 -1 1077944384 23375 12260 0 0 671 5 8 4 20 0 22 0 8887999 11397763072 795911 33554432000 4194304 4196468 140727043522944 140682119326576 140682651282050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18965] ppid=18891 vsize=11130628 CPUtime=3.71 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18965/stat : 18965 (java) S 18891 18894 14883 0 -1 1077944384 21550 12260 0 0 354 5 8 4 20 0 22 0 8887999 11397763072 795911 33554432000 4194304 4196468 140727043522944 140682118273776 140682651282050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18966] ppid=18891 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18966/stat : 18966 (java) S 18891 18894 14883 0 -1 1077944384 3 12260 0 0 0 0 8 4 20 0 22 0 8887999 11397763072 795911 33554432000 4194304 4196468 140727043522944 140682117220704 140682651281109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
[pid=18894/tid=18967] ppid=18891 vsize=11130628 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18967/stat : 18967 (java) S 18891 18894 14883 0 -1 1077944384 2555 12260 0 0 62 65 8 4 20 0 22 0 8888000 11397763072 795911 33554432000 4194304 4196468 140727043522944 140682116167984 140682651282050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22269952 140727043525313 140727043528087 140727043528087 140727043530703 0
Current children cumulated CPU time (s) 2401.55
Current children cumulated vsize (KiB) 11130628
[startup+2327 s]
/proc/loadavg: 1.79 1.71 1.73 3/281 19180
/proc/meminfo: memFree=27755680/32770624 swapFree=5780/172848
[pid=18894] ppid=18891 vsize=0 CPUtime=2401.89 cores=1,3,5,7,9,11,13,15
/proc/18894/stat : 18894 (java) Z 18891 18894 14883 0 -1 4228108 669830 12260 0 0 239414 763 8 4 20 0 2 0 8887978 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/18894/statm: 0 0 0 0 0 0 0
[pid=18894/tid=18953] ppid=18891 vsize=0 CPUtime=7.8 cores=1,3,5,7,9,11,13,15
/proc/18894/task/18953/stat : 18953 (java) R 18891 18894 14883 0 -1 4203588 14199 12260 0 0 698 70 8 4 20 0 2 0 8887991 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 9 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2401.89
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 2327.01
CPU time (s): 2401.9
CPU user time (s): 2394.23
CPU system time (s): 7.67869
CPU usage (%): 103.219
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.23
system time used= 7.67869
maximum resident set size= 3184072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 682090
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 187589
involuntary context switches= 151824
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.666 second user time and 20.4998 second system time
The end