runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15359 MiB free)
memory of node 1: 16384 MiB (14492 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272984-1502898022/watcher-4272984-1502898022 -o /tmp/evaluation-result-4272984-1502898022/solver-4272984-1502898022 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502894719-22567 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 459652732 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4272984-1502898022.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22890, runsolver pid=22887
Current StackSize limit: 8192 KiB
[startup+0.104677 s]*
/proc/loadavg: 1.90 2.00 1.94 3/199 22896
/proc/meminfo: memFree=30562344/32770624 swapFree=67105588/67108860
[pid=22890] ppid=22887 vsize=13573664 memory=18112 CPUtime=0.02 cores=0,2,4,6
/proc/22890/stat : 22890 (java) S 22887 22890 12560 0 -1 1077944320 3898 0 0 0 2 0 0 0 20 0 9 0 91997481 13899431936 4528 18446744073709551615 4194304 4196468 140724839590352 140724839572896 140368289226487 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
/proc/22890/statm: 3393416 4528 2073 1 0 3382913 0
[pid=22890/tid=22892] ppid=22887 vsize=13573664 memory=-6879508478988476023 CPUtime=0.01 cores=0,2,4,6
/proc/22890/task/22892/stat : 22892 (java) R 22887 22890 12560 0 -1 4202560 2529 0 0 0 1 0 0 0 20 0 9 0 91997489 13899431936 4528 18446744073709551615 4194304 4196468 140724839590352 140368293467280 140368270875435 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22893] ppid=22887 vsize=13573664 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22893/stat : 22893 (java) S 22887 22890 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 91997490 13899431936 4528 18446744073709551615 4194304 4196468 140724839590352 140368256785296 140368289236693 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22894] ppid=22887 vsize=13573664 memory=140540971017856 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22894/stat : 22894 (java) S 22887 22890 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 91997490 13899431936 4528 18446744073709551615 4194304 4196468 140724839590352 140367888468752 140368289236693 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22895] ppid=22887 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22895/stat : 22895 (java) S 22887 22890 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 91997490 13899431936 4528 18446744073709551615 4194304 4196468 140724839590352 140367887416464 140368289236693 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22896] ppid=22887 vsize=13573664 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22896/stat : 22896 (java) S 22887 22890 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 91997490 13899431936 4528 18446744073709551615 4194304 4196468 140724839590352 140367886363664 140368289236693 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22897] ppid=22887 vsize=13573664 memory=140540971017856 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22897/stat : 22897 (java) S 22887 22890 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 91997492 13899431936 4528 18446744073709551615 4194304 4196468 140724839590352 140367206115440 140368289237634 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22898] ppid=22887 vsize=13573664 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22898/stat : 22898 (java) S 22887 22890 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 91997492 13899431936 4528 18446744073709551615 4194304 4196468 140724839590352 140367205061408 140368289236693 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22899] ppid=22887 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22899/stat : 22899 (java) S 22887 22890 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 91997492 13899431936 4528 18446744073709551615 4194304 4196468 140724839590352 140367204009136 140368289236693 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 18112 KiB
[startup+0.21002 s]*
/proc/loadavg: 1.90 2.00 1.94 6/208 22905
/proc/meminfo: memFree=30506260/32770624 swapFree=67105588/67108860
[pid=22890] ppid=22887 vsize=13975920 memory=29512 CPUtime=0.09 cores=0,2,4,6
/proc/22890/stat : 22890 (java) S 22887 22890 12560 0 -1 1077944320 6698 0 0 0 8 1 0 0 20 0 15 0 91997481 14311342080 7378 18446744073709551615 4194304 4196468 140724839590352 140724839572896 140368289226487 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
/proc/22890/statm: 3493980 7378 3353 1 0 3482759 0
[pid=22890/tid=22892] ppid=22887 vsize=13975920 memory=8390339637985935414 CPUtime=0.07 cores=0,2,4,6
/proc/22890/task/22892/stat : 22892 (java) R 22887 22890 12560 0 -1 4202560 4777 0 0 0 7 0 0 0 20 0 15 0 91997489 14311342080 7378 18446744073709551615 4194304 4196468 140724839590352 140368293430032 140368289248413 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22893] ppid=22887 vsize=13975920 memory=288230591823085591 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22893/stat : 22893 (java) S 22887 22890 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91997490 14311342080 7378 18446744073709551615 4194304 4196468 140724839590352 140368256785296 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22894] ppid=22887 vsize=13975920 memory=3833325259225523872 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22894/stat : 22894 (java) S 22887 22890 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91997490 14311342080 7378 18446744073709551615 4194304 4196468 140724839590352 140367888468752 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22895] ppid=22887 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22895/stat : 22895 (java) S 22887 22890 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91997490 14311342080 7378 18446744073709551615 4194304 4196468 140724839590352 140367887416464 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22896] ppid=22887 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22896/stat : 22896 (java) S 22887 22890 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91997490 14311342080 7378 18446744073709551615 4194304 4196468 140724839590352 140367886363664 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22897] ppid=22887 vsize=13975920 memory=140540971017856 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22897/stat : 22897 (java) S 22887 22890 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91997492 14311342080 7378 18446744073709551615 4194304 4196468 140724839590352 140367206115440 140368289237634 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22898] ppid=22887 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22898/stat : 22898 (java) S 22887 22890 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 91997492 14311342080 7378 18446744073709551615 4194304 4196468 140724839590352 140367205061408 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22899] ppid=22887 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22899/stat : 22899 (java) S 22887 22890 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 91997492 14311342080 7378 18446744073709551615 4194304 4196468 140724839590352 140367204009072 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22900] ppid=22887 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22900/stat : 22900 (java) S 22887 22890 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91997495 14311342080 7378 18446744073709551615 4194304 4196468 140724839590352 140367202957392 140368289245083 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22901] ppid=22887 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22901/stat : 22901 (java) S 22887 22890 12560 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 91997495 14311342080 7378 18446744073709551615 4194304 4196468 140724839590352 140367201905264 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22902] ppid=22887 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22902/stat : 22902 (java) S 22887 22890 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91997495 14311342080 7378 18446744073709551615 4194304 4196468 140724839590352 140367200852464 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22903] ppid=22887 vsize=13975920 memory=140540971017856 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22903/stat : 22903 (java) R 22887 22890 12560 0 -1 4202560 238 0 0 0 0 0 0 0 20 0 15 0 91997495 14311342080 7378 18446744073709551615 4194304 4196468 140724839590352 140367199800176 140368268625034 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22904] ppid=22887 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22904/stat : 22904 (java) S 22887 22890 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91997495 14311342080 7378 18446744073709551615 4194304 4196468 140724839590352 140367198747616 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22905] ppid=22887 vsize=13975920 memory=140540971017856 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22905/stat : 22905 (java) S 22887 22890 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91997500 14311342080 7378 18446744073709551615 4194304 4196468 140724839590352 140367197694384 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 29512 KiB
[startup+0.310195 s]*
/proc/loadavg: 1.90 2.00 1.94 4/208 22905
/proc/meminfo: memFree=30495936/32770624 swapFree=67105588/67108860
[pid=22890] ppid=22887 vsize=13975920 memory=39640 CPUtime=0.25 cores=0,2,4,6
/proc/22890/stat : 22890 (java) S 22887 22890 12560 0 -1 1077944320 10416 0 0 0 22 3 0 0 20 0 15 0 91997481 14311342080 9910 18446744073709551615 4194304 4196468 140724839590352 140724839572896 140368289226487 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
/proc/22890/statm: 3493980 9910 3544 1 0 3482759 0
[pid=22890/tid=22892] ppid=22887 vsize=13975920 memory=-8774313645642428999 CPUtime=0.17 cores=0,2,4,6
/proc/22890/task/22892/stat : 22892 (java) R 22887 22890 12560 0 -1 1077944384 8147 0 0 0 15 2 0 0 20 0 15 0 91997489 14311342080 9910 18446744073709551615 4194304 4196468 140724839590352 140368293426272 140368281905709 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22893] ppid=22887 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22893/stat : 22893 (java) S 22887 22890 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91997490 14311342080 9910 18446744073709551615 4194304 4196468 140724839590352 140368256785296 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22894] ppid=22887 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22894/stat : 22894 (java) S 22887 22890 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91997490 14312390656 9910 18446744073709551615 4194304 4196468 140724839590352 140367888468752 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22895] ppid=22887 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22895/stat : 22895 (java) S 22887 22890 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91997490 14312390656 9910 18446744073709551615 4194304 4196468 140724839590352 140367887416464 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22896] ppid=22887 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22896/stat : 22896 (java) S 22887 22890 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91997490 14311342080 9910 18446744073709551615 4194304 4196468 140724839590352 140367886363664 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22897] ppid=22887 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22897/stat : 22897 (java) S 22887 22890 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 91997492 14311342080 9910 18446744073709551615 4194304 4196468 140724839590352 140367206115440 140368289237634 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22898] ppid=22887 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22898/stat : 22898 (java) S 22887 22890 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 91997492 14311342080 9910 18446744073709551615 4194304 4196468 140724839590352 140367205061408 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22899] ppid=22887 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22899/stat : 22899 (java) S 22887 22890 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 91997492 14312390656 9910 18446744073709551615 4194304 4196468 140724839590352 140367204009072 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22900] ppid=22887 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22900/stat : 22900 (java) S 22887 22890 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91997495 14312390656 9910 18446744073709551615 4194304 4196468 140724839590352 140367202957392 140368289245083 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22901] ppid=22887 vsize=13976944 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22890/task/22901/stat : 22901 (java) S 22887 22890 12560 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 15 0 91997495 14312390656 9910 18446744073709551615 4194304 4196468 140724839590352 140367201905264 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22902] ppid=22887 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22902/stat : 22902 (java) S 22887 22890 12560 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 91997495 14311342080 9910 18446744073709551615 4194304 4196468 140724839590352 140367200852464 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22903] ppid=22887 vsize=13975920 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/22890/task/22903/stat : 22903 (java) S 22887 22890 12560 0 -1 1077944384 404 0 0 0 4 0 0 0 20 0 15 0 91997495 14311342080 9910 18446744073709551615 4194304 4196468 140724839590352 140367199800176 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22904] ppid=22887 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22904/stat : 22904 (java) S 22887 22890 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91997495 14311342080 9910 18446744073709551615 4194304 4196468 140724839590352 140367198747616 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22905] ppid=22887 vsize=13976944 memory=140540971017856 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22905/stat : 22905 (java) S 22887 22890 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91997500 14312390656 9910 18446744073709551615 4194304 4196468 140724839590352 140367197694384 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39640 KiB
[startup+0.700689 s]
/proc/loadavg: 1.90 2.00 1.94 4/208 22905
/proc/meminfo: memFree=30479932/32770624 swapFree=67105588/67108860
[pid=22890] ppid=22887 vsize=13977988 memory=69004 CPUtime=1.06 cores=0,2,4,6
/proc/22890/stat : 22890 (java) S 22887 22890 12560 0 -1 1077944320 14502 0 0 0 101 5 0 0 20 0 15 0 91997481 14313459712 17251 18446744073709551615 4194304 4196468 140724839590352 140724839572896 140368289226487 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
/proc/22890/statm: 3494497 17251 3732 1 0 3483271 0
[pid=22890/tid=22892] ppid=22887 vsize=13977988 memory=118 CPUtime=0.55 cores=0,2,4,6
/proc/22890/task/22892/stat : 22892 (java) R 22887 22890 12560 0 -1 4202560 10379 0 0 0 52 3 0 0 20 0 15 0 91997489 14313459712 17251 18446744073709551615 4194304 4196468 140724839590352 140368293454624 140368289248413 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22893] ppid=22887 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22893/stat : 22893 (java) S 22887 22890 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91997490 14313459712 17251 18446744073709551615 4194304 4196468 140724839590352 140368256785296 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22894] ppid=22887 vsize=13977988 memory=33 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22894/stat : 22894 (java) S 22887 22890 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91997490 14313459712 17251 18446744073709551615 4194304 4196468 140724839590352 140367888468752 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22895] ppid=22887 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22895/stat : 22895 (java) S 22887 22890 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91997490 14313459712 17251 18446744073709551615 4194304 4196468 140724839590352 140367887416464 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22896] ppid=22887 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22896/stat : 22896 (java) S 22887 22890 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91997490 14313459712 17251 18446744073709551615 4194304 4196468 140724839590352 140367886363664 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22897] ppid=22887 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22897/stat : 22897 (java) S 22887 22890 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 91997492 14313459712 17251 18446744073709551615 4194304 4196468 140724839590352 140367206115440 140368289237634 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22898] ppid=22887 vsize=13977988 memory=872 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22898/stat : 22898 (java) S 22887 22890 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 91997492 14313459712 17251 18446744073709551615 4194304 4196468 140724839590352 140367205061408 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22899] ppid=22887 vsize=13977988 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22899/stat : 22899 (java) S 22887 22890 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 91997492 14313459712 17251 18446744073709551615 4194304 4196468 140724839590352 140367204009072 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22900] ppid=22887 vsize=13977988 memory=1164 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22900/stat : 22900 (java) S 22887 22890 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91997495 14313459712 17251 18446744073709551615 4194304 4196468 140724839590352 140367202957392 140368289245083 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22901] ppid=22887 vsize=13977988 memory=7300 CPUtime=0.13 cores=0,2,4,6
/proc/22890/task/22901/stat : 22901 (java) R 22887 22890 12560 0 -1 4202560 1152 0 0 0 13 0 0 0 20 0 15 0 91997495 14313459712 17251 18446744073709551615 4194304 4196468 140724839590352 140367201886280 140368270770204 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22902] ppid=22887 vsize=13977988 memory=1628 CPUtime=0.12 cores=0,2,4,6
/proc/22890/task/22902/stat : 22902 (java) R 22887 22890 12560 0 -1 1077944384 707 0 0 0 12 0 0 0 20 0 15 0 91997495 14313459712 17251 18446744073709551615 4194304 4196468 140724839590352 140367200852464 140368289237634 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22903] ppid=22887 vsize=13977988 memory=17777 CPUtime=0.22 cores=0,2,4,6
/proc/22890/task/22903/stat : 22903 (java) R 22887 22890 12560 0 -1 4202560 911 0 0 0 22 0 0 0 20 0 15 0 91997495 14313459712 17251 18446744073709551615 4194304 4196468 140724839590352 140367199800176 140368289247834 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22904] ppid=22887 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22904/stat : 22904 (java) S 22887 22890 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91997495 14313459712 17251 18446744073709551615 4194304 4196468 140724839590352 140367198747616 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22905] ppid=22887 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22905/stat : 22905 (java) S 22887 22890 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91997500 14313459712 17251 18446744073709551615 4194304 4196468 140724839590352 140367197694384 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 69004 KiB
[startup+1.50168 s]
/proc/loadavg: 1.90 2.00 1.94 6/208 22905
/proc/meminfo: memFree=30305804/32770624 swapFree=67105588/67108860
[pid=22890] ppid=22887 vsize=13982084 memory=219472 CPUtime=3.39 cores=0,2,4,6
/proc/22890/stat : 22890 (java) S 22887 22890 12560 0 -1 1077944320 30403 0 0 0 329 10 0 0 20 0 15 0 91997481 14317654016 54868 18446744073709551615 4194304 4196468 140724839590352 140724839572896 140368289226487 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
/proc/22890/statm: 3495521 54868 3779 1 0 3484295 0
[pid=22890/tid=22892] ppid=22887 vsize=13982084 memory=6944656592455360604 CPUtime=1.34 cores=0,2,4,6
/proc/22890/task/22892/stat : 22892 (java) R 22887 22890 12560 0 -1 4202560 15761 0 0 0 128 6 0 0 20 0 15 0 91997489 14317654016 54868 18446744073709551615 4194304 4196468 140724839590352 140368293463800 140367935665053 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22893] ppid=22887 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22893/stat : 22893 (java) S 22887 22890 12560 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 91997490 14317654016 54868 18446744073709551615 4194304 4196468 140724839590352 140368256785296 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22894] ppid=22887 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22894/stat : 22894 (java) S 22887 22890 12560 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 91997490 14317654016 54868 18446744073709551615 4194304 4196468 140724839590352 140367888468752 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22895] ppid=22887 vsize=13982084 memory=281081719063488 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22895/stat : 22895 (java) S 22887 22890 12560 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 15 0 91997490 14317654016 54868 18446744073709551615 4194304 4196468 140724839590352 140367887416464 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22896] ppid=22887 vsize=13982084 memory=576461252204721717 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22896/stat : 22896 (java) S 22887 22890 12560 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 15 0 91997490 14317654016 54868 18446744073709551615 4194304 4196468 140724839590352 140367886363664 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22897] ppid=22887 vsize=13982084 memory=288292194488698652 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22897/stat : 22897 (java) S 22887 22890 12560 0 -1 1077944384 187 0 0 0 0 0 0 0 20 0 15 0 91997492 14317654016 54868 18446744073709551615 4194304 4196468 140724839590352 140367206115440 140368289237634 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22898] ppid=22887 vsize=13982084 memory=486296 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22898/stat : 22898 (java) S 22887 22890 12560 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 91997492 14317654016 54868 18446744073709551615 4194304 4196468 140724839590352 140367205061408 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22899] ppid=22887 vsize=13982084 memory=33 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22899/stat : 22899 (java) S 22887 22890 12560 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 91997492 14317654016 54868 18446744073709551615 4194304 4196468 140724839590352 140367204009072 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22900] ppid=22887 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22900/stat : 22900 (java) S 22887 22890 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91997495 14317654016 54868 18446744073709551615 4194304 4196468 140724839590352 140367202957392 140368289245083 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22901] ppid=22887 vsize=13982084 memory=0 CPUtime=0.74 cores=0,2,4,6
/proc/22890/task/22901/stat : 22901 (java) R 22887 22890 12560 0 -1 4202560 4519 0 0 0 74 0 0 0 20 0 15 0 91997495 14317654016 54868 18446744073709551615 4194304 4196468 140724839590352 140367201886280 140368268882896 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22902] ppid=22887 vsize=13982084 memory=0 CPUtime=0.72 cores=0,2,4,6
/proc/22890/task/22902/stat : 22902 (java) R 22887 22890 12560 0 -1 4202560 4182 0 0 0 71 1 0 0 20 0 15 0 91997495 14317654016 54868 18446744073709551615 4194304 4196468 140724839590352 140367200833688 140368272757970 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22903] ppid=22887 vsize=13982084 memory=281081718959616 CPUtime=0.53 cores=0,2,4,6
/proc/22890/task/22903/stat : 22903 (java) S 22887 22890 12560 0 -1 1077944384 3699 0 0 0 52 1 0 0 20 0 15 0 91997495 14317654016 54868 18446744073709551615 4194304 4196468 140724839590352 140367199800176 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
################
# More data... #
################
/proc/22890/task/22892/stat : 22892 (java) R 22887 22890 12560 0 -1 4202560 100149 0 0 0 235392 66 0 0 20 0 15 0 91997489 14317654016 216573 18446744073709551615 4194304 4196468 140724839590352 140368293464768 140367935664968 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22893] ppid=22887 vsize=13982084 memory=872960 CPUtime=15.9 cores=0,2,4,6
/proc/22890/task/22893/stat : 22893 (java) S 22887 22890 12560 0 -1 1077944384 16463 0 0 0 1505 85 0 0 20 0 15 0 91997490 14317654016 216573 18446744073709551615 4194304 4196468 140724839590352 140368256785296 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22894] ppid=22887 vsize=13982084 memory=901688 CPUtime=15.9 cores=0,2,4,6
/proc/22890/task/22894/stat : 22894 (java) S 22887 22890 12560 0 -1 1077944384 17820 0 0 0 1502 88 0 0 20 0 15 0 91997490 14317654016 216573 18446744073709551615 4194304 4196468 140724839590352 140367888468752 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22895] ppid=22887 vsize=13982084 memory=884760 CPUtime=15.9 cores=0,2,4,6
/proc/22890/task/22895/stat : 22895 (java) S 22887 22890 12560 0 -1 1077944384 17374 0 0 0 1502 88 0 0 20 0 15 0 91997490 14317654016 216573 18446744073709551615 4194304 4196468 140724839590352 140367887416464 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22896] ppid=22887 vsize=13982084 memory=164 CPUtime=15.89 cores=0,2,4,6
/proc/22890/task/22896/stat : 22896 (java) S 22887 22890 12560 0 -1 1077944384 18557 0 0 0 1501 88 0 0 20 0 15 0 91997490 14317654016 216573 18446744073709551615 4194304 4196468 140724839590352 140367886363664 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22897] ppid=22887 vsize=13982084 memory=867316 CPUtime=8 cores=0,2,4,6
/proc/22890/task/22897/stat : 22897 (java) S 22887 22890 12560 0 -1 1077944384 26841 0 0 0 722 78 0 0 20 0 15 0 91997492 14317654016 216573 18446744073709551615 4194304 4196468 140724839590352 140367206115440 140368289237634 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22898] ppid=22887 vsize=13982084 memory=866804 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22898/stat : 22898 (java) S 22887 22890 12560 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 91997492 14317654016 216573 18446744073709551615 4194304 4196468 140724839590352 140367205061472 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22899] ppid=22887 vsize=13982084 memory=866292 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22899/stat : 22899 (java) S 22887 22890 12560 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 91997492 14317654016 216573 18446744073709551615 4194304 4196468 140724839590352 140367204009088 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22900] ppid=22887 vsize=13982084 memory=990944 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22900/stat : 22900 (java) S 22887 22890 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91997495 14317654016 216573 18446744073709551615 4194304 4196468 140724839590352 140367202957392 140368289245083 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22901] ppid=22887 vsize=13982084 memory=866804 CPUtime=2.29 cores=0,2,4,6
/proc/22890/task/22901/stat : 22901 (java) S 22887 22890 12560 0 -1 1077944384 26803 0 0 0 226 3 0 0 20 0 15 0 91997495 14317654016 216573 18446744073709551615 4194304 4196468 140724839590352 140367201905264 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22902] ppid=22887 vsize=13982084 memory=196692322333410 CPUtime=2.41 cores=0,2,4,6
/proc/22890/task/22902/stat : 22902 (java) S 22887 22890 12560 0 -1 1077944384 27543 0 0 0 238 3 0 0 20 0 15 0 91997495 14317654016 216573 18446744073709551615 4194304 4196468 140724839590352 140367200852464 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22903] ppid=22887 vsize=13982084 memory=867828 CPUtime=0.85 cores=0,2,4,6
/proc/22890/task/22903/stat : 22903 (java) S 22887 22890 12560 0 -1 1077944384 24246 0 0 0 81 4 0 0 20 0 15 0 91997495 14317654016 216573 18446744073709551615 4194304 4196468 140724839590352 140367199800176 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22904] ppid=22887 vsize=13982084 memory=3192 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22904/stat : 22904 (java) S 22887 22890 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91997495 14317654016 216573 18446744073709551615 4194304 4196468 140724839590352 140367198747616 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22905] ppid=22887 vsize=13982084 memory=872448 CPUtime=1.54 cores=0,2,4,6
/proc/22890/task/22905/stat : 22905 (java) S 22887 22890 12560 0 -1 1077944384 1651 0 0 0 82 72 0 0 20 0 15 0 91997500 14317654016 216573 18446744073709551615 4194304 4196468 140724839590352 140367197694384 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
Current children cumulated CPU time: 2433.34 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 866292 KiB
[startup+2442.3 s]
/proc/loadavg: 1.37 1.39 1.41 3/209 23119
/proc/meminfo: memFree=30211604/32770624 swapFree=67105588/67108860
[pid=22890] ppid=22887 vsize=13982084 memory=824680 CPUtime=2494.53 cores=0,2,4,6
/proc/22890/stat : 22890 (java) S 22887 22890 12560 0 -1 1077944320 282456 0 0 0 248945 508 0 0 20 0 15 0 91997481 14317654016 206170 18446744073709551615 4194304 4196468 140724839590352 140724839572896 140368289226487 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
/proc/22890/statm: 3495521 206170 3836 1 0 3484295 0
[pid=22890/tid=22892] ppid=22887 vsize=13982084 memory=827244 CPUtime=2413.83 cores=0,2,4,6
/proc/22890/task/22892/stat : 22892 (java) R 22887 22890 12560 0 -1 4202560 101014 0 0 0 241317 66 0 0 20 0 15 0 91997489 14317654016 206170 18446744073709551615 4194304 4196468 140724839590352 140368293464992 140367935408960 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22893] ppid=22887 vsize=13982084 memory=831348 CPUtime=16.3 cores=0,2,4,6
/proc/22890/task/22893/stat : 22893 (java) S 22887 22890 12560 0 -1 1077944384 16678 0 0 0 1544 86 0 0 20 0 15 0 91997490 14317654016 206170 18446744073709551615 4194304 4196468 140724839590352 140368256785296 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22894] ppid=22887 vsize=13982084 memory=825704 CPUtime=16.31 cores=0,2,4,6
/proc/22890/task/22894/stat : 22894 (java) S 22887 22890 12560 0 -1 1077944384 18004 0 0 0 1542 89 0 0 20 0 15 0 91997490 14317654016 206170 18446744073709551615 4194304 4196468 140724839590352 140367888468752 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22895] ppid=22887 vsize=13982084 memory=824680 CPUtime=16.31 cores=0,2,4,6
/proc/22890/task/22895/stat : 22895 (java) S 22887 22890 12560 0 -1 1077944384 17517 0 0 0 1542 89 0 0 20 0 15 0 91997490 14317654016 206170 18446744073709551615 4194304 4196468 140724839590352 140367887416464 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22896] ppid=22887 vsize=13982084 memory=990944 CPUtime=16.29 cores=0,2,4,6
/proc/22890/task/22896/stat : 22896 (java) S 22887 22890 12560 0 -1 1077944384 18638 0 0 0 1540 89 0 0 20 0 15 0 91997490 14317654016 206170 18446744073709551615 4194304 4196468 140724839590352 140367886363664 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22897] ppid=22887 vsize=13982084 memory=2760 CPUtime=8.21 cores=0,2,4,6
/proc/22890/task/22897/stat : 22897 (java) S 22887 22890 12560 0 -1 1077944384 28626 0 0 0 741 80 0 0 20 0 15 0 91997492 14317654016 206170 18446744073709551615 4194304 4196468 140724839590352 140367206115440 140368289237634 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22898] ppid=22887 vsize=13982084 memory=843660 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22898/stat : 22898 (java) S 22887 22890 12560 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 91997492 14317654016 206170 18446744073709551615 4194304 4196468 140724839590352 140367205061472 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22899] ppid=22887 vsize=13982084 memory=825192 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22899/stat : 22899 (java) S 22887 22890 12560 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 91997492 14317654016 206170 18446744073709551615 4194304 4196468 140724839590352 140367204009088 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22900] ppid=22887 vsize=13982084 memory=825704 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22900/stat : 22900 (java) S 22887 22890 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91997495 14317654016 206170 18446744073709551615 4194304 4196468 140724839590352 140367202957392 140368289245083 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22901] ppid=22887 vsize=13982084 memory=825704 CPUtime=2.32 cores=0,2,4,6
/proc/22890/task/22901/stat : 22901 (java) S 22887 22890 12560 0 -1 1077944384 26925 0 0 0 229 3 0 0 20 0 15 0 91997495 14317654016 206170 18446744073709551615 4194304 4196468 140724839590352 140367201905264 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22902] ppid=22887 vsize=13982084 memory=956 CPUtime=2.41 cores=0,2,4,6
/proc/22890/task/22902/stat : 22902 (java) S 22887 22890 12560 0 -1 1077944384 27598 0 0 0 238 3 0 0 20 0 15 0 91997495 14317654016 206170 18446744073709551615 4194304 4196468 140724839590352 140367200852464 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22903] ppid=22887 vsize=13982084 memory=1232 CPUtime=0.85 cores=0,2,4,6
/proc/22890/task/22903/stat : 22903 (java) S 22887 22890 12560 0 -1 1077944384 24314 0 0 0 81 4 0 0 20 0 15 0 91997495 14317654016 206170 18446744073709551615 4194304 4196468 140724839590352 140367199800176 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22904] ppid=22887 vsize=13982084 memory=826732 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22904/stat : 22904 (java) S 22887 22890 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91997495 14317654016 206170 18446744073709551615 4194304 4196468 140724839590352 140367198747616 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22905] ppid=22887 vsize=13982084 memory=7300 CPUtime=1.59 cores=0,2,4,6
/proc/22890/task/22905/stat : 22905 (java) S 22887 22890 12560 0 -1 1077944384 1669 0 0 0 85 74 0 0 20 0 15 0 91997500 14317654016 206170 18446744073709551615 4194304 4196468 140724839590352 140367197694384 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
Current children cumulated CPU time: 2494.53 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 824680 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2467.3 s]
/proc/loadavg: 1.33 1.38 1.40 3/209 23119
/proc/meminfo: memFree=30182948/32770624 swapFree=67105588/67108860
[pid=22890] ppid=22887 vsize=13982084 memory=805748 CPUtime=2520.05 cores=0,2,4,6
/proc/22890/stat : 22890 (java) S 22887 22890 12560 0 -1 1077944320 283231 0 0 0 251493 512 0 0 20 0 15 0 91997481 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140724839572896 140368289226487 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
/proc/22890/statm: 3495521 201437 3836 1 0 3484295 0
[pid=22890/tid=22892] ppid=22887 vsize=13982084 memory=805748 CPUtime=2438.55 cores=0,2,4,6
/proc/22890/task/22892/stat : 22892 (java) R 22887 22890 12560 0 -1 4202560 101446 0 0 0 243788 67 0 0 20 0 15 0 91997489 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140368293465088 140367935409538 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22893] ppid=22887 vsize=13982084 memory=806772 CPUtime=16.47 cores=0,2,4,6
/proc/22890/task/22893/stat : 22893 (java) S 22887 22890 12560 0 -1 1077944384 16686 0 0 0 1560 87 0 0 20 0 15 0 91997490 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140368256785296 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22894] ppid=22887 vsize=13982084 memory=807284 CPUtime=16.48 cores=0,2,4,6
/proc/22890/task/22894/stat : 22894 (java) S 22887 22890 12560 0 -1 1077944384 18020 0 0 0 1559 89 0 0 20 0 15 0 91997490 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140367888468752 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22895] ppid=22887 vsize=13982084 memory=812928 CPUtime=16.48 cores=0,2,4,6
/proc/22890/task/22895/stat : 22895 (java) S 22887 22890 12560 0 -1 1077944384 17525 0 0 0 1558 90 0 0 20 0 15 0 91997490 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140367887416464 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22896] ppid=22887 vsize=13982084 memory=809852 CPUtime=16.47 cores=0,2,4,6
/proc/22890/task/22896/stat : 22896 (java) S 22887 22890 12560 0 -1 1077944384 18647 0 0 0 1557 90 0 0 20 0 15 0 91997490 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140367886363664 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22897] ppid=22887 vsize=13982084 memory=813440 CPUtime=8.3 cores=0,2,4,6
/proc/22890/task/22897/stat : 22897 (java) S 22887 22890 12560 0 -1 1077944384 28631 0 0 0 749 81 0 0 20 0 15 0 91997492 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140367206115440 140368289237634 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22898] ppid=22887 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22898/stat : 22898 (java) S 22887 22890 12560 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 91997492 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140367205061472 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22899] ppid=22887 vsize=13982084 memory=820064 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22899/stat : 22899 (java) S 22887 22890 12560 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 91997492 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140367204009088 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22900] ppid=22887 vsize=13982084 memory=805748 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22900/stat : 22900 (java) S 22887 22890 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91997495 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140367202957392 140368289245083 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22901] ppid=22887 vsize=13982084 memory=805748 CPUtime=2.32 cores=0,2,4,6
/proc/22890/task/22901/stat : 22901 (java) S 22887 22890 12560 0 -1 1077944384 26957 0 0 0 229 3 0 0 20 0 15 0 91997495 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140367201905264 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22902] ppid=22887 vsize=13982084 memory=807284 CPUtime=2.43 cores=0,2,4,6
/proc/22890/task/22902/stat : 22902 (java) S 22887 22890 12560 0 -1 1077944384 27862 0 0 0 240 3 0 0 20 0 15 0 91997495 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140367200852464 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22903] ppid=22887 vsize=13982084 memory=3192 CPUtime=0.85 cores=0,2,4,6
/proc/22890/task/22903/stat : 22903 (java) S 22887 22890 12560 0 -1 1077944384 24314 0 0 0 81 4 0 0 20 0 15 0 91997495 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140367199800176 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22904] ppid=22887 vsize=13982084 memory=806772 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22904/stat : 22904 (java) S 22887 22890 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91997495 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140367198747616 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22905] ppid=22887 vsize=13982084 memory=806772 CPUtime=1.6 cores=0,2,4,6
/proc/22890/task/22905/stat : 22905 (java) S 22887 22890 12560 0 -1 1077944384 1670 0 0 0 86 74 0 0 20 0 15 0 91997500 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140367197694384 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 805748 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2467.33 s]
# the end of solver process 22890 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.95 s, system=5.12664 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2467.3 s]
/proc/loadavg: 1.33 1.38 1.40 3/209 23119
/proc/meminfo: memFree=30182948/32770624 swapFree=67105588/67108860
[pid=22890] ppid=22887 vsize=13982084 memory=805748 CPUtime=2520.05 cores=0,2,4,6
/proc/22890/stat : 22890 (java) S 22887 22890 12560 0 -1 1077944320 283231 0 0 0 251493 512 0 0 20 0 15 0 91997481 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140724839572896 140368289226487 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
/proc/22890/statm: 3495521 201437 3836 1 0 3484295 0
[pid=22890/tid=22892] ppid=22887 vsize=13982084 memory=805748 CPUtime=2438.55 cores=0,2,4,6
/proc/22890/task/22892/stat : 22892 (java) R 22887 22890 12560 0 -1 4202560 101446 0 0 0 243788 67 0 0 20 0 15 0 91997489 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140368293465088 140367935409538 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22893] ppid=22887 vsize=13982084 memory=806772 CPUtime=16.47 cores=0,2,4,6
/proc/22890/task/22893/stat : 22893 (java) S 22887 22890 12560 0 -1 1077944384 16686 0 0 0 1560 87 0 0 20 0 15 0 91997490 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140368256785296 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22894] ppid=22887 vsize=13982084 memory=807284 CPUtime=16.48 cores=0,2,4,6
/proc/22890/task/22894/stat : 22894 (java) S 22887 22890 12560 0 -1 1077944384 18020 0 0 0 1559 89 0 0 20 0 15 0 91997490 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140367888468752 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22895] ppid=22887 vsize=13982084 memory=812928 CPUtime=16.48 cores=0,2,4,6
/proc/22890/task/22895/stat : 22895 (java) S 22887 22890 12560 0 -1 1077944384 17525 0 0 0 1558 90 0 0 20 0 15 0 91997490 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140367887416464 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22896] ppid=22887 vsize=13982084 memory=809852 CPUtime=16.47 cores=0,2,4,6
/proc/22890/task/22896/stat : 22896 (java) S 22887 22890 12560 0 -1 1077944384 18647 0 0 0 1557 90 0 0 20 0 15 0 91997490 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140367886363664 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22897] ppid=22887 vsize=13982084 memory=813440 CPUtime=8.3 cores=0,2,4,6
/proc/22890/task/22897/stat : 22897 (java) S 22887 22890 12560 0 -1 1077944384 28631 0 0 0 749 81 0 0 20 0 15 0 91997492 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140367206115440 140368289237634 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22898] ppid=22887 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22898/stat : 22898 (java) S 22887 22890 12560 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 91997492 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140367205061472 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22899] ppid=22887 vsize=13982084 memory=820064 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22899/stat : 22899 (java) S 22887 22890 12560 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 91997492 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140367204009088 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22900] ppid=22887 vsize=13982084 memory=805748 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22900/stat : 22900 (java) S 22887 22890 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91997495 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140367202957392 140368289245083 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22901] ppid=22887 vsize=13982084 memory=805748 CPUtime=2.32 cores=0,2,4,6
/proc/22890/task/22901/stat : 22901 (java) S 22887 22890 12560 0 -1 1077944384 26957 0 0 0 229 3 0 0 20 0 15 0 91997495 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140367201905264 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22902] ppid=22887 vsize=13982084 memory=807284 CPUtime=2.43 cores=0,2,4,6
/proc/22890/task/22902/stat : 22902 (java) S 22887 22890 12560 0 -1 1077944384 27862 0 0 0 240 3 0 0 20 0 15 0 91997495 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140367200852464 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22903] ppid=22887 vsize=13982084 memory=3192 CPUtime=0.85 cores=0,2,4,6
/proc/22890/task/22903/stat : 22903 (java) S 22887 22890 12560 0 -1 1077944384 24314 0 0 0 81 4 0 0 20 0 15 0 91997495 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140367199800176 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22904] ppid=22887 vsize=13982084 memory=806772 CPUtime=0 cores=0,2,4,6
/proc/22890/task/22904/stat : 22904 (java) S 22887 22890 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91997495 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140367198747616 140368289236693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
[pid=22890/tid=22905] ppid=22887 vsize=13982084 memory=806772 CPUtime=1.6 cores=0,2,4,6
/proc/22890/task/22905/stat : 22905 (java) S 22887 22890 12560 0 -1 1077944384 1670 0 0 0 86 74 0 0 20 0 15 0 91997500 14317654016 201437 18446744073709551615 4194304 4196468 140724839590352 140367197694384 140368289237634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25239552 140724839596405 140724839596585 140724839596585 140724839600079 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 805748 KiB
Child status: 143
Real time (s): 2467.33
CPU time (s): 2520.08
CPU user time (s): 2514.95
CPU system time (s): 5.12664
CPU usage (%): 102.138
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 2084464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.95
system time used= 5.12664
maximum resident set size= 2098548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283550
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 270393
involuntary context switches= 8796
# summary of solver processes directly reported to runsolver:
# pid: 22890
# total CPU time (s): 2520.08
# total CPU user time (s): 2514.95
# total CPU system time (s): 5.12664
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4329 second user time and 23.748 second system time
The end