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 (8754 MiB free)
memory of node 1: 16384 MiB (7585 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305190-1534140312/watcher-4305190-1534140312 -o /tmp/evaluation-result-4305190-1534140312/solver-4305190-1534140312 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534137835-2126 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=42963287 -superng HOME/instance-4305190-1534140312.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=2740, runsolver pid=2737
[startup+0.100201 s]*
/proc/loadavg: 1.58 1.45 1.46 7/209 2797
/proc/meminfo: memFree=16724528/32770624 swapFree=67108852/67108860
[pid=2740] ppid=2737 vsize=10005480 memory=16548 CPUtime=0.09 cores=1,3,5,7
/proc/2740/stat : 2740 (java) S 2737 2740 1500 0 -1 1077944320 4304 13294 0 0 1 0 5 3 20 0 6 0 231594377 10245611520 4137 33554432000 4194304 4196468 140722953912480 140722953895024 140296774680311 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
/proc/2740/statm: 2501370 4137 1932 1 0 2489808 0
[pid=2740/tid=2793] ppid=2737 vsize=10005480 memory=-8745273339715829695 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2793/stat : 2793 (java) R 2737 2740 1500 0 -1 4202560 2156 13294 0 0 0 0 5 3 20 0 6 0 231594387 10245611520 4203 33554432000 4194304 4196468 140722953912480 140296746517072 140296766917438 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2794] ppid=2737 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2794/stat : 2794 (java) S 2737 2740 1500 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 6 0 231594387 10245611520 4203 33554432000 4194304 4196468 140722953912480 140296778922640 140296774690517 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2795] ppid=2737 vsize=10005480 memory=140063175571072 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2795/stat : 2795 (java) S 2737 2740 1500 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 6 0 231594387 10245611520 4203 33554432000 4194304 4196468 140722953912480 140296660187664 140296774690517 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2796] ppid=2737 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2796/stat : 2796 (java) S 2737 2740 1500 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 6 0 231594387 10245611520 4203 33554432000 4194304 4196468 140722953912480 140296659134864 140296774690517 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2797] ppid=2737 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2797/stat : 2797 (java) S 2737 2740 1500 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 6 0 231594387 10245611520 4203 33554432000 4194304 4196468 140722953912480 140296658082064 140296774690517 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16548 KiB
[startup+0.210349 s]*
/proc/loadavg: 1.58 1.45 1.46 6/218 2806
/proc/meminfo: memFree=16687280/32770624 swapFree=67108852/67108860
[pid=2740] ppid=2737 vsize=10982744 memory=43944 CPUtime=0.26 cores=1,3,5,7
/proc/2740/stat : 2740 (java) S 2737 2740 1500 0 -1 1077944320 7704 13294 0 0 16 2 5 3 20 0 15 0 231594377 11246329856 10986 33554432000 4194304 4196468 140722953912480 140722953895024 140296774680311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
/proc/2740/statm: 2745686 10986 2948 1 0 2708109 0
[pid=2740/tid=2793] ppid=2737 vsize=10982744 memory=8514701219931451533 CPUtime=0.19 cores=1,3,5,7
/proc/2740/task/2793/stat : 2793 (java) R 2737 2740 1500 0 -1 4202560 4478 13294 0 0 10 1 5 3 20 0 15 0 231594387 11246329856 11184 33554432000 4194304 4196468 140722953912480 140296746477232 140296758760798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2794] ppid=2737 vsize=10982744 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2794/stat : 2794 (java) S 2737 2740 1500 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 231594387 11246329856 11184 33554432000 4194304 4196468 140722953912480 140296778922640 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2795] ppid=2737 vsize=10982744 memory=140063175571072 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2795/stat : 2795 (java) S 2737 2740 1500 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 231594387 11246329856 11184 33554432000 4194304 4196468 140722953912480 140296660187664 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2796] ppid=2737 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2796/stat : 2796 (java) S 2737 2740 1500 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 231594387 11246329856 11184 33554432000 4194304 4196468 140722953912480 140296659134864 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2797] ppid=2737 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2797/stat : 2797 (java) S 2737 2740 1500 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 231594387 11246329856 11184 33554432000 4194304 4196468 140722953912480 140296658082064 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2798] ppid=2737 vsize=10982744 memory=140063175571072 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2798/stat : 2798 (java) S 2737 2740 1500 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 231594389 11246329856 11184 33554432000 4194304 4196468 140722953912480 140296267692912 140296774691458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2799] ppid=2737 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2799/stat : 2799 (java) S 2737 2740 1500 0 -1 1077944384 13 13294 0 0 0 0 5 3 20 0 15 0 231594389 11246329856 11184 33554432000 4194304 4196468 140722953912480 140295523001888 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2800] ppid=2737 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2800/stat : 2800 (java) S 2737 2740 1500 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 231594390 11246329856 11184 33554432000 4194304 4196468 140722953912480 140295375152496 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2801] ppid=2737 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2801/stat : 2801 (java) S 2737 2740 1500 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 231594392 11246329856 11184 33554432000 4194304 4196468 140722953912480 140295067752784 140296774698907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2802] ppid=2737 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2740/task/2802/stat : 2802 (java) R 2737 2740 1500 0 -1 1077944384 362 13294 0 0 1 0 5 3 20 0 15 0 231594392 11246329856 11184 33554432000 4194304 4196468 140722953912480 140296266639728 140296774691458 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2803] ppid=2737 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/2740/task/2803/stat : 2803 (java) R 2737 2740 1500 0 -1 1077944384 244 13294 0 0 1 0 5 3 20 0 15 0 231594392 11246329856 11184 33554432000 4194304 4196468 140722953912480 140296265586928 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2804] ppid=2737 vsize=10982744 memory=140063175571072 CPUtime=0.1 cores=1,3,5,7
/proc/2740/task/2804/stat : 2804 (java) S 2737 2740 1500 0 -1 1077944384 613 13294 0 0 2 0 5 3 20 0 15 0 231594392 11246329856 11184 33554432000 4194304 4196468 140722953912480 140296264534128 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2805] ppid=2737 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2805/stat : 2805 (java) S 2737 2740 1500 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 231594392 11246329856 11184 33554432000 4194304 4196468 140722953912480 140294636955872 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2806] ppid=2737 vsize=10982744 memory=140063175571072 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2806/stat : 2806 (java) S 2737 2740 1500 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 231594393 11246329856 11184 33554432000 4194304 4196468 140722953912480 140296263482544 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43944 KiB
[startup+0.310481 s]*
/proc/loadavg: 1.58 1.45 1.46 5/218 2806
/proc/meminfo: memFree=16674380/32770624 swapFree=67108852/67108860
[pid=2740] ppid=2737 vsize=10983192 memory=55440 CPUtime=0.39 cores=1,3,5,7
/proc/2740/stat : 2740 (java) S 2737 2740 1500 0 -1 1077944320 10428 13294 0 0 28 3 5 3 20 0 15 0 231594377 11246788608 13860 33554432000 4194304 4196468 140722953912480 140722953895024 140296774680311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
/proc/2740/statm: 2745798 13860 3067 1 0 2708109 0
[pid=2740/tid=2793] ppid=2737 vsize=10983192 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/2740/task/2793/stat : 2793 (java) R 2737 2740 1500 0 -1 4202560 6983 13294 0 0 19 1 5 3 20 0 15 0 231594387 11246788608 13860 33554432000 4194304 4196468 140722953912480 140296746494032 140296774702237 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2794] ppid=2737 vsize=10983192 memory=7662137351800508496 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2794/stat : 2794 (java) S 2737 2740 1500 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 231594387 11246788608 13860 33554432000 4194304 4196468 140722953912480 140296778922640 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2795] ppid=2737 vsize=10983192 memory=2076 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2795/stat : 2795 (java) S 2737 2740 1500 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 231594387 11246788608 13860 33554432000 4194304 4196468 140722953912480 140296660187664 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2796] ppid=2737 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2796/stat : 2796 (java) S 2737 2740 1500 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 231594387 11246788608 13860 33554432000 4194304 4196468 140722953912480 140296659134864 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2797] ppid=2737 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2797/stat : 2797 (java) S 2737 2740 1500 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 231594387 11246788608 13860 33554432000 4194304 4196468 140722953912480 140296658082064 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2798] ppid=2737 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2798/stat : 2798 (java) S 2737 2740 1500 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 231594389 11246788608 13860 33554432000 4194304 4196468 140722953912480 140296267692912 140296774691458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2799] ppid=2737 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2799/stat : 2799 (java) S 2737 2740 1500 0 -1 1077944384 13 13294 0 0 0 0 5 3 20 0 15 0 231594389 11246788608 13860 33554432000 4194304 4196468 140722953912480 140295523001888 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2800] ppid=2737 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2800/stat : 2800 (java) S 2737 2740 1500 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 231594390 11246788608 13860 33554432000 4194304 4196468 140722953912480 140295375152496 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2801] ppid=2737 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2801/stat : 2801 (java) S 2737 2740 1500 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 231594392 11246788608 13860 33554432000 4194304 4196468 140722953912480 140295067752784 140296774698907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2802] ppid=2737 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2740/task/2802/stat : 2802 (java) S 2737 2740 1500 0 -1 1077944384 362 13294 0 0 1 0 5 3 20 0 15 0 231594392 11246788608 13860 33554432000 4194304 4196468 140722953912480 140296266639728 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2803] ppid=2737 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2740/task/2803/stat : 2803 (java) S 2737 2740 1500 0 -1 1077944384 247 13294 0 0 1 0 5 3 20 0 15 0 231594392 11246788608 13860 33554432000 4194304 4196468 140722953912480 140296265586928 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2804] ppid=2737 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/2740/task/2804/stat : 2804 (java) R 2737 2740 1500 0 -1 4202560 623 13294 0 0 4 0 5 3 20 0 15 0 231594392 11246788608 13860 33554432000 4194304 4196468 140722953912480 140296264534128 140296774694220 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2805] ppid=2737 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2805/stat : 2805 (java) S 2737 2740 1500 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 231594392 11246788608 13860 33554432000 4194304 4196468 140722953912480 140294636955872 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2806] ppid=2737 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2806/stat : 2806 (java) S 2737 2740 1500 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 231594393 11246788608 13860 33554432000 4194304 4196468 140722953912480 140296263482544 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55440 KiB
[startup+0.700776 s]
/proc/loadavg: 1.58 1.45 1.46 5/218 2806
/proc/meminfo: memFree=16646152/32770624 swapFree=67108852/67108860
[pid=2740] ppid=2737 vsize=10983192 memory=88464 CPUtime=1 cores=1,3,5,7
/proc/2740/stat : 2740 (java) S 2737 2740 1500 0 -1 1077944320 16786 13294 0 0 87 5 5 3 20 0 15 0 231594377 11246788608 22116 33554432000 4194304 4196468 140722953912480 140722953895024 140296774680311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
/proc/2740/statm: 2745798 22116 3238 1 0 2708109 0
[pid=2740/tid=2793] ppid=2737 vsize=10983192 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/2740/task/2793/stat : 2793 (java) R 2737 2740 1500 0 -1 4202560 12243 13294 0 0 56 3 5 3 20 0 15 0 231594387 11246788608 22116 33554432000 4194304 4196468 140722953912480 140296746501136 140296756243863 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2794] ppid=2737 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2794/stat : 2794 (java) S 2737 2740 1500 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 231594387 11246788608 22116 33554432000 4194304 4196468 140722953912480 140296778922640 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2795] ppid=2737 vsize=10983192 memory=3560 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2795/stat : 2795 (java) S 2737 2740 1500 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 231594387 11246788608 22116 33554432000 4194304 4196468 140722953912480 140296660187664 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2796] ppid=2737 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2796/stat : 2796 (java) S 2737 2740 1500 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 231594387 11246788608 22116 33554432000 4194304 4196468 140722953912480 140296659134864 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2797] ppid=2737 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2797/stat : 2797 (java) S 2737 2740 1500 0 -1 1077944384 2 13294 0 0 0 0 5 3 20 0 15 0 231594387 11246788608 22116 33554432000 4194304 4196468 140722953912480 140296658082064 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2798] ppid=2737 vsize=10983192 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2798/stat : 2798 (java) S 2737 2740 1500 0 -1 1077944384 5 13294 0 0 0 0 5 3 20 0 15 0 231594389 11246788608 22116 33554432000 4194304 4196468 140722953912480 140296267692912 140296774691458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2799] ppid=2737 vsize=10983192 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2799/stat : 2799 (java) S 2737 2740 1500 0 -1 1077944384 13 13294 0 0 0 0 5 3 20 0 15 0 231594389 11246788608 22116 33554432000 4194304 4196468 140722953912480 140295523001888 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2800] ppid=2737 vsize=10983192 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2800/stat : 2800 (java) S 2737 2740 1500 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 231594390 11246788608 22116 33554432000 4194304 4196468 140722953912480 140295375152496 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2801] ppid=2737 vsize=10983192 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2801/stat : 2801 (java) S 2737 2740 1500 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 231594392 11246788608 22116 33554432000 4194304 4196468 140722953912480 140295067752784 140296774698907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2802] ppid=2737 vsize=10983192 memory=13252 CPUtime=0.17 cores=1,3,5,7
/proc/2740/task/2802/stat : 2802 (java) S 2737 2740 1500 0 -1 1077944384 952 13294 0 0 9 0 5 3 20 0 15 0 231594392 11246788608 22116 33554432000 4194304 4196468 140722953912480 140296266639728 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2803] ppid=2737 vsize=10983192 memory=15460 CPUtime=0.15 cores=1,3,5,7
/proc/2740/task/2803/stat : 2803 (java) S 2737 2740 1500 0 -1 1077944384 654 13294 0 0 7 0 5 3 20 0 15 0 231594392 11246788608 22116 33554432000 4194304 4196468 140722953912480 140296265586928 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2804] ppid=2737 vsize=10983192 memory=17668 CPUtime=0.21 cores=1,3,5,7
/proc/2740/task/2804/stat : 2804 (java) S 2737 2740 1500 0 -1 1077944384 710 13294 0 0 13 0 5 3 20 0 15 0 231594392 11246788608 22116 33554432000 4194304 4196468 140722953912480 140296264534128 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2805] ppid=2737 vsize=10983192 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2805/stat : 2805 (java) S 2737 2740 1500 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 231594392 11246788608 22116 33554432000 4194304 4196468 140722953912480 140294636955872 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2806] ppid=2737 vsize=10983192 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2806/stat : 2806 (java) S 2737 2740 1500 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 231594393 11246788608 22116 33554432000 4194304 4196468 140722953912480 140296263482544 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88464 KiB
[startup+1.50073 s]
/proc/loadavg: 1.58 1.45 1.46 4/218 2806
/proc/meminfo: memFree=16592380/32770624 swapFree=67108852/67108860
[pid=2740] ppid=2737 vsize=10993996 memory=232680 CPUtime=3.03 cores=1,3,5,7
/proc/2740/stat : 2740 (java) S 2737 2740 1500 0 -1 1077944320 23892 13294 0 0 285 10 5 3 20 0 15 0 231594377 11257851904 58170 33554432000 4194304 4196468 140722953912480 140722953895024 140296774680311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
/proc/2740/statm: 2748499 58170 3460 1 0 2710157 0
[pid=2740/tid=2793] ppid=2737 vsize=10993996 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/2740/task/2793/stat : 2793 (java) R 2737 2740 1500 0 -1 4202560 15838 13294 0 0 131 6 5 3 20 0 15 0 231594387 11257851904 58170 33554432000 4194304 4196468 140722953912480 140296746502112 140296774703901 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2794] ppid=2737 vsize=10993996 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2794/stat : 2794 (java) S 2737 2740 1500 0 -1 1077944384 46 13294 0 0 0 0 5 3 20 0 15 0 231594387 11257851904 58170 33554432000 4194304 4196468 140722953912480 140296778922640 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2795] ppid=2737 vsize=10993996 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2795/stat : 2795 (java) S 2737 2740 1500 0 -1 1077944384 225 13294 0 0 0 0 5 3 20 0 15 0 231594387 11257851904 58170 33554432000 4194304 4196468 140722953912480 140296660187664 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2796] ppid=2737 vsize=10993996 memory=3683998604062831409 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2796/stat : 2796 (java) S 2737 2740 1500 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 231594387 11257851904 58170 33554432000 4194304 4196468 140722953912480 140296659134864 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2797] ppid=2737 vsize=10993996 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2797/stat : 2797 (java) S 2737 2740 1500 0 -1 1077944384 106 13294 0 0 0 0 5 3 20 0 15 0 231594387 11257851904 58170 33554432000 4194304 4196468 140722953912480 140296658082064 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2798] ppid=2737 vsize=10993996 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2798/stat : 2798 (java) S 2737 2740 1500 0 -1 1077944384 32 13294 0 0 0 0 5 3 20 0 15 0 231594389 11257851904 58170 33554432000 4194304 4196468 140722953912480 140296267692912 140296774691458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2799] ppid=2737 vsize=10993996 memory=280126088620288 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2799/stat : 2799 (java) S 2737 2740 1500 0 -1 1077944384 14 13294 0 0 0 0 5 3 20 0 15 0 231594389 11257851904 58170 33554432000 4194304 4196468 140722953912480 140295523001888 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2800] ppid=2737 vsize=10993996 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2800/stat : 2800 (java) S 2737 2740 1500 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 231594390 11257851904 58170 33554432000 4194304 4196468 140722953912480 140295375152496 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2801] ppid=2737 vsize=10993996 memory=1944 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2801/stat : 2801 (java) S 2737 2740 1500 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 231594392 11257851904 58170 33554432000 4194304 4196468 140722953912480 140295067752784 140296774698907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2802] ppid=2737 vsize=10993996 memory=5772 CPUtime=0.63 cores=1,3,5,7
/proc/2740/task/2802/stat : 2802 (java) S 2737 2740 1500 0 -1 1077944384 1671 13294 0 0 55 0 5 3 20 0 15 0 231594392 11257851904 58170 33554432000 4194304 4196468 140722953912480 140296266639728 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2803] ppid=2737 vsize=10993996 memory=1444 CPUtime=0.58 cores=1,3,5,7
/proc/2740/task/2803/stat : 2803 (java) R 2737 2740 1500 0 -1 4202560 2090 13294 0 0 50 0 5 3 20 0 15 0 231594392 11257851904 58170 33554432000 4194304 4196468 140722953912480 140296265586928 140296753072019 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2804] ppid=2737 vsize=10993996 memory=1160 CPUtime=0.53 cores=1,3,5,7
/proc/2740/task/2804/stat : 2804 (java) S 2737 2740 1500 0 -1 1077944384 1667 13294 0 0 44 1 5 3 20 0 15 0 231594392 11257851904 58170 33554432000 4194304 4196468 140722953912480 140296264534128 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2805] ppid=2737 vsize=10993996 memory=968 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2805/stat : 2805 (java) S 2737 2740 1500 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 231594392 11257851904 58170 33554432000 4194304 4196468 140722953912480 140294636955872 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2806] ppid=2737 vsize=10993996 memory=12144 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2806/stat : 2806 (java) S 2737 2740 1500 0 -1 1077944384 1 13294 0 0 0 0 5 3 20 0 15 0 231594393 11257851904 58170 33554432000 4194304 4196468 140722953912480 140296263482544 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 10993996 KiB
################
# More data... #
################
/proc/2740/task/2793/stat : 2793 (java) R 2737 2740 1500 0 -1 4202560 102322 13294 0 0 236106 45 5 3 20 0 15 0 231594387 11343855616 290415 33554432000 4194304 4196468 140722953912480 140296746514256 140296340933867 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2794] ppid=2737 vsize=11077984 memory=1161660 CPUtime=9.61 cores=1,3,5,7
/proc/2740/task/2794/stat : 2794 (java) S 2737 2740 1500 0 -1 1077944384 24544 13294 0 0 904 49 5 3 20 0 15 0 231594387 11343855616 290415 33554432000 4194304 4196468 140722953912480 140296778922640 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2795] ppid=2737 vsize=11077984 memory=1161660 CPUtime=9.62 cores=1,3,5,7
/proc/2740/task/2795/stat : 2795 (java) S 2737 2740 1500 0 -1 1077944384 20575 13294 0 0 904 50 5 3 20 0 15 0 231594387 11343855616 290415 33554432000 4194304 4196468 140722953912480 140296660187664 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2796] ppid=2737 vsize=11077984 memory=1161660 CPUtime=9.61 cores=1,3,5,7
/proc/2740/task/2796/stat : 2796 (java) S 2737 2740 1500 0 -1 1077944384 14181 13294 0 0 909 44 5 3 20 0 15 0 231594387 11343855616 290415 33554432000 4194304 4196468 140722953912480 140296659134864 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2797] ppid=2737 vsize=11077984 memory=1161660 CPUtime=9.61 cores=1,3,5,7
/proc/2740/task/2797/stat : 2797 (java) S 2737 2740 1500 0 -1 1077944384 23624 13294 0 0 905 48 5 3 20 0 15 0 231594387 11343855616 290415 33554432000 4194304 4196468 140722953912480 140296658082064 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2798] ppid=2737 vsize=11077984 memory=1161660 CPUtime=8.9 cores=1,3,5,7
/proc/2740/task/2798/stat : 2798 (java) S 2737 2740 1500 0 -1 1077944384 20332 13294 0 0 838 44 5 3 20 0 15 0 231594389 11343855616 290415 33554432000 4194304 4196468 140722953912480 140296267692912 140296774691458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2799] ppid=2737 vsize=11077984 memory=1161660 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2799/stat : 2799 (java) S 2737 2740 1500 0 -1 1077944384 25 13294 0 0 0 0 5 3 20 0 15 0 231594389 11343855616 290415 33554432000 4194304 4196468 140722953912480 140295523001952 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2800] ppid=2737 vsize=11077984 memory=1161660 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2800/stat : 2800 (java) S 2737 2740 1500 0 -1 1077944384 12 13294 0 0 0 0 5 3 20 0 15 0 231594390 11343855616 290415 33554432000 4194304 4196468 140722953912480 140295375152512 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2801] ppid=2737 vsize=11077984 memory=1161660 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2801/stat : 2801 (java) S 2737 2740 1500 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 231594392 11343855616 290415 33554432000 4194304 4196468 140722953912480 140295067752784 140296774698907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2802] ppid=2737 vsize=11077984 memory=1788 CPUtime=5.41 cores=1,3,5,7
/proc/2740/task/2802/stat : 2802 (java) S 2737 2740 1500 0 -1 1077944384 28218 13294 0 0 528 5 5 3 20 0 15 0 231594392 11343855616 290415 33554432000 4194304 4196468 140722953912480 140296266639728 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2803] ppid=2737 vsize=11077984 memory=1232 CPUtime=5.3 cores=1,3,5,7
/proc/2740/task/2803/stat : 2803 (java) S 2737 2740 1500 0 -1 1077944384 25479 13294 0 0 519 3 5 3 20 0 15 0 231594392 11343855616 290415 33554432000 4194304 4196468 140722953912480 140296265586928 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2804] ppid=2737 vsize=11077984 memory=1161660 CPUtime=2.12 cores=1,3,5,7
/proc/2740/task/2804/stat : 2804 (java) S 2737 2740 1500 0 -1 1077944384 30351 13294 0 0 199 5 5 3 20 0 15 0 231594392 11343855616 290415 33554432000 4194304 4196468 140722953912480 140296264534128 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2805] ppid=2737 vsize=11077984 memory=1161660 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2805/stat : 2805 (java) S 2737 2740 1500 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 231594392 11343855616 290415 33554432000 4194304 4196468 140722953912480 140294636955872 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2806] ppid=2737 vsize=11077984 memory=5772 CPUtime=1.38 cores=1,3,5,7
/proc/2740/task/2806/stat : 2806 (java) S 2737 2740 1500 0 -1 1077944384 1456 13294 0 0 59 71 5 3 20 0 15 0 231594393 11343855616 290415 33554432000 4194304 4196468 140722953912480 140296263482544 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
Current children cumulated CPU time: 2422.51 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1161660 KiB
[startup+2442.3 s]
/proc/loadavg: 1.36 1.27 1.31 3/218 2886
/proc/meminfo: memFree=14755636/32770624 swapFree=67108852/67108860
[pid=2740] ppid=2737 vsize=11077984 memory=1161756 CPUtime=2483.18 cores=1,3,5,7
/proc/2740/stat : 2740 (java) S 2737 2740 1500 0 -1 1077944320 294909 13294 0 0 247994 316 5 3 20 0 15 0 231594377 11343855616 290439 33554432000 4194304 4196468 140722953912480 140722953895024 140296774680311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
/proc/2740/statm: 2769496 290439 3523 1 0 2731149 0
[pid=2740/tid=2793] ppid=2737 vsize=11077984 memory=1161756 CPUtime=2421.14 cores=1,3,5,7
/proc/2740/task/2793/stat : 2793 (java) R 2737 2740 1500 0 -1 4202560 102936 13294 0 0 242061 45 5 3 20 0 15 0 231594387 11343855616 290439 33554432000 4194304 4196468 140722953912480 140296746514928 140296347374153 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2794] ppid=2737 vsize=11077984 memory=1161756 CPUtime=9.83 cores=1,3,5,7
/proc/2740/task/2794/stat : 2794 (java) S 2737 2740 1500 0 -1 1077944384 24840 13294 0 0 925 50 5 3 20 0 15 0 231594387 11343855616 290439 33554432000 4194304 4196468 140722953912480 140296778922640 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2795] ppid=2737 vsize=11077984 memory=1161756 CPUtime=9.85 cores=1,3,5,7
/proc/2740/task/2795/stat : 2795 (java) S 2737 2740 1500 0 -1 1077944384 20938 13294 0 0 925 52 5 3 20 0 15 0 231594387 11343855616 290439 33554432000 4194304 4196468 140722953912480 140296660187664 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2796] ppid=2737 vsize=11077984 memory=49 CPUtime=9.83 cores=1,3,5,7
/proc/2740/task/2796/stat : 2796 (java) S 2737 2740 1500 0 -1 1077944384 14226 13294 0 0 930 45 5 3 20 0 15 0 231594387 11343855616 290439 33554432000 4194304 4196468 140722953912480 140296659134864 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2797] ppid=2737 vsize=11077984 memory=1161756 CPUtime=9.83 cores=1,3,5,7
/proc/2740/task/2797/stat : 2797 (java) S 2737 2740 1500 0 -1 1077944384 23663 13294 0 0 926 49 5 3 20 0 15 0 231594387 11343855616 290439 33554432000 4194304 4196468 140722953912480 140296658082064 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2798] ppid=2737 vsize=11077984 memory=1161756 CPUtime=9.1 cores=1,3,5,7
/proc/2740/task/2798/stat : 2798 (java) S 2737 2740 1500 0 -1 1077944384 20541 13294 0 0 857 45 5 3 20 0 15 0 231594389 11343855616 290439 33554432000 4194304 4196468 140722953912480 140296267692912 140296774691458 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2799] ppid=2737 vsize=11077984 memory=1161756 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2799/stat : 2799 (java) S 2737 2740 1500 0 -1 1077944384 25 13294 0 0 0 0 5 3 20 0 15 0 231594389 11343855616 290439 33554432000 4194304 4196468 140722953912480 140295523001952 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2800] ppid=2737 vsize=11077984 memory=1161756 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2800/stat : 2800 (java) S 2737 2740 1500 0 -1 1077944384 12 13294 0 0 0 0 5 3 20 0 15 0 231594390 11343855616 290439 33554432000 4194304 4196468 140722953912480 140295375152512 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2801] ppid=2737 vsize=11077984 memory=1161756 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2801/stat : 2801 (java) S 2737 2740 1500 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 231594392 11343855616 290439 33554432000 4194304 4196468 140722953912480 140295067752784 140296774698907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2802] ppid=2737 vsize=11077984 memory=1161756 CPUtime=5.41 cores=1,3,5,7
/proc/2740/task/2802/stat : 2802 (java) S 2737 2740 1500 0 -1 1077944384 28220 13294 0 0 528 5 5 3 20 0 15 0 231594392 11343855616 290439 33554432000 4194304 4196468 140722953912480 140296266639728 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2803] ppid=2737 vsize=11077984 memory=1161756 CPUtime=5.3 cores=1,3,5,7
/proc/2740/task/2803/stat : 2803 (java) S 2737 2740 1500 0 -1 1077944384 25481 13294 0 0 519 3 5 3 20 0 15 0 231594392 11343855616 290439 33554432000 4194304 4196468 140722953912480 140296265586928 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2804] ppid=2737 vsize=11077984 memory=1224 CPUtime=2.12 cores=1,3,5,7
/proc/2740/task/2804/stat : 2804 (java) S 2737 2740 1500 0 -1 1077944384 30353 13294 0 0 199 5 5 3 20 0 15 0 231594392 11343855616 290439 33554432000 4194304 4196468 140722953912480 140296264534128 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2805] ppid=2737 vsize=11077984 memory=3848 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2805/stat : 2805 (java) S 2737 2740 1500 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 231594392 11343855616 290439 33554432000 4194304 4196468 140722953912480 140294636955872 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2806] ppid=2737 vsize=11077984 memory=2416 CPUtime=1.4 cores=1,3,5,7
/proc/2740/task/2806/stat : 2806 (java) S 2737 2740 1500 0 -1 1077944384 1473 13294 0 0 60 72 5 3 20 0 15 0 231594393 11343855616 290439 33554432000 4194304 4196468 140722953912480 140296263482544 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
Current children cumulated CPU time: 2483.18 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1161756 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2478.7 s]
/proc/loadavg: 1.53 1.33 1.33 5/217 2918
/proc/meminfo: memFree=15863640/32770624 swapFree=67108852/67108860
[pid=2740] ppid=2737 vsize=11077984 memory=1161772 CPUtime=2520 cores=1,3,5,7
/proc/2740/stat : 2740 (java) S 2737 2740 1500 0 -1 1077944320 295636 13294 0 0 251671 321 5 3 20 0 15 0 231594377 11343855616 290443 33554432000 4194304 4196468 140722953912480 140722953895024 140296774680311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
/proc/2740/statm: 2769496 290443 3523 1 0 2731149 0
[pid=2740/tid=2793] ppid=2737 vsize=11077984 memory=1161772 CPUtime=2457.24 cores=1,3,5,7
/proc/2740/task/2793/stat : 2793 (java) R 2737 2740 1500 0 -1 4202560 103348 13294 0 0 245671 45 5 3 20 0 15 0 231594387 11343855616 290443 33554432000 4194304 4196468 140722953912480 140296746513952 140296347374425 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2794] ppid=2737 vsize=11077984 memory=7668056087503066480 CPUtime=9.97 cores=1,3,5,7
/proc/2740/task/2794/stat : 2794 (java) S 2737 2740 1500 0 -1 1077944384 24889 13294 0 0 938 51 5 3 20 0 15 0 231594387 11343855616 290443 33554432000 4194304 4196468 140722953912480 140296778922640 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2795] ppid=2737 vsize=11077984 memory=1161772 CPUtime=9.98 cores=1,3,5,7
/proc/2740/task/2795/stat : 2795 (java) S 2737 2740 1500 0 -1 1077944384 20973 13294 0 0 938 52 5 3 20 0 15 0 231594387 11343855616 290443 33554432000 4194304 4196468 140722953912480 140296660187664 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2796] ppid=2737 vsize=11077984 memory=3560 CPUtime=9.97 cores=1,3,5,7
/proc/2740/task/2796/stat : 2796 (java) S 2737 2740 1500 0 -1 1077944384 14253 13294 0 0 944 45 5 3 20 0 15 0 231594387 11343855616 290443 33554432000 4194304 4196468 140722953912480 140296659134864 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2797] ppid=2737 vsize=11077984 memory=3560 CPUtime=9.97 cores=1,3,5,7
/proc/2740/task/2797/stat : 2797 (java) S 2737 2740 1500 0 -1 1077944384 23671 13294 0 0 939 50 5 3 20 0 15 0 231594387 11343855616 290443 33554432000 4194304 4196468 140722953912480 140296658082064 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2798] ppid=2737 vsize=11077984 memory=62992 CPUtime=9.22 cores=1,3,5,7
/proc/2740/task/2798/stat : 2798 (java) S 2737 2740 1500 0 -1 1077944384 20715 13294 0 0 869 45 5 3 20 0 15 0 231594389 11343855616 290443 33554432000 4194304 4196468 140722953912480 140296267692912 140296774691458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2799] ppid=2737 vsize=11077984 memory=1161772 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2799/stat : 2799 (java) S 2737 2740 1500 0 -1 1077944384 25 13294 0 0 0 0 5 3 20 0 15 0 231594389 11343855616 290443 33554432000 4194304 4196468 140722953912480 140295523001952 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2800] ppid=2737 vsize=11077984 memory=1161772 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2800/stat : 2800 (java) S 2737 2740 1500 0 -1 1077944384 12 13294 0 0 0 0 5 3 20 0 15 0 231594390 11343855616 290443 33554432000 4194304 4196468 140722953912480 140295375152512 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2801] ppid=2737 vsize=11077984 memory=1161772 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2801/stat : 2801 (java) S 2737 2740 1500 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 231594392 11343855616 290443 33554432000 4194304 4196468 140722953912480 140295067752784 140296774698907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2802] ppid=2737 vsize=11077984 memory=3560 CPUtime=5.41 cores=1,3,5,7
/proc/2740/task/2802/stat : 2802 (java) S 2737 2740 1500 0 -1 1077944384 28222 13294 0 0 528 5 5 3 20 0 15 0 231594392 11343855616 290443 33554432000 4194304 4196468 140722953912480 140296266639728 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2803] ppid=2737 vsize=11077984 memory=1161772 CPUtime=5.3 cores=1,3,5,7
/proc/2740/task/2803/stat : 2803 (java) S 2737 2740 1500 0 -1 1077944384 25483 13294 0 0 519 3 5 3 20 0 15 0 231594392 11343855616 290443 33554432000 4194304 4196468 140722953912480 140296265586928 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2804] ppid=2737 vsize=11077984 memory=1161772 CPUtime=2.12 cores=1,3,5,7
/proc/2740/task/2804/stat : 2804 (java) S 2737 2740 1500 0 -1 1077944384 30355 13294 0 0 199 5 5 3 20 0 15 0 231594392 11343855616 290443 33554432000 4194304 4196468 140722953912480 140296264534128 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2805] ppid=2737 vsize=11077984 memory=1161772 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2805/stat : 2805 (java) S 2737 2740 1500 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 231594392 11343855616 290443 33554432000 4194304 4196468 140722953912480 140294636955872 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2806] ppid=2737 vsize=11077984 memory=1161772 CPUtime=1.42 cores=1,3,5,7
/proc/2740/task/2806/stat : 2806 (java) S 2737 2740 1500 0 -1 1077944384 1489 13294 0 0 61 73 5 3 20 0 15 0 231594393 11343855616 290443 33554432000 4194304 4196468 140722953912480 140296263482544 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1161772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2478.73 s]
# the end of solver process 2740 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.79 s, system=3.25663 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2478.7 s]
/proc/loadavg: 1.53 1.33 1.33 5/217 2918
/proc/meminfo: memFree=15863640/32770624 swapFree=67108852/67108860
[pid=2740] ppid=2737 vsize=11077984 memory=1161772 CPUtime=2520 cores=1,3,5,7
/proc/2740/stat : 2740 (java) S 2737 2740 1500 0 -1 1077944320 295636 13294 0 0 251671 321 5 3 20 0 15 0 231594377 11343855616 290443 33554432000 4194304 4196468 140722953912480 140722953895024 140296774680311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
/proc/2740/statm: 2769496 290443 3523 1 0 2731149 0
[pid=2740/tid=2793] ppid=2737 vsize=11077984 memory=1161772 CPUtime=2457.24 cores=1,3,5,7
/proc/2740/task/2793/stat : 2793 (java) R 2737 2740 1500 0 -1 4202560 103348 13294 0 0 245671 45 5 3 20 0 15 0 231594387 11343855616 290443 33554432000 4194304 4196468 140722953912480 140296746513952 140296347374425 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2794] ppid=2737 vsize=11077984 memory=7668056087503066480 CPUtime=9.97 cores=1,3,5,7
/proc/2740/task/2794/stat : 2794 (java) S 2737 2740 1500 0 -1 1077944384 24889 13294 0 0 938 51 5 3 20 0 15 0 231594387 11343855616 290443 33554432000 4194304 4196468 140722953912480 140296778922640 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2795] ppid=2737 vsize=11077984 memory=1161772 CPUtime=9.98 cores=1,3,5,7
/proc/2740/task/2795/stat : 2795 (java) S 2737 2740 1500 0 -1 1077944384 20973 13294 0 0 938 52 5 3 20 0 15 0 231594387 11343855616 290443 33554432000 4194304 4196468 140722953912480 140296660187664 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2796] ppid=2737 vsize=11077984 memory=3560 CPUtime=9.97 cores=1,3,5,7
/proc/2740/task/2796/stat : 2796 (java) S 2737 2740 1500 0 -1 1077944384 14253 13294 0 0 944 45 5 3 20 0 15 0 231594387 11343855616 290443 33554432000 4194304 4196468 140722953912480 140296659134864 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2797] ppid=2737 vsize=11077984 memory=3560 CPUtime=9.97 cores=1,3,5,7
/proc/2740/task/2797/stat : 2797 (java) S 2737 2740 1500 0 -1 1077944384 23671 13294 0 0 939 50 5 3 20 0 15 0 231594387 11343855616 290443 33554432000 4194304 4196468 140722953912480 140296658082064 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2798] ppid=2737 vsize=11077984 memory=62992 CPUtime=9.22 cores=1,3,5,7
/proc/2740/task/2798/stat : 2798 (java) S 2737 2740 1500 0 -1 1077944384 20715 13294 0 0 869 45 5 3 20 0 15 0 231594389 11343855616 290443 33554432000 4194304 4196468 140722953912480 140296267692912 140296774691458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2799] ppid=2737 vsize=11077984 memory=1161772 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2799/stat : 2799 (java) S 2737 2740 1500 0 -1 1077944384 25 13294 0 0 0 0 5 3 20 0 15 0 231594389 11343855616 290443 33554432000 4194304 4196468 140722953912480 140295523001952 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2800] ppid=2737 vsize=11077984 memory=1161772 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2800/stat : 2800 (java) S 2737 2740 1500 0 -1 1077944384 12 13294 0 0 0 0 5 3 20 0 15 0 231594390 11343855616 290443 33554432000 4194304 4196468 140722953912480 140295375152512 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2801] ppid=2737 vsize=11077984 memory=1161772 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2801/stat : 2801 (java) S 2737 2740 1500 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 231594392 11343855616 290443 33554432000 4194304 4196468 140722953912480 140295067752784 140296774698907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2802] ppid=2737 vsize=11077984 memory=3560 CPUtime=5.41 cores=1,3,5,7
/proc/2740/task/2802/stat : 2802 (java) S 2737 2740 1500 0 -1 1077944384 28222 13294 0 0 528 5 5 3 20 0 15 0 231594392 11343855616 290443 33554432000 4194304 4196468 140722953912480 140296266639728 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2803] ppid=2737 vsize=11077984 memory=1161772 CPUtime=5.3 cores=1,3,5,7
/proc/2740/task/2803/stat : 2803 (java) S 2737 2740 1500 0 -1 1077944384 25483 13294 0 0 519 3 5 3 20 0 15 0 231594392 11343855616 290443 33554432000 4194304 4196468 140722953912480 140296265586928 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2804] ppid=2737 vsize=11077984 memory=1161772 CPUtime=2.12 cores=1,3,5,7
/proc/2740/task/2804/stat : 2804 (java) S 2737 2740 1500 0 -1 1077944384 30355 13294 0 0 199 5 5 3 20 0 15 0 231594392 11343855616 290443 33554432000 4194304 4196468 140722953912480 140296264534128 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2805] ppid=2737 vsize=11077984 memory=1161772 CPUtime=0.08 cores=1,3,5,7
/proc/2740/task/2805/stat : 2805 (java) S 2737 2740 1500 0 -1 1077944384 3 13294 0 0 0 0 5 3 20 0 15 0 231594392 11343855616 290443 33554432000 4194304 4196468 140722953912480 140294636955872 140296774690517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
[pid=2740/tid=2806] ppid=2737 vsize=11077984 memory=1161772 CPUtime=1.42 cores=1,3,5,7
/proc/2740/task/2806/stat : 2806 (java) S 2737 2740 1500 0 -1 1077944384 1489 13294 0 0 61 73 5 3 20 0 15 0 231594393 11343855616 290443 33554432000 4194304 4196468 140722953912480 140296263482544 140296774691458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140722953919077 140722953921884 140722953921884 140722953924559 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1161772 KiB
Child status: 143
Real time (s): 2478.73
CPU time (s): 2520.05
CPU user time (s): 2516.79
CPU system time (s): 3.25663
CPU usage (%): 101.667
Max. virtual memory (cumulated for all children) (KiB): 11080620
Max. memory (cumulated for all children) (KiB): 1202032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.79
system time used= 3.25664
maximum resident set size= 1203076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 309624
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 247773
involuntary context switches= 7150
# summary of solver processes directly reported to runsolver:
# pid: 2740
# total CPU time (s): 2520.05
# total CPU user time (s): 2516.79
# total CPU system time (s): 3.25663
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2488 second user time and 23.0315 second system time
The end