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-4245605-1500705025/watcher-4245605-1500705025 -o /tmp/evaluation-result-4245605-1500705025/solver-4245605-1500705025 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500682951-16358 --watchdog 2560 bin/concrete HOME/instance-4245605-1500705025.xml
pid=21840
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.62 1.61 1.59 2/261 21843
/proc/meminfo: memFree=28611252/32770624 swapFree=5912/107260
[pid=21843] ppid=21840 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21843/stat : 21843 (bash) S 21840 21843 16327 0 -1 4202496 686 1530 0 0 0 0 0 0 20 0 1 0 5772082 9736192 351 33554432000 4194304 5098028 140726256289792 140726256287432 140593840765952 0 0 4100 65536 18446744071580971376 0 0 17 12 0 0 0 0 0 7196144 7232144 39137280 140726256297230 140726256297315 140726256297315 140726256300014 0
/proc/21843/statm: 2377 351 278 221 0 86 0
[startup+0.100049 s]
/proc/loadavg: 1.62 1.61 1.59 2/261 21843
/proc/meminfo: memFree=28611252/32770624 swapFree=5912/107260
[pid=21843] ppid=21840 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/21843/stat : 21843 (bash) S 21840 21843 16327 0 -1 4202496 885 6407 0 0 0 0 0 1 20 0 1 0 5772082 9871360 378 33554432000 4194304 5098028 140726256289792 140726256283800 140593840765952 0 0 4100 65536 18446744071580971376 0 0 17 12 0 0 0 0 0 7196144 7232144 39137280 140726256297230 140726256297315 140726256297315 140726256300014 0
/proc/21843/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200351 s]
/proc/loadavg: 1.62 1.61 1.59 2/261 21843
/proc/meminfo: memFree=28611252/32770624 swapFree=5912/107260
[pid=21843] ppid=21840 vsize=10835244 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/21843/stat : 21843 (java) S 21840 21843 16327 0 -1 1077944320 5749 12404 0 0 8 1 6 4 20 0 19 0 5772082 11095289856 6005 33554432000 4194304 4196468 140731414885872 140731414868416 139632591834871 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
/proc/21843/statm: 2708811 6005 2583 1 0 2697249 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10835244
[startup+0.300277 s]
/proc/loadavg: 1.62 1.61 1.59 2/261 21843
/proc/meminfo: memFree=28611252/32770624 swapFree=5912/107260
[pid=21843] ppid=21840 vsize=10902392 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/21843/stat : 21843 (java) S 21840 21843 16327 0 -1 1077944320 9641 12404 0 0 24 3 6 4 20 0 20 0 5772082 11164049408 10730 33554432000 4194304 4196468 140731414885872 140731414868416 139632591834871 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
/proc/21843/statm: 2725598 10730 2997 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902392
[startup+0.700189 s]
/proc/loadavg: 1.62 1.61 1.59 2/261 21843
/proc/meminfo: memFree=28611252/32770624 swapFree=5912/107260
[pid=21843] ppid=21840 vsize=10902720 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/21843/stat : 21843 (java) S 21840 21843 16327 0 -1 1077944320 13039 12404 0 0 86 4 6 4 20 0 20 0 5772082 11164385280 16283 33554432000 4194304 4196468 140731414885872 140731414868416 139632591834871 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
/proc/21843/statm: 2725680 16283 3218 1 0 2713890 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 10902720
[startup+1.50075 s]
/proc/loadavg: 1.73 1.63 1.60 3/281 21916
/proc/meminfo: memFree=28504820/32770624 swapFree=5912/106944
[pid=21843] ppid=21840 vsize=10915392 CPUtime=2.31 cores=0,2,4,6,8,10,12,14
/proc/21843/stat : 21843 (java) S 21840 21843 16327 0 -1 1077944320 27401 12404 0 0 209 12 6 4 20 0 20 0 5772082 11177361408 44062 33554432000 4194304 4196468 140731414885872 140731414868416 139632591834871 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
/proc/21843/statm: 2728848 44062 3407 1 0 2716962 0
[pid=21843/tid=21898] ppid=21840 vsize=10915392 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21898/stat : 21898 (java) R 21840 21843 16327 0 -1 4202560 19307 12404 0 0 127 5 6 4 20 0 20 0 5772093 11177361408 44062 33554432000 4194304 4196468 140731414885872 139632596064872 139632574074906 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21899] ppid=21840 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21899/stat : 21899 (java) S 21840 21843 16327 0 -1 1077944384 30 12404 0 0 1 0 6 4 20 0 20 0 5772094 11177361408 44062 33554432000 4194304 4196468 140731414885872 139632544455440 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21900] ppid=21840 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21900/stat : 21900 (java) S 21840 21843 16327 0 -1 1077944384 19 12404 0 0 1 0 6 4 20 0 20 0 5772094 11177361408 44062 33554432000 4194304 4196468 140731414885872 139632543402896 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21901] ppid=21840 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21901/stat : 21901 (java) S 21840 21843 16327 0 -1 1077944384 13 12404 0 0 1 0 6 4 20 0 20 0 5772094 11177361408 44062 33554432000 4194304 4196468 140731414885872 139632542350352 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21902] ppid=21840 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21902/stat : 21902 (java) S 21840 21843 16327 0 -1 1077944384 18 12404 0 0 1 0 6 4 20 0 20 0 5772094 11177361408 44062 33554432000 4194304 4196468 140731414885872 139632195591312 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21903] ppid=21840 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21903/stat : 21903 (java) S 21840 21843 16327 0 -1 1077944384 56 12404 0 0 1 0 6 4 20 0 20 0 5772094 11177361408 44062 33554432000 4194304 4196468 140731414885872 139632194537744 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21904] ppid=21840 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21904/stat : 21904 (java) S 21840 21843 16327 0 -1 1077944384 32 12404 0 0 1 0 6 4 20 0 20 0 5772094 11177361408 44062 33554432000 4194304 4196468 140731414885872 139632193485200 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21905] ppid=21840 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21905/stat : 21905 (java) S 21840 21843 16327 0 -1 1077944384 24 12404 0 0 1 0 6 4 20 0 20 0 5772094 11177361408 44062 33554432000 4194304 4196468 140731414885872 139632192432656 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21906] ppid=21840 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21906/stat : 21906 (java) S 21840 21843 16327 0 -1 1077944384 122 12404 0 0 0 0 6 4 20 0 20 0 5772094 11177361408 44062 33554432000 4194304 4196468 140731414885872 139632191380112 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21907] ppid=21840 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21907/stat : 21907 (java) S 21840 21843 16327 0 -1 1077944384 1584 12404 0 0 1 0 6 4 20 0 20 0 5772096 11177361408 44062 33554432000 4194304 4196468 140731414885872 139632065878512 139632591846018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21908] ppid=21840 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21908/stat : 21908 (java) S 21840 21843 16327 0 -1 1077944384 54 12404 0 0 0 0 6 4 20 0 20 0 5772097 11177361408 44062 33554432000 4194304 4196468 140731414885872 139632064824800 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21909] ppid=21840 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21909/stat : 21909 (java) S 21840 21843 16327 0 -1 1077944384 44 12404 0 0 0 0 6 4 20 0 20 0 5772097 11177361408 44062 33554432000 4194304 4196468 140731414885872 139632063772160 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21910] ppid=21840 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21910/stat : 21910 (java) S 21840 21843 16327 0 -1 1077944384 1 12404 0 0 0 0 6 4 20 0 20 0 5772101 11177361408 44062 33554432000 4194304 4196468 140731414885872 139632062720720 139632591853467 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21911] ppid=21840 vsize=10915392 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21911/stat : 21911 (java) S 21840 21843 16327 0 -1 1077944384 1110 12404 0 0 13 0 6 4 20 0 20 0 5772101 11177361408 44062 33554432000 4194304 4196468 140731414885872 139632061667312 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21912] ppid=21840 vsize=10915392 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21912/stat : 21912 (java) S 21840 21843 16327 0 -1 1077944384 921 12404 0 0 12 0 6 4 20 0 20 0 5772101 11177361408 44062 33554432000 4194304 4196468 140731414885872 139632060614768 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21913] ppid=21840 vsize=10915392 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21913/stat : 21913 (java) S 21840 21843 16327 0 -1 1077944384 628 12404 0 0 15 0 6 4 20 0 20 0 5772101 11177361408 44062 33554432000 4194304 4196468 140731414885872 139632059562224 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21914] ppid=21840 vsize=10915392 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21914/stat : 21914 (java) S 21840 21843 16327 0 -1 1077944384 1300 12404 0 0 28 0 6 4 20 0 20 0 5772101 11177361408 44062 33554432000 4194304 4196468 140731414885872 139632058509680 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21915] ppid=21840 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21915/stat : 21915 (java) S 21840 21843 16327 0 -1 1077944384 3 12404 0 0 0 0 6 4 20 0 20 0 5772102 11177361408 44062 33554432000 4194304 4196468 140731414885872 139632057457376 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21916] ppid=21840 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21916/stat : 21916 (java) S 21840 21843 16327 0 -1 1077944384 3 12404 0 0 0 0 6 4 20 0 20 0 5772102 11177361408 44062 33554432000 4194304 4196468 140731414885872 139632056404912 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 10915392
[startup+3.10102 s]
/proc/loadavg: 1.73 1.63 1.60 5/281 21916
/proc/meminfo: memFree=28432480/32770624 swapFree=5912/106944
[pid=21843] ppid=21840 vsize=10925820 CPUtime=7.38 cores=0,2,4,6,8,10,12,14
/proc/21843/stat : 21843 (java) S 21840 21843 16327 0 -1 1077944320 45773 12404 0 0 710 18 6 4 20 0 20 0 5772082 11188039680 61892 33554432000 4194304 4196468 140731414885872 140731414868416 139632591834871 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
/proc/21843/statm: 2731455 61892 3476 1 0 2719010 0
[pid=21843/tid=21898] ppid=21840 vsize=10925820 CPUtime=3.02 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21898/stat : 21898 (java) R 21840 21843 16327 0 -1 4202560 27130 12404 0 0 284 8 6 4 20 0 20 0 5772093 11188039680 61892 33554432000 4194304 4196468 140731414885872 139632596067072 139632591846806 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21899] ppid=21840 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21899/stat : 21899 (java) S 21840 21843 16327 0 -1 1077944384 30 12404 0 0 1 0 6 4 20 0 20 0 5772094 11188039680 61892 33554432000 4194304 4196468 140731414885872 139632544455440 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21900] ppid=21840 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21900/stat : 21900 (java) S 21840 21843 16327 0 -1 1077944384 19 12404 0 0 1 0 6 4 20 0 20 0 5772094 11188039680 61892 33554432000 4194304 4196468 140731414885872 139632543402896 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21901] ppid=21840 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21901/stat : 21901 (java) S 21840 21843 16327 0 -1 1077944384 13 12404 0 0 1 0 6 4 20 0 20 0 5772094 11188039680 61892 33554432000 4194304 4196468 140731414885872 139632542350352 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21902] ppid=21840 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21902/stat : 21902 (java) S 21840 21843 16327 0 -1 1077944384 18 12404 0 0 1 0 6 4 20 0 20 0 5772094 11188039680 61892 33554432000 4194304 4196468 140731414885872 139632195591312 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21903] ppid=21840 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21903/stat : 21903 (java) S 21840 21843 16327 0 -1 1077944384 56 12404 0 0 1 0 6 4 20 0 20 0 5772094 11188039680 61892 33554432000 4194304 4196468 140731414885872 139632194537744 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21904] ppid=21840 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21904/stat : 21904 (java) S 21840 21843 16327 0 -1 1077944384 32 12404 0 0 1 0 6 4 20 0 20 0 5772094 11188039680 61892 33554432000 4194304 4196468 140731414885872 139632193485200 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21905] ppid=21840 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21905/stat : 21905 (java) S 21840 21843 16327 0 -1 1077944384 24 12404 0 0 1 0 6 4 20 0 20 0 5772094 11188039680 61892 33554432000 4194304 4196468 140731414885872 139632192432656 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21906] ppid=21840 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21906/stat : 21906 (java) S 21840 21843 16327 0 -1 1077944384 122 12404 0 0 0 0 6 4 20 0 20 0 5772094 11188039680 61892 33554432000 4194304 4196468 140731414885872 139632191380112 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21907] ppid=21840 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21907/stat : 21907 (java) S 21840 21843 16327 0 -1 1077944384 1895 12404 0 0 1 0 6 4 20 0 20 0 5772096 11188039680 61892 33554432000 4194304 4196468 140731414885872 139632065878512 139632591846018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21908] ppid=21840 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21908/stat : 21908 (java) S 21840 21843 16327 0 -1 1077944384 54 12404 0 0 0 0 6 4 20 0 20 0 5772097 11188039680 61892 33554432000 4194304 4196468 140731414885872 139632064824800 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21909] ppid=21840 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21909/stat : 21909 (java) S 21840 21843 16327 0 -1 1077944384 44 12404 0 0 0 0 6 4 20 0 20 0 5772097 11188039680 61892 33554432000 4194304 4196468 140731414885872 139632063772160 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21910] ppid=21840 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21910/stat : 21910 (java) S 21840 21843 16327 0 -1 1077944384 1 12404 0 0 0 0 6 4 20 0 20 0 5772101 11188039680 61892 33554432000 4194304 4196468 140731414885872 139632062720720 139632591853467 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21911] ppid=21840 vsize=10925820 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21911/stat : 21911 (java) R 21840 21843 16327 0 -1 4202560 2593 12404 0 0 86 1 6 4 20 0 20 0 5772101 11188039680 61892 33554432000 4194304 4196468 140731414885872 139632061667608 139632569857451 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21912] ppid=21840 vsize=10925820 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21912/stat : 21912 (java) R 21840 21843 16327 0 -1 4202560 5166 12404 0 0 113 1 6 4 20 0 20 0 5772101 11188039680 61892 33554432000 4194304 4196468 140731414885872 139632060606888 139632584075852 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21913] ppid=21840 vsize=10925820 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21913/stat : 21913 (java) R 21840 21843 16327 0 -1 4202560 1686 12404 0 0 93 0 6 4 20 0 20 0 5772101 11188039680 61892 33554432000 4194304 4196468 140731414885872 139632059562224 139632591856218 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21914] ppid=21840 vsize=10925820 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21914/stat : 21914 (java) R 21840 21843 16327 0 -1 4202560 4750 12404 0 0 120 1 6 4 20 0 20 0 5772101 11188039680 61892 33554432000 4194304 4196468 140731414885872 139632058509976 139632571257328 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21915] ppid=21840 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21915/stat : 21915 (java) S 21840 21843 16327 0 -1 1077944384 3 12404 0 0 0 0 6 4 20 0 20 0 5772102 11188039680 61892 33554432000 4194304 4196468 140731414885872 139632057457376 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21916] ppid=21840 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21916/stat : 21916 (java) S 21840 21843 16327 0 -1 1077944384 5 12404 0 0 0 0 6 4 20 0 20 0 5772102 11188039680 61892 33554432000 4194304 4196468 140731414885872 139632056404912 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
Current children cumulated CPU time (s) 7.38
Current children cumulated vsize (KiB) 10925820
[startup+6.30076 s]
/proc/loadavg: 1.73 1.63 1.60 4/281 21916
/proc/meminfo: memFree=28258656/32770624 swapFree=5912/106952
[pid=21843] ppid=21840 vsize=10929916 CPUtime=18.1 cores=0,2,4,6,8,10,12,14
/proc/21843/stat : 21843 (java) S 21840 21843 16327 0 -1 1077944320 70923 12404 0 0 1751 49 6 4 20 0 20 0 5772082 11192233984 103123 33554432000 4194304 4196468 140731414885872 140731414868416 139632591834871 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
/proc/21843/statm: 2732479 103123 3510 1 0 2720034 0
[pid=21843/tid=21898] ppid=21840 vsize=10929916 CPUtime=6.02 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21898/stat : 21898 (java) R 21840 21843 16327 0 -1 4202560 31137 12404 0 0 581 11 6 4 20 0 20 0 5772093 11192233984 103123 33554432000 4194304 4196468 140731414885872 139632596052696 139632577529920 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21899] ppid=21840 vsize=10929916 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21899/stat : 21899 (java) S 21840 21843 16327 0 -1 1077944384 125 12404 0 0 9 3 6 4 20 0 20 0 5772094 11192233984 103123 33554432000 4194304 4196468 140731414885872 139632544455440 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21900] ppid=21840 vsize=10929916 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21900/stat : 21900 (java) S 21840 21843 16327 0 -1 1077944384 114 12404 0 0 9 3 6 4 20 0 20 0 5772094 11192233984 103123 33554432000 4194304 4196468 140731414885872 139632543402896 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21901] ppid=21840 vsize=10929916 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21901/stat : 21901 (java) S 21840 21843 16327 0 -1 1077944384 87 12404 0 0 8 2 6 4 20 0 20 0 5772094 11192233984 103123 33554432000 4194304 4196468 140731414885872 139632542350352 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21902] ppid=21840 vsize=10929916 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21902/stat : 21902 (java) S 21840 21843 16327 0 -1 1077944384 155 12404 0 0 10 3 6 4 20 0 20 0 5772094 11192233984 103123 33554432000 4194304 4196468 140731414885872 139632195591312 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21903] ppid=21840 vsize=10929916 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21903/stat : 21903 (java) S 21840 21843 16327 0 -1 1077944384 545 12404 0 0 9 4 6 4 20 0 20 0 5772094 11192233984 103123 33554432000 4194304 4196468 140731414885872 139632194537744 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21904] ppid=21840 vsize=10929916 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21904/stat : 21904 (java) S 21840 21843 16327 0 -1 1077944384 109 12404 0 0 10 3 6 4 20 0 20 0 5772094 11192233984 103123 33554432000 4194304 4196468 140731414885872 139632193485200 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21905] ppid=21840 vsize=10929916 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21905/stat : 21905 (java) S 21840 21843 16327 0 -1 1077944384 198 12404 0 0 10 4 6 4 20 0 20 0 5772094 11192233984 103123 33554432000 4194304 4196468 140731414885872 139632192432656 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21906] ppid=21840 vsize=10929916 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21906/stat : 21906 (java) S 21840 21843 16327 0 -1 1077944384 172 12404 0 0 10 3 6 4 20 0 20 0 5772094 11192233984 103123 33554432000 4194304 4196468 140731414885872 139632191380112 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21907] ppid=21840 vsize=10929916 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21907/stat : 21907 (java) S 21840 21843 16327 0 -1 1077944384 6520 12404 0 0 6 0 6 4 20 0 20 0 5772096 11192233984 103123 33554432000 4194304 4196468 140731414885872 139632065878512 139632591846018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21908] ppid=21840 vsize=10929916 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21908/stat : 21908 (java) S 21840 21843 16327 0 -1 1077944384 58 12404 0 0 0 0 6 4 20 0 20 0 5772097 11192233984 103123 33554432000 4194304 4196468 140731414885872 139632064824800 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21909] ppid=21840 vsize=10929916 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21909/stat : 21909 (java) S 21840 21843 16327 0 -1 1077944384 46 12404 0 0 0 0 6 4 20 0 20 0 5772097 11192233984 103123 33554432000 4194304 4196468 140731414885872 139632063772160 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21910] ppid=21840 vsize=10929916 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21910/stat : 21910 (java) S 21840 21843 16327 0 -1 1077944384 1 12404 0 0 0 0 6 4 20 0 20 0 5772101 11192233984 103123 33554432000 4194304 4196468 140731414885872 139632062720720 139632591853467 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21911] ppid=21840 vsize=10929916 CPUtime=2.97 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21911/stat : 21911 (java) R 21840 21843 16327 0 -1 4202560 6705 12404 0 0 286 1 6 4 20 0 20 0 5772101 11192233984 103123 33554432000 4194304 4196468 140731414885872 139632061646320 139632591856218 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21912] ppid=21840 vsize=10929916 CPUtime=3.31 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21912/stat : 21912 (java) R 21840 21843 16327 0 -1 4202560 9057 12404 0 0 319 2 6 4 20 0 20 0 5772101 11192233984 103123 33554432000 4194304 4196468 140731414885872 139632060601312 139632573379089 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21913] ppid=21840 vsize=10929916 CPUtime=2.96 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21913/stat : 21913 (java) R 21840 21843 16327 0 -1 4202560 6003 12404 0 0 284 2 6 4 20 0 20 0 5772101 11192233984 103123 33554432000 4194304 4196468 140731414885872 139632059549664 139632575741023 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21914] ppid=21840 vsize=10929916 CPUtime=2.05 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21914/stat : 21914 (java) S 21840 21843 16327 0 -1 1077944384 7572 12404 0 0 193 2 6 4 20 0 20 0 5772101 11192233984 103123 33554432000 4194304 4196468 140731414885872 139632058509680 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21915] ppid=21840 vsize=10929916 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
[pid=21843/tid=21912] ppid=21840 vsize=10997500 CPUtime=8.42 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21912/stat : 21912 (java) S 21840 21843 16327 0 -1 1077944384 17170 12404 0 0 828 4 6 4 20 0 20 0 5772101 11261440000 332190 33554432000 4194304 4196468 140731414885872 139632060614768 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21913] ppid=21840 vsize=10997500 CPUtime=7.75 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21913/stat : 21913 (java) S 21840 21843 16327 0 -1 1077944384 13474 12404 0 0 761 4 6 4 20 0 20 0 5772101 11261440000 332190 33554432000 4194304 4196468 140731414885872 139632059562224 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21914] ppid=21840 vsize=10997500 CPUtime=4.06 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21914/stat : 21914 (java) S 21840 21843 16327 0 -1 1077944384 17576 12404 0 0 390 6 6 4 20 0 20 0 5772101 11261440000 332190 33554432000 4194304 4196468 140731414885872 139632058509680 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21915] ppid=21840 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21915/stat : 21915 (java) S 21840 21843 16327 0 -1 1077944384 3 12404 0 0 0 0 6 4 20 0 20 0 5772102 11261440000 332190 33554432000 4194304 4196468 140731414885872 139632057457376 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21916] ppid=21840 vsize=10997500 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21916/stat : 21916 (java) S 21840 21843 16327 0 -1 1077944384 1456 12404 0 0 60 66 6 4 20 0 20 0 5772102 11261440000 332190 33554432000 4194304 4196468 140731414885872 139632056404912 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
Current children cumulated CPU time (s) 2293.71
Current children cumulated vsize (KiB) 10997500
[startup+2262.3 s]
/proc/loadavg: 1.22 1.36 1.46 3/281 22278
/proc/meminfo: memFree=29640068/32770624 swapFree=5896/109376
[pid=21843] ppid=21840 vsize=10997500 CPUtime=2355.46 cores=0,2,4,6,8,10,12,14
/proc/21843/stat : 21843 (java) S 21840 21843 16327 0 -1 1077944320 313999 12404 0 0 235108 428 6 4 20 0 20 0 5772082 11261440000 332221 33554432000 4194304 4196468 140731414885872 140731414868416 139632591834871 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
/proc/21843/statm: 2749375 332221 3519 1 0 2736930 0
[pid=21843/tid=21898] ppid=21840 vsize=10997500 CPUtime=2242.61 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21898/stat : 21898 (java) R 21840 21843 16327 0 -1 4202560 103480 12404 0 0 224201 50 6 4 20 0 20 0 5772093 11261440000 332221 33554432000 4194304 4196468 140731414885872 139632596069120 139632240735465 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21899] ppid=21840 vsize=10997500 CPUtime=9.8 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21899/stat : 21899 (java) S 21840 21843 16327 0 -1 1077944384 16190 12404 0 0 934 36 6 4 20 0 20 0 5772094 11261440000 332221 33554432000 4194304 4196468 140731414885872 139632544455440 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21900] ppid=21840 vsize=10997500 CPUtime=9.71 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21900/stat : 21900 (java) S 21840 21843 16327 0 -1 1077944384 13527 12404 0 0 925 36 6 4 20 0 20 0 5772094 11261440000 332221 33554432000 4194304 4196468 140731414885872 139632543402896 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21901] ppid=21840 vsize=10997500 CPUtime=9.79 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21901/stat : 21901 (java) S 21840 21843 16327 0 -1 1077944384 14430 12404 0 0 934 35 6 4 20 0 20 0 5772094 11261440000 332221 33554432000 4194304 4196468 140731414885872 139632542350352 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21902] ppid=21840 vsize=10997500 CPUtime=9.83 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21902/stat : 21902 (java) S 21840 21843 16327 0 -1 1077944384 20199 12404 0 0 936 37 6 4 20 0 20 0 5772094 11261440000 332221 33554432000 4194304 4196468 140731414885872 139632195591312 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21903] ppid=21840 vsize=10997500 CPUtime=9.74 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21903/stat : 21903 (java) S 21840 21843 16327 0 -1 1077944384 11979 12404 0 0 928 36 6 4 20 0 20 0 5772094 11261440000 332221 33554432000 4194304 4196468 140731414885872 139632194537744 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21904] ppid=21840 vsize=10997500 CPUtime=9.82 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21904/stat : 21904 (java) S 21840 21843 16327 0 -1 1077944384 12200 12404 0 0 934 38 6 4 20 0 20 0 5772094 11261440000 332221 33554432000 4194304 4196468 140731414885872 139632193485200 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21905] ppid=21840 vsize=10997500 CPUtime=9.91 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21905/stat : 21905 (java) S 21840 21843 16327 0 -1 1077944384 16340 12404 0 0 944 37 6 4 20 0 20 0 5772094 11261440000 332221 33554432000 4194304 4196468 140731414885872 139632192432656 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21906] ppid=21840 vsize=10997500 CPUtime=9.79 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21906/stat : 21906 (java) S 21840 21843 16327 0 -1 1077944384 12727 12404 0 0 932 37 6 4 20 0 20 0 5772094 11261440000 332221 33554432000 4194304 4196468 140731414885872 139632191380112 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21907] ppid=21840 vsize=10997500 CPUtime=6.35 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21907/stat : 21907 (java) S 21840 21843 16327 0 -1 1077944384 30380 12404 0 0 588 37 6 4 20 0 20 0 5772096 11261440000 332221 33554432000 4194304 4196468 140731414885872 139632065878512 139632591846018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21908] ppid=21840 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21908/stat : 21908 (java) S 21840 21843 16327 0 -1 1077944384 64 12404 0 0 0 0 6 4 20 0 20 0 5772097 11261440000 332221 33554432000 4194304 4196468 140731414885872 139632064824864 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21909] ppid=21840 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21909/stat : 21909 (java) S 21840 21843 16327 0 -1 1077944384 47 12404 0 0 0 0 6 4 20 0 20 0 5772097 11261440000 332221 33554432000 4194304 4196468 140731414885872 139632063772160 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21910] ppid=21840 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21910/stat : 21910 (java) S 21840 21843 16327 0 -1 1077944384 1 12404 0 0 0 0 6 4 20 0 20 0 5772101 11261440000 332221 33554432000 4194304 4196468 140731414885872 139632062720720 139632591853467 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21911] ppid=21840 vsize=10997500 CPUtime=7.73 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21911/stat : 21911 (java) S 21840 21843 16327 0 -1 1077944384 10567 12404 0 0 759 4 6 4 20 0 20 0 5772101 11261440000 332221 33554432000 4194304 4196468 140731414885872 139632061667312 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21912] ppid=21840 vsize=10997500 CPUtime=8.42 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21912/stat : 21912 (java) S 21840 21843 16327 0 -1 1077944384 17174 12404 0 0 828 4 6 4 20 0 20 0 5772101 11261440000 332221 33554432000 4194304 4196468 140731414885872 139632060614768 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21913] ppid=21840 vsize=10997500 CPUtime=7.75 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21913/stat : 21913 (java) S 21840 21843 16327 0 -1 1077944384 13478 12404 0 0 761 4 6 4 20 0 20 0 5772101 11261440000 332221 33554432000 4194304 4196468 140731414885872 139632059562224 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21914] ppid=21840 vsize=10997500 CPUtime=4.06 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21914/stat : 21914 (java) S 21840 21843 16327 0 -1 1077944384 17582 12404 0 0 390 6 6 4 20 0 20 0 5772101 11261440000 332221 33554432000 4194304 4196468 140731414885872 139632058509680 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21915] ppid=21840 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21915/stat : 21915 (java) S 21840 21843 16327 0 -1 1077944384 3 12404 0 0 0 0 6 4 20 0 20 0 5772102 11261440000 332221 33554432000 4194304 4196468 140731414885872 139632057457376 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21916] ppid=21840 vsize=10997500 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21916/stat : 21916 (java) S 21840 21843 16327 0 -1 1077944384 1499 12404 0 0 61 68 6 4 20 0 20 0 5772102 11261440000 332221 33554432000 4194304 4196468 140731414885872 139632056404912 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
Current children cumulated CPU time (s) 2355.46
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2305.5 s]
/proc/loadavg: 1.37 1.38 1.46 3/280 22279
/proc/meminfo: memFree=29624368/32770624 swapFree=5896/109436
[pid=21843] ppid=21840 vsize=10997500 CPUtime=2400.03 cores=0,2,4,6,8,10,12,14
/proc/21843/stat : 21843 (java) S 21840 21843 16327 0 -1 1077944320 316733 12404 0 0 239557 436 6 4 20 0 20 0 5772082 11261440000 336184 33554432000 4194304 4196468 140731414885872 140731414868416 139632591834871 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
/proc/21843/statm: 2749375 336184 3519 1 0 2736930 0
[pid=21843/tid=21898] ppid=21840 vsize=10997500 CPUtime=2285.38 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21898/stat : 21898 (java) R 21840 21843 16327 0 -1 4202560 104570 12404 0 0 228478 50 6 4 20 0 20 0 5772093 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632596069024 139632225539180 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21899] ppid=21840 vsize=10997500 CPUtime=10 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21899/stat : 21899 (java) S 21840 21843 16327 0 -1 1077944384 16206 12404 0 0 953 37 6 4 20 0 20 0 5772094 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632544455440 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21900] ppid=21840 vsize=10997500 CPUtime=9.91 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21900/stat : 21900 (java) S 21840 21843 16327 0 -1 1077944384 13575 12404 0 0 944 37 6 4 20 0 20 0 5772094 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632543402896 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21901] ppid=21840 vsize=10997500 CPUtime=10.01 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21901/stat : 21901 (java) S 21840 21843 16327 0 -1 1077944384 14539 12404 0 0 956 35 6 4 20 0 20 0 5772094 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632542350352 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21902] ppid=21840 vsize=10997500 CPUtime=10.05 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21902/stat : 21902 (java) S 21840 21843 16327 0 -1 1077944384 20379 12404 0 0 957 38 6 4 20 0 20 0 5772094 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632195591312 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21903] ppid=21840 vsize=10997500 CPUtime=9.94 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21903/stat : 21903 (java) S 21840 21843 16327 0 -1 1077944384 12025 12404 0 0 947 37 6 4 20 0 20 0 5772094 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632194537744 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21904] ppid=21840 vsize=10997500 CPUtime=10.01 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21904/stat : 21904 (java) S 21840 21843 16327 0 -1 1077944384 12251 12404 0 0 953 38 6 4 20 0 20 0 5772094 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632193485200 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21905] ppid=21840 vsize=10997500 CPUtime=10.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21905/stat : 21905 (java) S 21840 21843 16327 0 -1 1077944384 17094 12404 0 0 961 39 6 4 20 0 20 0 5772094 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632192432656 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21906] ppid=21840 vsize=10997500 CPUtime=10 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21906/stat : 21906 (java) S 21840 21843 16327 0 -1 1077944384 12802 12404 0 0 952 38 6 4 20 0 20 0 5772094 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632191380112 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21907] ppid=21840 vsize=10997500 CPUtime=6.48 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21907/stat : 21907 (java) S 21840 21843 16327 0 -1 1077944384 30713 12404 0 0 600 38 6 4 20 0 20 0 5772096 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632065878512 139632591846018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21908] ppid=21840 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21908/stat : 21908 (java) S 21840 21843 16327 0 -1 1077944384 64 12404 0 0 0 0 6 4 20 0 20 0 5772097 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632064824864 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21909] ppid=21840 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21909/stat : 21909 (java) S 21840 21843 16327 0 -1 1077944384 47 12404 0 0 0 0 6 4 20 0 20 0 5772097 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632063772160 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21910] ppid=21840 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21910/stat : 21910 (java) S 21840 21843 16327 0 -1 1077944384 1 12404 0 0 0 0 6 4 20 0 20 0 5772101 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632062720720 139632591853467 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21911] ppid=21840 vsize=10997500 CPUtime=7.73 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21911/stat : 21911 (java) S 21840 21843 16327 0 -1 1077944384 10570 12404 0 0 759 4 6 4 20 0 20 0 5772101 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632061667312 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21912] ppid=21840 vsize=10997500 CPUtime=8.42 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21912/stat : 21912 (java) S 21840 21843 16327 0 -1 1077944384 17176 12404 0 0 828 4 6 4 20 0 20 0 5772101 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632060614768 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21913] ppid=21840 vsize=10997500 CPUtime=7.75 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21913/stat : 21913 (java) S 21840 21843 16327 0 -1 1077944384 13480 12404 0 0 761 4 6 4 20 0 20 0 5772101 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632059562224 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21914] ppid=21840 vsize=10997500 CPUtime=4.06 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21914/stat : 21914 (java) S 21840 21843 16327 0 -1 1077944384 17584 12404 0 0 390 6 6 4 20 0 20 0 5772101 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632058509680 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21915] ppid=21840 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21915/stat : 21915 (java) S 21840 21843 16327 0 -1 1077944384 3 12404 0 0 0 0 6 4 20 0 20 0 5772102 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632057457376 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21916] ppid=21840 vsize=10997500 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21916/stat : 21916 (java) S 21840 21843 16327 0 -1 1077944384 1522 12404 0 0 62 70 6 4 20 0 20 0 5772102 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632056404912 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 10997500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21843 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2305.5 s]
/proc/loadavg: 1.37 1.38 1.46 3/280 22279
/proc/meminfo: memFree=29624368/32770624 swapFree=5896/109436
[pid=21843] ppid=21840 vsize=10997500 CPUtime=2400.03 cores=0,2,4,6,8,10,12,14
/proc/21843/stat : 21843 (java) S 21840 21843 16327 0 -1 1077944320 316733 12404 0 0 239557 436 6 4 20 0 20 0 5772082 11261440000 336184 33554432000 4194304 4196468 140731414885872 140731414868416 139632591834871 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
/proc/21843/statm: 2749375 336184 3519 1 0 2736930 0
[pid=21843/tid=21898] ppid=21840 vsize=10997500 CPUtime=2285.38 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21898/stat : 21898 (java) R 21840 21843 16327 0 -1 4202560 104570 12404 0 0 228478 50 6 4 20 0 20 0 5772093 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632596069024 139632225539180 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21899] ppid=21840 vsize=10997500 CPUtime=10 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21899/stat : 21899 (java) S 21840 21843 16327 0 -1 1077944384 16206 12404 0 0 953 37 6 4 20 0 20 0 5772094 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632544455440 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21900] ppid=21840 vsize=10997500 CPUtime=9.91 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21900/stat : 21900 (java) S 21840 21843 16327 0 -1 1077944384 13575 12404 0 0 944 37 6 4 20 0 20 0 5772094 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632543402896 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21901] ppid=21840 vsize=10997500 CPUtime=10.01 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21901/stat : 21901 (java) S 21840 21843 16327 0 -1 1077944384 14539 12404 0 0 956 35 6 4 20 0 20 0 5772094 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632542350352 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21902] ppid=21840 vsize=10997500 CPUtime=10.05 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21902/stat : 21902 (java) S 21840 21843 16327 0 -1 1077944384 20379 12404 0 0 957 38 6 4 20 0 20 0 5772094 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632195591312 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21903] ppid=21840 vsize=10997500 CPUtime=9.94 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21903/stat : 21903 (java) S 21840 21843 16327 0 -1 1077944384 12025 12404 0 0 947 37 6 4 20 0 20 0 5772094 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632194537744 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21904] ppid=21840 vsize=10997500 CPUtime=10.01 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21904/stat : 21904 (java) S 21840 21843 16327 0 -1 1077944384 12251 12404 0 0 953 38 6 4 20 0 20 0 5772094 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632193485200 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21905] ppid=21840 vsize=10997500 CPUtime=10.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21905/stat : 21905 (java) S 21840 21843 16327 0 -1 1077944384 17094 12404 0 0 961 39 6 4 20 0 20 0 5772094 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632192432656 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21906] ppid=21840 vsize=10997500 CPUtime=10 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21906/stat : 21906 (java) S 21840 21843 16327 0 -1 1077944384 12802 12404 0 0 952 38 6 4 20 0 20 0 5772094 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632191380112 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21907] ppid=21840 vsize=10997500 CPUtime=6.48 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21907/stat : 21907 (java) S 21840 21843 16327 0 -1 1077944384 30713 12404 0 0 600 38 6 4 20 0 20 0 5772096 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632065878512 139632591846018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21908] ppid=21840 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21908/stat : 21908 (java) S 21840 21843 16327 0 -1 1077944384 64 12404 0 0 0 0 6 4 20 0 20 0 5772097 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632064824864 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21909] ppid=21840 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21909/stat : 21909 (java) S 21840 21843 16327 0 -1 1077944384 47 12404 0 0 0 0 6 4 20 0 20 0 5772097 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632063772160 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21910] ppid=21840 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21910/stat : 21910 (java) S 21840 21843 16327 0 -1 1077944384 1 12404 0 0 0 0 6 4 20 0 20 0 5772101 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632062720720 139632591853467 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21911] ppid=21840 vsize=10997500 CPUtime=7.73 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21911/stat : 21911 (java) S 21840 21843 16327 0 -1 1077944384 10570 12404 0 0 759 4 6 4 20 0 20 0 5772101 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632061667312 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21912] ppid=21840 vsize=10997500 CPUtime=8.42 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21912/stat : 21912 (java) S 21840 21843 16327 0 -1 1077944384 17176 12404 0 0 828 4 6 4 20 0 20 0 5772101 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632060614768 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21913] ppid=21840 vsize=10997500 CPUtime=7.75 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21913/stat : 21913 (java) S 21840 21843 16327 0 -1 1077944384 13480 12404 0 0 761 4 6 4 20 0 20 0 5772101 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632059562224 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21914] ppid=21840 vsize=10997500 CPUtime=4.06 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21914/stat : 21914 (java) S 21840 21843 16327 0 -1 1077944384 17584 12404 0 0 390 6 6 4 20 0 20 0 5772101 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632058509680 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21915] ppid=21840 vsize=10997500 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21915/stat : 21915 (java) S 21840 21843 16327 0 -1 1077944384 3 12404 0 0 0 0 6 4 20 0 20 0 5772102 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632057457376 139632591845077 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
[pid=21843/tid=21916] ppid=21840 vsize=10997500 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/21843/task/21916/stat : 21916 (java) S 21840 21843 16327 0 -1 1077944384 1522 12404 0 0 62 70 6 4 20 0 20 0 5772102 11261440000 336184 33554432000 4194304 4196468 140731414885872 139632056404912 139632591846018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12042240 140731414887105 140731414889879 140731414889879 140731414892495 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 10997500
Child status: 143
Real time (s): 2305.54
CPU time (s): 2400.09
CPU user time (s): 2395.66
CPU system time (s): 4.43243
CPU usage (%): 104.101
Max. virtual memory (cumulated for all children) (KiB): 10999620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.66
system time used= 4.43243
maximum resident set size= 1502552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 333103
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 272683
involuntary context switches= 177261
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1748 second user time and 20.9119 second system time
The end