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-4246039-1500708602/watcher-4246039-1500708602 -o /tmp/evaluation-result-4246039-1500708602/solver-4246039-1500708602 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500682951-16359 --watchdog 2560 bin/concrete HOME/instance-4246039-1500708602.xml
pid=22967
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.36 1.41 1.41 3/262 22970
/proc/meminfo: memFree=30897296/32770624 swapFree=5896/110708
[pid=22970] ppid=22967 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22970/stat : 22970 (bash) S 22967 22970 16327 0 -1 4202496 687 1531 0 0 0 0 0 0 20 0 1 0 6129862 9736192 351 33554432000 4194304 5098028 140733885498768 140733885496408 140032363486208 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 39464960 140733885502734 140733885502819 140733885502819 140733885505518 0
/proc/22970/statm: 2377 351 278 221 0 86 0
[startup+0.100175 s]
/proc/loadavg: 1.36 1.41 1.41 3/262 22970
/proc/meminfo: memFree=30897296/32770624 swapFree=5896/110708
[pid=22970] ppid=22967 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22970/stat : 22970 (bash) S 22967 22970 16327 0 -1 4202496 885 6410 0 0 0 0 0 1 20 0 1 0 6129862 9871360 378 33554432000 4194304 5098028 140733885498768 140733885492776 140032363486208 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 39464960 140733885502734 140733885502819 140733885502819 140733885505518 0
/proc/22970/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200362 s]
/proc/loadavg: 1.36 1.41 1.41 3/262 22970
/proc/meminfo: memFree=30897296/32770624 swapFree=5896/110708
[pid=22970] ppid=22967 vsize=10901872 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/22970/stat : 22970 (java) S 22967 22970 16327 0 -1 1077944320 5705 12542 0 0 7 2 7 4 20 0 20 0 6129862 11163516928 6404 33554432000 4194304 4196468 140725757093184 140725757075728 140613110746871 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
/proc/22970/statm: 2725468 6404 2683 1 0 2713890 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 10901872
[startup+0.30031 s]
/proc/loadavg: 1.36 1.41 1.41 3/262 22970
/proc/meminfo: memFree=30897296/32770624 swapFree=5896/110708
[pid=22970] ppid=22967 vsize=10902392 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/22970/stat : 22970 (java) S 22967 22970 16327 0 -1 1077944320 9467 12542 0 0 23 3 7 4 20 0 20 0 6129862 11164049408 10534 33554432000 4194304 4196468 140725757093184 140725757075728 140613110746871 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
/proc/22970/statm: 2725598 10534 3023 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902392
[startup+0.70027 s]
/proc/loadavg: 1.36 1.41 1.41 3/262 22970
/proc/meminfo: memFree=30897296/32770624 swapFree=5896/110708
[pid=22970] ppid=22967 vsize=10902720 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/22970/stat : 22970 (java) S 22967 22970 16327 0 -1 1077944320 13132 12542 0 0 88 4 7 4 20 0 20 0 6129862 11164385280 16408 33554432000 4194304 4196468 140725757093184 140725757075728 140613110746871 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
/proc/22970/statm: 2725680 16408 3235 1 0 2713890 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 10902720
[startup+1.50146 s]
/proc/loadavg: 1.36 1.41 1.41 3/282 23043
/proc/meminfo: memFree=30761704/32770624 swapFree=5896/111320
[pid=22970] ppid=22967 vsize=10915392 CPUtime=2.33 cores=1,3,5,7,9,11,13,15
/proc/22970/stat : 22970 (java) S 22967 22970 16327 0 -1 1077944320 26996 12542 0 0 208 14 7 4 20 0 20 0 6129862 11177361408 44810 33554432000 4194304 4196468 140725757093184 140725757075728 140613110746871 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
/proc/22970/statm: 2728848 44810 3409 1 0 2716962 0
[pid=22970/tid=23025] ppid=22967 vsize=10915392 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23025/stat : 23025 (java) R 22967 22970 16327 0 -1 4202560 19273 12542 0 0 126 6 7 4 20 0 20 0 6129874 11177361408 44810 33554432000 4194304 4196468 140725757093184 140613114979928 140613110758806 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23026] ppid=22967 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23026/stat : 23026 (java) S 22967 22970 16327 0 -1 1077944384 136 12542 0 0 0 0 7 4 20 0 20 0 6129875 11177361408 44810 33554432000 4194304 4196468 140725757093184 140612717063056 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23027] ppid=22967 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23027/stat : 23027 (java) S 22967 22970 16327 0 -1 1077944384 46 12542 0 0 0 0 7 4 20 0 20 0 6129875 11177361408 44810 33554432000 4194304 4196468 140725757093184 140612716010256 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23028] ppid=22967 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23028/stat : 23028 (java) S 22967 22970 16327 0 -1 1077944384 18 12542 0 0 0 0 7 4 20 0 20 0 6129875 11177361408 44810 33554432000 4194304 4196468 140725757093184 140612714957968 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23029] ppid=22967 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23029/stat : 23029 (java) S 22967 22970 16327 0 -1 1077944384 22 12542 0 0 0 0 7 4 20 0 20 0 6129875 11177361408 44810 33554432000 4194304 4196468 140725757093184 140612713905168 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23030] ppid=22967 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23030/stat : 23030 (java) S 22967 22970 16327 0 -1 1077944384 31 12542 0 0 1 0 7 4 20 0 20 0 6129875 11177361408 44810 33554432000 4194304 4196468 140725757093184 140612712851856 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23031] ppid=22967 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23031/stat : 23031 (java) S 22967 22970 16327 0 -1 1077944384 24 12542 0 0 0 0 7 4 20 0 20 0 6129875 11177361408 44810 33554432000 4194304 4196468 140725757093184 140612711799056 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23032] ppid=22967 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23032/stat : 23032 (java) S 22967 22970 16327 0 -1 1077944384 10 12542 0 0 0 0 7 4 20 0 20 0 6129875 11177361408 44810 33554432000 4194304 4196468 140725757093184 140612710746768 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23033] ppid=22967 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23033/stat : 23033 (java) S 22967 22970 16327 0 -1 1077944384 29 12542 0 0 1 0 7 4 20 0 20 0 6129875 11177361408 44810 33554432000 4194304 4196468 140725757093184 140612709693968 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23034] ppid=22967 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23034/stat : 23034 (java) S 22967 22970 16327 0 -1 1077944384 1566 12542 0 0 1 0 7 4 20 0 20 0 6129877 11177361408 44810 33554432000 4194304 4196468 140725757093184 140612450851440 140613110758018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23035] ppid=22967 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23035/stat : 23035 (java) S 22967 22970 16327 0 -1 1077944384 56 12542 0 0 0 0 7 4 20 0 20 0 6129877 11177361408 44810 33554432000 4194304 4196468 140725757093184 140612449797472 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23036] ppid=22967 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23036/stat : 23036 (java) S 22967 22970 16327 0 -1 1077944384 44 12542 0 0 0 0 7 4 20 0 20 0 6129878 11177361408 44810 33554432000 4194304 4196468 140725757093184 140612448745088 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23037] ppid=22967 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23037/stat : 23037 (java) S 22967 22970 16327 0 -1 1077944384 1 12542 0 0 0 0 7 4 20 0 20 0 6129881 11177361408 44810 33554432000 4194304 4196468 140725757093184 140612447693392 140613110765467 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23038] ppid=22967 vsize=10915392 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23038/stat : 23038 (java) R 22967 22970 16327 0 -1 1077944384 770 12542 0 0 14 0 7 4 20 0 20 0 6129881 11177361408 44810 33554432000 4194304 4196468 140725757093184 140612446640240 140613110758018 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23039] ppid=22967 vsize=10915392 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23039/stat : 23039 (java) S 22967 22970 16327 0 -1 1077944384 737 12542 0 0 14 0 7 4 20 0 20 0 6129881 11177361408 44810 33554432000 4194304 4196468 140725757093184 140612445587440 140613110758018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23040] ppid=22967 vsize=10915392 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23040/stat : 23040 (java) R 22967 22970 16327 0 -1 1077944384 609 12542 0 0 14 0 7 4 20 0 20 0 6129881 11177361408 44810 33554432000 4194304 4196468 140725757093184 140612444535152 140613110758018 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23041] ppid=22967 vsize=10915392 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23041/stat : 23041 (java) R 22967 22970 16327 0 -1 4202560 1485 12542 0 0 29 0 7 4 20 0 20 0 6129881 11177361408 44810 33554432000 4194304 4196468 140725757093184 140612443480768 140613089237104 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23042] ppid=22967 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23042/stat : 23042 (java) S 22967 22970 16327 0 -1 1077944384 3 12542 0 0 0 0 7 4 20 0 20 0 6129881 11177361408 44810 33554432000 4194304 4196468 140725757093184 140612442430304 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23043] ppid=22967 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23043/stat : 23043 (java) S 22967 22970 16327 0 -1 1077944384 3 12542 0 0 0 0 7 4 20 0 20 0 6129882 11177361408 44810 33554432000 4194304 4196468 140725757093184 140612441377584 140613110758018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 10915392
[startup+3.10112 s]
/proc/loadavg: 1.36 1.41 1.41 5/282 23043
/proc/meminfo: memFree=30685448/32770624 swapFree=5896/111320
[pid=22970] ppid=22967 vsize=10921724 CPUtime=8.11 cores=1,3,5,7,9,11,13,15
/proc/22970/stat : 22970 (java) S 22967 22970 16327 0 -1 1077944320 43613 12542 0 0 665 135 7 4 20 0 20 0 6129862 11183845376 118839 33554432000 4194304 4196468 140725757093184 140725757075728 140613110746871 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
/proc/22970/statm: 2730431 118839 3497 1 0 2717986 0
[pid=22970/tid=23025] ppid=22967 vsize=10921724 CPUtime=2.69 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23025/stat : 23025 (java) S 22967 22970 16327 0 -1 1077944384 23332 12542 0 0 248 10 7 4 20 0 20 0 6129874 11183845376 118839 33554432000 4194304 4196468 140725757093184 140613114982016 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23026] ppid=22967 vsize=10921724 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23026/stat : 23026 (java) R 22967 22970 16327 0 -1 4202560 466 12542 0 0 17 15 7 4 20 0 20 0 6129875 11183845376 118839 33554432000 4194304 4196468 140725757093184 140612717063256 140613095447533 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23027] ppid=22967 vsize=10921724 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23027/stat : 23027 (java) R 22967 22970 16327 0 -1 4202560 294 12542 0 0 18 14 7 4 20 0 20 0 6129875 11183845376 118839 33554432000 4194304 4196468 140725757093184 140612716010456 140613095447515 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23028] ppid=22967 vsize=10921724 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23028/stat : 23028 (java) R 22967 22970 16327 0 -1 4202560 279 12542 0 0 17 14 7 4 20 0 20 0 6129875 11183845376 118839 33554432000 4194304 4196468 140725757093184 140612714958168 140613095447504 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23029] ppid=22967 vsize=10921724 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23029/stat : 23029 (java) R 22967 22970 16327 0 -1 4202560 162 12542 0 0 17 15 7 4 20 0 20 0 6129875 11183845376 118839 33554432000 4194304 4196468 140725757093184 140612713905368 140613095742880 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23030] ppid=22967 vsize=10921724 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23030/stat : 23030 (java) R 22967 22970 16327 0 -1 4202560 229 12542 0 0 17 14 7 4 20 0 20 0 6129875 11183845376 118839 33554432000 4194304 4196468 140725757093184 140612712852056 140613095447587 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23031] ppid=22967 vsize=10921724 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23031/stat : 23031 (java) R 22967 22970 16327 0 -1 4202560 224 12542 0 0 17 15 7 4 20 0 20 0 6129875 11183845376 118839 33554432000 4194304 4196468 140725757093184 140612711799256 140613095447890 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23032] ppid=22967 vsize=10921724 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23032/stat : 23032 (java) R 22967 22970 16327 0 -1 4202560 187 12542 0 0 18 13 7 4 20 0 20 0 6129875 11183845376 118839 33554432000 4194304 4196468 140725757093184 140612710746656 140613092356708 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23033] ppid=22967 vsize=10921724 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23033/stat : 23033 (java) R 22967 22970 16327 0 -1 4202560 334 12542 0 0 17 14 7 4 20 0 20 0 6129875 11183845376 118839 33554432000 4194304 4196468 140725757093184 140612709694168 140613095447875 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23034] ppid=22967 vsize=10921724 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23034/stat : 23034 (java) S 22967 22970 16327 0 -1 1077944384 2885 12542 0 0 3 0 7 4 20 0 20 0 6129877 11183845376 118839 33554432000 4194304 4196468 140725757093184 140612450849984 140613110757077 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23035] ppid=22967 vsize=10921724 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23035/stat : 23035 (java) S 22967 22970 16327 0 -1 1077944384 58 12542 0 0 0 0 7 4 20 0 20 0 6129877 11183845376 118839 33554432000 4194304 4196468 140725757093184 140612449797472 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23036] ppid=22967 vsize=10921724 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23036/stat : 23036 (java) S 22967 22970 16327 0 -1 1077944384 47 12542 0 0 0 0 7 4 20 0 20 0 6129878 11183845376 118839 33554432000 4194304 4196468 140725757093184 140612448745088 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23037] ppid=22967 vsize=10921724 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23037/stat : 23037 (java) S 22967 22970 16327 0 -1 1077944384 1 12542 0 0 0 0 7 4 20 0 20 0 6129881 11183845376 118839 33554432000 4194304 4196468 140725757093184 140612447693392 140613110765467 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23038] ppid=22967 vsize=10921724 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23038/stat : 23038 (java) S 22967 22970 16327 0 -1 1077944384 2678 12542 0 0 60 1 7 4 20 0 20 0 6129881 11183845376 118839 33554432000 4194304 4196468 140725757093184 140612446640240 140613110758018 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23039] ppid=22967 vsize=10921724 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23039/stat : 23039 (java) S 22967 22970 16327 0 -1 1077944384 2298 12542 0 0 57 0 7 4 20 0 20 0 6129881 11183845376 118839 33554432000 4194304 4196468 140725757093184 140612445578720 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23040] ppid=22967 vsize=10921724 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23040/stat : 23040 (java) S 22967 22970 16327 0 -1 1077944384 4854 12542 0 0 76 1 7 4 20 0 20 0 6129881 11183845376 118839 33554432000 4194304 4196468 140725757093184 140612444535152 140613110758018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23041] ppid=22967 vsize=10921724 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23041/stat : 23041 (java) S 22967 22970 16327 0 -1 1077944384 3144 12542 0 0 75 0 7 4 20 0 20 0 6129881 11183845376 118839 33554432000 4194304 4196468 140725757093184 140612443482352 140613110758018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23042] ppid=22967 vsize=10921724 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23042/stat : 23042 (java) S 22967 22970 16327 0 -1 1077944384 3 12542 0 0 0 0 7 4 20 0 20 0 6129881 11183845376 118839 33554432000 4194304 4196468 140725757093184 140612442430304 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23043] ppid=22967 vsize=10921724 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23043/stat : 23043 (java) S 22967 22970 16327 0 -1 1077944384 5 12542 0 0 0 0 7 4 20 0 20 0 6129882 11183845376 118839 33554432000 4194304 4196468 140725757093184 140612441377584 140613110758018 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
Current children cumulated CPU time (s) 8.11
Current children cumulated vsize (KiB) 10921724
[startup+6.30108 s]
/proc/loadavg: 1.33 1.41 1.41 3/282 23043
/proc/meminfo: memFree=29670276/32770624 swapFree=5896/111332
[pid=22970] ppid=22967 vsize=10923772 CPUtime=18.01 cores=1,3,5,7,9,11,13,15
/proc/22970/stat : 22970 (java) S 22967 22970 16327 0 -1 1077944320 50196 12542 0 0 1468 322 7 4 20 0 20 0 6129862 11185942528 306546 33554432000 4194304 4196468 140725757093184 140725757075728 140613110746871 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
/proc/22970/statm: 2730943 306546 3504 1 0 2718498 0
[pid=22970/tid=23025] ppid=22967 vsize=10923772 CPUtime=5.16 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23025/stat : 23025 (java) R 22967 22970 16327 0 -1 4202560 23993 12542 0 0 490 15 7 4 20 0 20 0 6129874 11185942528 306546 33554432000 4194304 4196468 140725757093184 140613114980104 140612756688831 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23026] ppid=22967 vsize=10923772 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23026/stat : 23026 (java) S 22967 22970 16327 0 -1 1077944384 1336 12542 0 0 63 37 7 4 20 0 20 0 6129875 11185942528 306546 33554432000 4194304 4196468 140725757093184 140612717063056 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23027] ppid=22967 vsize=10923772 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23027/stat : 23027 (java) S 22967 22970 16327 0 -1 1077944384 549 12542 0 0 62 36 7 4 20 0 20 0 6129875 11185942528 306546 33554432000 4194304 4196468 140725757093184 140612716010256 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23028] ppid=22967 vsize=10923772 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23028/stat : 23028 (java) S 22967 22970 16327 0 -1 1077944384 542 12542 0 0 63 36 7 4 20 0 20 0 6129875 11185942528 306546 33554432000 4194304 4196468 140725757093184 140612714957968 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23029] ppid=22967 vsize=10923772 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23029/stat : 23029 (java) S 22967 22970 16327 0 -1 1077944384 466 12542 0 0 63 37 7 4 20 0 20 0 6129875 11185942528 306546 33554432000 4194304 4196468 140725757093184 140612713905168 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23030] ppid=22967 vsize=10923772 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23030/stat : 23030 (java) S 22967 22970 16327 0 -1 1077944384 519 12542 0 0 63 38 7 4 20 0 20 0 6129875 11185942528 306546 33554432000 4194304 4196468 140725757093184 140612712851856 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23031] ppid=22967 vsize=10923772 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23031/stat : 23031 (java) S 22967 22970 16327 0 -1 1077944384 558 12542 0 0 63 37 7 4 20 0 20 0 6129875 11185942528 306546 33554432000 4194304 4196468 140725757093184 140612711799056 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23032] ppid=22967 vsize=10923772 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23032/stat : 23032 (java) S 22967 22970 16327 0 -1 1077944384 452 12542 0 0 65 37 7 4 20 0 20 0 6129875 11185942528 306546 33554432000 4194304 4196468 140725757093184 140612710746768 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23033] ppid=22967 vsize=10923772 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23033/stat : 23033 (java) S 22967 22970 16327 0 -1 1077944384 906 12542 0 0 63 35 7 4 20 0 20 0 6129875 11185942528 306546 33554432000 4194304 4196468 140725757093184 140612709693968 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23034] ppid=22967 vsize=10923772 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23034/stat : 23034 (java) S 22967 22970 16327 0 -1 1077944384 3730 12542 0 0 5 0 7 4 20 0 20 0 6129877 11185942528 306546 33554432000 4194304 4196468 140725757093184 140612450851440 140613110758018 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23035] ppid=22967 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23035/stat : 23035 (java) S 22967 22970 16327 0 -1 1077944384 58 12542 0 0 0 0 7 4 20 0 20 0 6129877 11185942528 306546 33554432000 4194304 4196468 140725757093184 140612449797472 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23036] ppid=22967 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23036/stat : 23036 (java) S 22967 22970 16327 0 -1 1077944384 47 12542 0 0 0 0 7 4 20 0 20 0 6129878 11185942528 306546 33554432000 4194304 4196468 140725757093184 140612448745088 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23037] ppid=22967 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23037/stat : 23037 (java) S 22967 22970 16327 0 -1 1077944384 1 12542 0 0 0 0 7 4 20 0 20 0 6129881 11185942528 306546 33554432000 4194304 4196468 140725757093184 140612447693392 140613110765467 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23038] ppid=22967 vsize=10923772 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23038/stat : 23038 (java) R 22967 22970 16327 0 -1 4202560 3317 12542 0 0 112 1 7 4 20 0 20 0 6129881 11185942528 306546 33554432000 4194304 4196468 140725757093184 140612446625376 140613094719217 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23039] ppid=22967 vsize=10923772 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23039/stat : 23039 (java) R 22967 22970 16327 0 -1 4202560 2637 12542 0 0 120 1 7 4 20 0 20 0 6129881 11185942528 306546 33554432000 4194304 4196468 140725757093184 140612445574008 140613094230356 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23040] ppid=22967 vsize=10923772 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23040/stat : 23040 (java) R 22967 22970 16327 0 -1 4202560 5297 12542 0 0 136 1 7 4 20 0 20 0 6129881 11185942528 306546 33554432000 4194304 4196468 140725757093184 140612444521792 140613095410260 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23041] ppid=22967 vsize=10923772 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23041/stat : 23041 (java) S 22967 22970 16327 0 -1 1077944384 3506 12542 0 0 93 0 7 4 20 0 20 0 6129881 11185942528 306546 33554432000 4194304 4196468 140725757093184 140612443482352 140613110758018 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23042] ppid=22967 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -22970
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22970 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+2184 s]
/proc/loadavg: 1.71 1.75 1.75 10/283 23551
/proc/meminfo: memFree=26252948/32770624 swapFree=5896/114020
[pid=22970] ppid=22967 vsize=11130628 CPUtime=2409.08 cores=1,3,5,7,9,11,13,15
/proc/22970/stat : 22970 (java) S 22967 22970 16327 0 -1 1077944320 801187 12542 0 0 239377 1520 7 4 20 0 22 0 6129862 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140725757075728 140613110746871 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
/proc/22970/statm: 2782657 1211320 3529 1 0 2770212 0
[pid=22970/tid=23025] ppid=22967 vsize=11130628 CPUtime=2152.24 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23025/stat : 23025 (java) S 22967 22970 16327 0 -1 1077944384 186108 12542 0 0 215141 72 7 4 20 0 22 0 6129874 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140613114984592 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23026] ppid=22967 vsize=11130628 CPUtime=27.79 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23026/stat : 23026 (java) R 22967 22970 16327 0 -1 4202560 42363 12542 0 0 2594 174 7 4 20 0 22 0 6129875 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612717063256 140613092342731 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23027] ppid=22967 vsize=11130628 CPUtime=27.62 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23027/stat : 23027 (java) R 22967 22970 16327 0 -1 4202560 38611 12542 0 0 2583 168 7 4 20 0 22 0 6129875 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612716010152 140613103375079 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23028] ppid=22967 vsize=11130628 CPUtime=27.46 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23028/stat : 23028 (java) R 22967 22970 16327 0 -1 4202560 49117 12542 0 0 2567 168 7 4 20 0 22 0 6129875 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612714957864 140613103375079 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23029] ppid=22967 vsize=11130628 CPUtime=27.77 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23029/stat : 23029 (java) R 22967 22970 16327 0 -1 4202560 44783 12542 0 0 2594 172 7 4 20 0 22 0 6129875 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612713905064 140613103375079 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23030] ppid=22967 vsize=11130628 CPUtime=27.79 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23030/stat : 23030 (java) R 22967 22970 16327 0 -1 4202560 44299 12542 0 0 2599 169 7 4 20 0 22 0 6129875 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612712851752 140613096505688 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23031] ppid=22967 vsize=11130628 CPUtime=27.64 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23031/stat : 23031 (java) R 22967 22970 16327 0 -1 4202560 49433 12542 0 0 2586 167 7 4 20 0 22 0 6129875 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612711798952 140613103375079 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23032] ppid=22967 vsize=11130628 CPUtime=27.62 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23032/stat : 23032 (java) R 22967 22970 16327 0 -1 4202560 47151 12542 0 0 2581 170 7 4 20 0 22 0 6129875 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612710746664 140613103375079 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23033] ppid=22967 vsize=11130628 CPUtime=27.69 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23033/stat : 23033 (java) R 22967 22970 16327 0 -1 4202560 42286 12542 0 0 2595 163 7 4 20 0 22 0 6129875 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612709693864 140613103375079 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23034] ppid=22967 vsize=11130628 CPUtime=2.35 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23034/stat : 23034 (java) S 22967 22970 16327 0 -1 1077944384 30798 12542 0 0 217 7 7 4 20 0 22 0 6129877 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612450849840 140613110757077 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 35 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23035] ppid=22967 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23035/stat : 23035 (java) S 22967 22970 16327 0 -1 1077944384 110 12542 0 0 0 0 7 4 20 0 22 0 6129877 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612449797536 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23036] ppid=22967 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23036/stat : 23036 (java) S 22967 22970 16327 0 -1 1077944384 116 12542 0 0 0 0 7 4 20 0 22 0 6129878 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612448745088 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23037] ppid=22967 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23037/stat : 23037 (java) S 22967 22970 16327 0 -1 1077944384 182 12542 0 0 0 0 7 4 20 0 22 0 6129881 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612447693392 140613110765467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23038] ppid=22967 vsize=11130628 CPUtime=8.88 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23038/stat : 23038 (java) S 22967 22970 16327 0 -1 1077944384 54463 12542 0 0 870 7 7 4 20 0 22 0 6129881 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612446640240 140613110758018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23039] ppid=22967 vsize=11130628 CPUtime=10.2 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23039/stat : 23039 (java) S 22967 22970 16327 0 -1 1077944384 61162 12542 0 0 1003 6 7 4 20 0 22 0 6129881 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612445587440 140613110758018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23040] ppid=22967 vsize=11130628 CPUtime=10.65 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23040/stat : 23040 (java) S 22967 22970 16327 0 -1 1077944384 54026 12542 0 0 1047 7 7 4 20 0 22 0 6129881 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612444535152 140613110758018 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23041] ppid=22967 vsize=11130628 CPUtime=3.46 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23041/stat : 23041 (java) S 22967 22970 16327 0 -1 1077944384 50130 12542 0 0 328 7 7 4 20 0 22 0 6129881 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612443482352 140613110758018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23042] ppid=22967 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23042/stat : 23042 (java) S 22967 22970 16327 0 -1 1077944384 3 12542 0 0 0 0 7 4 20 0 22 0 6129881 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612442430304 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23043] ppid=22967 vsize=11130628 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23043/stat : 23043 (java) S 22967 22970 16327 0 -1 1077944384 3611 12542 0 0 53 65 7 4 20 0 22 0 6129882 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612441377584 140613110758018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23550] ppid=22967 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23550/stat : 23550 (java) S 22967 22970 16327 0 -1 1077944384 273 12542 0 0 0 0 7 4 20 0 22 0 6348143 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612412117872 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23551] ppid=22967 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23551/stat : 23551 (java) S 22967 22970 16327 0 -1 1077944384 27 12542 0 0 0 0 7 4 20 0 22 0 6348143 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612411065792 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
Current children cumulated CPU time (s) 2409.08
Current children cumulated vsize (KiB) 11130628
[startup+2184.4 s]
/proc/loadavg: 1.71 1.75 1.75 10/283 23551
/proc/meminfo: memFree=26252948/32770624 swapFree=5896/114020
[pid=22970] ppid=22967 vsize=11130628 CPUtime=2412.17 cores=1,3,5,7,9,11,13,15
/proc/22970/stat : 22970 (java) S 22967 22970 16327 0 -1 1077944320 801189 12542 0 0 239685 1521 7 4 20 0 22 0 6129862 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140725757075728 140613110746871 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
/proc/22970/statm: 2782657 1211320 3529 1 0 2770212 0
[pid=22970/tid=23025] ppid=22967 vsize=11130628 CPUtime=2152.24 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23025/stat : 23025 (java) S 22967 22970 16327 0 -1 1077944384 186108 12542 0 0 215141 72 7 4 20 0 22 0 6129874 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140613114984592 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23026] ppid=22967 vsize=11130628 CPUtime=28.19 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23026/stat : 23026 (java) R 22967 22970 16327 0 -1 4202560 42365 12542 0 0 2634 174 7 4 20 0 22 0 6129875 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612717063256 140613095444623 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23027] ppid=22967 vsize=11130628 CPUtime=28.01 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23027/stat : 23027 (java) R 22967 22970 16327 0 -1 4202560 38611 12542 0 0 2622 168 7 4 20 0 22 0 6129875 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612716010152 140613103375079 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23028] ppid=22967 vsize=11130628 CPUtime=27.84 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23028/stat : 23028 (java) R 22967 22970 16327 0 -1 4202560 49117 12542 0 0 2605 168 7 4 20 0 22 0 6129875 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612714957552 140613103375079 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23029] ppid=22967 vsize=11130628 CPUtime=28.16 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23029/stat : 23029 (java) R 22967 22970 16327 0 -1 4202560 44783 12542 0 0 2633 172 7 4 20 0 22 0 6129875 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612713905064 140613103375079 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23030] ppid=22967 vsize=11130628 CPUtime=28.17 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23030/stat : 23030 (java) R 22967 22970 16327 0 -1 4202560 44299 12542 0 0 2637 169 7 4 20 0 22 0 6129875 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612712851752 140613094129906 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23031] ppid=22967 vsize=11130628 CPUtime=28.03 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23031/stat : 23031 (java) R 22967 22970 16327 0 -1 4202560 49433 12542 0 0 2625 167 7 4 20 0 22 0 6129875 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612711798952 140613103375079 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23032] ppid=22967 vsize=11130628 CPUtime=28.01 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23032/stat : 23032 (java) R 22967 22970 16327 0 -1 4202560 47151 12542 0 0 2620 170 7 4 20 0 22 0 6129875 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612710746664 140613103375079 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23033] ppid=22967 vsize=11130628 CPUtime=28.07 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23033/stat : 23033 (java) R 22967 22970 16327 0 -1 4202560 42286 12542 0 0 2633 163 7 4 20 0 22 0 6129875 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612709693552 140613103375079 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23034] ppid=22967 vsize=11130628 CPUtime=2.35 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23034/stat : 23034 (java) S 22967 22970 16327 0 -1 1077944384 30798 12542 0 0 217 7 7 4 20 0 22 0 6129877 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612450849840 140613110757077 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 35 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23035] ppid=22967 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23035/stat : 23035 (java) S 22967 22970 16327 0 -1 1077944384 110 12542 0 0 0 0 7 4 20 0 22 0 6129877 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612449797536 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23036] ppid=22967 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23036/stat : 23036 (java) S 22967 22970 16327 0 -1 1077944384 116 12542 0 0 0 0 7 4 20 0 22 0 6129878 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612448745088 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23037] ppid=22967 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23037/stat : 23037 (java) S 22967 22970 16327 0 -1 1077944384 182 12542 0 0 0 0 7 4 20 0 22 0 6129881 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612447693392 140613110765467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23038] ppid=22967 vsize=11130628 CPUtime=8.88 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23038/stat : 23038 (java) S 22967 22970 16327 0 -1 1077944384 54463 12542 0 0 870 7 7 4 20 0 22 0 6129881 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612446640240 140613110758018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23039] ppid=22967 vsize=11130628 CPUtime=10.2 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23039/stat : 23039 (java) S 22967 22970 16327 0 -1 1077944384 61162 12542 0 0 1003 6 7 4 20 0 22 0 6129881 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612445587440 140613110758018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23040] ppid=22967 vsize=11130628 CPUtime=10.65 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23040/stat : 23040 (java) S 22967 22970 16327 0 -1 1077944384 54026 12542 0 0 1047 7 7 4 20 0 22 0 6129881 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612444535152 140613110758018 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23041] ppid=22967 vsize=11130628 CPUtime=3.46 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23041/stat : 23041 (java) S 22967 22970 16327 0 -1 1077944384 50130 12542 0 0 328 7 7 4 20 0 22 0 6129881 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612443482352 140613110758018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23042] ppid=22967 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23042/stat : 23042 (java) S 22967 22970 16327 0 -1 1077944384 3 12542 0 0 0 0 7 4 20 0 22 0 6129881 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612442430304 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23043] ppid=22967 vsize=11130628 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23043/stat : 23043 (java) S 22967 22970 16327 0 -1 1077944384 3611 12542 0 0 53 65 7 4 20 0 22 0 6129882 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612441377584 140613110758018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23550] ppid=22967 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23550/stat : 23550 (java) S 22967 22970 16327 0 -1 1077944384 273 12542 0 0 0 0 7 4 20 0 22 0 6348143 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612412117872 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23551] ppid=22967 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23551/stat : 23551 (java) S 22967 22970 16327 0 -1 1077944384 27 12542 0 0 0 0 7 4 20 0 22 0 6348143 11397763072 1211320 33554432000 4194304 4196468 140725757093184 140612411065792 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
Current children cumulated CPU time (s) 2412.17
Current children cumulated vsize (KiB) 11130628
[startup+2184.8 s]
/proc/loadavg: 2.05 1.82 1.77 10/283 23551
/proc/meminfo: memFree=26259792/32770624 swapFree=5896/114020
[pid=22970] ppid=22967 vsize=11130628 CPUtime=2415.04 cores=1,3,5,7,9,11,13,15
/proc/22970/stat : 22970 (java) S 22967 22970 16327 0 -1 1077944320 812090 12542 0 0 239971 1522 7 4 20 0 22 0 6129862 11397763072 1211334 33554432000 4194304 4196468 140725757093184 140725757075728 140613110746871 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
/proc/22970/statm: 2782657 1211334 3529 1 0 2770212 0
[pid=22970/tid=23025] ppid=22967 vsize=11130628 CPUtime=2152.24 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23025/stat : 23025 (java) S 22967 22970 16327 0 -1 1077944384 186108 12542 0 0 215141 72 7 4 20 0 22 0 6129874 11397763072 1211334 33554432000 4194304 4196468 140725757093184 140613114984592 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23026] ppid=22967 vsize=11130628 CPUtime=28.56 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23026/stat : 23026 (java) R 22967 22970 16327 0 -1 4202560 42365 12542 0 0 2671 174 7 4 20 0 22 0 6129875 11397763072 1211334 33554432000 4194304 4196468 140725757093184 140612717063256 140613095744896 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23027] ppid=22967 vsize=11130628 CPUtime=28.36 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23027/stat : 23027 (java) R 22967 22970 16327 0 -1 4202560 38612 12542 0 0 2657 168 7 4 20 0 22 0 6129875 11397763072 1211334 33554432000 4194304 4196468 140725757093184 140612716010144 140613095736494 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23028] ppid=22967 vsize=11130628 CPUtime=28.2 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23028/stat : 23028 (java) R 22967 22970 16327 0 -1 4202560 49121 12542 0 0 2641 168 7 4 20 0 22 0 6129875 11397763072 1211334 33554432000 4194304 4196468 140725757093184 140612714958168 140613095447504 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23029] ppid=22967 vsize=11130628 CPUtime=28.51 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23029/stat : 23029 (java) R 22967 22970 16327 0 -1 4202560 44783 12542 0 0 2668 172 7 4 20 0 22 0 6129875 11397763072 1211334 33554432000 4194304 4196468 140725757093184 140612713905368 140613095447599 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23030] ppid=22967 vsize=11130628 CPUtime=28.52 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23030/stat : 23030 (java) R 22967 22970 16327 0 -1 4202560 44299 12542 0 0 2672 169 7 4 20 0 22 0 6129875 11397763072 1211334 33554432000 4194304 4196468 140725757093184 140612712852056 140613095447507 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23031] ppid=22967 vsize=11130628 CPUtime=28.39 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23031/stat : 23031 (java) R 22967 22970 16327 0 -1 4202560 49433 12542 0 0 2660 168 7 4 20 0 22 0 6129875 11397763072 1211334 33554432000 4194304 4196468 140725757093184 140612711799256 140613095447599 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23032] ppid=22967 vsize=11130628 CPUtime=28.36 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23032/stat : 23032 (java) R 22967 22970 16327 0 -1 4202560 47151 12542 0 0 2655 170 7 4 20 0 22 0 6129875 11397763072 1211334 33554432000 4194304 4196468 140725757093184 140612710746968 140613095446688 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23033] ppid=22967 vsize=11130628 CPUtime=28.42 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23033/stat : 23033 (java) R 22967 22970 16327 0 -1 4202560 42291 12542 0 0 2668 163 7 4 20 0 22 0 6129875 11397763072 1211334 33554432000 4194304 4196468 140725757093184 140612709694168 140613095447890 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23034] ppid=22967 vsize=11130628 CPUtime=2.39 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23034/stat : 23034 (java) S 22967 22970 16327 0 -1 1077944384 41689 12542 0 0 220 8 7 4 20 0 22 0 6129877 11397763072 1211334 33554432000 4194304 4196468 140725757093184 140612450850064 140613110757077 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 35 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23035] ppid=22967 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23035/stat : 23035 (java) S 22967 22970 16327 0 -1 1077944384 110 12542 0 0 0 0 7 4 20 0 22 0 6129877 11397763072 1211334 33554432000 4194304 4196468 140725757093184 140612449797536 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23036] ppid=22967 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23036/stat : 23036 (java) S 22967 22970 16327 0 -1 1077944384 116 12542 0 0 0 0 7 4 20 0 22 0 6129878 11397763072 1211334 33554432000 4194304 4196468 140725757093184 140612448745088 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23037] ppid=22967 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23037/stat : 23037 (java) S 22967 22970 16327 0 -1 1077944384 182 12542 0 0 0 0 7 4 20 0 22 0 6129881 11397763072 1211334 33554432000 4194304 4196468 140725757093184 140612447693392 140613110765467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23038] ppid=22967 vsize=11130628 CPUtime=8.88 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23038/stat : 23038 (java) S 22967 22970 16327 0 -1 1077944384 54463 12542 0 0 870 7 7 4 20 0 22 0 6129881 11397763072 1211334 33554432000 4194304 4196468 140725757093184 140612446640240 140613110758018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23039] ppid=22967 vsize=11130628 CPUtime=10.2 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23039/stat : 23039 (java) S 22967 22970 16327 0 -1 1077944384 61162 12542 0 0 1003 6 7 4 20 0 22 0 6129881 11397763072 1211334 33554432000 4194304 4196468 140725757093184 140612445587440 140613110758018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23040] ppid=22967 vsize=11130628 CPUtime=10.65 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23040/stat : 23040 (java) S 22967 22970 16327 0 -1 1077944384 54026 12542 0 0 1047 7 7 4 20 0 22 0 6129881 11397763072 1211334 33554432000 4194304 4196468 140725757093184 140612444535152 140613110758018 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23041] ppid=22967 vsize=11130628 CPUtime=3.46 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23041/stat : 23041 (java) S 22967 22970 16327 0 -1 1077944384 50130 12542 0 0 328 7 7 4 20 0 22 0 6129881 11397763072 1211334 33554432000 4194304 4196468 140725757093184 140612443482352 140613110758018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23042] ppid=22967 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23042/stat : 23042 (java) S 22967 22970 16327 0 -1 1077944384 3 12542 0 0 0 0 7 4 20 0 22 0 6129881 11397763072 1211334 33554432000 4194304 4196468 140725757093184 140612442430304 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23043] ppid=22967 vsize=11130628 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23043/stat : 23043 (java) S 22967 22970 16327 0 -1 1077944384 3611 12542 0 0 53 65 7 4 20 0 22 0 6129882 11397763072 1211334 33554432000 4194304 4196468 140725757093184 140612441377584 140613110758018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23550] ppid=22967 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23550/stat : 23550 (java) S 22967 22970 16327 0 -1 1077944384 273 12542 0 0 0 0 7 4 20 0 22 0 6348143 11397763072 1211334 33554432000 4194304 4196468 140725757093184 140612412117872 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
[pid=22970/tid=23551] ppid=22967 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22970/task/23551/stat : 23551 (java) S 22967 22970 16327 0 -1 1077944384 27 12542 0 0 0 0 7 4 20 0 22 0 6348143 11397763072 1211334 33554432000 4194304 4196468 140725757093184 140612411065792 140613110757077 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12947456 140725757098689 140725757101463 140725757101463 140725757104079 0
Current children cumulated CPU time (s) 2415.04
Current children cumulated vsize (KiB) 11130628
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2184.84
CPU time (s): 2415.12
CPU user time (s): 2399.82
CPU system time (s): 15.3004
CPU usage (%): 110.54
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.82
system time used= 15.3004
maximum resident set size= 5059188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 824636
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78005
involuntary context switches= 132084
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5971 second user time and 19.175 second system time
The end