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-4244414-1500686376/watcher-4244414-1500686376 -o /tmp/evaluation-result-4244414-1500686376/solver-4244414-1500686376 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1500684099-14650 --watchdog 2560 bin/concrete HOME/instance-4244414-1500686376.xml
pid=15017
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: 1.68 1.66 1.76 2/261 15020
/proc/meminfo: memFree=30565344/32770624 swapFree=5940/243332
[pid=15020] ppid=15017 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15020/stat : 15020 (bash) S 15017 15020 14618 0 -1 4202496 684 1532 0 0 0 0 0 0 20 0 1 0 3904512 9736192 350 33554432000 4194304 5098028 140727217482864 140727217480504 140405786237952 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 12271616 140727217485070 140727217485155 140727217485155 140727217487854 0
/proc/15020/statm: 2377 350 278 221 0 86 0
[startup+0.100111 s]
/proc/loadavg: 1.68 1.66 1.76 2/261 15020
/proc/meminfo: memFree=30565344/32770624 swapFree=5940/243332
[pid=15020] ppid=15017 vsize=9640 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/stat : 15020 (bash) S 15017 15020 14618 0 -1 4202496 918 11678 0 0 0 0 6 3 20 0 1 0 3904512 9871360 380 33554432000 4194304 5098028 140727217482864 140727217478696 140405786237952 0 0 4100 65536 18446744071580971376 0 0 17 3 0 0 0 0 0 7196144 7232144 12271616 140727217485070 140727217485155 140727217485155 140727217487854 0
/proc/15020/statm: 2410 380 299 221 0 119 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9640
[startup+0.200354 s]
/proc/loadavg: 1.68 1.66 1.76 2/261 15020
/proc/meminfo: memFree=30565344/32770624 swapFree=5940/243332
[pid=15020] ppid=15017 vsize=10901872 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/15020/stat : 15020 (java) S 15017 15020 14618 0 -1 1077944320 5707 12352 0 0 9 2 6 3 20 0 20 0 3904512 11163516928 6476 33554432000 4194304 4196468 140730322270816 140730322253360 139928343981815 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
/proc/15020/statm: 2725468 6476 2715 1 0 2713890 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 10901872
[startup+0.300367 s]
/proc/loadavg: 1.68 1.66 1.76 2/261 15020
/proc/meminfo: memFree=30565344/32770624 swapFree=5940/243332
[pid=15020] ppid=15017 vsize=10902392 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/15020/stat : 15020 (java) S 15017 15020 14618 0 -1 1077944320 9387 12352 0 0 24 3 6 3 20 0 20 0 3904512 11164049408 10482 33554432000 4194304 4196468 140730322270816 140730322253360 139928343981815 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
/proc/15020/statm: 2725598 10482 2998 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392
[startup+0.700186 s]
/proc/loadavg: 1.68 1.66 1.76 2/261 15020
/proc/meminfo: memFree=30565344/32770624 swapFree=5940/243332
[pid=15020] ppid=15017 vsize=10902720 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/15020/stat : 15020 (java) S 15017 15020 14618 0 -1 1077944320 13058 12352 0 0 90 5 6 3 20 0 20 0 3904512 11164385280 16299 33554432000 4194304 4196468 140730322270816 140730322253360 139928343981815 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
/proc/15020/statm: 2725680 16299 3229 1 0 2713890 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 10902720
[startup+1.50071 s]
/proc/loadavg: 1.68 1.66 1.76 3/281 15093
/proc/meminfo: memFree=30465224/32770624 swapFree=5940/243704
[pid=15020] ppid=15017 vsize=10913344 CPUtime=2.31 cores=1,3,5,7,9,11,13,15
/proc/15020/stat : 15020 (java) S 15017 15020 14618 0 -1 1077944320 26877 12352 0 0 208 14 6 3 20 0 20 0 3904512 11175264256 44070 33554432000 4194304 4196468 140730322270816 140730322253360 139928343981815 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
/proc/15020/statm: 2728336 44070 3405 1 0 2716450 0
[pid=15020/tid=15075] ppid=15017 vsize=10913344 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15075/stat : 15075 (java) R 15017 15020 14618 0 -1 4202560 19642 12352 0 0 127 6 6 3 20 0 20 0 3904522 11175264256 44070 33554432000 4194304 4196468 140730322270816 139928348191440 139928328062332 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15076] ppid=15017 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15076/stat : 15076 (java) S 15017 15020 14618 0 -1 1077944384 38 12352 0 0 1 0 6 3 20 0 20 0 3904523 11175264256 44070 33554432000 4194304 4196468 140730322270816 139928296602256 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15077] ppid=15017 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15077/stat : 15077 (java) S 15017 15020 14618 0 -1 1077944384 115 12352 0 0 1 0 6 3 20 0 20 0 3904523 11175264256 44070 33554432000 4194304 4196468 140730322270816 139928295549456 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15078] ppid=15017 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15078/stat : 15078 (java) S 15017 15020 14618 0 -1 1077944384 45 12352 0 0 1 0 6 3 20 0 20 0 3904523 11175264256 44070 33554432000 4194304 4196468 140730322270816 139928294496656 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15079] ppid=15017 vsize=10913344 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15079/stat : 15079 (java) S 15017 15020 14618 0 -1 1077944384 30 12352 0 0 0 0 6 3 20 0 20 0 3904523 11175264256 44070 33554432000 4194304 4196468 140730322270816 139928293443856 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15080] ppid=15017 vsize=10913344 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15080/stat : 15080 (java) S 15017 15020 14618 0 -1 1077944384 20 12352 0 0 0 0 6 3 20 0 20 0 3904523 11175264256 44070 33554432000 4194304 4196468 140730322270816 139928292392080 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15081] ppid=15017 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15081/stat : 15081 (java) S 15017 15020 14618 0 -1 1077944384 48 12352 0 0 1 0 6 3 20 0 20 0 3904523 11175264256 44133 33554432000 4194304 4196468 140730322270816 139928291339280 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15082] ppid=15017 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15082/stat : 15082 (java) S 15017 15020 14618 0 -1 1077944384 16 12352 0 0 1 0 6 3 20 0 20 0 3904523 11175264256 44133 33554432000 4194304 4196468 140730322270816 139927944354704 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15083] ppid=15017 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15083/stat : 15083 (java) S 15017 15020 14618 0 -1 1077944384 17 12352 0 0 1 0 6 3 20 0 20 0 3904523 11175264256 44133 33554432000 4194304 4196468 140730322270816 139927943301904 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15084] ppid=15017 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15084/stat : 15084 (java) S 15017 15020 14618 0 -1 1077944384 1484 12352 0 0 1 0 6 3 20 0 20 0 3904525 11175264256 44133 33554432000 4194304 4196468 140730322270816 139927549364592 139928343992962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15085] ppid=15017 vsize=10913344 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15085/stat : 15085 (java) S 15017 15020 14618 0 -1 1077944384 57 12352 0 0 0 0 6 3 20 0 20 0 3904526 11175264256 44133 33554432000 4194304 4196468 140730322270816 139927548310624 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15086] ppid=15017 vsize=10913344 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15086/stat : 15086 (java) S 15017 15020 14618 0 -1 1077944384 43 12352 0 0 0 0 6 3 20 0 20 0 3904526 11175264256 44133 33554432000 4194304 4196468 140730322270816 139927547257728 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15087] ppid=15017 vsize=10913344 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15087/stat : 15087 (java) S 15017 15020 14618 0 -1 1077944384 1 12352 0 0 0 0 6 3 20 0 20 0 3904530 11175264256 44133 33554432000 4194304 4196468 140730322270816 139927546206032 139928344000411 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15088] ppid=15017 vsize=10913344 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15088/stat : 15088 (java) S 15017 15020 14618 0 -1 1077944384 1028 12352 0 0 13 0 6 3 20 0 20 0 3904530 11175264256 44133 33554432000 4194304 4196468 140730322270816 139927545154416 139928343992962 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15089] ppid=15017 vsize=10913344 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15089/stat : 15089 (java) R 15017 15020 14618 0 -1 4202560 403 12352 0 0 13 0 6 3 20 0 20 0 3904530 11175264256 44133 33554432000 4194304 4196468 140730322270816 139927544101912 139928328763029 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15090] ppid=15017 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15090/stat : 15090 (java) R 15017 15020 14618 0 -1 4202560 598 12352 0 0 16 0 6 3 20 0 20 0 3904530 11175264256 44133 33554432000 4194304 4196468 140730322270816 139927543049112 139928336222796 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15091] ppid=15017 vsize=10913344 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15091/stat : 15091 (java) R 15017 15020 14618 0 -1 4202560 1160 12352 0 0 27 0 6 3 20 0 20 0 3904530 11175264256 44133 33554432000 4194304 4196468 140730322270816 139927541993568 139928322937501 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15092] ppid=15017 vsize=10913344 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15092/stat : 15092 (java) S 15017 15020 14618 0 -1 1077944384 3 12352 0 0 0 0 6 3 20 0 20 0 3904530 11175264256 44133 33554432000 4194304 4196468 140730322270816 139927540943456 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15093] ppid=15017 vsize=10913344 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15093/stat : 15093 (java) S 15017 15020 14618 0 -1 1077944384 6 12352 0 0 0 0 6 3 20 0 20 0 3904531 11175264256 44133 33554432000 4194304 4196468 140730322270816 139927539890736 139928343992962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 10913344
[startup+3.10108 s]
/proc/loadavg: 1.68 1.66 1.76 4/281 15093
/proc/meminfo: memFree=30375944/32770624 swapFree=5940/243384
[pid=15020] ppid=15017 vsize=10923772 CPUtime=5.66 cores=1,3,5,7,9,11,13,15
/proc/15020/stat : 15020 (java) S 15017 15020 14618 0 -1 1077944320 39037 12352 0 0 539 18 6 3 20 0 20 0 3904512 11185942528 50374 33554432000 4194304 4196468 140730322270816 140730322253360 139928343981815 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
/proc/15020/statm: 2730943 50374 3473 1 0 2718498 0
[pid=15020/tid=15075] ppid=15017 vsize=10923772 CPUtime=2.53 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15075/stat : 15075 (java) R 15017 15020 14618 0 -1 4202560 24569 12352 0 0 236 8 6 3 20 0 20 0 3904522 11185942528 50374 33554432000 4194304 4196468 140730322270816 139928348214720 139928343993750 0 4 0 16800975 0 0 0 -1 1 0 0 48 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15076] ppid=15017 vsize=10923772 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15076/stat : 15076 (java) S 15017 15020 14618 0 -1 1077944384 38 12352 0 0 1 0 6 3 20 0 20 0 3904523 11185942528 50374 33554432000 4194304 4196468 140730322270816 139928296602256 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15077] ppid=15017 vsize=10923772 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15077/stat : 15077 (java) S 15017 15020 14618 0 -1 1077944384 115 12352 0 0 1 0 6 3 20 0 20 0 3904523 11185942528 50374 33554432000 4194304 4196468 140730322270816 139928295549456 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15078] ppid=15017 vsize=10923772 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15078/stat : 15078 (java) S 15017 15020 14618 0 -1 1077944384 45 12352 0 0 1 0 6 3 20 0 20 0 3904523 11185942528 50374 33554432000 4194304 4196468 140730322270816 139928294496656 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15079] ppid=15017 vsize=10923772 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15079/stat : 15079 (java) S 15017 15020 14618 0 -1 1077944384 30 12352 0 0 0 0 6 3 20 0 20 0 3904523 11185942528 50374 33554432000 4194304 4196468 140730322270816 139928293443856 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15080] ppid=15017 vsize=10923772 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15080/stat : 15080 (java) S 15017 15020 14618 0 -1 1077944384 20 12352 0 0 0 0 6 3 20 0 20 0 3904523 11185942528 50374 33554432000 4194304 4196468 140730322270816 139928292392080 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15081] ppid=15017 vsize=10923772 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15081/stat : 15081 (java) S 15017 15020 14618 0 -1 1077944384 48 12352 0 0 1 0 6 3 20 0 20 0 3904523 11185942528 50374 33554432000 4194304 4196468 140730322270816 139928291339280 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15082] ppid=15017 vsize=10923772 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15082/stat : 15082 (java) S 15017 15020 14618 0 -1 1077944384 16 12352 0 0 1 0 6 3 20 0 20 0 3904523 11185942528 50374 33554432000 4194304 4196468 140730322270816 139927944354704 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15083] ppid=15017 vsize=10923772 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15083/stat : 15083 (java) S 15017 15020 14618 0 -1 1077944384 17 12352 0 0 1 0 6 3 20 0 20 0 3904523 11185942528 50374 33554432000 4194304 4196468 140730322270816 139927943301904 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15084] ppid=15017 vsize=10923772 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15084/stat : 15084 (java) S 15017 15020 14618 0 -1 1077944384 1520 12352 0 0 1 0 6 3 20 0 20 0 3904525 11185942528 50374 33554432000 4194304 4196468 140730322270816 139927549364592 139928343992962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15085] ppid=15017 vsize=10923772 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15085/stat : 15085 (java) S 15017 15020 14618 0 -1 1077944384 57 12352 0 0 0 0 6 3 20 0 20 0 3904526 11185942528 50374 33554432000 4194304 4196468 140730322270816 139927548310624 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15086] ppid=15017 vsize=10923772 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15086/stat : 15086 (java) S 15017 15020 14618 0 -1 1077944384 43 12352 0 0 0 0 6 3 20 0 20 0 3904526 11185942528 50374 33554432000 4194304 4196468 140730322270816 139927547257728 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15087] ppid=15017 vsize=10923772 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15087/stat : 15087 (java) S 15017 15020 14618 0 -1 1077944384 1 12352 0 0 0 0 6 3 20 0 20 0 3904530 11185942528 50374 33554432000 4194304 4196468 140730322270816 139927546206032 139928344000411 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15088] ppid=15017 vsize=10923772 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15088/stat : 15088 (java) R 15017 15020 14618 0 -1 4202560 1695 12352 0 0 51 1 6 3 20 0 20 0 3904530 11185942528 50374 33554432000 4194304 4196468 140730322270816 139927545140296 139928329106536 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15089] ppid=15017 vsize=10923772 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15089/stat : 15089 (java) R 15017 15020 14618 0 -1 4202560 4370 12352 0 0 92 0 6 3 20 0 20 0 3904530 11185942528 50374 33554432000 4194304 4196468 140730322270816 139927544101616 139928328576210 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15090] ppid=15017 vsize=10923772 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15090/stat : 15090 (java) S 15017 15020 14618 0 -1 1077944384 1318 12352 0 0 59 0 6 3 20 0 20 0 3904530 11185942528 50374 33554432000 4194304 4196468 140730322270816 139927543048816 139928343992962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15091] ppid=15017 vsize=10923772 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15091/stat : 15091 (java) R 15017 15020 14618 0 -1 4202560 2998 12352 0 0 87 1 6 3 20 0 20 0 3904530 11185942528 50374 33554432000 4194304 4196468 140730322270816 139927541992952 139928322520256 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15092] ppid=15017 vsize=10923772 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15092/stat : 15092 (java) S 15017 15020 14618 0 -1 1077944384 3 12352 0 0 0 0 6 3 20 0 20 0 3904530 11185942528 50374 33554432000 4194304 4196468 140730322270816 139927540943456 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15093] ppid=15017 vsize=10923772 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15093/stat : 15093 (java) S 15017 15020 14618 0 -1 1077944384 7 12352 0 0 0 0 6 3 20 0 20 0 3904531 11185942528 50374 33554432000 4194304 4196468 140730322270816 139927539890736 139928343992962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 10923772
[startup+6.30077 s]
/proc/loadavg: 1.79 1.68 1.77 3/281 15093
/proc/meminfo: memFree=30170812/32770624 swapFree=5940/243392
[pid=15020] ppid=15017 vsize=10927868 CPUtime=17.55 cores=1,3,5,7,9,11,13,15
/proc/15020/stat : 15020 (java) S 15017 15020 14618 0 -1 1077944320 69744 12352 0 0 1634 112 6 3 20 0 20 0 3904512 11190136832 135688 33554432000 4194304 4196468 140730322270816 140730322253360 139928343981815 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
/proc/15020/statm: 2731967 135688 3502 1 0 2719522 0
[pid=15020/tid=15075] ppid=15017 vsize=10927868 CPUtime=5.44 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15075/stat : 15075 (java) R 15017 15020 14618 0 -1 4202560 27137 12352 0 0 525 10 6 3 20 0 20 0 3904522 11190136832 135688 33554432000 4194304 4196468 140730322270816 139928348212968 139927976110646 0 4 0 16800975 0 0 0 -1 1 0 0 48 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15076] ppid=15017 vsize=10927868 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15076/stat : 15076 (java) S 15017 15020 14618 0 -1 1077944384 170 12352 0 0 14 11 6 3 20 0 20 0 3904523 11190136832 135688 33554432000 4194304 4196468 140730322270816 139928296602256 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15077] ppid=15017 vsize=10927868 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15077/stat : 15077 (java) S 15017 15020 14618 0 -1 1077944384 776 12352 0 0 15 12 6 3 20 0 20 0 3904523 11190136832 135688 33554432000 4194304 4196468 140730322270816 139928295549456 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15078] ppid=15017 vsize=10927868 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15078/stat : 15078 (java) S 15017 15020 14618 0 -1 1077944384 211 12352 0 0 15 11 6 3 20 0 20 0 3904523 11190136832 135688 33554432000 4194304 4196468 140730322270816 139928294496656 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15079] ppid=15017 vsize=10927868 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15079/stat : 15079 (java) S 15017 15020 14618 0 -1 1077944384 176 12352 0 0 16 11 6 3 20 0 20 0 3904523 11190136832 135688 33554432000 4194304 4196468 140730322270816 139928293443856 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15080] ppid=15017 vsize=10927868 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15080/stat : 15080 (java) S 15017 15020 14618 0 -1 1077944384 121 12352 0 0 14 10 6 3 20 0 20 0 3904523 11190136832 135688 33554432000 4194304 4196468 140730322270816 139928292392080 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15081] ppid=15017 vsize=10927868 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15081/stat : 15081 (java) S 15017 15020 14618 0 -1 1077944384 213 12352 0 0 16 9 6 3 20 0 20 0 3904523 11190136832 135688 33554432000 4194304 4196468 140730322270816 139928291339280 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15082] ppid=15017 vsize=10927868 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15082/stat : 15082 (java) S 15017 15020 14618 0 -1 1077944384 147 12352 0 0 15 12 6 3 20 0 20 0 3904523 11190136832 135688 33554432000 4194304 4196468 140730322270816 139927944354704 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15083] ppid=15017 vsize=10927868 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15083/stat : 15083 (java) S 15017 15020 14618 0 -1 1077944384 266 12352 0 0 16 11 6 3 20 0 20 0 3904523 11190136832 135688 33554432000 4194304 4196468 140730322270816 139927943301904 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15084] ppid=15017 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15084/stat : 15084 (java) S 15017 15020 14618 0 -1 1077944384 1717 12352 0 0 2 0 6 3 20 0 20 0 3904525 11190136832 135688 33554432000 4194304 4196468 140730322270816 139927549364592 139928343992962 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15085] ppid=15017 vsize=10927868 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15085/stat : 15085 (java) S 15017 15020 14618 0 -1 1077944384 61 12352 0 0 0 0 6 3 20 0 20 0 3904526 11190136832 135688 33554432000 4194304 4196468 140730322270816 139927548310624 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15086] ppid=15017 vsize=10927868 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15086/stat : 15086 (java) S 15017 15020 14618 0 -1 1077944384 43 12352 0 0 0 0 6 3 20 0 20 0 3904526 11190136832 135688 33554432000 4194304 4196468 140730322270816 139927547257728 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15087] ppid=15017 vsize=10927868 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15087/stat : 15087 (java) S 15017 15020 14618 0 -1 1077944384 1 12352 0 0 0 0 6 3 20 0 20 0 3904530 11190136832 135688 33554432000 4194304 4196468 140730322270816 139927546206032 139928344000411 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15088] ppid=15017 vsize=10927868 CPUtime=2.6 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15088/stat : 15088 (java) R 15017 15020 14618 0 -1 4202560 10782 12352 0 0 250 1 6 3 20 0 20 0 3904530 11190136832 135688 33554432000 4194304 4196468 140730322270816 139927545140384 139928325506973 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15089] ppid=15017 vsize=10927868 CPUtime=3.16 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15089/stat : 15089 (java) R 15017 15020 14618 0 -1 4202560 10798 12352 0 0 306 1 6 3 20 0 20 0 3904530 11190136832 135688 33554432000 4194304 4196468 140730322270816 139927544088160 139928323220288 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15090] ppid=15017 vsize=10927868 CPUtime=2.72 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15090/stat : 15090 (java) S 15017 15020 14618 0 -1 1077944384 7809 12352 0 0 261 2 6 3 20 0 20 0 3904530 11190136832 135688 33554432000 4194304 4196468 140730322270816 139927543048816 139928343992962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15091] ppid=15017 vsize=10927868 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15091/stat : 15091 (java) S 15017 15020 14618 0 -1 1077944384 7166 12352 0 0 161 3 6 3 20 0 20 0 3904530 11190136832 135688 33554432000 4194304 4196468 140730322270816 139927541996016 139928343992962 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15092] ppid=15017 vsize=10927868 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -15020
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15020 sig 9
??? kill -15020 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+2232.01 s]
/proc/loadavg: 1.74 1.73 1.77 10/283 15303
/proc/meminfo: memFree=25486096/32770624 swapFree=5940/245804
[pid=15020] ppid=15017 vsize=11065092 CPUtime=2407.33 cores=1,3,5,7,9,11,13,15
/proc/15020/stat : 15020 (java) S 15017 15020 14618 0 -1 1077944320 571777 12352 0 0 239368 1356 6 3 20 0 22 0 3904512 11330654208 1093600 33554432000 4194304 4196468 140730322270816 140730322253360 139928343981815 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
/proc/15020/statm: 2766273 1093600 3526 1 0 2753828 0
[pid=15020/tid=15075] ppid=15017 vsize=11065092 CPUtime=2207.74 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15075/stat : 15075 (java) S 15017 15020 14618 0 -1 1077944384 151754 12352 0 0 220716 49 6 3 20 0 22 0 3904522 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139928348219360 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 48 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15076] ppid=15017 vsize=11065092 CPUtime=21.42 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15076/stat : 15076 (java) R 15017 15020 14618 0 -1 4202560 23189 12352 0 0 1981 152 6 3 20 0 22 0 3904523 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139928296602456 139928325535056 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15077] ppid=15017 vsize=11065092 CPUtime=21.4 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15077/stat : 15077 (java) R 15017 15020 14618 0 -1 4202560 25351 12352 0 0 1973 158 6 3 20 0 22 0 3904523 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139928295549656 139928328971442 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15078] ppid=15017 vsize=11065092 CPUtime=21.32 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15078/stat : 15078 (java) R 15017 15020 14618 0 -1 4202560 27431 12352 0 0 1965 158 6 3 20 0 22 0 3904523 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139928294496856 139928328977803 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15079] ppid=15017 vsize=11065092 CPUtime=21.47 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15079/stat : 15079 (java) R 15017 15020 14618 0 -1 4202560 28699 12352 0 0 1986 152 6 3 20 0 22 0 3904523 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139928293444056 139928328682472 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15080] ppid=15017 vsize=11065092 CPUtime=21.43 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15080/stat : 15080 (java) R 15017 15020 14618 0 -1 4202560 31276 12352 0 0 1983 151 6 3 20 0 22 0 3904523 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139928292392280 139928328682448 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15081] ppid=15017 vsize=11065092 CPUtime=21.43 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15081/stat : 15081 (java) R 15017 15020 14618 0 -1 4202560 25083 12352 0 0 1982 152 6 3 20 0 22 0 3904523 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139928291339480 139928328977831 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15082] ppid=15017 vsize=11065092 CPUtime=21.42 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15082/stat : 15082 (java) R 15017 15020 14618 0 -1 4202560 27497 12352 0 0 1983 150 6 3 20 0 22 0 3904523 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927944354904 139928328971411 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15083] ppid=15017 vsize=11065092 CPUtime=21.41 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15083/stat : 15083 (java) R 15017 15020 14618 0 -1 4202560 28404 12352 0 0 1972 160 6 3 20 0 22 0 3904523 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927943301792 139928328977827 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15084] ppid=15017 vsize=11065092 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15084/stat : 15084 (java) S 15017 15020 14618 0 -1 1077944384 39891 12352 0 0 130 7 6 3 20 0 22 0 3904525 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927549363216 139928343992021 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15085] ppid=15017 vsize=11065092 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15085/stat : 15085 (java) S 15017 15020 14618 0 -1 1077944384 80 12352 0 0 0 0 6 3 20 0 22 0 3904526 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927548310688 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15086] ppid=15017 vsize=11065092 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15086/stat : 15086 (java) S 15017 15020 14618 0 -1 1077944384 68 12352 0 0 0 0 6 3 20 0 22 0 3904526 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927547257728 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15087] ppid=15017 vsize=11065092 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15087/stat : 15087 (java) S 15017 15020 14618 0 -1 1077944384 213 12352 0 0 0 0 6 3 20 0 22 0 3904530 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927546206032 139928344000411 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15088] ppid=15017 vsize=11065092 CPUtime=7.71 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15088/stat : 15088 (java) S 15017 15020 14618 0 -1 1077944384 40066 12352 0 0 757 5 6 3 20 0 22 0 3904530 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927545154464 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15089] ppid=15017 vsize=11065092 CPUtime=7.97 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15089/stat : 15089 (java) S 15017 15020 14618 0 -1 1077944384 38179 12352 0 0 783 5 6 3 20 0 22 0 3904530 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927544101376 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15090] ppid=15017 vsize=11065092 CPUtime=7.96 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15090/stat : 15090 (java) S 15017 15020 14618 0 -1 1077944384 36715 12352 0 0 781 6 6 3 20 0 22 0 3904530 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927543048864 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15091] ppid=15017 vsize=11065092 CPUtime=3.23 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15091/stat : 15091 (java) S 15017 15020 14618 0 -1 1077944384 42003 12352 0 0 306 8 6 3 20 0 22 0 3904530 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927541996064 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15092] ppid=15017 vsize=11065092 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15092/stat : 15092 (java) S 15017 15020 14618 0 -1 1077944384 3 12352 0 0 0 0 6 3 20 0 22 0 3904530 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927540943456 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15093] ppid=15017 vsize=11065092 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15093/stat : 15093 (java) S 15017 15020 14618 0 -1 1077944384 3400 12352 0 0 46 52 6 3 20 0 22 0 3904531 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927539890736 139928343992962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15302] ppid=15017 vsize=11065092 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15302/stat : 15302 (java) S 15017 15020 14618 0 -1 1077944384 318 12352 0 0 0 0 6 3 20 0 22 0 4127612 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927508725872 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15303] ppid=15017 vsize=11065092 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15303/stat : 15303 (java) S 15017 15020 14618 0 -1 1077944384 29 12352 0 0 0 0 6 3 20 0 22 0 4127612 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927507673792 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
Current children cumulated CPU time (s) 2407.33
Current children cumulated vsize (KiB) 11065092
[startup+2232.8 s]
/proc/loadavg: 1.74 1.73 1.77 10/283 15303
/proc/meminfo: memFree=25486096/32770624 swapFree=5940/245804
[pid=15020] ppid=15017 vsize=11065092 CPUtime=2413.55 cores=1,3,5,7,9,11,13,15
/proc/15020/stat : 15020 (java) S 15017 15020 14618 0 -1 1077944320 571777 12352 0 0 239989 1357 6 3 20 0 22 0 3904512 11330654208 1093600 33554432000 4194304 4196468 140730322270816 140730322253360 139928343981815 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
/proc/15020/statm: 2766273 1093600 3526 1 0 2753828 0
[pid=15020/tid=15075] ppid=15017 vsize=11065092 CPUtime=2207.74 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15075/stat : 15075 (java) S 15017 15020 14618 0 -1 1077944384 151754 12352 0 0 220716 49 6 3 20 0 22 0 3904522 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139928348219360 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 48 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15076] ppid=15017 vsize=11065092 CPUtime=22.21 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15076/stat : 15076 (java) R 15017 15020 14618 0 -1 4202560 23189 12352 0 0 2060 152 6 3 20 0 22 0 3904523 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139928296602456 139928328682400 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15077] ppid=15017 vsize=11065092 CPUtime=22.18 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15077/stat : 15077 (java) R 15017 15020 14618 0 -1 4202560 25351 12352 0 0 2051 158 6 3 20 0 22 0 3904523 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139928295549264 139928336610023 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15078] ppid=15017 vsize=11065092 CPUtime=22.1 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15078/stat : 15078 (java) R 15017 15020 14618 0 -1 4202560 27431 12352 0 0 2043 158 6 3 20 0 22 0 3904523 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139928294496776 139928336610023 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15079] ppid=15017 vsize=11065092 CPUtime=22.24 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15079/stat : 15079 (java) R 15017 15020 14618 0 -1 4202560 28699 12352 0 0 2063 152 6 3 20 0 22 0 3904523 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139928293443976 139928336610023 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15080] ppid=15017 vsize=11065092 CPUtime=22.2 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15080/stat : 15080 (java) R 15017 15020 14618 0 -1 4202560 31276 12352 0 0 2060 151 6 3 20 0 22 0 3904523 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139928292392200 139928336610023 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15081] ppid=15017 vsize=11065092 CPUtime=22.2 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15081/stat : 15081 (java) R 15017 15020 14618 0 -1 4202560 25083 12352 0 0 2059 152 6 3 20 0 22 0 3904523 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139928291339088 139928336610023 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15082] ppid=15017 vsize=11065092 CPUtime=22.2 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15082/stat : 15082 (java) R 15017 15020 14618 0 -1 4202560 27497 12352 0 0 2061 150 6 3 20 0 22 0 3904523 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927944354512 139928336610023 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15083] ppid=15017 vsize=11065092 CPUtime=22.18 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15083/stat : 15083 (java) R 15017 15020 14618 0 -1 4202560 28404 12352 0 0 2049 160 6 3 20 0 22 0 3904523 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927943302024 139928327364850 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15084] ppid=15017 vsize=11065092 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15084/stat : 15084 (java) S 15017 15020 14618 0 -1 1077944384 39891 12352 0 0 130 7 6 3 20 0 22 0 3904525 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927549363216 139928343992021 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15085] ppid=15017 vsize=11065092 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15085/stat : 15085 (java) S 15017 15020 14618 0 -1 1077944384 80 12352 0 0 0 0 6 3 20 0 22 0 3904526 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927548310688 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15086] ppid=15017 vsize=11065092 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15086/stat : 15086 (java) S 15017 15020 14618 0 -1 1077944384 68 12352 0 0 0 0 6 3 20 0 22 0 3904526 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927547257728 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15087] ppid=15017 vsize=11065092 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15087/stat : 15087 (java) S 15017 15020 14618 0 -1 1077944384 213 12352 0 0 0 0 6 3 20 0 22 0 3904530 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927546206032 139928344000411 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15088] ppid=15017 vsize=11065092 CPUtime=7.71 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15088/stat : 15088 (java) S 15017 15020 14618 0 -1 1077944384 40066 12352 0 0 757 5 6 3 20 0 22 0 3904530 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927545154464 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15089] ppid=15017 vsize=11065092 CPUtime=7.97 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15089/stat : 15089 (java) S 15017 15020 14618 0 -1 1077944384 38179 12352 0 0 783 5 6 3 20 0 22 0 3904530 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927544101376 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15090] ppid=15017 vsize=11065092 CPUtime=7.96 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15090/stat : 15090 (java) S 15017 15020 14618 0 -1 1077944384 36715 12352 0 0 781 6 6 3 20 0 22 0 3904530 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927543048864 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15091] ppid=15017 vsize=11065092 CPUtime=3.23 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15091/stat : 15091 (java) S 15017 15020 14618 0 -1 1077944384 42003 12352 0 0 306 8 6 3 20 0 22 0 3904530 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927541996064 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15092] ppid=15017 vsize=11065092 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15092/stat : 15092 (java) S 15017 15020 14618 0 -1 1077944384 3 12352 0 0 0 0 6 3 20 0 22 0 3904530 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927540943456 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15093] ppid=15017 vsize=11065092 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15093/stat : 15093 (java) S 15017 15020 14618 0 -1 1077944384 3400 12352 0 0 46 52 6 3 20 0 22 0 3904531 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927539890736 139928343992962 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15302] ppid=15017 vsize=11065092 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15302/stat : 15302 (java) S 15017 15020 14618 0 -1 1077944384 318 12352 0 0 0 0 6 3 20 0 22 0 4127612 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927508725872 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15303] ppid=15017 vsize=11065092 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15303/stat : 15303 (java) S 15017 15020 14618 0 -1 1077944384 29 12352 0 0 0 0 6 3 20 0 22 0 4127612 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927507673792 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
Current children cumulated CPU time (s) 2413.55
Current children cumulated vsize (KiB) 11065092
[startup+2233 s]
/proc/loadavg: 1.74 1.73 1.77 10/283 15303
/proc/meminfo: memFree=25486632/32770624 swapFree=5940/245804
[pid=15020] ppid=15017 vsize=11065092 CPUtime=2415.17 cores=1,3,5,7,9,11,13,15
/proc/15020/stat : 15020 (java) S 15017 15020 14618 0 -1 1077944320 571777 12352 0 0 240151 1357 6 3 20 0 22 0 3904512 11330654208 1093600 33554432000 4194304 4196468 140730322270816 140730322253360 139928343981815 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
/proc/15020/statm: 2766273 1093600 3526 1 0 2753828 0
[pid=15020/tid=15075] ppid=15017 vsize=11065092 CPUtime=2207.74 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15075/stat : 15075 (java) S 15017 15020 14618 0 -1 1077944384 151754 12352 0 0 220716 49 6 3 20 0 22 0 3904522 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139928348219360 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 48 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15076] ppid=15017 vsize=11065092 CPUtime=22.42 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15076/stat : 15076 (java) R 15017 15020 14618 0 -1 4202560 23189 12352 0 0 2081 152 6 3 20 0 22 0 3904523 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139928296602456 139928328971373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15077] ppid=15017 vsize=11065092 CPUtime=22.38 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15077/stat : 15077 (java) R 15017 15020 14618 0 -1 4202560 25351 12352 0 0 2071 158 6 3 20 0 22 0 3904523 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139928295549264 139928329740632 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15078] ppid=15017 vsize=11065092 CPUtime=22.3 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15078/stat : 15078 (java) R 15017 15020 14618 0 -1 4202560 27431 12352 0 0 2063 158 6 3 20 0 22 0 3904523 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139928294496464 139928344003162 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15079] ppid=15017 vsize=11065092 CPUtime=22.44 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15079/stat : 15079 (java) R 15017 15020 14618 0 -1 4202560 28699 12352 0 0 2083 152 6 3 20 0 22 0 3904523 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139928293443976 139928336610023 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15080] ppid=15017 vsize=11065092 CPUtime=22.41 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15080/stat : 15080 (java) R 15017 15020 14618 0 -1 4202560 31276 12352 0 0 2081 151 6 3 20 0 22 0 3904523 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139928292392200 139928336610023 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15081] ppid=15017 vsize=11065092 CPUtime=22.41 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15081/stat : 15081 (java) R 15017 15020 14618 0 -1 4202560 25083 12352 0 0 2080 152 6 3 20 0 22 0 3904523 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139928291339400 139928336610023 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15082] ppid=15017 vsize=11065092 CPUtime=22.4 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15082/stat : 15082 (java) R 15017 15020 14618 0 -1 4202560 27497 12352 0 0 2081 150 6 3 20 0 22 0 3904523 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927944354512 139928336610023 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15083] ppid=15017 vsize=11065092 CPUtime=22.37 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15083/stat : 15083 (java) R 15017 15020 14618 0 -1 4202560 28404 12352 0 0 2068 160 6 3 20 0 22 0 3904523 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927943302024 139928336610023 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15084] ppid=15017 vsize=11065092 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15084/stat : 15084 (java) S 15017 15020 14618 0 -1 1077944384 39891 12352 0 0 130 7 6 3 20 0 22 0 3904525 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927549363216 139928343992021 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15085] ppid=15017 vsize=11065092 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15085/stat : 15085 (java) S 15017 15020 14618 0 -1 1077944384 80 12352 0 0 0 0 6 3 20 0 22 0 3904526 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927548310688 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15086] ppid=15017 vsize=11065092 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15086/stat : 15086 (java) S 15017 15020 14618 0 -1 1077944384 68 12352 0 0 0 0 6 3 20 0 22 0 3904526 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927547257728 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15087] ppid=15017 vsize=11065092 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15087/stat : 15087 (java) S 15017 15020 14618 0 -1 1077944384 213 12352 0 0 0 0 6 3 20 0 22 0 3904530 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927546206032 139928344000411 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15088] ppid=15017 vsize=11065092 CPUtime=7.71 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15088/stat : 15088 (java) S 15017 15020 14618 0 -1 1077944384 40066 12352 0 0 757 5 6 3 20 0 22 0 3904530 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927545154464 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15089] ppid=15017 vsize=11065092 CPUtime=7.97 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15089/stat : 15089 (java) S 15017 15020 14618 0 -1 1077944384 38179 12352 0 0 783 5 6 3 20 0 22 0 3904530 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927544101376 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15090] ppid=15017 vsize=11065092 CPUtime=7.96 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15090/stat : 15090 (java) S 15017 15020 14618 0 -1 1077944384 36715 12352 0 0 781 6 6 3 20 0 22 0 3904530 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927543048864 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15091] ppid=15017 vsize=11065092 CPUtime=3.23 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15091/stat : 15091 (java) S 15017 15020 14618 0 -1 1077944384 42003 12352 0 0 306 8 6 3 20 0 22 0 3904530 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927541996064 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15092] ppid=15017 vsize=11065092 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15092/stat : 15092 (java) S 15017 15020 14618 0 -1 1077944384 3 12352 0 0 0 0 6 3 20 0 22 0 3904530 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927540943456 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15093] ppid=15017 vsize=11065092 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15093/stat : 15093 (java) S 15017 15020 14618 0 -1 1077944384 3400 12352 0 0 46 52 6 3 20 0 22 0 3904531 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927539890736 139928343992962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15302] ppid=15017 vsize=11065092 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15302/stat : 15302 (java) S 15017 15020 14618 0 -1 1077944384 318 12352 0 0 0 0 6 3 20 0 22 0 4127612 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927508725872 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
[pid=15020/tid=15303] ppid=15017 vsize=11065092 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15020/task/15303/stat : 15303 (java) S 15017 15020 14618 0 -1 1077944384 29 12352 0 0 0 0 6 3 20 0 22 0 4127612 11330654208 1093600 33554432000 4194304 4196468 140730322270816 139927507673792 139928343992021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25272320 140730322275009 140730322277783 140730322277783 140730322280399 0
Current children cumulated CPU time (s) 2415.17
Current children cumulated vsize (KiB) 11065092
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2233.04
CPU time (s): 2415.24
CPU user time (s): 2401.6
CPU system time (s): 13.6405
CPU usage (%): 108.159
Max. virtual memory (cumulated for all children) (KiB): 11065092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2401.6
system time used= 13.6405
maximum resident set size= 4726912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 584133
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69742
involuntary context switches= 126370
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5975 second user time and 15.2331 second system time
The end