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-4246713-1500717541/watcher-4246713-1500717541 -o /tmp/evaluation-result-4246713-1500717541/solver-4246713-1500717541 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1500717541-18615 --watchdog 2560 bin/concrete HOME/instance-4246713-1500717541.xml
pid=18638
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: 0.96 1.05 1.41 3/243 18645
/proc/meminfo: memFree=31761976/32770624 swapFree=5952/302076
[pid=18645] ppid=18638 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18645/stat : 18645 (bash) S 18638 18645 9020 0 -1 4202496 653 0 0 0 0 0 0 0 20 0 1 0 7022684 9736192 350 33554432000 4194304 5098028 140732860898400 140732860896040 140007163378688 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 34455552 140732860904718 140732860904803 140732860904803 140732860907502 0
/proc/18645/statm: 2377 350 278 221 0 86 0
[startup+0.100187 s]
/proc/loadavg: 0.96 1.05 1.41 3/243 18645
/proc/meminfo: memFree=31761976/32770624 swapFree=5952/302076
[pid=18645] ppid=18638 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18645/stat : 18645 (bash) S 18638 18645 9020 0 -1 4202496 877 6413 0 0 0 0 0 1 20 0 1 0 7022684 9871360 377 33554432000 4194304 5098028 140732860898400 140732860892408 140007163378688 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 0 0 0 7196144 7232144 34455552 140732860904718 140732860904803 140732860904803 140732860907502 0
/proc/18645/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200343 s]
/proc/loadavg: 0.96 1.05 1.41 3/243 18645
/proc/meminfo: memFree=31761976/32770624 swapFree=5952/302076
[pid=18645] ppid=18638 vsize=10369296 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/18645/stat : 18645 (java) S 18638 18645 9020 0 -1 1077944320 4543 12546 0 0 3 1 9 4 20 0 12 0 7022684 10618159104 4938 33554432000 4194304 4196468 140737264478048 140737264460592 139729175330551 0 0 0 16784584 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
/proc/18645/statm: 2592324 4938 2049 1 0 2580762 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10369296
[startup+0.300371 s]
/proc/loadavg: 0.96 1.05 1.41 3/243 18645
/proc/meminfo: memFree=31761976/32770624 swapFree=5952/302076
[pid=18645] ppid=18638 vsize=10902392 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/18645/stat : 18645 (java) S 18638 18645 9020 0 -1 1077944320 6721 12546 0 0 18 2 9 4 20 0 20 0 7022684 11164049408 8501 33554432000 4194304 4196468 140737264478048 140737264460592 139729175330551 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
/proc/18645/statm: 2725598 8501 2990 1 0 2713890 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 10902392
[startup+0.70031 s]
/proc/loadavg: 0.96 1.05 1.41 3/243 18645
/proc/meminfo: memFree=31761976/32770624 swapFree=5952/302076
[pid=18645] ppid=18638 vsize=10902720 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/18645/stat : 18645 (java) S 18638 18645 9020 0 -1 1077944320 12044 12546 0 0 69 4 9 4 20 0 20 0 7022684 11164385280 14959 33554432000 4194304 4196468 140737264478048 140737264460592 139729175330551 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
/proc/18645/statm: 2725680 14959 3173 1 0 2713890 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 10902720
[startup+1.501 s]
/proc/loadavg: 0.96 1.05 1.41 6/283 18791
/proc/meminfo: memFree=31555692/32770624 swapFree=5952/301144
[pid=18645] ppid=18638 vsize=10913344 CPUtime=2.22 cores=1,3,5,7,9,11,13,15
/proc/18645/stat : 18645 (java) S 18638 18645 9020 0 -1 1077944320 26975 12546 0 0 196 13 9 4 20 0 20 0 7022684 11175264256 43921 33554432000 4194304 4196468 140737264478048 140737264460592 139729175330551 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
/proc/18645/statm: 2728336 43921 3396 1 0 2716450 0
[pid=18645/tid=18755] ppid=18638 vsize=10913344 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18755/stat : 18755 (java) R 18638 18645 9020 0 -1 4202560 19196 12546 0 0 121 6 9 4 20 0 20 0 7022700 11175264256 43921 33554432000 4194304 4196468 140737264478048 139729179559704 139729159411038 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18764] ppid=18638 vsize=10913344 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18764/stat : 18764 (java) S 18638 18645 9020 0 -1 1077944384 59 12546 0 0 1 0 9 4 20 0 20 0 7022701 11175264256 43921 33554432000 4194304 4196468 140737264478048 139729112021520 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18765] ppid=18638 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18765/stat : 18765 (java) S 18638 18645 9020 0 -1 1077944384 13 12546 0 0 0 0 9 4 20 0 20 0 7022701 11175264256 43921 33554432000 4194304 4196468 140737264478048 139728781175440 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18766] ppid=18638 vsize=10913344 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18766/stat : 18766 (java) S 18638 18645 9020 0 -1 1077944384 36 12546 0 0 1 0 9 4 20 0 20 0 7022701 11175264256 43921 33554432000 4194304 4196468 140737264478048 139728780122384 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18767] ppid=18638 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18767/stat : 18767 (java) S 18638 18645 9020 0 -1 1077944384 29 12546 0 0 0 0 9 4 20 0 20 0 7022701 11175264256 43921 33554432000 4194304 4196468 140737264478048 139728779069840 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18768] ppid=18638 vsize=10913344 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18768/stat : 18768 (java) S 18638 18645 9020 0 -1 1077944384 14 12546 0 0 1 0 9 4 20 0 20 0 7022701 11175264256 43921 33554432000 4194304 4196468 140737264478048 139728778017808 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18769] ppid=18638 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18769/stat : 18769 (java) S 18638 18645 9020 0 -1 1077944384 130 12546 0 0 0 0 9 4 20 0 20 0 7022701 11175264256 43921 33554432000 4194304 4196468 140737264478048 139728776965264 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18770] ppid=18638 vsize=10913344 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18770/stat : 18770 (java) S 18638 18645 9020 0 -1 1077944384 17 12546 0 0 1 0 9 4 20 0 20 0 7022701 11175264256 43921 33554432000 4194304 4196468 140737264478048 139728775912208 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18771] ppid=18638 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18771/stat : 18771 (java) S 18638 18645 9020 0 -1 1077944384 16 12546 0 0 0 0 9 4 20 0 20 0 7022701 11175264256 43921 33554432000 4194304 4196468 140737264478048 139728774859664 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18775] ppid=18638 vsize=10913344 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18775/stat : 18775 (java) S 18638 18645 9020 0 -1 1077944384 1386 12546 0 0 1 0 9 4 20 0 20 0 7022703 11175264256 43921 33554432000 4194304 4196468 140737264478048 139728717109488 139729175341698 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18776] ppid=18638 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18776/stat : 18776 (java) S 18638 18645 9020 0 -1 1077944384 55 12546 0 0 0 0 9 4 20 0 20 0 7022704 11175264256 43921 33554432000 4194304 4196468 140737264478048 139728716055776 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18777] ppid=18638 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18777/stat : 18777 (java) S 18638 18645 9020 0 -1 1077944384 43 12546 0 0 0 0 9 4 20 0 20 0 7022704 11175264256 43921 33554432000 4194304 4196468 140737264478048 139728715002608 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18785] ppid=18638 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18785/stat : 18785 (java) S 18638 18645 9020 0 -1 1077944384 1 12546 0 0 0 0 9 4 20 0 20 0 7022708 11175264256 43921 33554432000 4194304 4196468 140737264478048 139728713951184 139729175349147 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18786] ppid=18638 vsize=10913344 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18786/stat : 18786 (java) S 18638 18645 9020 0 -1 1077944384 723 12546 0 0 13 0 9 4 20 0 20 0 7022708 11175264256 43921 33554432000 4194304 4196468 140737264478048 139728712899312 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18787] ppid=18638 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18787/stat : 18787 (java) S 18638 18645 9020 0 -1 1077944384 717 12546 0 0 10 0 9 4 20 0 20 0 7022708 11175264256 43921 33554432000 4194304 4196468 140737264478048 139728711846768 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18788] ppid=18638 vsize=10913344 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18788/stat : 18788 (java) S 18638 18645 9020 0 -1 1077944384 1102 12546 0 0 13 0 9 4 20 0 20 0 7022708 11175264256 43981 33554432000 4194304 4196468 140737264478048 139728710793712 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18789] ppid=18638 vsize=10913344 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18789/stat : 18789 (java) S 18638 18645 9020 0 -1 1077944384 1306 12546 0 0 24 0 9 4 20 0 20 0 7022708 11175264256 43981 33554432000 4194304 4196468 140737264478048 139728709741168 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18790] ppid=18638 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18790/stat : 18790 (java) S 18638 18645 9020 0 -1 1077944384 3 12546 0 0 0 0 9 4 20 0 20 0 7022708 11175264256 43981 33554432000 4194304 4196468 140737264478048 139728372361696 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18791] ppid=18638 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18791/stat : 18791 (java) S 18638 18645 9020 0 -1 1077944384 3 12546 0 0 0 0 9 4 20 0 20 0 7022708 11175264256 43981 33554432000 4194304 4196468 140737264478048 139728371309232 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 10913344
[startup+3.10113 s]
/proc/loadavg: 0.96 1.05 1.41 8/283 18791
/proc/meminfo: memFree=31402400/32770624 swapFree=5952/303164
[pid=18645] ppid=18638 vsize=10927868 CPUtime=6.7 cores=1,3,5,7,9,11,13,15
/proc/18645/stat : 18645 (java) S 18638 18645 9020 0 -1 1077944320 42545 12546 1 0 638 19 9 4 20 0 20 0 7022684 11190136832 55616 33554432000 4194304 4196468 140737264478048 140737264460592 139729175330551 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
/proc/18645/statm: 2731967 55616 3473 1 0 2719522 0
[pid=18645/tid=18755] ppid=18638 vsize=10927868 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18755/stat : 18755 (java) R 18638 18645 9020 0 -1 4202560 25885 12546 1 0 276 8 9 4 20 0 20 0 7022700 11190136832 55616 33554432000 4194304 4196468 140737264478048 139729179562040 139729159411038 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18764] ppid=18638 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18764/stat : 18764 (java) S 18638 18645 9020 0 -1 1077944384 59 12546 0 0 1 0 9 4 20 0 20 0 7022701 11190136832 55616 33554432000 4194304 4196468 140737264478048 139729112021520 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18765] ppid=18638 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18765/stat : 18765 (java) S 18638 18645 9020 0 -1 1077944384 13 12546 0 0 0 0 9 4 20 0 20 0 7022701 11190136832 55616 33554432000 4194304 4196468 140737264478048 139728781175440 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18766] ppid=18638 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18766/stat : 18766 (java) S 18638 18645 9020 0 -1 1077944384 36 12546 0 0 1 0 9 4 20 0 20 0 7022701 11190136832 55616 33554432000 4194304 4196468 140737264478048 139728780122384 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18767] ppid=18638 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18767/stat : 18767 (java) S 18638 18645 9020 0 -1 1077944384 29 12546 0 0 0 0 9 4 20 0 20 0 7022701 11190136832 55616 33554432000 4194304 4196468 140737264478048 139728779069840 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18768] ppid=18638 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18768/stat : 18768 (java) S 18638 18645 9020 0 -1 1077944384 14 12546 0 0 1 0 9 4 20 0 20 0 7022701 11190136832 55616 33554432000 4194304 4196468 140737264478048 139728778017808 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18769] ppid=18638 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18769/stat : 18769 (java) S 18638 18645 9020 0 -1 1077944384 130 12546 0 0 0 0 9 4 20 0 20 0 7022701 11190136832 55616 33554432000 4194304 4196468 140737264478048 139728776965264 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18770] ppid=18638 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18770/stat : 18770 (java) S 18638 18645 9020 0 -1 1077944384 17 12546 0 0 1 0 9 4 20 0 20 0 7022701 11190136832 55616 33554432000 4194304 4196468 140737264478048 139728775912208 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18771] ppid=18638 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18771/stat : 18771 (java) S 18638 18645 9020 0 -1 1077944384 16 12546 0 0 0 0 9 4 20 0 20 0 7022701 11190136832 55616 33554432000 4194304 4196468 140737264478048 139728774859664 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18775] ppid=18638 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18775/stat : 18775 (java) S 18638 18645 9020 0 -1 1077944384 1419 12546 0 0 2 0 9 4 20 0 20 0 7022703 11190136832 55616 33554432000 4194304 4196468 140737264478048 139728717109488 139729175341698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18776] ppid=18638 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18776/stat : 18776 (java) S 18638 18645 9020 0 -1 1077944384 55 12546 0 0 0 0 9 4 20 0 20 0 7022704 11190136832 55616 33554432000 4194304 4196468 140737264478048 139728716055776 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18777] ppid=18638 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18777/stat : 18777 (java) S 18638 18645 9020 0 -1 1077944384 43 12546 0 0 0 0 9 4 20 0 20 0 7022704 11190136832 55616 33554432000 4194304 4196468 140737264478048 139728715002608 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18785] ppid=18638 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18785/stat : 18785 (java) S 18638 18645 9020 0 -1 1077944384 1 12546 0 0 0 0 9 4 20 0 20 0 7022708 11190136832 55616 33554432000 4194304 4196468 140737264478048 139728713951184 139729175349147 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18786] ppid=18638 vsize=10927868 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18786/stat : 18786 (java) R 18638 18645 9020 0 -1 4202560 1918 12546 0 0 79 0 9 4 20 0 20 0 7022708 11190136832 55616 33554432000 4194304 4196468 140737264478048 139728712899232 139729156681360 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18787] ppid=18638 vsize=10927868 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18787/stat : 18787 (java) R 18638 18645 9020 0 -1 4202560 4626 12546 0 0 96 0 9 4 20 0 20 0 7022708 11190136832 55616 33554432000 4194304 4196468 140737264478048 139728711827536 139729158827310 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18788] ppid=18638 vsize=10927868 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18788/stat : 18788 (java) R 18638 18645 9020 0 -1 4202560 2270 12546 0 0 62 1 9 4 20 0 20 0 7022708 11190136832 55616 33554432000 4194304 4196468 140737264478048 139728710785440 139729154587239 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18789] ppid=18638 vsize=10927868 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18789/stat : 18789 (java) S 18638 18645 9020 0 -1 1077944384 3882 12546 0 0 112 1 9 4 20 0 20 0 7022708 11190136832 55616 33554432000 4194304 4196468 140737264478048 139728709741168 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18790] ppid=18638 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18790/stat : 18790 (java) S 18638 18645 9020 0 -1 1077944384 3 12546 0 0 0 0 9 4 20 0 20 0 7022708 11190136832 55616 33554432000 4194304 4196468 140737264478048 139728372361696 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18791] ppid=18638 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18791/stat : 18791 (java) S 18638 18645 9020 0 -1 1077944384 5 12546 0 0 0 0 9 4 20 0 20 0 7022708 11190136832 55616 33554432000 4194304 4196468 140737264478048 139728371309232 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 10927868
[startup+6.30123 s]
/proc/loadavg: 0.97 1.05 1.40 7/283 18791
/proc/meminfo: memFree=31037420/32770624 swapFree=5952/303656
[pid=18645] ppid=18638 vsize=10995452 CPUtime=14.8 cores=1,3,5,7,9,11,13,15
/proc/18645/stat : 18645 (java) S 18638 18645 9020 0 -1 1077944320 65073 12546 1 0 1436 31 9 4 20 0 20 0 7022684 11259342848 112271 33554432000 4194304 4196468 140737264478048 140737264460592 139729175330551 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
/proc/18645/statm: 2748863 112271 3496 1 0 2736418 0
[pid=18645/tid=18755] ppid=18638 vsize=10995452 CPUtime=6.1 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18755/stat : 18755 (java) R 18638 18645 9020 0 -1 4202560 40882 12546 1 0 584 13 9 4 20 0 20 0 7022700 11259342848 112271 33554432000 4194304 4196468 140737264478048 139729179562408 139728792134814 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18764] ppid=18638 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18764/stat : 18764 (java) S 18638 18645 9020 0 -1 1077944384 98 12546 0 0 3 1 9 4 20 0 20 0 7022701 11259342848 112271 33554432000 4194304 4196468 140737264478048 139729112021520 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18765] ppid=18638 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18765/stat : 18765 (java) S 18638 18645 9020 0 -1 1077944384 69 12546 0 0 3 1 9 4 20 0 20 0 7022701 11259342848 112271 33554432000 4194304 4196468 140737264478048 139728781175440 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18766] ppid=18638 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18766/stat : 18766 (java) S 18638 18645 9020 0 -1 1077944384 50 12546 0 0 3 1 9 4 20 0 20 0 7022701 11259342848 112271 33554432000 4194304 4196468 140737264478048 139728780122384 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18767] ppid=18638 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18767/stat : 18767 (java) S 18638 18645 9020 0 -1 1077944384 39 12546 0 0 2 1 9 4 20 0 20 0 7022701 11259342848 112271 33554432000 4194304 4196468 140737264478048 139728779069840 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18768] ppid=18638 vsize=10995452 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18768/stat : 18768 (java) S 18638 18645 9020 0 -1 1077944384 41 12546 0 0 4 1 9 4 20 0 20 0 7022701 11259342848 112271 33554432000 4194304 4196468 140737264478048 139728778017808 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18769] ppid=18638 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18769/stat : 18769 (java) S 18638 18645 9020 0 -1 1077944384 146 12546 0 0 2 1 9 4 20 0 20 0 7022701 11259342848 112271 33554432000 4194304 4196468 140737264478048 139728776965264 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18770] ppid=18638 vsize=10995452 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18770/stat : 18770 (java) S 18638 18645 9020 0 -1 1077944384 52 12546 0 0 4 1 9 4 20 0 20 0 7022701 11259342848 112271 33554432000 4194304 4196468 140737264478048 139728775912208 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18771] ppid=18638 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18771/stat : 18771 (java) S 18638 18645 9020 0 -1 1077944384 28 12546 0 0 3 1 9 4 20 0 20 0 7022701 11259342848 112271 33554432000 4194304 4196468 140737264478048 139728774859664 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18775] ppid=18638 vsize=10995452 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18775/stat : 18775 (java) S 18638 18645 9020 0 -1 1077944384 2211 12546 0 0 5 0 9 4 20 0 20 0 7022703 11259342848 112271 33554432000 4194304 4196468 140737264478048 139728717109488 139729175341698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18776] ppid=18638 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18776/stat : 18776 (java) S 18638 18645 9020 0 -1 1077944384 56 12546 0 0 0 0 9 4 20 0 20 0 7022704 11259342848 112271 33554432000 4194304 4196468 140737264478048 139728716055840 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18777] ppid=18638 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18777/stat : 18777 (java) S 18638 18645 9020 0 -1 1077944384 43 12546 0 0 0 0 9 4 20 0 20 0 7022704 11259342848 112271 33554432000 4194304 4196468 140737264478048 139728715002624 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18785] ppid=18638 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18785/stat : 18785 (java) S 18638 18645 9020 0 -1 1077944384 1 12546 0 0 0 0 9 4 20 0 20 0 7022708 11259342848 112271 33554432000 4194304 4196468 140737264478048 139728713951184 139729175349147 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18786] ppid=18638 vsize=10995452 CPUtime=2.51 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18786/stat : 18786 (java) S 18638 18645 9020 0 -1 1077944384 6445 12546 0 0 237 1 9 4 20 0 20 0 7022708 11259342848 112271 33554432000 4194304 4196468 140737264478048 139728712899312 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18787] ppid=18638 vsize=10995452 CPUtime=2.39 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18787/stat : 18787 (java) S 18638 18645 9020 0 -1 1077944384 4957 12546 0 0 225 1 9 4 20 0 20 0 7022708 11259342848 112271 33554432000 4194304 4196468 140737264478048 139728711846768 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18788] ppid=18638 vsize=10995452 CPUtime=2.07 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18788/stat : 18788 (java) S 18638 18645 9020 0 -1 1077944384 2732 12546 0 0 192 2 9 4 20 0 20 0 7022708 11259342848 112271 33554432000 4194304 4196468 140737264478048 139728710793712 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18789] ppid=18638 vsize=10995452 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18789/stat : 18789 (java) S 18638 18645 9020 0 -1 1077944384 5083 12546 0 0 161 2 9 4 20 0 20 0 7022708 11259342848 112271 33554432000 4194304 4196468 140737264478048 139728709741168 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18790] ppid=18638 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=18645/tid=18787] ppid=18638 vsize=10995452 CPUtime=2.43 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18787/stat : 18787 (java) S 18638 18645 9020 0 -1 1077944384 7233 12546 0 0 228 2 9 4 20 0 20 0 7022708 11259342848 316432 33554432000 4194304 4196468 140737264478048 139728711846768 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18788] ppid=18638 vsize=10995452 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18788/stat : 18788 (java) S 18638 18645 9020 0 -1 1077944384 4899 12546 0 0 196 2 9 4 20 0 20 0 7022708 11259342848 316432 33554432000 4194304 4196468 140737264478048 139728710793712 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18789] ppid=18638 vsize=10995452 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18789/stat : 18789 (java) S 18638 18645 9020 0 -1 1077944384 11703 12546 0 0 164 3 9 4 20 0 20 0 7022708 11259342848 316432 33554432000 4194304 4196468 140737264478048 139728709741168 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18790] ppid=18638 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18790/stat : 18790 (java) S 18638 18645 9020 0 -1 1077944384 3 12546 0 0 0 0 9 4 20 0 20 0 7022708 11259342848 316432 33554432000 4194304 4196468 140737264478048 139728372361696 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18791] ppid=18638 vsize=10995452 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18791/stat : 18791 (java) S 18638 18645 9020 0 -1 1077944384 1446 12546 0 0 55 68 9 4 20 0 20 0 7022708 11259342848 316432 33554432000 4194304 4196468 140737264478048 139728371309232 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
Current children cumulated CPU time (s) 2326.91
Current children cumulated vsize (KiB) 10995452
[startup+2322.3 s]
/proc/loadavg: 1.24 1.33 1.37 4/281 18884
/proc/meminfo: memFree=29019632/32770624 swapFree=5952/305768
[pid=18645] ppid=18638 vsize=10995452 CPUtime=2388.52 cores=1,3,5,7,9,11,13,15
/proc/18645/stat : 18645 (java) S 18638 18645 9020 0 -1 1077944320 226244 12546 1 0 238369 470 9 4 20 0 20 0 7022684 11259342848 321543 33554432000 4194304 4196468 140737264478048 140737264460592 139729175330551 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
/proc/18645/statm: 2748863 321543 3509 1 0 2736418 0
[pid=18645/tid=18755] ppid=18638 vsize=10995452 CPUtime=2301.65 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18755/stat : 18755 (java) R 18638 18645 9020 0 -1 4202560 86886 12546 1 0 230104 48 9 4 20 0 20 0 7022700 11259342848 321543 33554432000 4194304 4196468 140737264478048 139729179564512 139728805487067 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18764] ppid=18638 vsize=10995452 CPUtime=8.85 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18764/stat : 18764 (java) S 18638 18645 9020 0 -1 1077944384 13353 12546 0 0 831 41 9 4 20 0 20 0 7022701 11259342848 321543 33554432000 4194304 4196468 140737264478048 139729112021520 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18765] ppid=18638 vsize=10995452 CPUtime=8.72 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18765/stat : 18765 (java) S 18638 18645 9020 0 -1 1077944384 10100 12546 0 0 816 43 9 4 20 0 20 0 7022701 11259342848 321543 33554432000 4194304 4196468 140737264478048 139728781175440 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18766] ppid=18638 vsize=10995452 CPUtime=8.84 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18766/stat : 18766 (java) S 18638 18645 9020 0 -1 1077944384 11875 12546 0 0 829 42 9 4 20 0 20 0 7022701 11259342848 321543 33554432000 4194304 4196468 140737264478048 139728780122384 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18767] ppid=18638 vsize=10995452 CPUtime=8.79 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18767/stat : 18767 (java) S 18638 18645 9020 0 -1 1077944384 9339 12546 0 0 824 42 9 4 20 0 20 0 7022701 11259342848 321543 33554432000 4194304 4196468 140737264478048 139728779069840 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18768] ppid=18638 vsize=10995452 CPUtime=8.83 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18768/stat : 18768 (java) S 18638 18645 9020 0 -1 1077944384 10883 12546 0 0 826 44 9 4 20 0 20 0 7022701 11259342848 321543 33554432000 4194304 4196468 140737264478048 139728778017808 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18769] ppid=18638 vsize=10995452 CPUtime=8.84 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18769/stat : 18769 (java) S 18638 18645 9020 0 -1 1077944384 10340 12546 0 0 827 44 9 4 20 0 20 0 7022701 11259342848 321543 33554432000 4194304 4196468 140737264478048 139728776965264 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18770] ppid=18638 vsize=10995452 CPUtime=8.93 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18770/stat : 18770 (java) S 18638 18645 9020 0 -1 1077944384 14141 12546 0 0 835 45 9 4 20 0 20 0 7022701 11259342848 321543 33554432000 4194304 4196468 140737264478048 139728775912208 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18771] ppid=18638 vsize=10995452 CPUtime=8.77 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18771/stat : 18771 (java) S 18638 18645 9020 0 -1 1077944384 5298 12546 0 0 818 46 9 4 20 0 20 0 7022701 11259342848 321543 33554432000 4194304 4196468 140737264478048 139728774859664 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18775] ppid=18638 vsize=10995452 CPUtime=7.67 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18775/stat : 18775 (java) S 18638 18645 9020 0 -1 1077944384 18551 12546 0 0 713 41 9 4 20 0 20 0 7022703 11259342848 321543 33554432000 4194304 4196468 140737264478048 139728717109488 139729175341698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18776] ppid=18638 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18776/stat : 18776 (java) S 18638 18645 9020 0 -1 1077944384 56 12546 0 0 0 0 9 4 20 0 20 0 7022704 11259342848 321543 33554432000 4194304 4196468 140737264478048 139728716055840 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18777] ppid=18638 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18777/stat : 18777 (java) S 18638 18645 9020 0 -1 1077944384 43 12546 0 0 0 0 9 4 20 0 20 0 7022704 11259342848 321543 33554432000 4194304 4196468 140737264478048 139728715002624 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18785] ppid=18638 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18785/stat : 18785 (java) S 18638 18645 9020 0 -1 1077944384 1 12546 0 0 0 0 9 4 20 0 20 0 7022708 11259342848 321543 33554432000 4194304 4196468 140737264478048 139728713951184 139729175349147 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18786] ppid=18638 vsize=10995452 CPUtime=2.56 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18786/stat : 18786 (java) S 18638 18645 9020 0 -1 1077944384 7926 12546 0 0 242 1 9 4 20 0 20 0 7022708 11259342848 321543 33554432000 4194304 4196468 140737264478048 139728712899312 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18787] ppid=18638 vsize=10995452 CPUtime=2.43 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18787/stat : 18787 (java) S 18638 18645 9020 0 -1 1077944384 7235 12546 0 0 228 2 9 4 20 0 20 0 7022708 11259342848 321543 33554432000 4194304 4196468 140737264478048 139728711846768 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18788] ppid=18638 vsize=10995452 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18788/stat : 18788 (java) S 18638 18645 9020 0 -1 1077944384 4901 12546 0 0 196 2 9 4 20 0 20 0 7022708 11259342848 321543 33554432000 4194304 4196468 140737264478048 139728710793712 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18789] ppid=18638 vsize=10995452 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18789/stat : 18789 (java) S 18638 18645 9020 0 -1 1077944384 11705 12546 0 0 164 3 9 4 20 0 20 0 7022708 11259342848 321543 33554432000 4194304 4196468 140737264478048 139728709741168 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18790] ppid=18638 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18790/stat : 18790 (java) S 18638 18645 9020 0 -1 1077944384 3 12546 0 0 0 0 9 4 20 0 20 0 7022708 11259342848 321543 33554432000 4194304 4196468 140737264478048 139728372361696 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18791] ppid=18638 vsize=10995452 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18791/stat : 18791 (java) S 18638 18645 9020 0 -1 1077944384 1481 12546 0 0 56 70 9 4 20 0 20 0 7022708 11259342848 321543 33554432000 4194304 4196468 140737264478048 139728371309232 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
Current children cumulated CPU time (s) 2388.52
Current children cumulated vsize (KiB) 10995452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2333.6 s]
/proc/loadavg: 1.26 1.33 1.37 4/281 18884
/proc/meminfo: memFree=29019244/32770624 swapFree=5952/305776
[pid=18645] ppid=18638 vsize=10995452 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/18645/stat : 18645 (java) S 18638 18645 9020 0 -1 1077944320 226313 12546 1 0 239523 473 9 4 20 0 20 0 7022684 11259342848 321632 33554432000 4194304 4196468 140737264478048 140737264460592 139729175330551 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
/proc/18645/statm: 2748863 321632 3509 1 0 2736418 0
[pid=18645/tid=18755] ppid=18638 vsize=10995452 CPUtime=2312.85 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18755/stat : 18755 (java) R 18638 18645 9020 0 -1 4202560 86946 12546 1 0 231224 48 9 4 20 0 20 0 7022700 11259342848 321632 33554432000 4194304 4196468 140737264478048 139729179564528 139728806246319 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18764] ppid=18638 vsize=10995452 CPUtime=8.89 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18764/stat : 18764 (java) S 18638 18645 9020 0 -1 1077944384 13354 12546 0 0 835 41 9 4 20 0 20 0 7022701 11259342848 321632 33554432000 4194304 4196468 140737264478048 139729112021520 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18765] ppid=18638 vsize=10995452 CPUtime=8.75 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18765/stat : 18765 (java) S 18638 18645 9020 0 -1 1077944384 10100 12546 0 0 819 43 9 4 20 0 20 0 7022701 11259342848 321632 33554432000 4194304 4196468 140737264478048 139728781175440 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18766] ppid=18638 vsize=10995452 CPUtime=8.89 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18766/stat : 18766 (java) S 18638 18645 9020 0 -1 1077944384 11875 12546 0 0 833 43 9 4 20 0 20 0 7022701 11259342848 321632 33554432000 4194304 4196468 140737264478048 139728780122384 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18767] ppid=18638 vsize=10995452 CPUtime=8.83 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18767/stat : 18767 (java) S 18638 18645 9020 0 -1 1077944384 9341 12546 0 0 828 42 9 4 20 0 20 0 7022701 11259342848 321632 33554432000 4194304 4196468 140737264478048 139728779069840 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18768] ppid=18638 vsize=10995452 CPUtime=8.87 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18768/stat : 18768 (java) S 18638 18645 9020 0 -1 1077944384 10885 12546 0 0 830 44 9 4 20 0 20 0 7022701 11259342848 321632 33554432000 4194304 4196468 140737264478048 139728778017808 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18769] ppid=18638 vsize=10995452 CPUtime=8.88 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18769/stat : 18769 (java) S 18638 18645 9020 0 -1 1077944384 10342 12546 0 0 830 45 9 4 20 0 20 0 7022701 11259342848 321632 33554432000 4194304 4196468 140737264478048 139728776965264 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18770] ppid=18638 vsize=10995452 CPUtime=8.98 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18770/stat : 18770 (java) S 18638 18645 9020 0 -1 1077944384 14143 12546 0 0 839 46 9 4 20 0 20 0 7022701 11259342848 321632 33554432000 4194304 4196468 140737264478048 139728775912208 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18771] ppid=18638 vsize=10995452 CPUtime=8.81 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18771/stat : 18771 (java) S 18638 18645 9020 0 -1 1077944384 5298 12546 0 0 822 46 9 4 20 0 20 0 7022701 11259342848 321632 33554432000 4194304 4196468 140737264478048 139728774859664 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18775] ppid=18638 vsize=10995452 CPUtime=7.7 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18775/stat : 18775 (java) S 18638 18645 9020 0 -1 1077944384 18551 12546 0 0 716 41 9 4 20 0 20 0 7022703 11259342848 321632 33554432000 4194304 4196468 140737264478048 139728717109488 139729175341698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18776] ppid=18638 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18776/stat : 18776 (java) S 18638 18645 9020 0 -1 1077944384 56 12546 0 0 0 0 9 4 20 0 20 0 7022704 11259342848 321632 33554432000 4194304 4196468 140737264478048 139728716055840 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18777] ppid=18638 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18777/stat : 18777 (java) S 18638 18645 9020 0 -1 1077944384 43 12546 0 0 0 0 9 4 20 0 20 0 7022704 11259342848 321632 33554432000 4194304 4196468 140737264478048 139728715002624 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18785] ppid=18638 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18785/stat : 18785 (java) S 18638 18645 9020 0 -1 1077944384 1 12546 0 0 0 0 9 4 20 0 20 0 7022708 11259342848 321632 33554432000 4194304 4196468 140737264478048 139728713951184 139729175349147 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18786] ppid=18638 vsize=10995452 CPUtime=2.56 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18786/stat : 18786 (java) S 18638 18645 9020 0 -1 1077944384 7926 12546 0 0 242 1 9 4 20 0 20 0 7022708 11259342848 321632 33554432000 4194304 4196468 140737264478048 139728712899312 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18787] ppid=18638 vsize=10995452 CPUtime=2.43 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18787/stat : 18787 (java) S 18638 18645 9020 0 -1 1077944384 7235 12546 0 0 228 2 9 4 20 0 20 0 7022708 11259342848 321632 33554432000 4194304 4196468 140737264478048 139728711846768 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18788] ppid=18638 vsize=10995452 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18788/stat : 18788 (java) S 18638 18645 9020 0 -1 1077944384 4901 12546 0 0 196 2 9 4 20 0 20 0 7022708 11259342848 321632 33554432000 4194304 4196468 140737264478048 139728710793712 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18789] ppid=18638 vsize=10995452 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18789/stat : 18789 (java) S 18638 18645 9020 0 -1 1077944384 11705 12546 0 0 164 3 9 4 20 0 20 0 7022708 11259342848 321632 33554432000 4194304 4196468 140737264478048 139728709741168 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18790] ppid=18638 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18790/stat : 18790 (java) S 18638 18645 9020 0 -1 1077944384 3 12546 0 0 0 0 9 4 20 0 20 0 7022708 11259342848 321632 33554432000 4194304 4196468 140737264478048 139728372361696 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18791] ppid=18638 vsize=10995452 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18791/stat : 18791 (java) S 18638 18645 9020 0 -1 1077944384 1481 12546 0 0 57 70 9 4 20 0 20 0 7022708 11259342848 321632 33554432000 4194304 4196468 140737264478048 139728371309232 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 10995452
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 18645 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2333.8 s]
/proc/loadavg: 1.26 1.33 1.37 4/281 18884
/proc/meminfo: memFree=29019244/32770624 swapFree=5952/305776
[pid=18645] ppid=18638 vsize=11128580 CPUtime=2400.95 cores=1,3,5,7,9,11,13,15
/proc/18645/stat : 18645 (java) S 18638 18645 9020 0 -1 1077944320 234337 12546 1 0 239608 474 9 4 20 0 22 0 7022684 11395665920 322795 33554432000 4194304 4196468 140737264478048 140737264460592 139729175330551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
/proc/18645/statm: 2782145 322795 3509 1 0 2769700 0
[pid=18645/tid=18755] ppid=18638 vsize=11128580 CPUtime=2312.86 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18755/stat : 18755 (java) S 18638 18645 9020 0 -1 1077944384 87417 12546 1 0 231225 48 9 4 20 0 22 0 7022700 11395665920 322795 33554432000 4194304 4196468 140737264478048 139729179568096 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18764] ppid=18638 vsize=11128580 CPUtime=8.98 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18764/stat : 18764 (java) R 18638 18645 9020 0 -1 4202560 13367 12546 0 0 844 41 9 4 20 0 22 0 7022701 11395665920 322795 33554432000 4194304 4196468 140737264478048 139729112021640 139729158713586 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18765] ppid=18638 vsize=11128580 CPUtime=8.85 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18765/stat : 18765 (java) R 18638 18645 9020 0 -1 4202560 10126 12546 0 0 829 43 9 4 20 0 22 0 7022701 11395665920 322795 33554432000 4194304 4196468 140737264478048 139728781175560 139729167958759 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18766] ppid=18638 vsize=11128580 CPUtime=8.99 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18766/stat : 18766 (java) R 18638 18645 9020 0 -1 4202560 11884 12546 0 0 843 43 9 4 20 0 22 0 7022701 11395665920 322795 33554432000 4194304 4196468 140737264478048 139728780122504 139729167958759 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18767] ppid=18638 vsize=11128580 CPUtime=8.93 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18767/stat : 18767 (java) R 18638 18645 9020 0 -1 4202560 9361 12546 0 0 838 42 9 4 20 0 22 0 7022701 11395665920 322795 33554432000 4194304 4196468 140737264478048 139728779069960 139729167958759 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18768] ppid=18638 vsize=11128580 CPUtime=8.96 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18768/stat : 18768 (java) R 18638 18645 9020 0 -1 4202560 10902 12546 0 0 839 44 9 4 20 0 22 0 7022701 11395665920 322795 33554432000 4194304 4196468 140737264478048 139728778017696 139729156940313 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18769] ppid=18638 vsize=11128580 CPUtime=8.98 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18769/stat : 18769 (java) R 18638 18645 9020 0 -1 4202560 10342 12546 0 0 840 45 9 4 20 0 22 0 7022701 11395665920 322795 33554432000 4194304 4196468 140737264478048 139728776965384 139729167958759 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18770] ppid=18638 vsize=11128580 CPUtime=9.07 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18770/stat : 18770 (java) R 18638 18645 9020 0 -1 4202560 14147 12546 0 0 848 46 9 4 20 0 22 0 7022701 11395665920 322795 33554432000 4194304 4196468 140737264478048 139728775912328 139729167958759 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18771] ppid=18638 vsize=11128580 CPUtime=8.9 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18771/stat : 18771 (java) S 18638 18645 9020 0 -1 1077944384 5306 12546 0 0 831 46 9 4 20 0 22 0 7022701 11395665920 322795 33554432000 4194304 4196468 140737264478048 139728774859664 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18775] ppid=18638 vsize=11128580 CPUtime=7.79 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18775/stat : 18775 (java) S 18638 18645 9020 0 -1 1077944384 25404 12546 0 0 725 41 9 4 20 0 22 0 7022703 11395665920 322795 33554432000 4194304 4196468 140737264478048 139728717108112 139729175340757 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18776] ppid=18638 vsize=11128580 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18776/stat : 18776 (java) S 18638 18645 9020 0 -1 1077944384 58 12546 0 0 0 0 9 4 20 0 22 0 7022704 11395665920 322795 33554432000 4194304 4196468 140737264478048 139728716055920 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18777] ppid=18638 vsize=11128580 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18777/stat : 18777 (java) S 18638 18645 9020 0 -1 1077944384 45 12546 0 0 0 0 9 4 20 0 22 0 7022704 11395665920 322795 33554432000 4194304 4196468 140737264478048 139728715002624 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18785] ppid=18638 vsize=11128580 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18785/stat : 18785 (java) S 18638 18645 9020 0 -1 1077944384 183 12546 0 0 0 0 9 4 20 0 22 0 7022708 11395665920 322795 33554432000 4194304 4196468 140737264478048 139728713951184 139729175349147 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18786] ppid=18638 vsize=11128580 CPUtime=2.56 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18786/stat : 18786 (java) S 18638 18645 9020 0 -1 1077944384 7926 12546 0 0 242 1 9 4 20 0 22 0 7022708 11395665920 322795 33554432000 4194304 4196468 140737264478048 139728712899312 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18787] ppid=18638 vsize=11128580 CPUtime=2.43 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18787/stat : 18787 (java) S 18638 18645 9020 0 -1 1077944384 7235 12546 0 0 228 2 9 4 20 0 22 0 7022708 11395665920 322795 33554432000 4194304 4196468 140737264478048 139728711846768 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18788] ppid=18638 vsize=11128580 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18788/stat : 18788 (java) S 18638 18645 9020 0 -1 1077944384 4901 12546 0 0 196 2 9 4 20 0 22 0 7022708 11395665920 322795 33554432000 4194304 4196468 140737264478048 139728710793712 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18789] ppid=18638 vsize=11128580 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18789/stat : 18789 (java) S 18638 18645 9020 0 -1 1077944384 11828 12546 0 0 164 3 9 4 20 0 22 0 7022708 11395665920 322795 33554432000 4194304 4196468 140737264478048 139728709740736 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18790] ppid=18638 vsize=11128580 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18790/stat : 18790 (java) S 18638 18645 9020 0 -1 1077944384 3 12546 0 0 0 0 9 4 20 0 22 0 7022708 11395665920 322795 33554432000 4194304 4196468 140737264478048 139728372361696 139729175340757 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
[pid=18645/tid=18791] ppid=18638 vsize=11128580 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/18645/task/18791/stat : 18791 (java) S 18638 18645 9020 0 -1 1077944384 1481 12546 0 0 57 70 9 4 20 0 22 0 7022708 11395665920 322795 33554432000 4194304 4196468 140737264478048 139728371309232 139729175341698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29421568 140737264487105 140737264489879 140737264489879 140737264492495 0
Current children cumulated CPU time (s) 2400.95
Current children cumulated vsize (KiB) 11128580
Child status: 143
Real time (s): 2333.83
CPU time (s): 2401
CPU user time (s): 2396.19
CPU system time (s): 4.80424
CPU usage (%): 102.878
Max. virtual memory (cumulated for all children) (KiB): 11128580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.19
system time used= 4.80424
maximum resident set size= 1291724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246998
page faults= 1
swaps= 0
block input operations= 184
block output operations= 2720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 326808
involuntary context switches= 188003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9036 second user time and 17.8495 second system time
The end