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-4250108-1500776199/watcher-4250108-1500776199 -o /tmp/evaluation-result-4250108-1500776199/solver-4250108-1500776199 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500776199-27745 --watchdog 2560 bin/concrete HOME/instance-4250108-1500776199.xml
pid=27766
running on 8 cores: 0,2,4,6,8,10,12,14
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.02 1.39 1.52 2/238 27771
/proc/meminfo: memFree=31396348/32770624 swapFree=5716/332816
[pid=27771] ppid=27766 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27771/stat : 27771 (bash) S 27766 27771 25128 0 -1 4202496 687 1530 0 0 0 0 0 0 20 0 1 0 12889018 9736192 351 33554432000 4194304 5098028 140724702292080 140724702289720 140379597978624 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 34791424 140724702299406 140724702299491 140724702299491 140724702302190 0
/proc/27771/statm: 2377 351 278 221 0 86 0
[startup+0.100132 s]
/proc/loadavg: 1.02 1.39 1.52 2/238 27771
/proc/meminfo: memFree=31396348/32770624 swapFree=5716/332816
[pid=27771] ppid=27766 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/27771/stat : 27771 (bash) S 27766 27771 25128 0 -1 4202496 886 6408 0 0 0 0 0 1 20 0 1 0 12889018 9871360 378 33554432000 4194304 5098028 140724702292080 140724702286088 140379597978624 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 0 0 0 7196144 7232144 34791424 140724702299406 140724702299491 140724702299491 140724702302190 0
/proc/27771/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200354 s]
/proc/loadavg: 1.02 1.39 1.52 2/238 27771
/proc/meminfo: memFree=31396348/32770624 swapFree=5716/332816
[pid=27771] ppid=27766 vsize=10435860 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/27771/stat : 27771 (java) S 27766 27771 25128 0 -1 1077944320 5003 12272 0 0 4 2 9 3 20 0 13 0 12889018 10686320640 5349 33554432000 4194304 4196468 140735029834784 140735029817328 140015066889975 0 0 0 16800971 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
/proc/27771/statm: 2608965 5349 2139 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860
[startup+0.300272 s]
/proc/loadavg: 1.02 1.39 1.52 2/238 27771
/proc/meminfo: memFree=31396348/32770624 swapFree=5716/332816
[pid=27771] ppid=27766 vsize=10902392 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/27771/stat : 27771 (java) S 27766 27771 25128 0 -1 1077944320 7388 12272 0 0 21 4 9 3 20 0 20 0 12889018 11164049408 9138 33554432000 4194304 4196468 140735029834784 140735029817328 140015066889975 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
/proc/27771/statm: 2725598 9138 3007 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902392
[startup+0.700164 s]
/proc/loadavg: 1.02 1.39 1.52 2/238 27771
/proc/meminfo: memFree=31396348/32770624 swapFree=5716/332816
[pid=27771] ppid=27766 vsize=10902720 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/27771/stat : 27771 (java) S 27766 27771 25128 0 -1 1077944320 12485 12272 0 0 75 5 9 3 20 0 20 0 12889018 11164385280 15795 33554432000 4194304 4196468 140735029834784 140735029817328 140015066889975 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
/proc/27771/statm: 2725680 15795 3211 1 0 2713890 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 10902720
[startup+1.50073 s]
/proc/loadavg: 1.10 1.40 1.53 3/281 27920
/proc/meminfo: memFree=31193368/32770624 swapFree=5716/332888
[pid=27771] ppid=27766 vsize=10913344 CPUtime=2.28 cores=0,2,4,6,8,10,12,14
/proc/27771/stat : 27771 (java) S 27766 27771 25128 0 -1 1077944320 27723 12272 0 0 201 15 9 3 20 0 20 0 12889018 11175264256 44039 33554432000 4194304 4196468 140735029834784 140735029817328 140015066889975 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
/proc/27771/statm: 2728336 44039 3411 1 0 2716450 0
[pid=27771/tid=27884] ppid=27766 vsize=10913344 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27884/stat : 27884 (java) R 27766 27771 25128 0 -1 4202560 19676 12272 0 0 123 7 9 3 20 0 20 0 12889032 11175264256 44039 33554432000 4194304 4196468 140735029834784 140015071118888 140015066901910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27893] ppid=27766 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27893/stat : 27893 (java) S 27766 27771 25128 0 -1 1077944384 17 12272 0 0 0 0 9 3 20 0 20 0 12889033 11175264256 44039 33554432000 4194304 4196468 140735029834784 140015003581200 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27894] ppid=27766 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27894/stat : 27894 (java) S 27766 27771 25128 0 -1 1077944384 27 12272 0 0 1 0 9 3 20 0 20 0 12889033 11175264256 44039 33554432000 4194304 4196468 140735029834784 140015002528656 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27895] ppid=27766 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27895/stat : 27895 (java) S 27766 27771 25128 0 -1 1077944384 26 12272 0 0 1 0 9 3 20 0 20 0 12889033 11175264256 44039 33554432000 4194304 4196468 140735029834784 140015001476112 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27896] ppid=27766 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27896/stat : 27896 (java) S 27766 27771 25128 0 -1 1077944384 53 12272 0 0 0 0 9 3 20 0 20 0 12889033 11175264256 44039 33554432000 4194304 4196468 140735029834784 140015000423568 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27897] ppid=27766 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27897/stat : 27897 (java) S 27766 27771 25128 0 -1 1077944384 16 12272 0 0 0 0 9 3 20 0 20 0 12889033 11175264256 44039 33554432000 4194304 4196468 140735029834784 140014999370000 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27898] ppid=27766 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27898/stat : 27898 (java) S 27766 27771 25128 0 -1 1077944384 45 12272 0 0 1 0 9 3 20 0 20 0 12889033 11175264256 44039 33554432000 4194304 4196468 140735029834784 140014998317456 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27899] ppid=27766 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27899/stat : 27899 (java) S 27766 27771 25128 0 -1 1077944384 131 12272 0 0 1 0 9 3 20 0 20 0 12889033 11175264256 44039 33554432000 4194304 4196468 140735029834784 140014997264912 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27900] ppid=27766 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27900/stat : 27900 (java) S 27766 27771 25128 0 -1 1077944384 16 12272 0 0 0 0 9 3 20 0 20 0 12889033 11175264256 44039 33554432000 4194304 4196468 140735029834784 140014996212368 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27902] ppid=27766 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27902/stat : 27902 (java) S 27766 27771 25128 0 -1 1077944384 1417 12272 0 0 1 0 9 3 20 0 20 0 12889036 11175264256 44039 33554432000 4194304 4196468 140735029834784 140014541548016 140015066901122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27904] ppid=27766 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27904/stat : 27904 (java) S 27766 27771 25128 0 -1 1077944384 56 12272 0 0 0 0 9 3 20 0 20 0 12889036 11175264256 44039 33554432000 4194304 4196468 140735029834784 140014540494304 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27906] ppid=27766 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27906/stat : 27906 (java) S 27766 27771 25128 0 -1 1077944384 43 12272 0 0 0 0 9 3 20 0 20 0 12889036 11175264256 44039 33554432000 4194304 4196468 140735029834784 140014539441648 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27907] ppid=27766 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27907/stat : 27907 (java) S 27766 27771 25128 0 -1 1077944384 1 12272 0 0 0 0 9 3 20 0 20 0 12889040 11175264256 44039 33554432000 4194304 4196468 140735029834784 140014538390224 140015066908571 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27909] ppid=27766 vsize=10913344 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27909/stat : 27909 (java) R 27766 27771 25128 0 -1 4202560 1559 12272 0 0 15 0 9 3 20 0 20 0 12889040 11175264256 44039 33554432000 4194304 4196468 140735029834784 140014537322840 140015048433307 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27910] ppid=27766 vsize=10913344 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27910/stat : 27910 (java) R 27766 27771 25128 0 -1 4202560 650 12272 0 0 13 0 9 3 20 0 20 0 12889040 11175264256 44039 33554432000 4194304 4196468 140735029834784 140014536273424 140015046137635 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27912] ppid=27766 vsize=10913344 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27912/stat : 27912 (java) S 27766 27771 25128 0 -1 1077944384 506 12272 0 0 11 0 9 3 20 0 20 0 12889040 11175264256 44039 33554432000 4194304 4196468 140735029834784 140014535231728 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27915] ppid=27766 vsize=10913344 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27915/stat : 27915 (java) S 27766 27771 25128 0 -1 1077944384 1345 12272 0 0 26 0 9 3 20 0 20 0 12889040 11175264256 44039 33554432000 4194304 4196468 140735029834784 140014534179184 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27917] ppid=27766 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27917/stat : 27917 (java) S 27766 27771 25128 0 -1 1077944384 3 12272 0 0 0 0 9 3 20 0 20 0 12889041 11175264256 44039 33554432000 4194304 4196468 140735029834784 140014533126880 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27919] ppid=27766 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27919/stat : 27919 (java) S 27766 27771 25128 0 -1 1077944384 6 12272 0 0 0 0 9 3 20 0 20 0 12889041 11175264256 44039 33554432000 4194304 4196468 140735029834784 140014532074416 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 10913344
[startup+3.1008 s]
/proc/loadavg: 1.10 1.40 1.53 7/281 27920
/proc/meminfo: memFree=31044032/32770624 swapFree=5716/332888
[pid=27771] ppid=27766 vsize=10925820 CPUtime=6.77 cores=0,2,4,6,8,10,12,14
/proc/27771/stat : 27771 (java) S 27766 27771 25128 0 -1 1077944320 43868 12272 0 0 644 21 9 3 20 0 20 0 12889018 11188039680 55588 33554432000 4194304 4196468 140735029834784 140735029817328 140015066889975 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
/proc/27771/statm: 2731455 55588 3477 1 0 2719010 0
[pid=27771/tid=27884] ppid=27766 vsize=10925820 CPUtime=3.01 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27884/stat : 27884 (java) R 27766 27771 25128 0 -1 4202560 26122 12272 0 0 280 9 9 3 20 0 20 0 12889032 11188039680 55588 33554432000 4194304 4196468 140735029834784 140015071123448 140014675591974 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27893] ppid=27766 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27893/stat : 27893 (java) S 27766 27771 25128 0 -1 1077944384 17 12272 0 0 0 0 9 3 20 0 20 0 12889033 11188039680 55588 33554432000 4194304 4196468 140735029834784 140015003581200 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27894] ppid=27766 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27894/stat : 27894 (java) S 27766 27771 25128 0 -1 1077944384 27 12272 0 0 1 0 9 3 20 0 20 0 12889033 11188039680 55588 33554432000 4194304 4196468 140735029834784 140015002528656 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27895] ppid=27766 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27895/stat : 27895 (java) S 27766 27771 25128 0 -1 1077944384 26 12272 0 0 1 0 9 3 20 0 20 0 12889033 11188039680 55588 33554432000 4194304 4196468 140735029834784 140015001476112 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27896] ppid=27766 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27896/stat : 27896 (java) S 27766 27771 25128 0 -1 1077944384 53 12272 0 0 0 0 9 3 20 0 20 0 12889033 11188039680 55588 33554432000 4194304 4196468 140735029834784 140015000423568 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27897] ppid=27766 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27897/stat : 27897 (java) S 27766 27771 25128 0 -1 1077944384 16 12272 0 0 0 0 9 3 20 0 20 0 12889033 11188039680 55588 33554432000 4194304 4196468 140735029834784 140014999370000 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27898] ppid=27766 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27898/stat : 27898 (java) S 27766 27771 25128 0 -1 1077944384 45 12272 0 0 1 0 9 3 20 0 20 0 12889033 11188039680 55588 33554432000 4194304 4196468 140735029834784 140014998317456 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27899] ppid=27766 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27899/stat : 27899 (java) S 27766 27771 25128 0 -1 1077944384 131 12272 0 0 1 0 9 3 20 0 20 0 12889033 11188039680 55588 33554432000 4194304 4196468 140735029834784 140014997264912 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27900] ppid=27766 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27900/stat : 27900 (java) S 27766 27771 25128 0 -1 1077944384 16 12272 0 0 0 0 9 3 20 0 20 0 12889033 11188039680 55588 33554432000 4194304 4196468 140735029834784 140014996212368 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27902] ppid=27766 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27902/stat : 27902 (java) S 27766 27771 25128 0 -1 1077944384 1453 12272 0 0 1 0 9 3 20 0 20 0 12889036 11188039680 55588 33554432000 4194304 4196468 140735029834784 140014541548016 140015066901122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27904] ppid=27766 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27904/stat : 27904 (java) S 27766 27771 25128 0 -1 1077944384 56 12272 0 0 0 0 9 3 20 0 20 0 12889036 11188039680 55588 33554432000 4194304 4196468 140735029834784 140014540494304 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27906] ppid=27766 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27906/stat : 27906 (java) S 27766 27771 25128 0 -1 1077944384 43 12272 0 0 0 0 9 3 20 0 20 0 12889036 11188039680 55588 33554432000 4194304 4196468 140735029834784 140014539441648 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27907] ppid=27766 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27907/stat : 27907 (java) S 27766 27771 25128 0 -1 1077944384 1 12272 0 0 0 0 9 3 20 0 20 0 12889040 11188039680 55588 33554432000 4194304 4196468 140735029834784 140014538390224 140015066908571 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27909] ppid=27766 vsize=10925820 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27909/stat : 27909 (java) R 27766 27771 25128 0 -1 4202560 5190 12272 0 0 106 1 9 3 20 0 20 0 12889040 11188039680 55588 33554432000 4194304 4196468 140735029834784 140014537322048 140015048267856 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27910] ppid=27766 vsize=10925820 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27910/stat : 27910 (java) R 27766 27771 25128 0 -1 4202560 1330 12272 0 0 62 1 9 3 20 0 20 0 12889040 11188039680 55588 33554432000 4194304 4196468 140735029834784 140014536265632 140015066903824 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27912] ppid=27766 vsize=10925820 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27912/stat : 27912 (java) R 27766 27771 25128 0 -1 4202560 2001 12272 0 0 67 0 9 3 20 0 20 0 12889040 11188039680 55588 33554432000 4194304 4196468 140735029834784 140014535216320 140015044114128 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27915] ppid=27766 vsize=10925820 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27915/stat : 27915 (java) R 27766 27771 25128 0 -1 4202560 5198 12272 0 0 116 1 9 3 20 0 20 0 12889040 11188039680 55588 33554432000 4194304 4196468 140735029834784 140014534179184 140015045819331 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27917] ppid=27766 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27917/stat : 27917 (java) S 27766 27771 25128 0 -1 1077944384 3 12272 0 0 0 0 9 3 20 0 20 0 12889041 11188039680 55588 33554432000 4194304 4196468 140735029834784 140014533126880 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27919] ppid=27766 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27919/stat : 27919 (java) S 27766 27771 25128 0 -1 1077944384 7 12272 0 0 0 0 9 3 20 0 20 0 12889041 11188039680 55588 33554432000 4194304 4196468 140735029834784 140014532074416 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
Current children cumulated CPU time (s) 6.77
Current children cumulated vsize (KiB) 10925820
[startup+6.30191 s]
/proc/loadavg: 1.10 1.40 1.53 4/281 27920
/proc/meminfo: memFree=30693116/32770624 swapFree=5716/332880
[pid=27771] ppid=27766 vsize=10929916 CPUtime=16.25 cores=0,2,4,6,8,10,12,14
/proc/27771/stat : 27771 (java) S 27766 27771 25128 0 -1 1077944320 85235 12272 0 0 1576 37 9 3 20 0 20 0 12889018 11192233984 92707 33554432000 4194304 4196468 140735029834784 140735029817328 140015066889975 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
/proc/27771/statm: 2732479 92707 3501 1 0 2720034 0
[pid=27771/tid=27884] ppid=27766 vsize=10929916 CPUtime=6.13 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27884/stat : 27884 (java) R 27766 27771 25128 0 -1 4202560 39077 12272 0 0 587 14 9 3 20 0 20 0 12889032 11192233984 92707 33554432000 4194304 4196468 140735029834784 140015071124144 140014691918289 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27893] ppid=27766 vsize=10929916 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27893/stat : 27893 (java) S 27766 27771 25128 0 -1 1077944384 31 12272 0 0 3 1 9 3 20 0 20 0 12889033 11192233984 92707 33554432000 4194304 4196468 140735029834784 140015003581200 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27894] ppid=27766 vsize=10929916 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27894/stat : 27894 (java) S 27766 27771 25128 0 -1 1077944384 56 12272 0 0 2 0 9 3 20 0 20 0 12889033 11192233984 92707 33554432000 4194304 4196468 140735029834784 140015002528656 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27895] ppid=27766 vsize=10929916 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27895/stat : 27895 (java) S 27766 27771 25128 0 -1 1077944384 468 12272 0 0 3 1 9 3 20 0 20 0 12889033 11192233984 92707 33554432000 4194304 4196468 140735029834784 140015001476112 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27896] ppid=27766 vsize=10929916 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27896/stat : 27896 (java) S 27766 27771 25128 0 -1 1077944384 103 12272 0 0 2 1 9 3 20 0 20 0 12889033 11192233984 92707 33554432000 4194304 4196468 140735029834784 140015000423568 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27897] ppid=27766 vsize=10929916 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27897/stat : 27897 (java) S 27766 27771 25128 0 -1 1077944384 66 12272 0 0 4 1 9 3 20 0 20 0 12889033 11192233984 92707 33554432000 4194304 4196468 140735029834784 140014999370000 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27898] ppid=27766 vsize=10929916 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27898/stat : 27898 (java) S 27766 27771 25128 0 -1 1077944384 241 12272 0 0 4 1 9 3 20 0 20 0 12889033 11192233984 92707 33554432000 4194304 4196468 140735029834784 140014998317456 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27899] ppid=27766 vsize=10929916 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27899/stat : 27899 (java) S 27766 27771 25128 0 -1 1077944384 141 12272 0 0 3 1 9 3 20 0 20 0 12889033 11192233984 92707 33554432000 4194304 4196468 140735029834784 140014997264912 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27900] ppid=27766 vsize=10929916 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27900/stat : 27900 (java) S 27766 27771 25128 0 -1 1077944384 716 12272 0 0 2 1 9 3 20 0 20 0 12889033 11192233984 92707 33554432000 4194304 4196468 140735029834784 140014996212368 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27902] ppid=27766 vsize=10929916 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27902/stat : 27902 (java) S 27766 27771 25128 0 -1 1077944384 2398 12272 0 0 4 0 9 3 20 0 20 0 12889036 11192233984 92707 33554432000 4194304 4196468 140735029834784 140014541548016 140015066901122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27904] ppid=27766 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27904/stat : 27904 (java) S 27766 27771 25128 0 -1 1077944384 62 12272 0 0 0 0 9 3 20 0 20 0 12889036 11192233984 92707 33554432000 4194304 4196468 140735029834784 140014540494304 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27906] ppid=27766 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27906/stat : 27906 (java) S 27766 27771 25128 0 -1 1077944384 48 12272 0 0 0 0 9 3 20 0 20 0 12889036 11192233984 92707 33554432000 4194304 4196468 140735029834784 140014539441664 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27907] ppid=27766 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27907/stat : 27907 (java) S 27766 27771 25128 0 -1 1077944384 1 12272 0 0 0 0 9 3 20 0 20 0 12889040 11192233984 92707 33554432000 4194304 4196468 140735029834784 140014538390224 140015066908571 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27909] ppid=27766 vsize=10929916 CPUtime=2.85 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27909/stat : 27909 (java) S 27766 27771 25128 0 -1 1077944384 10217 12272 0 0 271 2 9 3 20 0 20 0 12889040 11192233984 92707 33554432000 4194304 4196468 140735029834784 140014537336816 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27910] ppid=27766 vsize=10929916 CPUtime=2.76 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27910/stat : 27910 (java) S 27766 27771 25128 0 -1 1077944384 10569 12272 0 0 262 2 9 3 20 0 20 0 12889040 11192233984 92707 33554432000 4194304 4196468 140735029834784 140014536284272 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27912] ppid=27766 vsize=10929916 CPUtime=2.54 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27912/stat : 27912 (java) S 27766 27771 25128 0 -1 1077944384 11566 12272 0 0 238 4 9 3 20 0 20 0 12889040 11192233984 92707 33554432000 4194304 4196468 140735029834784 140014535231728 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27915] ppid=27766 vsize=10929916 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27915/stat : 27915 (java) S 27766 27771 25128 0 -1 1077944384 7311 12272 0 0 182 2 9 3 20 0 20 0 12889040 11192233984 92707 33554432000 4194304 4196468 140735029834784 140014534179184 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27917] ppid=27766 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
[pid=27771/tid=27910] ppid=27766 vsize=10929916 CPUtime=2.99 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27910/stat : 27910 (java) S 27766 27771 25128 0 -1 1077944384 13440 12272 0 0 284 3 9 3 20 0 20 0 12889040 11192233984 147012 33554432000 4194304 4196468 140735029834784 140014536284272 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27912] ppid=27766 vsize=10929916 CPUtime=2.99 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27912/stat : 27912 (java) S 27766 27771 25128 0 -1 1077944384 12711 12272 0 0 282 5 9 3 20 0 20 0 12889040 11192233984 147012 33554432000 4194304 4196468 140735029834784 140014535231728 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27915] ppid=27766 vsize=10929916 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27915/stat : 27915 (java) S 27766 27771 25128 0 -1 1077944384 17454 12272 0 0 189 3 9 3 20 0 20 0 12889040 11192233984 147012 33554432000 4194304 4196468 140735029834784 140014534179184 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27917] ppid=27766 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27917/stat : 27917 (java) S 27766 27771 25128 0 -1 1077944384 3 12272 0 0 0 0 9 3 20 0 20 0 12889041 11192233984 147012 33554432000 4194304 4196468 140735029834784 140014533126880 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27919] ppid=27766 vsize=10929916 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27919/stat : 27919 (java) S 27766 27771 25128 0 -1 1077944384 1595 12272 0 0 60 54 9 3 20 0 20 0 12889041 11192233984 147012 33554432000 4194304 4196468 140735029834784 140014532074416 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
Current children cumulated CPU time (s) 2376.68
Current children cumulated vsize (KiB) 10929916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2345.31 s]
/proc/loadavg: 1.52 1.42 1.43 3/281 27993
/proc/meminfo: memFree=30232764/32770624 swapFree=5716/333892
[pid=27771] ppid=27766 vsize=10929916 CPUtime=2400.09 cores=0,2,4,6,8,10,12,14
/proc/27771/stat : 27771 (java) S 27766 27771 25128 0 -1 1077944320 173467 12272 0 0 239661 336 9 3 20 0 20 0 12889018 11192233984 147012 33554432000 4194304 4196468 140735029834784 140735029817328 140015066889975 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
/proc/27771/statm: 2732479 147012 3505 1 0 2720034 0
[pid=27771/tid=27884] ppid=27766 vsize=10929916 CPUtime=2330.17 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27884/stat : 27884 (java) R 27766 27771 25128 0 -1 4202560 60458 12272 0 0 232976 29 9 3 20 0 20 0 12889032 11192233984 147012 33554432000 4194304 4196468 140735029834784 140015071124000 140014691268609 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27893] ppid=27766 vsize=10929916 CPUtime=6.69 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27893/stat : 27893 (java) S 27766 27771 25128 0 -1 1077944384 6832 12272 0 0 627 30 9 3 20 0 20 0 12889033 11192233984 147012 33554432000 4194304 4196468 140735029834784 140015003581200 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27894] ppid=27766 vsize=10929916 CPUtime=6.66 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27894/stat : 27894 (java) S 27766 27771 25128 0 -1 1077944384 4611 12272 0 0 624 30 9 3 20 0 20 0 12889033 11192233984 147012 33554432000 4194304 4196468 140735029834784 140015002528656 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27895] ppid=27766 vsize=10929916 CPUtime=6.74 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27895/stat : 27895 (java) S 27766 27771 25128 0 -1 1077944384 4220 12272 0 0 632 30 9 3 20 0 20 0 12889033 11192233984 147012 33554432000 4194304 4196468 140735029834784 140015001476112 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27896] ppid=27766 vsize=10929916 CPUtime=6.62 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27896/stat : 27896 (java) S 27766 27771 25128 0 -1 1077944384 5205 12272 0 0 621 29 9 3 20 0 20 0 12889033 11192233984 147012 33554432000 4194304 4196468 140735029834784 140015000423568 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27897] ppid=27766 vsize=10929916 CPUtime=6.76 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27897/stat : 27897 (java) S 27766 27771 25128 0 -1 1077944384 4591 12272 0 0 637 27 9 3 20 0 20 0 12889033 11192233984 147012 33554432000 4194304 4196468 140735029834784 140014999370000 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27898] ppid=27766 vsize=10929916 CPUtime=6.66 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27898/stat : 27898 (java) S 27766 27771 25128 0 -1 1077944384 4914 12272 0 0 624 30 9 3 20 0 20 0 12889033 11192233984 147012 33554432000 4194304 4196468 140735029834784 140014998317456 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27899] ppid=27766 vsize=10929916 CPUtime=6.68 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27899/stat : 27899 (java) S 27766 27771 25128 0 -1 1077944384 3922 12272 0 0 624 32 9 3 20 0 20 0 12889033 11192233984 147012 33554432000 4194304 4196468 140735029834784 140014997264912 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27900] ppid=27766 vsize=10929916 CPUtime=6.63 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27900/stat : 27900 (java) S 27766 27771 25128 0 -1 1077944384 5304 12272 0 0 621 30 9 3 20 0 20 0 12889033 11192233984 147012 33554432000 4194304 4196468 140735029834784 140014996212368 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27902] ppid=27766 vsize=10929916 CPUtime=5.73 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27902/stat : 27902 (java) S 27766 27771 25128 0 -1 1077944384 11143 12272 0 0 531 30 9 3 20 0 20 0 12889036 11192233984 147012 33554432000 4194304 4196468 140735029834784 140014541548016 140015066901122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27904] ppid=27766 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27904/stat : 27904 (java) S 27766 27771 25128 0 -1 1077944384 62 12272 0 0 0 0 9 3 20 0 20 0 12889036 11192233984 147012 33554432000 4194304 4196468 140735029834784 140014540494304 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27906] ppid=27766 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27906/stat : 27906 (java) S 27766 27771 25128 0 -1 1077944384 48 12272 0 0 0 0 9 3 20 0 20 0 12889036 11192233984 147012 33554432000 4194304 4196468 140735029834784 140014539441664 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27907] ppid=27766 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27907/stat : 27907 (java) S 27766 27771 25128 0 -1 1077944384 1 12272 0 0 0 0 9 3 20 0 20 0 12889040 11192233984 147012 33554432000 4194304 4196468 140735029834784 140014538390224 140015066908571 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27909] ppid=27766 vsize=10929916 CPUtime=2.98 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27909/stat : 27909 (java) S 27766 27771 25128 0 -1 1077944384 14818 12272 0 0 284 2 9 3 20 0 20 0 12889040 11192233984 147012 33554432000 4194304 4196468 140735029834784 140014537336816 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27910] ppid=27766 vsize=10929916 CPUtime=2.99 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27910/stat : 27910 (java) S 27766 27771 25128 0 -1 1077944384 13440 12272 0 0 284 3 9 3 20 0 20 0 12889040 11192233984 147012 33554432000 4194304 4196468 140735029834784 140014536284272 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27912] ppid=27766 vsize=10929916 CPUtime=2.99 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27912/stat : 27912 (java) S 27766 27771 25128 0 -1 1077944384 12711 12272 0 0 282 5 9 3 20 0 20 0 12889040 11192233984 147012 33554432000 4194304 4196468 140735029834784 140014535231728 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27915] ppid=27766 vsize=10929916 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27915/stat : 27915 (java) S 27766 27771 25128 0 -1 1077944384 17454 12272 0 0 189 3 9 3 20 0 20 0 12889040 11192233984 147012 33554432000 4194304 4196468 140735029834784 140014534179184 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27917] ppid=27766 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27917/stat : 27917 (java) S 27766 27771 25128 0 -1 1077944384 3 12272 0 0 0 0 9 3 20 0 20 0 12889041 11192233984 147012 33554432000 4194304 4196468 140735029834784 140014533126880 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27919] ppid=27766 vsize=10929916 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27919/stat : 27919 (java) S 27766 27771 25128 0 -1 1077944384 1597 12272 0 0 61 55 9 3 20 0 20 0 12889041 11192233984 147012 33554432000 4194304 4196468 140735029834784 140014532074416 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 10929916
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 27771 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2345.41 s]
/proc/loadavg: 1.52 1.42 1.43 3/281 27993
/proc/meminfo: memFree=30232764/32770624 swapFree=5716/333892
[pid=27771] ppid=27766 vsize=11063044 CPUtime=2400.53 cores=0,2,4,6,8,10,12,14
/proc/27771/stat : 27771 (java) S 27766 27771 25128 0 -1 1077944320 176736 12272 0 0 239704 337 9 3 20 0 22 0 12889018 11328557056 148207 33554432000 4194304 4196468 140735029834784 140735029817328 140015066889975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
/proc/27771/statm: 2765761 148207 3505 1 0 2753316 0
[pid=27771/tid=27884] ppid=27766 vsize=11063044 CPUtime=2330.18 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27884/stat : 27884 (java) S 27766 27771 25128 0 -1 1077944384 60595 12272 0 0 232977 29 9 3 20 0 22 0 12889032 11328557056 148207 33554432000 4194304 4196468 140735029834784 140015071127520 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27893] ppid=27766 vsize=11063044 CPUtime=6.73 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27893/stat : 27893 (java) R 27766 27771 25128 0 -1 4202560 6833 12272 0 0 631 30 9 3 20 0 22 0 12889033 11328557056 148207 33554432000 4194304 4196468 140735029834784 140015003581320 140015059518183 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27894] ppid=27766 vsize=11063044 CPUtime=6.7 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27894/stat : 27894 (java) R 27766 27771 25128 0 -1 4202560 4620 12272 0 0 628 30 9 3 20 0 22 0 12889033 11328557056 148207 33554432000 4194304 4196468 140735029834784 140015002528464 140015066911322 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27895] ppid=27766 vsize=11063044 CPUtime=6.79 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27895/stat : 27895 (java) R 27766 27771 25128 0 -1 4202560 4235 12272 0 0 637 30 9 3 20 0 22 0 12889033 11328557056 148207 33554432000 4194304 4196468 140735029834784 140015001476232 140015052648784 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27896] ppid=27766 vsize=11063044 CPUtime=6.68 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27896/stat : 27896 (java) R 27766 27771 25128 0 -1 4202560 5215 12272 0 0 627 29 9 3 20 0 22 0 12889033 11328557056 148207 33554432000 4194304 4196468 140735029834784 140015000423688 140015052648792 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27897] ppid=27766 vsize=11063044 CPUtime=6.81 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27897/stat : 27897 (java) R 27766 27771 25128 0 -1 4202560 4601 12272 0 0 642 27 9 3 20 0 22 0 12889033 11328557056 148207 33554432000 4194304 4196468 140735029834784 140014999370200 140015059986414 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27898] ppid=27766 vsize=11063044 CPUtime=6.71 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27898/stat : 27898 (java) R 27766 27771 25128 0 -1 4202560 4935 12272 0 0 629 30 9 3 20 0 22 0 12889033 11328557056 148207 33554432000 4194304 4196468 140735029834784 140014998317576 140015050273010 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27899] ppid=27766 vsize=11063044 CPUtime=6.73 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27899/stat : 27899 (java) R 27766 27771 25128 0 -1 4202560 3924 12272 0 0 629 32 9 3 20 0 22 0 12889033 11328557056 148207 33554432000 4194304 4196468 140735029834784 140014997264720 140015059518183 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27900] ppid=27766 vsize=11063044 CPUtime=6.68 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27900/stat : 27900 (java) R 27766 27771 25128 0 -1 4202560 5319 12272 0 0 626 30 9 3 20 0 22 0 12889033 11328557056 148207 33554432000 4194304 4196468 140735029834784 140014996212488 140015059518183 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27902] ppid=27766 vsize=11063044 CPUtime=5.76 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27902/stat : 27902 (java) S 27766 27771 25128 0 -1 1077944384 13793 12272 0 0 534 30 9 3 20 0 22 0 12889036 11328557056 148207 33554432000 4194304 4196468 140735029834784 140014541546640 140015066900181 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27904] ppid=27766 vsize=11063044 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27904/stat : 27904 (java) S 27766 27771 25128 0 -1 1077944384 62 12272 0 0 0 0 9 3 20 0 22 0 12889036 11328557056 148207 33554432000 4194304 4196468 140735029834784 140014540494304 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27906] ppid=27766 vsize=11063044 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27906/stat : 27906 (java) S 27766 27771 25128 0 -1 1077944384 48 12272 0 0 0 0 9 3 20 0 22 0 12889036 11328557056 148207 33554432000 4194304 4196468 140735029834784 140014539441664 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27907] ppid=27766 vsize=11063044 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27907/stat : 27907 (java) S 27766 27771 25128 0 -1 1077944384 78 12272 0 0 0 0 9 3 20 0 22 0 12889040 11328557056 148207 33554432000 4194304 4196468 140735029834784 140014538390224 140015066908571 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27909] ppid=27766 vsize=11063044 CPUtime=2.98 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27909/stat : 27909 (java) S 27766 27771 25128 0 -1 1077944384 14818 12272 0 0 284 2 9 3 20 0 22 0 12889040 11328557056 148207 33554432000 4194304 4196468 140735029834784 140014537336816 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27910] ppid=27766 vsize=11063044 CPUtime=2.99 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27910/stat : 27910 (java) S 27766 27771 25128 0 -1 1077944384 13440 12272 0 0 284 3 9 3 20 0 22 0 12889040 11328557056 148207 33554432000 4194304 4196468 140735029834784 140014536284272 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27912] ppid=27766 vsize=11063044 CPUtime=2.99 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27912/stat : 27912 (java) S 27766 27771 25128 0 -1 1077944384 12711 12272 0 0 282 5 9 3 20 0 22 0 12889040 11328557056 148207 33554432000 4194304 4196468 140735029834784 140014535231728 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27915] ppid=27766 vsize=11063044 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27915/stat : 27915 (java) S 27766 27771 25128 0 -1 1077944384 17676 12272 0 0 189 3 9 3 20 0 22 0 12889040 11328557056 148207 33554432000 4194304 4196468 140735029834784 140014534178752 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27917] ppid=27766 vsize=11063044 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27917/stat : 27917 (java) S 27766 27771 25128 0 -1 1077944384 3 12272 0 0 0 0 9 3 20 0 22 0 12889041 11328557056 148207 33554432000 4194304 4196468 140735029834784 140014533126880 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27919] ppid=27766 vsize=11063044 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27919/stat : 27919 (java) S 27766 27771 25128 0 -1 1077944384 1597 12272 0 0 61 55 9 3 20 0 22 0 12889041 11328557056 148207 33554432000 4194304 4196468 140735029834784 140014532074416 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
Current children cumulated CPU time (s) 2400.53
Current children cumulated vsize (KiB) 11063044
[startup+2345.5 s]
/proc/loadavg: 1.52 1.42 1.43 3/281 27993
/proc/meminfo: memFree=30232764/32770624 swapFree=5716/333892
[pid=27771] ppid=27766 vsize=11063044 CPUtime=2400.97 cores=0,2,4,6,8,10,12,14
/proc/27771/stat : 27771 (java) S 27766 27771 25128 0 -1 1077944320 177000 12272 0 0 239747 338 9 3 20 0 22 0 12889018 11328557056 148278 33554432000 4194304 4196468 140735029834784 140735029817328 140015066889975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
/proc/27771/statm: 2765761 148278 3505 1 0 2753316 0
[pid=27771/tid=27884] ppid=27766 vsize=11063044 CPUtime=2330.18 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27884/stat : 27884 (java) S 27766 27771 25128 0 -1 1077944384 60595 12272 0 0 232977 29 9 3 20 0 22 0 12889032 11328557056 148278 33554432000 4194304 4196468 140735029834784 140015071127520 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27893] ppid=27766 vsize=11063044 CPUtime=6.79 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27893/stat : 27893 (java) S 27766 27771 25128 0 -1 1077944384 6833 12272 0 0 636 31 9 3 20 0 22 0 12889033 11328557056 148278 33554432000 4194304 4196468 140735029834784 140015003581200 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27894] ppid=27766 vsize=11063044 CPUtime=6.75 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27894/stat : 27894 (java) S 27766 27771 25128 0 -1 1077944384 4620 12272 0 0 633 30 9 3 20 0 22 0 12889033 11328557056 148278 33554432000 4194304 4196468 140735029834784 140015002528656 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27895] ppid=27766 vsize=11063044 CPUtime=6.84 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27895/stat : 27895 (java) S 27766 27771 25128 0 -1 1077944384 4235 12272 0 0 642 30 9 3 20 0 22 0 12889033 11328557056 148278 33554432000 4194304 4196468 140735029834784 140015001476112 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27896] ppid=27766 vsize=11063044 CPUtime=6.73 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27896/stat : 27896 (java) S 27766 27771 25128 0 -1 1077944384 5215 12272 0 0 632 29 9 3 20 0 22 0 12889033 11328557056 148278 33554432000 4194304 4196468 140735029834784 140015000423568 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27897] ppid=27766 vsize=11063044 CPUtime=6.86 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27897/stat : 27897 (java) S 27766 27771 25128 0 -1 1077944384 4601 12272 0 0 647 27 9 3 20 0 22 0 12889033 11328557056 148278 33554432000 4194304 4196468 140735029834784 140014999370000 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27898] ppid=27766 vsize=11063044 CPUtime=6.76 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27898/stat : 27898 (java) S 27766 27771 25128 0 -1 1077944384 4935 12272 0 0 634 30 9 3 20 0 22 0 12889033 11328557056 148278 33554432000 4194304 4196468 140735029834784 140014998317456 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27899] ppid=27766 vsize=11063044 CPUtime=6.78 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27899/stat : 27899 (java) S 27766 27771 25128 0 -1 1077944384 3924 12272 0 0 634 32 9 3 20 0 22 0 12889033 11328557056 148278 33554432000 4194304 4196468 140735029834784 140014997264912 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27900] ppid=27766 vsize=11063044 CPUtime=6.73 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27900/stat : 27900 (java) S 27766 27771 25128 0 -1 1077944384 5319 12272 0 0 631 30 9 3 20 0 22 0 12889033 11328557056 148278 33554432000 4194304 4196468 140735029834784 140014996212368 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27902] ppid=27766 vsize=11063044 CPUtime=5.8 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27902/stat : 27902 (java) R 27766 27771 25128 0 -1 4202560 14054 12272 0 0 538 30 9 3 20 0 22 0 12889036 11328557056 148278 33554432000 4194304 4196468 140735029834784 140014541546304 140015051257711 0 0 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27904] ppid=27766 vsize=11063044 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27904/stat : 27904 (java) S 27766 27771 25128 0 -1 1077944384 63 12272 0 0 0 0 9 3 20 0 22 0 12889036 11328557056 148278 33554432000 4194304 4196468 140735029834784 140014540494208 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27906] ppid=27766 vsize=11063044 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27906/stat : 27906 (java) S 27766 27771 25128 0 -1 1077944384 48 12272 0 0 0 0 9 3 20 0 22 0 12889036 11328557056 148278 33554432000 4194304 4196468 140735029834784 140014539441664 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27907] ppid=27766 vsize=11063044 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27907/stat : 27907 (java) S 27766 27771 25128 0 -1 1077944384 78 12272 0 0 0 0 9 3 20 0 22 0 12889040 11328557056 148278 33554432000 4194304 4196468 140735029834784 140014538390224 140015066908571 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27909] ppid=27766 vsize=11063044 CPUtime=2.98 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27909/stat : 27909 (java) S 27766 27771 25128 0 -1 1077944384 14818 12272 0 0 284 2 9 3 20 0 22 0 12889040 11328557056 148278 33554432000 4194304 4196468 140735029834784 140014537336816 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27910] ppid=27766 vsize=11063044 CPUtime=2.99 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27910/stat : 27910 (java) S 27766 27771 25128 0 -1 1077944384 13440 12272 0 0 284 3 9 3 20 0 22 0 12889040 11328557056 148278 33554432000 4194304 4196468 140735029834784 140014536284272 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27912] ppid=27766 vsize=11063044 CPUtime=2.99 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27912/stat : 27912 (java) S 27766 27771 25128 0 -1 1077944384 12711 12272 0 0 282 5 9 3 20 0 22 0 12889040 11328557056 148278 33554432000 4194304 4196468 140735029834784 140014535231728 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27915] ppid=27766 vsize=11063044 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27915/stat : 27915 (java) S 27766 27771 25128 0 -1 1077944384 17676 12272 0 0 189 3 9 3 20 0 22 0 12889040 11328557056 148278 33554432000 4194304 4196468 140735029834784 140014534175440 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27917] ppid=27766 vsize=11063044 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27917/stat : 27917 (java) S 27766 27771 25128 0 -1 1077944384 3 12272 0 0 0 0 9 3 20 0 22 0 12889041 11328557056 148278 33554432000 4194304 4196468 140735029834784 140014533126880 140015066900181 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
[pid=27771/tid=27919] ppid=27766 vsize=11063044 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/27771/task/27919/stat : 27919 (java) S 27766 27771 25128 0 -1 1077944384 1597 12272 0 0 61 55 9 3 20 0 22 0 12889041 11328557056 148278 33554432000 4194304 4196468 140735029834784 140014532074416 140015066901122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18657280 140735029840577 140735029843351 140735029843351 140735029845967 0
Current children cumulated CPU time (s) 2400.97
Current children cumulated vsize (KiB) 11063044
Child status: 143
Real time (s): 2345.57
CPU time (s): 2401.16
CPU user time (s): 2397.74
CPU system time (s): 3.42749
CPU usage (%): 102.37
Max. virtual memory (cumulated for all children) (KiB): 11063044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.74
system time used= 3.42749
maximum resident set size= 612508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189464
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 254347
involuntary context switches= 169094
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4957 second user time and 20.2485 second system time
The end