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 (13868 MiB free)
memory of node 1: 16384 MiB (9370 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308235-1534325142/watcher-4308235-1534325142 -o /tmp/evaluation-result-4308235-1534325142/solver-4308235-1534325142 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534322669-15270 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1393051016 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308235-1534325142.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=15647, runsolver pid=15644
[startup+0.100145 s]*
/proc/loadavg: 1.38 1.29 1.31 3/219 15662
/proc/meminfo: memFree=23764120/32770624 swapFree=67108852/67108860
[pid=15647] ppid=15644 vsize=14082736 memory=31540 CPUtime=0.12 cores=1,3,5,7
/proc/15647/stat : 15647 (java) S 15644 15647 11116 0 -1 1077944320 6795 0 0 0 11 1 0 0 20 0 15 0 250077354 14420721664 7885 33554432000 4194304 4196468 140732483865680 140732483848224 140099340472055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
/proc/15647/statm: 3520684 7885 3155 1 0 3482761 0
[pid=15647/tid=15649] ppid=15644 vsize=14082736 memory=-8701690554792448382 CPUtime=0.09 cores=1,3,5,7
/proc/15647/task/15649/stat : 15649 (java) R 15644 15647 11116 0 -1 4202560 4842 0 0 0 8 1 0 0 20 0 15 0 250077355 14420721664 7885 33554432000 4194304 4196468 140732483865680 140099344675176 140099324552542 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15650] ppid=15644 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15650/stat : 15650 (java) S 15644 15647 11116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250077356 14420721664 7885 33554432000 4194304 4196468 140732483865680 140099293092112 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15651] ppid=15644 vsize=14082736 memory=140487513400960 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15651/stat : 15651 (java) S 15644 15647 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250077356 14420721664 7885 33554432000 4194304 4196468 140732483865680 140099292039568 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15652] ppid=15644 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15652/stat : 15652 (java) S 15644 15647 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250077356 14420721664 7885 33554432000 4194304 4196468 140732483865680 140099290987024 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15653] ppid=15644 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15653/stat : 15653 (java) S 15644 15647 11116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250077356 14420721664 7885 33554432000 4194304 4196468 140732483865680 140099289934480 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15654] ppid=15644 vsize=14082736 memory=140487513400960 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15654/stat : 15654 (java) S 15644 15647 11116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250077357 14420721664 7885 33554432000 4194304 4196468 140732483865680 140098319948272 140099340483202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15655] ppid=15644 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15655/stat : 15655 (java) S 15644 15647 11116 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250077357 14420721664 7885 33554432000 4194304 4196468 140732483865680 140098318894496 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15656] ppid=15644 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15656/stat : 15656 (java) S 15644 15647 11116 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250077358 14420721664 7885 33554432000 4194304 4196468 140732483865680 140098317841904 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15657] ppid=15644 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15657/stat : 15657 (java) S 15644 15647 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250077360 14420721664 7885 33554432000 4194304 4196468 140732483865680 140098316790480 140099340490651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15658] ppid=15644 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15658/stat : 15658 (java) S 15644 15647 11116 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 250077360 14420721664 7885 33554432000 4194304 4196468 140732483865680 140098315737072 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15659] ppid=15644 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15659/stat : 15659 (java) S 15644 15647 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250077360 14420721664 7885 33554432000 4194304 4196468 140732483865680 140098314684528 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15660] ppid=15644 vsize=14082736 memory=140487513400960 CPUtime=0.01 cores=1,3,5,7
/proc/15647/task/15660/stat : 15660 (java) S 15644 15647 11116 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 15 0 250077360 14420721664 7885 33554432000 4194304 4196468 140732483865680 140098313631984 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15661] ppid=15644 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15661/stat : 15661 (java) S 15644 15647 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250077360 14420721664 7885 33554432000 4194304 4196468 140732483865680 140098312579680 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15662] ppid=15644 vsize=14082736 memory=140487513400960 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15662/stat : 15662 (java) S 15644 15647 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250077360 14420721664 7885 33554432000 4194304 4196468 140732483865680 140098311527216 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31540 KiB
[startup+0.214179 s]*
/proc/loadavg: 1.38 1.29 1.31 5/219 15662
/proc/meminfo: memFree=23731140/32770624 swapFree=67108852/67108860
[pid=15647] ppid=15644 vsize=14082736 memory=47600 CPUtime=0.32 cores=1,3,5,7
/proc/15647/stat : 15647 (java) S 15644 15647 11116 0 -1 1077944320 10473 0 0 0 30 2 0 0 20 0 15 0 250077354 14420721664 11900 33554432000 4194304 4196468 140732483865680 140732483848224 140099340472055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
/proc/15647/statm: 3520684 11900 3403 1 0 3482761 0
[pid=15647/tid=15649] ppid=15644 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/15647/task/15649/stat : 15649 (java) R 15644 15647 11116 0 -1 4202560 8176 0 0 0 19 1 0 0 20 0 15 0 250077355 14420721664 11900 33554432000 4194304 4196468 140732483865680 140099344698672 140099340493402 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15650] ppid=15644 vsize=14082736 memory=345 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15650/stat : 15650 (java) S 15644 15647 11116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250077356 14420721664 11900 33554432000 4194304 4196468 140732483865680 140099293092112 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15651] ppid=15644 vsize=14082736 memory=140487514746752 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15651/stat : 15651 (java) S 15644 15647 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250077356 14420721664 11900 33554432000 4194304 4196468 140732483865680 140099292039568 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15652] ppid=15644 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15652/stat : 15652 (java) S 15644 15647 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250077356 14420721664 11900 33554432000 4194304 4196468 140732483865680 140099290987024 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15653] ppid=15644 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15653/stat : 15653 (java) S 15644 15647 11116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250077356 14420721664 11900 33554432000 4194304 4196468 140732483865680 140099289934480 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15654] ppid=15644 vsize=14082736 memory=140487513400960 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15654/stat : 15654 (java) S 15644 15647 11116 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250077357 14420721664 11900 33554432000 4194304 4196468 140732483865680 140098319948272 140099340483202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15655] ppid=15644 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15655/stat : 15655 (java) S 15644 15647 11116 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250077357 14420721664 11900 33554432000 4194304 4196468 140732483865680 140098318894496 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15656] ppid=15644 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15656/stat : 15656 (java) S 15644 15647 11116 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250077358 14420721664 11900 33554432000 4194304 4196468 140732483865680 140098317841904 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15657] ppid=15644 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15657/stat : 15657 (java) S 15644 15647 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250077360 14420721664 11900 33554432000 4194304 4196468 140732483865680 140098316790480 140099340490651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15658] ppid=15644 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15647/task/15658/stat : 15658 (java) S 15644 15647 11116 0 -1 1077944384 414 0 0 0 2 0 0 0 20 0 15 0 250077360 14420721664 11900 33554432000 4194304 4196468 140732483865680 140098315737072 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15659] ppid=15644 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15647/task/15659/stat : 15659 (java) S 15644 15647 11116 0 -1 1077944384 204 0 0 0 2 0 0 0 20 0 15 0 250077360 14420721664 11900 33554432000 4194304 4196468 140732483865680 140098314684528 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15660] ppid=15644 vsize=14082736 memory=140487513400960 CPUtime=0.06 cores=1,3,5,7
/proc/15647/task/15660/stat : 15660 (java) R 15644 15647 11116 0 -1 4202560 300 0 0 0 6 0 0 0 20 0 15 0 250077360 14420721664 11900 33554432000 4194304 4196468 140732483865680 140098313629776 140099319457072 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15661] ppid=15644 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15661/stat : 15661 (java) S 15644 15647 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250077360 14420721664 11900 33554432000 4194304 4196468 140732483865680 140098312579680 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15662] ppid=15644 vsize=14082736 memory=140487513400960 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15662/stat : 15662 (java) S 15644 15647 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250077360 14420721664 11900 33554432000 4194304 4196468 140732483865680 140098311527216 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47600 KiB
[startup+0.310921 s]*
/proc/loadavg: 1.38 1.29 1.31 3/219 15662
/proc/meminfo: memFree=23697256/32770624 swapFree=67108852/67108860
[pid=15647] ppid=15644 vsize=14082736 memory=50928 CPUtime=0.44 cores=1,3,5,7
/proc/15647/stat : 15647 (java) S 15644 15647 11116 0 -1 1077944320 10815 0 0 0 42 2 0 0 20 0 15 0 250077354 14420721664 12732 33554432000 4194304 4196468 140732483865680 140732483848224 140099340472055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
/proc/15647/statm: 3520684 12732 3406 1 0 3482761 0
[pid=15647/tid=15649] ppid=15644 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/15647/task/15649/stat : 15649 (java) R 15644 15647 11116 0 -1 4202560 8500 0 0 0 29 1 0 0 20 0 15 0 250077355 14420721664 12732 33554432000 4194304 4196468 140732483865680 140099344683568 140099325637648 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15650] ppid=15644 vsize=14082736 memory=304556157652172823 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15650/stat : 15650 (java) S 15644 15647 11116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250077356 14420721664 12732 33554432000 4194304 4196468 140732483865680 140099293092112 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15651] ppid=15644 vsize=14082736 memory=140487514737396 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15651/stat : 15651 (java) S 15644 15647 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250077356 14420721664 12732 33554432000 4194304 4196468 140732483865680 140099292039568 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15652] ppid=15644 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15652/stat : 15652 (java) S 15644 15647 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250077356 14420721664 12732 33554432000 4194304 4196468 140732483865680 140099290987024 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15653] ppid=15644 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15653/stat : 15653 (java) S 15644 15647 11116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250077356 14420721664 12732 33554432000 4194304 4196468 140732483865680 140099289934480 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15654] ppid=15644 vsize=14082736 memory=140487513400960 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15654/stat : 15654 (java) S 15644 15647 11116 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250077357 14420721664 12732 33554432000 4194304 4196468 140732483865680 140098319948272 140099340483202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15655] ppid=15644 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15655/stat : 15655 (java) S 15644 15647 11116 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250077357 14420721664 12732 33554432000 4194304 4196468 140732483865680 140098318894496 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15656] ppid=15644 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15656/stat : 15656 (java) S 15644 15647 11116 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250077358 14420721664 12732 33554432000 4194304 4196468 140732483865680 140098317841904 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15657] ppid=15644 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15657/stat : 15657 (java) S 15644 15647 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250077360 14420721664 12732 33554432000 4194304 4196468 140732483865680 140098316790480 140099340490651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15658] ppid=15644 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15647/task/15658/stat : 15658 (java) S 15644 15647 11116 0 -1 1077944384 420 0 0 0 2 0 0 0 20 0 15 0 250077360 14420721664 12732 33554432000 4194304 4196468 140732483865680 140098315737072 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15659] ppid=15644 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15647/task/15659/stat : 15659 (java) S 15644 15647 11116 0 -1 1077944384 204 0 0 0 2 0 0 0 20 0 15 0 250077360 14420721664 12732 33554432000 4194304 4196468 140732483865680 140098314684528 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15660] ppid=15644 vsize=14082736 memory=140487513400960 CPUtime=0.08 cores=1,3,5,7
/proc/15647/task/15660/stat : 15660 (java) S 15644 15647 11116 0 -1 1077944384 307 0 0 0 8 0 0 0 20 0 15 0 250077360 14420721664 12732 33554432000 4194304 4196468 140732483865680 140098313631984 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15661] ppid=15644 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15661/stat : 15661 (java) S 15644 15647 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250077360 14420721664 12732 33554432000 4194304 4196468 140732483865680 140098312579680 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15662] ppid=15644 vsize=14082736 memory=140487513400960 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15662/stat : 15662 (java) S 15644 15647 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250077360 14420721664 12732 33554432000 4194304 4196468 140732483865680 140098311527216 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50928 KiB
[startup+0.700756 s]
/proc/loadavg: 1.38 1.29 1.31 3/219 15662
/proc/meminfo: memFree=23672824/32770624 swapFree=67108852/67108860
[pid=15647] ppid=15644 vsize=14084804 memory=88712 CPUtime=0.99 cores=1,3,5,7
/proc/15647/stat : 15647 (java) S 15644 15647 11116 0 -1 1077944320 17629 0 0 0 95 4 0 0 20 0 15 0 250077354 14422839296 22178 33554432000 4194304 4196468 140732483865680 140732483848224 140099340472055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
/proc/15647/statm: 3521201 22178 3497 1 0 3483273 0
[pid=15647/tid=15649] ppid=15644 vsize=14084804 memory=3340 CPUtime=0.67 cores=1,3,5,7
/proc/15647/task/15649/stat : 15649 (java) R 15644 15647 11116 0 -1 4202560 14931 0 0 0 64 3 0 0 20 0 15 0 250077355 14422839296 22178 33554432000 4194304 4196468 140732483865680 140099344686960 140099340493981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15650] ppid=15644 vsize=14084804 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15650/stat : 15650 (java) S 15644 15647 11116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250077356 14422839296 22178 33554432000 4194304 4196468 140732483865680 140099293092112 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15651] ppid=15644 vsize=14084804 memory=37736 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15651/stat : 15651 (java) S 15644 15647 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250077356 14422839296 22178 33554432000 4194304 4196468 140732483865680 140099292039568 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15652] ppid=15644 vsize=14084804 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15652/stat : 15652 (java) S 15644 15647 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250077356 14422839296 22178 33554432000 4194304 4196468 140732483865680 140099290987024 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15653] ppid=15644 vsize=14084804 memory=496 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15653/stat : 15653 (java) S 15644 15647 11116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250077356 14422839296 22178 33554432000 4194304 4196468 140732483865680 140099289934480 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15654] ppid=15644 vsize=14084804 memory=928 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15654/stat : 15654 (java) S 15644 15647 11116 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250077357 14422839296 22178 33554432000 4194304 4196468 140732483865680 140098319948272 140099340483202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15655] ppid=15644 vsize=14084804 memory=2248 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15655/stat : 15655 (java) S 15644 15647 11116 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250077357 14422839296 22178 33554432000 4194304 4196468 140732483865680 140098318894496 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15656] ppid=15644 vsize=14084804 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15656/stat : 15656 (java) S 15644 15647 11116 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250077358 14422839296 22178 33554432000 4194304 4196468 140732483865680 140098317841904 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15657] ppid=15644 vsize=14084804 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15657/stat : 15657 (java) S 15644 15647 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250077360 14422839296 22178 33554432000 4194304 4196468 140732483865680 140098316790480 140099340490651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15658] ppid=15644 vsize=14084804 memory=7237400421040875609 CPUtime=0.06 cores=1,3,5,7
/proc/15647/task/15658/stat : 15658 (java) S 15644 15647 11116 0 -1 1077944384 561 0 0 0 6 0 0 0 20 0 15 0 250077360 14422839296 22178 33554432000 4194304 4196468 140732483865680 140098315737072 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15659] ppid=15644 vsize=14084804 memory=7523071198212214892 CPUtime=0.08 cores=1,3,5,7
/proc/15647/task/15659/stat : 15659 (java) S 15644 15647 11116 0 -1 1077944384 371 0 0 0 8 0 0 0 20 0 15 0 250077360 14422839296 22178 33554432000 4194304 4196468 140732483865680 140098314684528 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15660] ppid=15644 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/15647/task/15660/stat : 15660 (java) S 15644 15647 11116 0 -1 1077944384 382 0 0 0 15 0 0 0 20 0 15 0 250077360 14422839296 22178 33554432000 4194304 4196468 140732483865680 140098313631984 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15661] ppid=15644 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15661/stat : 15661 (java) S 15644 15647 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250077360 14422839296 22178 33554432000 4194304 4196468 140732483865680 140098312579680 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15662] ppid=15644 vsize=14084804 memory=6436 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15662/stat : 15662 (java) S 15644 15647 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250077360 14422839296 22178 33554432000 4194304 4196468 140732483865680 140098311527216 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88712 KiB
[startup+1.50153 s]
/proc/loadavg: 1.38 1.29 1.31 3/219 15662
/proc/meminfo: memFree=23643108/32770624 swapFree=67108852/67108860
[pid=15647] ppid=15644 vsize=14090948 memory=150896 CPUtime=2.95 cores=1,3,5,7
/proc/15647/stat : 15647 (java) S 15644 15647 11116 0 -1 1077944320 24900 0 0 0 288 7 0 0 20 0 15 0 250077354 14429130752 37724 33554432000 4194304 4196468 140732483865680 140732483848224 140099340472055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
/proc/15647/statm: 3522737 37724 3549 1 0 3484809 0
[pid=15647/tid=15649] ppid=15644 vsize=14090948 memory=134680 CPUtime=1.47 cores=1,3,5,7
/proc/15647/task/15649/stat : 15649 (java) R 15644 15647 11116 0 -1 4202560 19445 0 0 0 142 5 0 0 20 0 15 0 250077355 14429130752 37724 33554432000 4194304 4196468 140732483865680 140099344706288 140098965421349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15650] ppid=15644 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15650/stat : 15650 (java) S 15644 15647 11116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250077356 14429130752 37724 33554432000 4194304 4196468 140732483865680 140099293092112 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15651] ppid=15644 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15651/stat : 15651 (java) S 15644 15647 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250077356 14429130752 37724 33554432000 4194304 4196468 140732483865680 140099292039568 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15652] ppid=15644 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15652/stat : 15652 (java) S 15644 15647 11116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250077356 14429130752 37724 33554432000 4194304 4196468 140732483865680 140099290987024 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15653] ppid=15644 vsize=14090948 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15653/stat : 15653 (java) S 15644 15647 11116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250077356 14429130752 37724 33554432000 4194304 4196468 140732483865680 140099289934480 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15654] ppid=15644 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15654/stat : 15654 (java) S 15644 15647 11116 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 250077357 14429130752 37724 33554432000 4194304 4196468 140732483865680 140098319948272 140099340483202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
################
# More data... #
################
/proc/15647/task/15649/stat : 15649 (java) R 15644 15647 11116 0 -1 4202560 39709 0 0 0 236706 23 0 0 20 0 15 0 250077355 14429130752 77809 33554432000 4194304 4196468 140732483865680 140099344710192 140098964628544 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15650] ppid=15644 vsize=14090948 memory=1912 CPUtime=6.61 cores=1,3,5,7
/proc/15647/task/15650/stat : 15650 (java) S 15644 15647 11116 0 -1 1077944384 3120 0 0 0 621 40 0 0 20 0 15 0 250077356 14429130752 77809 33554432000 4194304 4196468 140732483865680 140099293092112 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15651] ppid=15644 vsize=14090948 memory=1120 CPUtime=6.6 cores=1,3,5,7
/proc/15647/task/15651/stat : 15651 (java) S 15644 15647 11116 0 -1 1077944384 2875 0 0 0 618 42 0 0 20 0 15 0 250077356 14429130752 77809 33554432000 4194304 4196468 140732483865680 140099292039568 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15652] ppid=15644 vsize=14090948 memory=6436 CPUtime=6.56 cores=1,3,5,7
/proc/15647/task/15652/stat : 15652 (java) S 15644 15647 11116 0 -1 1077944384 3991 0 0 0 614 42 0 0 20 0 15 0 250077356 14429130752 77809 33554432000 4194304 4196468 140732483865680 140099290987024 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15653] ppid=15644 vsize=14090948 memory=4872558044660077418 CPUtime=6.55 cores=1,3,5,7
/proc/15647/task/15653/stat : 15653 (java) S 15644 15647 11116 0 -1 1077944384 4755 0 0 0 609 46 0 0 20 0 15 0 250077356 14429130752 77809 33554432000 4194304 4196468 140732483865680 140099289934480 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15654] ppid=15644 vsize=14090948 memory=288230583166042426 CPUtime=5.95 cores=1,3,5,7
/proc/15647/task/15654/stat : 15654 (java) S 15644 15647 11116 0 -1 1077944384 5065 0 0 0 556 39 0 0 20 0 15 0 250077357 14429130752 77809 33554432000 4194304 4196468 140732483865680 140098319948272 140099340483202 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15655] ppid=15644 vsize=14090948 memory=14133338034145104 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15655/stat : 15655 (java) S 15644 15647 11116 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 250077357 14429130752 77809 33554432000 4194304 4196468 140732483865680 140098318894560 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15656] ppid=15644 vsize=14090948 memory=309164 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15656/stat : 15656 (java) S 15644 15647 11116 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 250077358 14429130752 77809 33554432000 4194304 4196468 140732483865680 140098317841904 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15657] ppid=15644 vsize=14090948 memory=2580 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15657/stat : 15657 (java) S 15644 15647 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250077360 14429130752 77809 33554432000 4194304 4196468 140732483865680 140098316790480 140099340490651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15658] ppid=15644 vsize=14090948 memory=2580 CPUtime=0.88 cores=1,3,5,7
/proc/15647/task/15658/stat : 15658 (java) S 15644 15647 11116 0 -1 1077944384 5918 0 0 0 87 1 0 0 20 0 15 0 250077360 14429130752 77809 33554432000 4194304 4196468 140732483865680 140098315737072 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15659] ppid=15644 vsize=14090948 memory=1408 CPUtime=0.92 cores=1,3,5,7
/proc/15647/task/15659/stat : 15659 (java) S 15644 15647 11116 0 -1 1077944384 6646 0 0 0 91 1 0 0 20 0 15 0 250077360 14429130752 77809 33554432000 4194304 4196468 140732483865680 140098314684528 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15660] ppid=15644 vsize=14090948 memory=3232 CPUtime=0.54 cores=1,3,5,7
/proc/15647/task/15660/stat : 15660 (java) S 15644 15647 11116 0 -1 1077944384 5168 0 0 0 53 1 0 0 20 0 15 0 250077360 14429130752 77809 33554432000 4194304 4196468 140732483865680 140098313631984 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15661] ppid=15644 vsize=14090948 memory=327384 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15661/stat : 15661 (java) S 15644 15647 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250077360 14429130752 77809 33554432000 4194304 4196468 140732483865680 140098312579680 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15662] ppid=15644 vsize=14090948 memory=1408 CPUtime=1.05 cores=1,3,5,7
/proc/15647/task/15662/stat : 15662 (java) S 15644 15647 11116 0 -1 1077944384 1746 0 0 0 49 56 0 0 20 0 15 0 250077360 14429130752 77809 33554432000 4194304 4196468 140732483865680 140098311527216 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
Current children cumulated CPU time: 2403.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 311236 KiB
[startup+2442.3 s]*
/proc/loadavg: 1.38 1.30 1.30 3/219 15767
/proc/meminfo: memFree=23337108/32770624 swapFree=67108852/67108860
[pid=15647] ppid=15644 vsize=14090948 memory=315344 CPUtime=2463.63 cores=1,3,5,7
/proc/15647/stat : 15647 (java) S 15644 15647 11116 0 -1 1077944320 81031 0 0 0 246119 244 0 0 20 0 15 0 250077354 14429130752 78836 33554432000 4194304 4196468 140732483865680 140732483848224 140099340472055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
/proc/15647/statm: 3522737 78836 3578 1 0 3484809 0
[pid=15647/tid=15649] ppid=15644 vsize=14090948 memory=6791534058613427641 CPUtime=2426.86 cores=1,3,5,7
/proc/15647/task/15649/stat : 15649 (java) R 15644 15647 11116 0 -1 4202560 40023 0 0 0 242663 23 0 0 20 0 15 0 250077355 14429130752 78836 33554432000 4194304 4196468 140732483865680 140099344710192 140099324844352 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15650] ppid=15644 vsize=14090948 memory=4872558044660077418 CPUtime=6.82 cores=1,3,5,7
/proc/15647/task/15650/stat : 15650 (java) S 15644 15647 11116 0 -1 1077944384 3142 0 0 0 640 42 0 0 20 0 15 0 250077356 14429130752 78836 33554432000 4194304 4196468 140732483865680 140099293092112 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15651] ppid=15644 vsize=14090948 memory=804 CPUtime=6.81 cores=1,3,5,7
/proc/15647/task/15651/stat : 15651 (java) S 15644 15647 11116 0 -1 1077944384 2888 0 0 0 638 43 0 0 20 0 15 0 250077356 14429130752 78836 33554432000 4194304 4196468 140732483865680 140099292039568 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15652] ppid=15644 vsize=14090948 memory=1696 CPUtime=6.77 cores=1,3,5,7
/proc/15647/task/15652/stat : 15652 (java) S 15644 15647 11116 0 -1 1077944384 4007 0 0 0 634 43 0 0 20 0 15 0 250077356 14429130752 78836 33554432000 4194304 4196468 140732483865680 140099290987024 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15653] ppid=15644 vsize=14090948 memory=920 CPUtime=6.75 cores=1,3,5,7
/proc/15647/task/15653/stat : 15653 (java) S 15644 15647 11116 0 -1 1077944384 4830 0 0 0 628 47 0 0 20 0 15 0 250077356 14429130752 78836 33554432000 4194304 4196468 140732483865680 140099289934480 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15654] ppid=15644 vsize=14090948 memory=3848 CPUtime=6.11 cores=1,3,5,7
/proc/15647/task/15654/stat : 15654 (java) S 15644 15647 11116 0 -1 1077944384 5220 0 0 0 571 40 0 0 20 0 15 0 250077357 14429130752 78836 33554432000 4194304 4196468 140732483865680 140098319948272 140099340483202 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15655] ppid=15644 vsize=14090948 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15655/stat : 15655 (java) S 15644 15647 11116 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 250077357 14429130752 78836 33554432000 4194304 4196468 140732483865680 140098318894560 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15656] ppid=15644 vsize=14090948 memory=2580 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15656/stat : 15656 (java) S 15644 15647 11116 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 250077358 14429130752 78836 33554432000 4194304 4196468 140732483865680 140098317841904 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15657] ppid=15644 vsize=14090948 memory=2580 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15657/stat : 15657 (java) S 15644 15647 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250077360 14429130752 78836 33554432000 4194304 4196468 140732483865680 140098316790480 140099340490651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15658] ppid=15644 vsize=14090948 memory=1408 CPUtime=0.88 cores=1,3,5,7
/proc/15647/task/15658/stat : 15658 (java) S 15644 15647 11116 0 -1 1077944384 5918 0 0 0 87 1 0 0 20 0 15 0 250077360 14429130752 78836 33554432000 4194304 4196468 140732483865680 140098315737072 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15659] ppid=15644 vsize=14090948 memory=3232 CPUtime=0.92 cores=1,3,5,7
/proc/15647/task/15659/stat : 15659 (java) S 15644 15647 11116 0 -1 1077944384 6646 0 0 0 91 1 0 0 20 0 15 0 250077360 14429130752 78836 33554432000 4194304 4196468 140732483865680 140098314684528 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15660] ppid=15644 vsize=14090948 memory=331488 CPUtime=0.55 cores=1,3,5,7
/proc/15647/task/15660/stat : 15660 (java) S 15644 15647 11116 0 -1 1077944384 5168 0 0 0 54 1 0 0 20 0 15 0 250077360 14429130752 78836 33554432000 4194304 4196468 140732483865680 140098313631984 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15661] ppid=15644 vsize=14090948 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15661/stat : 15661 (java) S 15644 15647 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250077360 14429130752 78836 33554432000 4194304 4196468 140732483865680 140098312579680 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15662] ppid=15644 vsize=14090948 memory=3080 CPUtime=1.08 cores=1,3,5,7
/proc/15647/task/15662/stat : 15662 (java) S 15644 15647 11116 0 -1 1077944384 1759 0 0 0 50 58 0 0 20 0 15 0 250077360 14429130752 78836 33554432000 4194304 4196468 140732483865680 140098311527216 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
Current children cumulated CPU time: 2463.63 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 315344 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2498.2 s]
/proc/loadavg: 1.30 1.29 1.30 2/200 15778
/proc/meminfo: memFree=23654888/32770624 swapFree=67108852/67108860
[pid=15647] ppid=15644 vsize=14090948 memory=317404 CPUtime=2520.03 cores=1,3,5,7
/proc/15647/stat : 15647 (java) S 15644 15647 11116 0 -1 1077944320 82174 0 0 0 251753 250 0 0 20 0 15 0 250077354 14429130752 79351 33554432000 4194304 4196468 140732483865680 140732483848224 140099340472055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
/proc/15647/statm: 3522737 79351 3578 1 0 3484809 0
[pid=15647/tid=15649] ppid=15644 vsize=14090948 memory=315344 CPUtime=2482.34 cores=1,3,5,7
/proc/15647/task/15649/stat : 15649 (java) R 15644 15647 11116 0 -1 4202560 40527 0 0 0 248210 24 0 0 20 0 15 0 250077355 14429130752 79351 33554432000 4194304 4196468 140732483865680 140099344710208 140098970258980 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15650] ppid=15644 vsize=14090948 memory=315344 CPUtime=7.01 cores=1,3,5,7
/proc/15647/task/15650/stat : 15650 (java) S 15644 15647 11116 0 -1 1077944384 3264 0 0 0 658 43 0 0 20 0 15 0 250077356 14429130752 79351 33554432000 4194304 4196468 140732483865680 140099293092112 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15651] ppid=15644 vsize=14090948 memory=315344 CPUtime=6.99 cores=1,3,5,7
/proc/15647/task/15651/stat : 15651 (java) S 15644 15647 11116 0 -1 1077944384 3040 0 0 0 655 44 0 0 20 0 15 0 250077356 14429130752 79351 33554432000 4194304 4196468 140732483865680 140099292039568 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15652] ppid=15644 vsize=14090948 memory=317404 CPUtime=6.96 cores=1,3,5,7
/proc/15647/task/15652/stat : 15652 (java) S 15644 15647 11116 0 -1 1077944384 4119 0 0 0 652 44 0 0 20 0 15 0 250077356 14429130752 79351 33554432000 4194304 4196468 140732483865680 140099290987024 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15653] ppid=15644 vsize=14090948 memory=317404 CPUtime=6.95 cores=1,3,5,7
/proc/15647/task/15653/stat : 15653 (java) S 15644 15647 11116 0 -1 1077944384 4891 0 0 0 646 49 0 0 20 0 15 0 250077356 14429130752 79351 33554432000 4194304 4196468 140732483865680 140099289934480 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15654] ppid=15644 vsize=14090948 memory=317404 CPUtime=6.24 cores=1,3,5,7
/proc/15647/task/15654/stat : 15654 (java) S 15644 15647 11116 0 -1 1077944384 5392 0 0 0 583 41 0 0 20 0 15 0 250077357 14429130752 79351 33554432000 4194304 4196468 140732483865680 140098319948272 140099340483202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15655] ppid=15644 vsize=14090948 memory=317404 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15655/stat : 15655 (java) S 15644 15647 11116 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 250077357 14429130752 79351 33554432000 4194304 4196468 140732483865680 140098318894560 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15656] ppid=15644 vsize=14090948 memory=317404 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15656/stat : 15656 (java) S 15644 15647 11116 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 250077358 14429130752 79351 33554432000 4194304 4196468 140732483865680 140098317841904 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15657] ppid=15644 vsize=14090948 memory=317404 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15657/stat : 15657 (java) S 15644 15647 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250077360 14429130752 79351 33554432000 4194304 4196468 140732483865680 140098316790480 140099340490651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15658] ppid=15644 vsize=14090948 memory=315356 CPUtime=0.88 cores=1,3,5,7
/proc/15647/task/15658/stat : 15658 (java) S 15644 15647 11116 0 -1 1077944384 5920 0 0 0 87 1 0 0 20 0 15 0 250077360 14429130752 79351 33554432000 4194304 4196468 140732483865680 140098315737072 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15659] ppid=15644 vsize=14090948 memory=0 CPUtime=0.92 cores=1,3,5,7
/proc/15647/task/15659/stat : 15659 (java) S 15644 15647 11116 0 -1 1077944384 6648 0 0 0 91 1 0 0 20 0 15 0 250077360 14429130752 79351 33554432000 4194304 4196468 140732483865680 140098314684528 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15660] ppid=15644 vsize=14090948 memory=317404 CPUtime=0.55 cores=1,3,5,7
/proc/15647/task/15660/stat : 15660 (java) S 15644 15647 11116 0 -1 1077944384 5170 0 0 0 54 1 0 0 20 0 15 0 250077360 14429130752 79351 33554432000 4194304 4196468 140732483865680 140098313631984 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15661] ppid=15644 vsize=14090948 memory=317404 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15661/stat : 15661 (java) S 15644 15647 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250077360 14429130752 79351 33554432000 4194304 4196468 140732483865680 140098312579680 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15662] ppid=15644 vsize=14090948 memory=317404 CPUtime=1.1 cores=1,3,5,7
/proc/15647/task/15662/stat : 15662 (java) S 15644 15647 11116 0 -1 1077944384 1773 0 0 0 51 59 0 0 20 0 15 0 250077360 14429130752 79351 33554432000 4194304 4196468 140732483865680 140098311527216 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 317404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2498.22 s]
# the end of solver process 15647 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.55 s, system=2.51047 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2498.2 s]
/proc/loadavg: 1.30 1.29 1.30 2/200 15778
/proc/meminfo: memFree=23654888/32770624 swapFree=67108852/67108860
[pid=15647] ppid=15644 vsize=14090948 memory=317404 CPUtime=2520.03 cores=1,3,5,7
/proc/15647/stat : 15647 (java) S 15644 15647 11116 0 -1 1077944320 82174 0 0 0 251753 250 0 0 20 0 15 0 250077354 14429130752 79351 33554432000 4194304 4196468 140732483865680 140732483848224 140099340472055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
/proc/15647/statm: 3522737 79351 3578 1 0 3484809 0
[pid=15647/tid=15649] ppid=15644 vsize=14090948 memory=315344 CPUtime=2482.34 cores=1,3,5,7
/proc/15647/task/15649/stat : 15649 (java) R 15644 15647 11116 0 -1 4202560 40527 0 0 0 248210 24 0 0 20 0 15 0 250077355 14429130752 79351 33554432000 4194304 4196468 140732483865680 140099344710208 140098970258980 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15650] ppid=15644 vsize=14090948 memory=315344 CPUtime=7.01 cores=1,3,5,7
/proc/15647/task/15650/stat : 15650 (java) S 15644 15647 11116 0 -1 1077944384 3264 0 0 0 658 43 0 0 20 0 15 0 250077356 14429130752 79351 33554432000 4194304 4196468 140732483865680 140099293092112 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15651] ppid=15644 vsize=14090948 memory=315344 CPUtime=6.99 cores=1,3,5,7
/proc/15647/task/15651/stat : 15651 (java) S 15644 15647 11116 0 -1 1077944384 3040 0 0 0 655 44 0 0 20 0 15 0 250077356 14429130752 79351 33554432000 4194304 4196468 140732483865680 140099292039568 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15652] ppid=15644 vsize=14090948 memory=317404 CPUtime=6.96 cores=1,3,5,7
/proc/15647/task/15652/stat : 15652 (java) S 15644 15647 11116 0 -1 1077944384 4119 0 0 0 652 44 0 0 20 0 15 0 250077356 14429130752 79351 33554432000 4194304 4196468 140732483865680 140099290987024 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15653] ppid=15644 vsize=14090948 memory=317404 CPUtime=6.95 cores=1,3,5,7
/proc/15647/task/15653/stat : 15653 (java) S 15644 15647 11116 0 -1 1077944384 4891 0 0 0 646 49 0 0 20 0 15 0 250077356 14429130752 79351 33554432000 4194304 4196468 140732483865680 140099289934480 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15654] ppid=15644 vsize=14090948 memory=317404 CPUtime=6.24 cores=1,3,5,7
/proc/15647/task/15654/stat : 15654 (java) S 15644 15647 11116 0 -1 1077944384 5392 0 0 0 583 41 0 0 20 0 15 0 250077357 14429130752 79351 33554432000 4194304 4196468 140732483865680 140098319948272 140099340483202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15655] ppid=15644 vsize=14090948 memory=317404 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15655/stat : 15655 (java) S 15644 15647 11116 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 250077357 14429130752 79351 33554432000 4194304 4196468 140732483865680 140098318894560 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15656] ppid=15644 vsize=14090948 memory=317404 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15656/stat : 15656 (java) S 15644 15647 11116 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 250077358 14429130752 79351 33554432000 4194304 4196468 140732483865680 140098317841904 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15657] ppid=15644 vsize=14090948 memory=317404 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15657/stat : 15657 (java) S 15644 15647 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250077360 14429130752 79351 33554432000 4194304 4196468 140732483865680 140098316790480 140099340490651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15658] ppid=15644 vsize=14090948 memory=315356 CPUtime=0.88 cores=1,3,5,7
/proc/15647/task/15658/stat : 15658 (java) S 15644 15647 11116 0 -1 1077944384 5920 0 0 0 87 1 0 0 20 0 15 0 250077360 14429130752 79351 33554432000 4194304 4196468 140732483865680 140098315737072 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15659] ppid=15644 vsize=14090948 memory=0 CPUtime=0.92 cores=1,3,5,7
/proc/15647/task/15659/stat : 15659 (java) S 15644 15647 11116 0 -1 1077944384 6648 0 0 0 91 1 0 0 20 0 15 0 250077360 14429130752 79351 33554432000 4194304 4196468 140732483865680 140098314684528 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15660] ppid=15644 vsize=14090948 memory=317404 CPUtime=0.55 cores=1,3,5,7
/proc/15647/task/15660/stat : 15660 (java) S 15644 15647 11116 0 -1 1077944384 5170 0 0 0 54 1 0 0 20 0 15 0 250077360 14429130752 79351 33554432000 4194304 4196468 140732483865680 140098313631984 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15661] ppid=15644 vsize=14090948 memory=317404 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15661/stat : 15661 (java) S 15644 15647 11116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250077360 14429130752 79351 33554432000 4194304 4196468 140732483865680 140098312579680 140099340482261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
[pid=15647/tid=15662] ppid=15644 vsize=14090948 memory=317404 CPUtime=1.1 cores=1,3,5,7
/proc/15647/task/15662/stat : 15662 (java) S 15644 15647 11116 0 -1 1077944384 1773 0 0 0 51 59 0 0 20 0 15 0 250077360 14429130752 79351 33554432000 4194304 4196468 140732483865680 140098311527216 140099340483202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12435456 140732483871816 140732483872009 140732483872009 140732483874767 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 317404 KiB
Child status: 143
Real time (s): 2498.22
CPU time (s): 2520.06
CPU user time (s): 2517.55
CPU system time (s): 2.51047
CPU usage (%): 100.874
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 317404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.55
system time used= 2.51047
maximum resident set size= 317984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82356
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 222994
involuntary context switches= 5829
# summary of solver processes directly reported to runsolver:
# pid: 15647
# total CPU time (s): 2520.06
# total CPU user time (s): 2517.55
# total CPU system time (s): 2.51047
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2232 second user time and 23.3946 second system time
The end