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 (14151 MiB free)
memory of node 1: 16384 MiB (9818 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308509-1534293823/watcher-4308509-1534293823 -o /tmp/evaluation-result-4308509-1534293823/solver-4308509-1534293823 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534293823-2847 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 467457516 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308509-1534293823.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=2876, runsolver pid=2871
Current StackSize limit: 8192 KiB
[startup+0.100518 s]*
/proc/loadavg: 1.20 1.39 1.42 5/223 2908
/proc/meminfo: memFree=24509272/32770624 swapFree=67108688/67108860
[pid=2876] ppid=2871 vsize=14082736 memory=33428 CPUtime=0.11 cores=0,2,4,6
/proc/2876/stat : 2876 (java) S 2871 2876 2816 0 -1 1077944320 7294 0 0 0 11 0 0 0 20 0 15 0 246945539 14420721664 8357 33554432000 4194304 4196468 140720974756560 140720974739104 140286367248119 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
/proc/2876/statm: 3520684 8357 3139 1 0 3482761 0
[pid=2876/tid=2882] ppid=2871 vsize=14082736 memory=-8253362762721355408 CPUtime=0.09 cores=0,2,4,6
/proc/2876/task/2882/stat : 2882 (java) R 2871 2876 2816 0 -1 4202560 5371 0 0 0 9 0 0 0 20 0 15 0 246945540 14420721664 8357 33554432000 4194304 4196468 140720974756560 140286371473808 140286351328636 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2885] ppid=2871 vsize=14082736 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2885/stat : 2885 (java) S 2871 2876 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246945540 14420721664 8357 33554432000 4194304 4196468 140720974756560 140286319868560 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2888] ppid=2871 vsize=14082736 memory=140015273735808 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2888/stat : 2888 (java) S 2871 2876 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246945540 14420721664 8357 33554432000 4194304 4196468 140720974756560 140286318815760 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2889] ppid=2871 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2889/stat : 2889 (java) S 2871 2876 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246945540 14420721664 8357 33554432000 4194304 4196468 140720974756560 140286317762960 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2890] ppid=2871 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2890/stat : 2890 (java) S 2871 2876 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246945540 14420721664 8357 33554432000 4194304 4196468 140720974756560 140286316710160 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2892] ppid=2871 vsize=14082736 memory=140015273735808 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2892/stat : 2892 (java) S 2871 2876 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246945542 14420721664 8357 33554432000 4194304 4196468 140720974756560 140285481036656 140286367259266 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2894] ppid=2871 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2894/stat : 2894 (java) S 2871 2876 2816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246945542 14420721664 8357 33554432000 4194304 4196468 140720974756560 140285479982624 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2896] ppid=2871 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2896/stat : 2896 (java) S 2871 2876 2816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246945542 14420721664 8357 33554432000 4194304 4196468 140720974756560 140285478929776 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2901] ppid=2871 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2901/stat : 2901 (java) S 2871 2876 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246945545 14420721664 8357 33554432000 4194304 4196468 140720974756560 140285477878096 140286367266715 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2902] ppid=2871 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2902/stat : 2902 (java) S 2871 2876 2816 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 246945545 14420721664 8357 33554432000 4194304 4196468 140720974756560 140285476825456 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2903] ppid=2871 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2903/stat : 2903 (java) S 2871 2876 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246945545 14420721664 8357 33554432000 4194304 4196468 140720974756560 140285475772656 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2904] ppid=2871 vsize=14082736 memory=140015273735808 CPUtime=0.01 cores=0,2,4,6
/proc/2876/task/2904/stat : 2904 (java) R 2871 2876 2816 0 -1 4202560 252 0 0 0 1 0 0 0 20 0 15 0 246945545 14420721664 8357 33554432000 4194304 4196468 140720974756560 140285474719856 140286346599336 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2906] ppid=2871 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2906/stat : 2906 (java) S 2871 2876 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246945545 14420721664 8357 33554432000 4194304 4196468 140720974756560 140285473667296 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2908] ppid=2871 vsize=14082736 memory=140015273735808 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2908/stat : 2908 (java) S 2871 2876 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246945545 14420721664 8357 33554432000 4194304 4196468 140720974756560 140285472615600 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33428 KiB
[startup+0.215122 s]*
/proc/loadavg: 1.20 1.39 1.42 10/223 2908
/proc/meminfo: memFree=24479116/32770624 swapFree=67108688/67108860
[pid=2876] ppid=2871 vsize=14082736 memory=47328 CPUtime=0.32 cores=0,2,4,6
/proc/2876/stat : 2876 (java) S 2871 2876 2816 0 -1 1077944320 10368 0 0 0 30 2 0 0 20 0 15 0 246945539 14420721664 11832 33554432000 4194304 4196468 140720974756560 140720974739104 140286367248119 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
/proc/2876/statm: 3520684 11832 3410 1 0 3482761 0
[pid=2876/tid=2882] ppid=2871 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/2876/task/2882/stat : 2882 (java) R 2871 2876 2816 0 -1 4202560 8108 0 0 0 19 1 0 0 20 0 15 0 246945540 14420721664 11864 33554432000 4194304 4196468 140720974756560 140286371477872 140286351328606 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2885] ppid=2871 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2885/stat : 2885 (java) S 2871 2876 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246945540 14420721664 11864 33554432000 4194304 4196468 140720974756560 140286319868560 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2888] ppid=2871 vsize=14082736 memory=288370391425447552 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2888/stat : 2888 (java) S 2871 2876 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246945540 14420721664 11864 33554432000 4194304 4196468 140720974756560 140286318815760 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2889] ppid=2871 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2889/stat : 2889 (java) S 2871 2876 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246945540 14420721664 11864 33554432000 4194304 4196468 140720974756560 140286317762960 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2890] ppid=2871 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2890/stat : 2890 (java) S 2871 2876 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246945540 14420721664 11864 33554432000 4194304 4196468 140720974756560 140286316710160 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2892] ppid=2871 vsize=14082736 memory=140015273735808 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2892/stat : 2892 (java) S 2871 2876 2816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246945542 14420721664 11864 33554432000 4194304 4196468 140720974756560 140285481036656 140286367259266 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2894] ppid=2871 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2894/stat : 2894 (java) S 2871 2876 2816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246945542 14420721664 11864 33554432000 4194304 4196468 140720974756560 140285479982624 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2896] ppid=2871 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2896/stat : 2896 (java) S 2871 2876 2816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246945542 14420721664 11864 33554432000 4194304 4196468 140720974756560 140285478929776 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2901] ppid=2871 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2901/stat : 2901 (java) S 2871 2876 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246945545 14420721664 11864 33554432000 4194304 4196468 140720974756560 140285477878096 140286367266715 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2902] ppid=2871 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2876/task/2902/stat : 2902 (java) S 2871 2876 2816 0 -1 1077944384 470 0 0 0 2 0 0 0 20 0 15 0 246945545 14420721664 11864 33554432000 4194304 4196468 140720974756560 140285476825456 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2903] ppid=2871 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/2876/task/2903/stat : 2903 (java) R 2871 2876 2816 0 -1 4202560 144 0 0 0 1 0 0 0 20 0 15 0 246945545 14420721664 11864 33554432000 4194304 4196468 140720974756560 140285475772656 140286348759040 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2904] ppid=2871 vsize=14082736 memory=140015273735808 CPUtime=0.06 cores=0,2,4,6
/proc/2876/task/2904/stat : 2904 (java) R 2871 2876 2816 0 -1 1077944384 284 0 0 0 6 0 0 0 20 0 15 0 246945545 14420721664 11864 33554432000 4194304 4196468 140720974756560 140285474719856 140286367259266 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2906] ppid=2871 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2906/stat : 2906 (java) S 2871 2876 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246945545 14420721664 11864 33554432000 4194304 4196468 140720974756560 140285473667296 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2908] ppid=2871 vsize=14082736 memory=140015273735808 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2908/stat : 2908 (java) S 2871 2876 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246945545 14420721664 11864 33554432000 4194304 4196468 140720974756560 140285472615600 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47328 KiB
[startup+0.310668 s]*
/proc/loadavg: 1.20 1.39 1.42 3/223 2908
/proc/meminfo: memFree=24470896/32770624 swapFree=67108688/67108860
[pid=2876] ppid=2871 vsize=14082736 memory=50404 CPUtime=0.43 cores=0,2,4,6
/proc/2876/stat : 2876 (java) S 2871 2876 2816 0 -1 1077944320 10703 0 0 0 41 2 0 0 20 0 15 0 246945539 14420721664 12601 33554432000 4194304 4196468 140720974756560 140720974739104 140286367248119 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
/proc/2876/statm: 3520684 12601 3411 1 0 3482761 0
[pid=2876/tid=2882] ppid=2871 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/2876/task/2882/stat : 2882 (java) R 2871 2876 2816 0 -1 4202560 8412 0 0 0 29 1 0 0 20 0 15 0 246945540 14420721664 12601 33554432000 4194304 4196468 140720974756560 140286371436968 140286367270045 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2885] ppid=2871 vsize=14082736 memory=13658 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2885/stat : 2885 (java) S 2871 2876 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246945540 14420721664 12601 33554432000 4194304 4196468 140720974756560 140286319868560 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2888] ppid=2871 vsize=14082736 memory=288370391425447552 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2888/stat : 2888 (java) S 2871 2876 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246945540 14420721664 12601 33554432000 4194304 4196468 140720974756560 140286318815760 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2889] ppid=2871 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2889/stat : 2889 (java) S 2871 2876 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246945540 14420721664 12601 33554432000 4194304 4196468 140720974756560 140286317762960 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2890] ppid=2871 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2890/stat : 2890 (java) S 2871 2876 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246945540 14420721664 12601 33554432000 4194304 4196468 140720974756560 140286316710160 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2892] ppid=2871 vsize=14082736 memory=140015273735808 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2892/stat : 2892 (java) S 2871 2876 2816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246945542 14420721664 12601 33554432000 4194304 4196468 140720974756560 140285481036656 140286367259266 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2894] ppid=2871 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2894/stat : 2894 (java) S 2871 2876 2816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246945542 14420721664 12601 33554432000 4194304 4196468 140720974756560 140285479982624 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2896] ppid=2871 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2896/stat : 2896 (java) S 2871 2876 2816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246945542 14420721664 12601 33554432000 4194304 4196468 140720974756560 140285478929776 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2901] ppid=2871 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2901/stat : 2901 (java) S 2871 2876 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246945545 14420721664 12601 33554432000 4194304 4196468 140720974756560 140285477878096 140286367266715 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2902] ppid=2871 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2876/task/2902/stat : 2902 (java) S 2871 2876 2816 0 -1 1077944384 470 0 0 0 2 0 0 0 20 0 15 0 246945545 14420721664 12601 33554432000 4194304 4196468 140720974756560 140285476825456 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2903] ppid=2871 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2876/task/2903/stat : 2903 (java) S 2871 2876 2816 0 -1 1077944384 146 0 0 0 2 0 0 0 20 0 15 0 246945545 14420721664 12601 33554432000 4194304 4196468 140720974756560 140285475772656 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2904] ppid=2871 vsize=14082736 memory=140015273735808 CPUtime=0.08 cores=0,2,4,6
/proc/2876/task/2904/stat : 2904 (java) S 2871 2876 2816 0 -1 1077944384 300 0 0 0 8 0 0 0 20 0 15 0 246945545 14420721664 12601 33554432000 4194304 4196468 140720974756560 140285474719856 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2906] ppid=2871 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2906/stat : 2906 (java) S 2871 2876 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246945545 14420721664 12601 33554432000 4194304 4196468 140720974756560 140285473667296 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2908] ppid=2871 vsize=14082736 memory=140015273735808 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2908/stat : 2908 (java) S 2871 2876 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246945545 14420721664 12601 33554432000 4194304 4196468 140720974756560 140285472615600 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50404 KiB
[startup+0.700774 s]
/proc/loadavg: 1.20 1.39 1.42 3/223 2908
/proc/meminfo: memFree=24422652/32770624 swapFree=67108688/67108860
[pid=2876] ppid=2871 vsize=14084804 memory=88920 CPUtime=0.99 cores=0,2,4,6
/proc/2876/stat : 2876 (java) S 2871 2876 2816 0 -1 1077944320 17572 0 0 0 95 4 0 0 20 0 15 0 246945539 14422839296 22230 33554432000 4194304 4196468 140720974756560 140720974739104 140286367248119 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
/proc/2876/statm: 3521201 22230 3499 1 0 3483273 0
[pid=2876/tid=2882] ppid=2871 vsize=14084804 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/2876/task/2882/stat : 2882 (java) R 2871 2876 2816 0 -1 4202560 14858 0 0 0 64 3 0 0 20 0 15 0 246945540 14422839296 22230 33554432000 4194304 4196468 140720974756560 140286371473200 140286367270045 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2885] ppid=2871 vsize=14084804 memory=152436173971114 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2885/stat : 2885 (java) S 2871 2876 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246945540 14422839296 22230 33554432000 4194304 4196468 140720974756560 140286319868560 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2888] ppid=2871 vsize=14084804 memory=1377865 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2888/stat : 2888 (java) S 2871 2876 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246945540 14422839296 22230 33554432000 4194304 4196468 140720974756560 140286318815760 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2889] ppid=2871 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2889/stat : 2889 (java) S 2871 2876 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246945540 14422839296 22230 33554432000 4194304 4196468 140720974756560 140286317762960 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2890] ppid=2871 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2890/stat : 2890 (java) S 2871 2876 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246945540 14422839296 22230 33554432000 4194304 4196468 140720974756560 140286316710160 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2892] ppid=2871 vsize=14084804 memory=7809523229951467576 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2892/stat : 2892 (java) S 2871 2876 2816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246945542 14422839296 22230 33554432000 4194304 4196468 140720974756560 140285481036656 140286367259266 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2894] ppid=2871 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2894/stat : 2894 (java) S 2871 2876 2816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246945542 14422839296 22230 33554432000 4194304 4196468 140720974756560 140285479982624 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2896] ppid=2871 vsize=14084804 memory=-3472574513799858008 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2896/stat : 2896 (java) S 2871 2876 2816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246945542 14422839296 22230 33554432000 4194304 4196468 140720974756560 140285478929776 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2901] ppid=2871 vsize=14084804 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2901/stat : 2901 (java) S 2871 2876 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246945545 14422839296 22230 33554432000 4194304 4196468 140720974756560 140285477878096 140286367266715 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2902] ppid=2871 vsize=14084804 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/2876/task/2902/stat : 2902 (java) S 2871 2876 2816 0 -1 1077944384 628 0 0 0 6 0 0 0 20 0 15 0 246945545 14422839296 22230 33554432000 4194304 4196468 140720974756560 140285476825456 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2903] ppid=2871 vsize=14084804 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2876/task/2903/stat : 2903 (java) S 2871 2876 2816 0 -1 1077944384 299 0 0 0 8 0 0 0 20 0 15 0 246945545 14422839296 22230 33554432000 4194304 4196468 140720974756560 140285475772656 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2904] ppid=2871 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/2876/task/2904/stat : 2904 (java) S 2871 2876 2816 0 -1 1077944384 406 0 0 0 15 0 0 0 20 0 15 0 246945545 14422839296 22230 33554432000 4194304 4196468 140720974756560 140285474719856 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2906] ppid=2871 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2906/stat : 2906 (java) S 2871 2876 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246945545 14422839296 22230 33554432000 4194304 4196468 140720974756560 140285473667296 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2908] ppid=2871 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2908/stat : 2908 (java) S 2871 2876 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246945545 14422839296 22230 33554432000 4194304 4196468 140720974756560 140285472615600 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88920 KiB
[startup+1.50982 s]
/proc/loadavg: 1.20 1.39 1.42 6/223 2908
/proc/meminfo: memFree=24350540/32770624 swapFree=67108688/67108860
[pid=2876] ppid=2871 vsize=14090948 memory=232500 CPUtime=2.98 cores=0,2,4,6
/proc/2876/stat : 2876 (java) S 2871 2876 2816 0 -1 1077944320 24003 0 0 0 289 9 0 0 20 0 15 0 246945539 14429130752 58125 33554432000 4194304 4196468 140720974756560 140720974739104 140286367248119 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
/proc/2876/statm: 3522737 58125 3567 1 0 3484809 0
[pid=2876/tid=2882] ppid=2871 vsize=14090948 memory=13884 CPUtime=1.46 cores=0,2,4,6
/proc/2876/task/2882/stat : 2882 (java) R 2871 2876 2816 0 -1 4202560 18236 0 0 0 140 6 0 0 20 0 15 0 246945540 14429130752 58125 33554432000 4194304 4196468 140720974756560 140286371484368 140285996794990 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2885] ppid=2871 vsize=14090948 memory=25751 CPUtime=0.01 cores=0,2,4,6
/proc/2876/task/2885/stat : 2885 (java) S 2871 2876 2816 0 -1 1077944384 195 0 0 0 1 0 0 0 20 0 15 0 246945540 14429130752 58125 33554432000 4194304 4196468 140720974756560 140286319868560 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2888] ppid=2871 vsize=14090948 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/2876/task/2888/stat : 2888 (java) S 2871 2876 2816 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 15 0 246945540 14429130752 58125 33554432000 4194304 4196468 140720974756560 140286318815760 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2889] ppid=2871 vsize=14090948 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2876/task/2889/stat : 2889 (java) S 2871 2876 2816 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 15 0 246945540 14429130752 58125 33554432000 4194304 4196468 140720974756560 140286317762960 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2890] ppid=2871 vsize=14090948 memory=6943526294502006880 CPUtime=0.01 cores=0,2,4,6
/proc/2876/task/2890/stat : 2890 (java) S 2871 2876 2816 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 15 0 246945540 14429130752 58125 33554432000 4194304 4196468 140720974756560 140286316710160 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2892] ppid=2871 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2892/stat : 2892 (java) S 2871 2876 2816 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 15 0 246945542 14429130752 58125 33554432000 4194304 4196468 140720974756560 140285481036656 140286367259266 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
################
# More data... #
################
/proc/2876/task/2882/stat : 2882 (java) R 2871 2876 2816 0 -1 4202560 137572 0 0 0 235567 60 0 0 20 0 15 0 246945540 14431227904 95890 33554432000 4194304 4196468 140720974756560 140286371485248 140286005613396 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2885] ppid=2871 vsize=14092996 memory=383560 CPUtime=16.14 cores=0,2,4,6
/proc/2876/task/2885/stat : 2885 (java) S 2871 2876 2816 0 -1 1077944384 19516 0 0 0 1555 59 0 0 20 0 15 0 246945540 14431227904 95890 33554432000 4194304 4196468 140720974756560 140286319868560 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2888] ppid=2871 vsize=14092996 memory=396896 CPUtime=16.13 cores=0,2,4,6
/proc/2876/task/2888/stat : 2888 (java) S 2871 2876 2816 0 -1 1077944384 20327 0 0 0 1556 57 0 0 20 0 15 0 246945540 14431227904 95890 33554432000 4194304 4196468 140720974756560 140286318815760 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2889] ppid=2871 vsize=14092996 memory=383560 CPUtime=16.13 cores=0,2,4,6
/proc/2876/task/2889/stat : 2889 (java) S 2871 2876 2816 0 -1 1077944384 22137 0 0 0 1552 61 0 0 20 0 15 0 246945540 14431227904 95890 33554432000 4194304 4196468 140720974756560 140286317762960 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2890] ppid=2871 vsize=14092996 memory=3824 CPUtime=16.11 cores=0,2,4,6
/proc/2876/task/2890/stat : 2890 (java) S 2871 2876 2816 0 -1 1077944384 17614 0 0 0 1550 61 0 0 20 0 15 0 246945540 14431227904 95890 33554432000 4194304 4196468 140720974756560 140286316710160 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2892] ppid=2871 vsize=14092996 memory=385612 CPUtime=7.26 cores=0,2,4,6
/proc/2876/task/2892/stat : 2892 (java) S 2871 2876 2816 0 -1 1077944384 33415 0 0 0 651 75 0 0 20 0 15 0 246945542 14431227904 95890 33554432000 4194304 4196468 140720974756560 140285481036656 140286367259266 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2894] ppid=2871 vsize=14092996 memory=15784 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2894/stat : 2894 (java) S 2871 2876 2816 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 246945542 14431227904 95890 33554432000 4194304 4196468 140720974756560 140285479982688 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2896] ppid=2871 vsize=14092996 memory=386636 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2896/stat : 2896 (java) S 2871 2876 2816 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 246945542 14431227904 95890 33554432000 4194304 4196468 140720974756560 140285478929792 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2901] ppid=2871 vsize=14092996 memory=386636 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2901/stat : 2901 (java) S 2871 2876 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246945545 14431227904 95890 33554432000 4194304 4196468 140720974756560 140285477878096 140286367266715 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2902] ppid=2871 vsize=14092996 memory=0 CPUtime=3.21 cores=0,2,4,6
/proc/2876/task/2902/stat : 2902 (java) S 2871 2876 2816 0 -1 1077944384 29503 0 0 0 318 3 0 0 20 0 15 0 246945545 14431227904 95890 33554432000 4194304 4196468 140720974756560 140285476825456 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2903] ppid=2871 vsize=14092996 memory=288230596017403190 CPUtime=3.2 cores=0,2,4,6
/proc/2876/task/2903/stat : 2903 (java) S 2871 2876 2816 0 -1 1077944384 30930 0 0 0 316 4 0 0 20 0 15 0 246945545 14431227904 95890 33554432000 4194304 4196468 140720974756560 140285475772656 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2904] ppid=2871 vsize=14092996 memory=3732 CPUtime=1.18 cores=0,2,4,6
/proc/2876/task/2904/stat : 2904 (java) S 2871 2876 2816 0 -1 1077944384 31799 0 0 0 114 4 0 0 20 0 15 0 246945545 14431227904 95890 33554432000 4194304 4196468 140720974756560 140285474719856 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2906] ppid=2871 vsize=14092996 memory=1276 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2906/stat : 2906 (java) S 2871 2876 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246945545 14431227904 95890 33554432000 4194304 4196468 140720974756560 140285473667296 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2908] ppid=2871 vsize=14092996 memory=386636 CPUtime=1.5 cores=0,2,4,6
/proc/2876/task/2908/stat : 2908 (java) S 2871 2876 2816 0 -1 1077944384 1511 0 0 0 71 79 0 0 20 0 15 0 246945545 14431227904 95890 33554432000 4194304 4196468 140720974756560 140285472615600 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
Current children cumulated CPU time: 2437.2 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 383560 KiB
[startup+2442.3 s]
/proc/loadavg: 1.60 1.41 1.35 4/220 3049
/proc/meminfo: memFree=23363316/32770624 swapFree=67108688/67108860
[pid=2876] ppid=2871 vsize=14092996 memory=414488 CPUtime=2498.58 cores=0,2,4,6
/proc/2876/stat : 2876 (java) S 2871 2876 2816 0 -1 1077944320 353484 0 0 0 249437 421 0 0 20 0 15 0 246945539 14431227904 103622 33554432000 4194304 4196468 140720974756560 140720974739104 140286367248119 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
/proc/2876/statm: 3523249 103622 3620 1 0 3485321 0
[pid=2876/tid=2882] ppid=2871 vsize=14092996 memory=425396 CPUtime=2415.59 cores=0,2,4,6
/proc/2876/task/2882/stat : 2882 (java) R 2871 2876 2816 0 -1 4202560 140954 0 0 0 241497 62 0 0 20 0 15 0 246945540 14431227904 103622 33554432000 4194304 4196468 140720974756560 140286371485152 140286005613411 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2885] ppid=2871 vsize=14092996 memory=425252 CPUtime=16.61 cores=0,2,4,6
/proc/2876/task/2885/stat : 2885 (java) S 2871 2876 2816 0 -1 1077944384 19954 0 0 0 1601 60 0 0 20 0 15 0 246945540 14431227904 103622 33554432000 4194304 4196468 140720974756560 140286319868560 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2888] ppid=2871 vsize=14092996 memory=420644 CPUtime=16.6 cores=0,2,4,6
/proc/2876/task/2888/stat : 2888 (java) S 2871 2876 2816 0 -1 1077944384 20706 0 0 0 1601 59 0 0 20 0 15 0 246945540 14431227904 103622 33554432000 4194304 4196468 140720974756560 140286318815760 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2889] ppid=2871 vsize=14092996 memory=414488 CPUtime=16.58 cores=0,2,4,6
/proc/2876/task/2889/stat : 2889 (java) S 2871 2876 2816 0 -1 1077944384 22556 0 0 0 1596 62 0 0 20 0 15 0 246945540 14431227904 103622 33554432000 4194304 4196468 140720974756560 140286317762960 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2890] ppid=2871 vsize=14092996 memory=415516 CPUtime=16.56 cores=0,2,4,6
/proc/2876/task/2890/stat : 2890 (java) S 2871 2876 2816 0 -1 1077944384 18153 0 0 0 1594 62 0 0 20 0 15 0 246945540 14431227904 103622 33554432000 4194304 4196468 140720974756560 140286316710160 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2892] ppid=2871 vsize=14092996 memory=417568 CPUtime=7.43 cores=0,2,4,6
/proc/2876/task/2892/stat : 2892 (java) S 2871 2876 2816 0 -1 1077944384 35967 0 0 0 666 77 0 0 20 0 15 0 246945542 14431227904 103622 33554432000 4194304 4196468 140720974756560 140285481036656 140286367259266 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2894] ppid=2871 vsize=14092996 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2894/stat : 2894 (java) S 2871 2876 2816 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 246945542 14431227904 103622 33554432000 4194304 4196468 140720974756560 140285479982688 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2896] ppid=2871 vsize=14092996 memory=37196 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2896/stat : 2896 (java) S 2871 2876 2816 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 246945542 14431227904 103622 33554432000 4194304 4196468 140720974756560 140285478929792 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2901] ppid=2871 vsize=14092996 memory=421672 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2901/stat : 2901 (java) S 2871 2876 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246945545 14431227904 103622 33554432000 4194304 4196468 140720974756560 140285477878096 140286367266715 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2902] ppid=2871 vsize=14092996 memory=422696 CPUtime=3.21 cores=0,2,4,6
/proc/2876/task/2902/stat : 2902 (java) S 2871 2876 2816 0 -1 1077944384 29505 0 0 0 318 3 0 0 20 0 15 0 246945545 14431227904 103622 33554432000 4194304 4196468 140720974756560 140285476825456 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2903] ppid=2871 vsize=14092996 memory=419620 CPUtime=3.2 cores=0,2,4,6
/proc/2876/task/2903/stat : 2903 (java) S 2871 2876 2816 0 -1 1077944384 30932 0 0 0 316 4 0 0 20 0 15 0 246945545 14431227904 103622 33554432000 4194304 4196468 140720974756560 140285475772656 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2904] ppid=2871 vsize=14092996 memory=419620 CPUtime=1.18 cores=0,2,4,6
/proc/2876/task/2904/stat : 2904 (java) S 2871 2876 2816 0 -1 1077944384 31801 0 0 0 114 4 0 0 20 0 15 0 246945545 14431227904 103622 33554432000 4194304 4196468 140720974756560 140285474719856 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2906] ppid=2871 vsize=14092996 memory=420644 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2906/stat : 2906 (java) S 2871 2876 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246945545 14431227904 103622 33554432000 4194304 4196468 140720974756560 140285473667296 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2908] ppid=2871 vsize=14092996 memory=428708 CPUtime=1.54 cores=0,2,4,6
/proc/2876/task/2908/stat : 2908 (java) S 2871 2876 2816 0 -1 1077944384 1518 0 0 0 73 81 0 0 20 0 15 0 246945545 14431227904 103622 33554432000 4194304 4196468 140720974756560 140285472615600 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
Current children cumulated CPU time: 2498.58 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 414488 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2463.3 s]
/proc/loadavg: 1.36 1.37 1.33 5/220 3129
/proc/meminfo: memFree=23599456/32770624 swapFree=67108688/67108860
[pid=2876] ppid=2871 vsize=14092996 memory=392088 CPUtime=2520.04 cores=0,2,4,6
/proc/2876/stat : 2876 (java) S 2871 2876 2816 0 -1 1077944320 354049 0 0 0 251582 422 0 0 20 0 15 0 246945539 14431227904 98022 33554432000 4194304 4196468 140720974756560 140720974739104 140286367248119 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
/proc/2876/statm: 3523249 98022 3620 1 0 3485321 0
[pid=2876/tid=2882] ppid=2871 vsize=14092996 memory=394140 CPUtime=2436.35 cores=0,2,4,6
/proc/2876/task/2882/stat : 2882 (java) R 2871 2876 2816 0 -1 4202560 141315 0 0 0 243573 62 0 0 20 0 15 0 246945540 14431227904 98022 33554432000 4194304 4196468 140720974756560 140286371485264 140286004420764 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2885] ppid=2871 vsize=14092996 memory=394140 CPUtime=16.76 cores=0,2,4,6
/proc/2876/task/2885/stat : 2885 (java) S 2871 2876 2816 0 -1 1077944384 20018 0 0 0 1616 60 0 0 20 0 15 0 246945540 14431227904 98022 33554432000 4194304 4196468 140720974756560 140286319868560 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2888] ppid=2871 vsize=14092996 memory=395168 CPUtime=16.75 cores=0,2,4,6
/proc/2876/task/2888/stat : 2888 (java) S 2871 2876 2816 0 -1 1077944384 20750 0 0 0 1616 59 0 0 20 0 15 0 246945540 14431227904 98022 33554432000 4194304 4196468 140720974756560 140286318815760 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2889] ppid=2871 vsize=14092996 memory=395168 CPUtime=16.75 cores=0,2,4,6
/proc/2876/task/2889/stat : 2889 (java) S 2871 2876 2816 0 -1 1077944384 22565 0 0 0 1612 63 0 0 20 0 15 0 246945540 14431227904 98022 33554432000 4194304 4196468 140720974756560 140286317762960 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2890] ppid=2871 vsize=14092996 memory=396192 CPUtime=16.72 cores=0,2,4,6
/proc/2876/task/2890/stat : 2890 (java) S 2871 2876 2816 0 -1 1077944384 18161 0 0 0 1609 63 0 0 20 0 15 0 246945540 14431227904 98022 33554432000 4194304 4196468 140720974756560 140286316710160 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2892] ppid=2871 vsize=14092996 memory=280026767564149 CPUtime=7.49 cores=0,2,4,6
/proc/2876/task/2892/stat : 2892 (java) S 2871 2876 2816 0 -1 1077944384 36037 0 0 0 672 77 0 0 20 0 15 0 246945542 14431227904 98022 33554432000 4194304 4196468 140720974756560 140285481036656 140286367259266 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2894] ppid=2871 vsize=14092996 memory=398244 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2894/stat : 2894 (java) S 2871 2876 2816 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 246945542 14431227904 98022 33554432000 4194304 4196468 140720974756560 140285479982688 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2896] ppid=2871 vsize=14092996 memory=393116 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2896/stat : 2896 (java) S 2871 2876 2816 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 246945542 14431227904 98022 33554432000 4194304 4196468 140720974756560 140285478929792 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2901] ppid=2871 vsize=14092996 memory=392088 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2901/stat : 2901 (java) S 2871 2876 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246945545 14431227904 98022 33554432000 4194304 4196468 140720974756560 140285477878096 140286367266715 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2902] ppid=2871 vsize=14092996 memory=393116 CPUtime=3.21 cores=0,2,4,6
/proc/2876/task/2902/stat : 2902 (java) S 2871 2876 2816 0 -1 1077944384 29505 0 0 0 318 3 0 0 20 0 15 0 246945545 14431227904 98022 33554432000 4194304 4196468 140720974756560 140285476825456 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2903] ppid=2871 vsize=14092996 memory=3360 CPUtime=3.2 cores=0,2,4,6
/proc/2876/task/2903/stat : 2903 (java) S 2871 2876 2816 0 -1 1077944384 30932 0 0 0 316 4 0 0 20 0 15 0 246945545 14431227904 98022 33554432000 4194304 4196468 140720974756560 140285475772656 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2904] ppid=2871 vsize=14092996 memory=496 CPUtime=1.18 cores=0,2,4,6
/proc/2876/task/2904/stat : 2904 (java) S 2871 2876 2816 0 -1 1077944384 31801 0 0 0 114 4 0 0 20 0 15 0 246945545 14431227904 98022 33554432000 4194304 4196468 140720974756560 140285474719856 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2906] ppid=2871 vsize=14092996 memory=394140 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2906/stat : 2906 (java) S 2871 2876 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246945545 14431227904 98022 33554432000 4194304 4196468 140720974756560 140285473667296 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2908] ppid=2871 vsize=14092996 memory=398244 CPUtime=1.54 cores=0,2,4,6
/proc/2876/task/2908/stat : 2908 (java) S 2871 2876 2816 0 -1 1077944384 1527 0 0 0 73 81 0 0 20 0 15 0 246945545 14431227904 98022 33554432000 4194304 4196468 140720974756560 140285472615600 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 392088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2463.32 s]
# the end of solver process 2876 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.83 s, system=4.23482 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2463.3 s]
/proc/loadavg: 1.36 1.37 1.33 5/220 3129
/proc/meminfo: memFree=23599456/32770624 swapFree=67108688/67108860
[pid=2876] ppid=2871 vsize=14092996 memory=392088 CPUtime=2520.04 cores=0,2,4,6
/proc/2876/stat : 2876 (java) S 2871 2876 2816 0 -1 1077944320 354049 0 0 0 251582 422 0 0 20 0 15 0 246945539 14431227904 98022 33554432000 4194304 4196468 140720974756560 140720974739104 140286367248119 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
/proc/2876/statm: 3523249 98022 3620 1 0 3485321 0
[pid=2876/tid=2882] ppid=2871 vsize=14092996 memory=394140 CPUtime=2436.35 cores=0,2,4,6
/proc/2876/task/2882/stat : 2882 (java) R 2871 2876 2816 0 -1 4202560 141315 0 0 0 243573 62 0 0 20 0 15 0 246945540 14431227904 98022 33554432000 4194304 4196468 140720974756560 140286371485264 140286004420764 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2885] ppid=2871 vsize=14092996 memory=394140 CPUtime=16.76 cores=0,2,4,6
/proc/2876/task/2885/stat : 2885 (java) S 2871 2876 2816 0 -1 1077944384 20018 0 0 0 1616 60 0 0 20 0 15 0 246945540 14431227904 98022 33554432000 4194304 4196468 140720974756560 140286319868560 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2888] ppid=2871 vsize=14092996 memory=395168 CPUtime=16.75 cores=0,2,4,6
/proc/2876/task/2888/stat : 2888 (java) S 2871 2876 2816 0 -1 1077944384 20750 0 0 0 1616 59 0 0 20 0 15 0 246945540 14431227904 98022 33554432000 4194304 4196468 140720974756560 140286318815760 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2889] ppid=2871 vsize=14092996 memory=395168 CPUtime=16.75 cores=0,2,4,6
/proc/2876/task/2889/stat : 2889 (java) S 2871 2876 2816 0 -1 1077944384 22565 0 0 0 1612 63 0 0 20 0 15 0 246945540 14431227904 98022 33554432000 4194304 4196468 140720974756560 140286317762960 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2890] ppid=2871 vsize=14092996 memory=396192 CPUtime=16.72 cores=0,2,4,6
/proc/2876/task/2890/stat : 2890 (java) S 2871 2876 2816 0 -1 1077944384 18161 0 0 0 1609 63 0 0 20 0 15 0 246945540 14431227904 98022 33554432000 4194304 4196468 140720974756560 140286316710160 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2892] ppid=2871 vsize=14092996 memory=280026767564149 CPUtime=7.49 cores=0,2,4,6
/proc/2876/task/2892/stat : 2892 (java) S 2871 2876 2816 0 -1 1077944384 36037 0 0 0 672 77 0 0 20 0 15 0 246945542 14431227904 98022 33554432000 4194304 4196468 140720974756560 140285481036656 140286367259266 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2894] ppid=2871 vsize=14092996 memory=398244 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2894/stat : 2894 (java) S 2871 2876 2816 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 246945542 14431227904 98022 33554432000 4194304 4196468 140720974756560 140285479982688 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2896] ppid=2871 vsize=14092996 memory=393116 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2896/stat : 2896 (java) S 2871 2876 2816 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 246945542 14431227904 98022 33554432000 4194304 4196468 140720974756560 140285478929792 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2901] ppid=2871 vsize=14092996 memory=392088 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2901/stat : 2901 (java) S 2871 2876 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246945545 14431227904 98022 33554432000 4194304 4196468 140720974756560 140285477878096 140286367266715 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2902] ppid=2871 vsize=14092996 memory=393116 CPUtime=3.21 cores=0,2,4,6
/proc/2876/task/2902/stat : 2902 (java) S 2871 2876 2816 0 -1 1077944384 29505 0 0 0 318 3 0 0 20 0 15 0 246945545 14431227904 98022 33554432000 4194304 4196468 140720974756560 140285476825456 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2903] ppid=2871 vsize=14092996 memory=3360 CPUtime=3.2 cores=0,2,4,6
/proc/2876/task/2903/stat : 2903 (java) S 2871 2876 2816 0 -1 1077944384 30932 0 0 0 316 4 0 0 20 0 15 0 246945545 14431227904 98022 33554432000 4194304 4196468 140720974756560 140285475772656 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2904] ppid=2871 vsize=14092996 memory=496 CPUtime=1.18 cores=0,2,4,6
/proc/2876/task/2904/stat : 2904 (java) S 2871 2876 2816 0 -1 1077944384 31801 0 0 0 114 4 0 0 20 0 15 0 246945545 14431227904 98022 33554432000 4194304 4196468 140720974756560 140285474719856 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2906] ppid=2871 vsize=14092996 memory=394140 CPUtime=0 cores=0,2,4,6
/proc/2876/task/2906/stat : 2906 (java) S 2871 2876 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246945545 14431227904 98022 33554432000 4194304 4196468 140720974756560 140285473667296 140286367258325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
[pid=2876/tid=2908] ppid=2871 vsize=14092996 memory=398244 CPUtime=1.54 cores=0,2,4,6
/proc/2876/task/2908/stat : 2908 (java) S 2871 2876 2816 0 -1 1077944384 1527 0 0 0 73 81 0 0 20 0 15 0 246945545 14431227904 98022 33554432000 4194304 4196468 140720974756560 140285472615600 140286367259266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21889024 140720974758997 140720974759177 140720974759177 140720974761935 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 392088 KiB
Child status: 143
Real time (s): 2463.32
CPU time (s): 2520.07
CPU user time (s): 2515.83
CPU system time (s): 4.23482
CPU usage (%): 102.304
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 1161896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.83
system time used= 4.23482
maximum resident set size= 1182876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354217
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 237063
involuntary context switches= 8837
# summary of solver processes directly reported to runsolver:
# pid: 2876
# total CPU time (s): 2520.07
# total CPU user time (s): 2515.83
# total CPU system time (s): 4.23482
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2225 second user time and 19.1505 second system time
The end