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 (14253 MiB free)
memory of node 1: 16384 MiB (13806 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307854-1534346761/watcher-4307854-1534346761 -o /tmp/evaluation-result-4307854-1534346761/solver-4307854-1534346761 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534334298-30609 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 15625952 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307854-1534346761.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=31912, runsolver pid=31909
[startup+0.10015 s]*
/proc/loadavg: 1.38 1.43 1.45 3/215 31927
/proc/meminfo: memFree=28714960/32770624 swapFree=67030680/67108860
[pid=31912] ppid=31909 vsize=14082736 memory=30516 CPUtime=0.12 cores=1,3,5,7
/proc/31912/stat : 31912 (java) S 31909 31912 25549 0 -1 1077944320 6557 0 0 0 11 1 0 0 20 0 15 0 252239242 14420721664 7629 33554432000 4194304 4196468 140722964715936 140722964698480 140491621646071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
/proc/31912/statm: 3520684 7629 3155 1 0 3482761 0
[pid=31912/tid=31914] ppid=31909 vsize=14082736 memory=-8773748148829983870 CPUtime=0.09 cores=1,3,5,7
/proc/31912/task/31914/stat : 31914 (java) R 31909 31912 25549 0 -1 4202560 4597 0 0 0 9 0 0 0 20 0 15 0 252239243 14420721664 7629 33554432000 4194304 4196468 140722964715936 140491625884672 140491621667997 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31915] ppid=31909 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31915/stat : 31915 (java) S 31909 31912 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252239243 14420721664 7629 33554432000 4194304 4196468 140722964715936 140491536714896 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31916] ppid=31909 vsize=14082736 memory=140592792008320 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31916/stat : 31916 (java) S 31909 31912 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252239243 14420721664 7629 33554432000 4194304 4196468 140722964715936 140491535662096 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31917] ppid=31909 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31917/stat : 31917 (java) S 31909 31912 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252239243 14420721664 7629 33554432000 4194304 4196468 140722964715936 140491215596432 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31918] ppid=31909 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31918/stat : 31918 (java) S 31909 31912 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252239243 14420721664 7629 33554432000 4194304 4196468 140722964715936 140491214543632 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31919] ppid=31909 vsize=14082736 memory=140592792008320 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31919/stat : 31919 (java) S 31909 31912 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252239245 14420721664 7629 33554432000 4194304 4196468 140722964715936 140491096549744 140491621657218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31920] ppid=31909 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31920/stat : 31920 (java) S 31909 31912 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252239245 14420721664 7629 33554432000 4194304 4196468 140722964715936 140491095495712 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31921] ppid=31909 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31921/stat : 31921 (java) S 31909 31912 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252239245 14420721664 7629 33554432000 4194304 4196468 140722964715936 140491094442864 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31922] ppid=31909 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31922/stat : 31922 (java) S 31909 31912 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252239248 14420721664 7629 33554432000 4194304 4196468 140722964715936 140491093391184 140491621664667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31923] ppid=31909 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31923/stat : 31923 (java) S 31909 31912 25549 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 252239248 14420721664 7629 33554432000 4194304 4196468 140722964715936 140491092339568 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31924] ppid=31909 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31924/stat : 31924 (java) S 31909 31912 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252239248 14420721664 7629 33554432000 4194304 4196468 140722964715936 140491091286768 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31925] ppid=31909 vsize=14082736 memory=140592792008320 CPUtime=0.01 cores=1,3,5,7
/proc/31912/task/31925/stat : 31925 (java) S 31909 31912 25549 0 -1 1077944384 287 0 0 0 1 0 0 0 20 0 15 0 252239248 14420721664 7629 33554432000 4194304 4196468 140722964715936 140491090233968 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31926] ppid=31909 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31926/stat : 31926 (java) S 31909 31912 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252239248 14420721664 7694 33554432000 4194304 4196468 140722964715936 140491089181408 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31927] ppid=31909 vsize=14082736 memory=140592792008320 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31927/stat : 31927 (java) S 31909 31912 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252239248 14420721664 7694 33554432000 4194304 4196468 140722964715936 140491088128688 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30516 KiB
[startup+0.211098 s]*
/proc/loadavg: 1.38 1.43 1.45 5/215 31927
/proc/meminfo: memFree=28699316/32770624 swapFree=67030680/67108860
[pid=31912] ppid=31909 vsize=14082736 memory=47144 CPUtime=0.29 cores=1,3,5,7
/proc/31912/stat : 31912 (java) S 31909 31912 25549 0 -1 1077944320 10361 0 0 0 27 2 0 0 20 0 15 0 252239242 14420721664 11786 33554432000 4194304 4196468 140722964715936 140722964698480 140491621646071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
/proc/31912/statm: 3520684 11786 3380 1 0 3482761 0
[pid=31912/tid=31914] ppid=31909 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/31912/task/31914/stat : 31914 (java) R 31909 31912 25549 0 -1 4202560 8043 0 0 0 18 1 0 0 20 0 15 0 252239243 14420721664 11786 33554432000 4194304 4196468 140722964715936 140491625865200 140491621658006 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31915] ppid=31909 vsize=14082736 memory=343 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31915/stat : 31915 (java) S 31909 31912 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252239243 14420721664 11786 33554432000 4194304 4196468 140722964715936 140491536714896 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31916] ppid=31909 vsize=14082736 memory=288370968943720064 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31916/stat : 31916 (java) S 31909 31912 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252239243 14420721664 11786 33554432000 4194304 4196468 140722964715936 140491535662096 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31917] ppid=31909 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31917/stat : 31917 (java) S 31909 31912 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252239243 14420721664 11786 33554432000 4194304 4196468 140722964715936 140491215596432 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31918] ppid=31909 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31918/stat : 31918 (java) S 31909 31912 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252239243 14420721664 11786 33554432000 4194304 4196468 140722964715936 140491214543632 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31919] ppid=31909 vsize=14082736 memory=140592792008320 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31919/stat : 31919 (java) S 31909 31912 25549 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 252239245 14420721664 11786 33554432000 4194304 4196468 140722964715936 140491096549744 140491621657218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31920] ppid=31909 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31920/stat : 31920 (java) S 31909 31912 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252239245 14420721664 11786 33554432000 4194304 4196468 140722964715936 140491095495712 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31921] ppid=31909 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31921/stat : 31921 (java) S 31909 31912 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252239245 14420721664 11786 33554432000 4194304 4196468 140722964715936 140491094442864 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31922] ppid=31909 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31922/stat : 31922 (java) S 31909 31912 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252239248 14420721664 11786 33554432000 4194304 4196468 140722964715936 140491093391184 140491621664667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31923] ppid=31909 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31912/task/31923/stat : 31923 (java) S 31909 31912 25549 0 -1 1077944384 446 0 0 0 1 0 0 0 20 0 15 0 252239248 14420721664 11786 33554432000 4194304 4196468 140722964715936 140491092339568 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31924] ppid=31909 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31912/task/31924/stat : 31924 (java) R 31909 31912 25549 0 -1 1077944384 154 0 0 0 2 0 0 0 20 0 15 0 252239248 14420721664 11786 33554432000 4194304 4196468 140722964715936 140491091286768 140491621657218 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31925] ppid=31909 vsize=14082736 memory=140592792008320 CPUtime=0.05 cores=1,3,5,7
/proc/31912/task/31925/stat : 31925 (java) R 31909 31912 25549 0 -1 4202560 337 0 0 0 5 0 0 0 20 0 15 0 252239248 14420721664 11786 33554432000 4194304 4196468 140722964715936 140491090234096 140491600562800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31926] ppid=31909 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31926/stat : 31926 (java) S 31909 31912 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252239248 14420721664 11786 33554432000 4194304 4196468 140722964715936 140491089181408 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31927] ppid=31909 vsize=14082736 memory=140592792008320 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31927/stat : 31927 (java) S 31909 31912 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252239248 14420721664 11786 33554432000 4194304 4196468 140722964715936 140491088128688 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47144 KiB
[startup+0.310437 s]*
/proc/loadavg: 1.38 1.43 1.45 3/215 31927
/proc/meminfo: memFree=28695316/32770624 swapFree=67030680/67108860
[pid=31912] ppid=31909 vsize=14082736 memory=50676 CPUtime=0.44 cores=1,3,5,7
/proc/31912/stat : 31912 (java) S 31909 31912 25549 0 -1 1077944320 10784 0 0 0 42 2 0 0 20 0 15 0 252239242 14420721664 12669 33554432000 4194304 4196468 140722964715936 140722964698480 140491621646071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
/proc/31912/statm: 3520684 12669 3421 1 0 3482761 0
[pid=31912/tid=31914] ppid=31909 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/31912/task/31914/stat : 31914 (java) R 31909 31912 25549 0 -1 4202560 8416 0 0 0 28 1 0 0 20 0 15 0 252239243 14420721664 12669 33554432000 4194304 4196468 140722964715936 140491625840192 140491605726558 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31915] ppid=31909 vsize=14082736 memory=4294976238 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31915/stat : 31915 (java) S 31909 31912 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252239243 14420721664 12669 33554432000 4194304 4196468 140722964715936 140491536714896 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31916] ppid=31909 vsize=14082736 memory=288370968943720064 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31916/stat : 31916 (java) S 31909 31912 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252239243 14420721664 12669 33554432000 4194304 4196468 140722964715936 140491535662096 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31917] ppid=31909 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31917/stat : 31917 (java) S 31909 31912 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252239243 14420721664 12669 33554432000 4194304 4196468 140722964715936 140491215596432 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31918] ppid=31909 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31918/stat : 31918 (java) S 31909 31912 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252239243 14420721664 12669 33554432000 4194304 4196468 140722964715936 140491214543632 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31919] ppid=31909 vsize=14082736 memory=140592792008320 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31919/stat : 31919 (java) S 31909 31912 25549 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 252239245 14420721664 12669 33554432000 4194304 4196468 140722964715936 140491096549744 140491621657218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31920] ppid=31909 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31920/stat : 31920 (java) S 31909 31912 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252239245 14420721664 12669 33554432000 4194304 4196468 140722964715936 140491095495712 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31921] ppid=31909 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31921/stat : 31921 (java) S 31909 31912 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252239245 14420721664 12669 33554432000 4194304 4196468 140722964715936 140491094442864 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31922] ppid=31909 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31922/stat : 31922 (java) S 31909 31912 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252239248 14420721664 12669 33554432000 4194304 4196468 140722964715936 140491093391184 140491621664667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31923] ppid=31909 vsize=14082736 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/31912/task/31923/stat : 31923 (java) S 31909 31912 25549 0 -1 1077944384 463 0 0 0 3 0 0 0 20 0 15 0 252239248 14420721664 12669 33554432000 4194304 4196468 140722964715936 140491092339568 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31924] ppid=31909 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31912/task/31924/stat : 31924 (java) S 31909 31912 25549 0 -1 1077944384 159 0 0 0 2 0 0 0 20 0 15 0 252239248 14420721664 12669 33554432000 4194304 4196468 140722964715936 140491091286768 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31925] ppid=31909 vsize=14082736 memory=140592792008320 CPUtime=0.08 cores=1,3,5,7
/proc/31912/task/31925/stat : 31925 (java) S 31909 31912 25549 0 -1 1077944384 366 0 0 0 8 0 0 0 20 0 15 0 252239248 14420721664 12669 33554432000 4194304 4196468 140722964715936 140491090233968 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31926] ppid=31909 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31926/stat : 31926 (java) S 31909 31912 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252239248 14420721664 12669 33554432000 4194304 4196468 140722964715936 140491089181408 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31927] ppid=31909 vsize=14082736 memory=140592792008320 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31927/stat : 31927 (java) S 31909 31912 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252239248 14420721664 12669 33554432000 4194304 4196468 140722964715936 140491088128688 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50676 KiB
[startup+0.700749 s]
/proc/loadavg: 1.38 1.43 1.45 3/215 31927
/proc/meminfo: memFree=28675224/32770624 swapFree=67030680/67108860
[pid=31912] ppid=31909 vsize=14084804 memory=88740 CPUtime=0.98 cores=1,3,5,7
/proc/31912/stat : 31912 (java) S 31909 31912 25549 0 -1 1077944320 17611 0 0 0 94 4 0 0 20 0 15 0 252239242 14422839296 22185 33554432000 4194304 4196468 140722964715936 140722964698480 140491621646071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
/proc/31912/statm: 3521201 22185 3491 1 0 3483273 0
[pid=31912/tid=31914] ppid=31909 vsize=14084804 memory=34380 CPUtime=0.66 cores=1,3,5,7
/proc/31912/task/31914/stat : 31914 (java) R 31909 31912 25549 0 -1 4202560 14846 0 0 0 63 3 0 0 20 0 15 0 252239243 14422839296 22185 33554432000 4194304 4196468 140722964715936 140491625860976 140491605726558 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31915] ppid=31909 vsize=14084804 memory=11908 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31915/stat : 31915 (java) S 31909 31912 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252239243 14422839296 22185 33554432000 4194304 4196468 140722964715936 140491536714896 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31916] ppid=31909 vsize=14084804 memory=492 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31916/stat : 31916 (java) S 31909 31912 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252239243 14422839296 22185 33554432000 4194304 4196468 140722964715936 140491535662096 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31917] ppid=31909 vsize=14084804 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31917/stat : 31917 (java) S 31909 31912 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252239243 14422839296 22185 33554432000 4194304 4196468 140722964715936 140491215596432 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31918] ppid=31909 vsize=14084804 memory=932 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31918/stat : 31918 (java) S 31909 31912 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252239243 14422839296 22185 33554432000 4194304 4196468 140722964715936 140491214543632 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31919] ppid=31909 vsize=14084804 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31919/stat : 31919 (java) S 31909 31912 25549 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 252239245 14422839296 22185 33554432000 4194304 4196468 140722964715936 140491096549744 140491621657218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31920] ppid=31909 vsize=14084804 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31920/stat : 31920 (java) S 31909 31912 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252239245 14422839296 22185 33554432000 4194304 4196468 140722964715936 140491095495712 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31921] ppid=31909 vsize=14084804 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31921/stat : 31921 (java) S 31909 31912 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252239245 14422839296 22185 33554432000 4194304 4196468 140722964715936 140491094442864 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31922] ppid=31909 vsize=14084804 memory=7086240636212695395 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31922/stat : 31922 (java) S 31909 31912 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252239248 14422839296 22185 33554432000 4194304 4196468 140722964715936 140491093391184 140491621664667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31923] ppid=31909 vsize=14084804 memory=7881696724453321575 CPUtime=0.06 cores=1,3,5,7
/proc/31912/task/31923/stat : 31923 (java) S 31909 31912 25549 0 -1 1077944384 605 0 0 0 6 0 0 0 20 0 15 0 252239248 14422839296 22185 33554432000 4194304 4196468 140722964715936 140491092339568 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31924] ppid=31909 vsize=14084804 memory=7453282923461570405 CPUtime=0.08 cores=1,3,5,7
/proc/31912/task/31924/stat : 31924 (java) S 31909 31912 25549 0 -1 1077944384 317 0 0 0 8 0 0 0 20 0 15 0 252239248 14422839296 22185 33554432000 4194304 4196468 140722964715936 140491091286768 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31925] ppid=31909 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/31912/task/31925/stat : 31925 (java) S 31909 31912 25549 0 -1 1077944384 461 0 0 0 15 0 0 0 20 0 15 0 252239248 14422839296 22185 33554432000 4194304 4196468 140722964715936 140491090233968 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31926] ppid=31909 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31926/stat : 31926 (java) S 31909 31912 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252239248 14422839296 22185 33554432000 4194304 4196468 140722964715936 140491089181408 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31927] ppid=31909 vsize=14084804 memory=972 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31927/stat : 31927 (java) S 31909 31912 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252239248 14422839296 22185 33554432000 4194304 4196468 140722964715936 140491088128688 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88740 KiB
[startup+1.5011 s]
/proc/loadavg: 1.38 1.43 1.45 6/215 31927
/proc/meminfo: memFree=28629936/32770624 swapFree=67030680/67108860
[pid=31912] ppid=31909 vsize=14090948 memory=233196 CPUtime=2.99 cores=1,3,5,7
/proc/31912/stat : 31912 (java) S 31909 31912 25549 0 -1 1077944320 25888 0 0 0 288 11 0 0 20 0 15 0 252239242 14429130752 58299 33554432000 4194304 4196468 140722964715936 140722964698480 140491621646071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
/proc/31912/statm: 3522737 58299 3566 1 0 3484809 0
[pid=31912/tid=31914] ppid=31909 vsize=14090948 memory=150604 CPUtime=1.44 cores=1,3,5,7
/proc/31912/task/31914/stat : 31914 (java) R 31909 31912 25549 0 -1 4202560 19295 0 0 0 138 6 0 0 20 0 15 0 252239243 14429130752 58299 33554432000 4194304 4196468 140722964715936 140491625880520 140491220467215 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31915] ppid=31909 vsize=14090948 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/31912/task/31915/stat : 31915 (java) S 31909 31912 25549 0 -1 1077944384 231 0 0 0 1 0 0 0 20 0 15 0 252239243 14429130752 58299 33554432000 4194304 4196468 140722964715936 140491536714896 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31916] ppid=31909 vsize=14090948 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31912/task/31916/stat : 31916 (java) S 31909 31912 25549 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 15 0 252239243 14429130752 58299 33554432000 4194304 4196468 140722964715936 140491535662096 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31917] ppid=31909 vsize=14090948 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31912/task/31917/stat : 31917 (java) S 31909 31912 25549 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 15 0 252239243 14429130752 58299 33554432000 4194304 4196468 140722964715936 140491215596432 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31918] ppid=31909 vsize=14090948 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31912/task/31918/stat : 31918 (java) S 31909 31912 25549 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 15 0 252239243 14429130752 58299 33554432000 4194304 4196468 140722964715936 140491214543632 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31919] ppid=31909 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31919/stat : 31919 (java) S 31909 31912 25549 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 15 0 252239245 14429130752 58299 33554432000 4194304 4196468 140722964715936 140491096549744 140491621657218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
################
# More data... #
################
/proc/31912/task/31914/stat : 31914 (java) R 31909 31912 25549 0 -1 4202560 109782 0 0 0 243687 62 0 0 20 0 15 0 252239243 14429130752 835923 33554432000 4194304 4196468 140722964715936 140491625884336 140491222254363 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31915] ppid=31909 vsize=14090948 memory=3343692 CPUtime=2.78 cores=1,3,5,7
/proc/31912/task/31915/stat : 31915 (java) S 31909 31912 25549 0 -1 1077944384 22995 0 0 0 258 20 0 0 20 0 15 0 252239243 14429130752 835923 33554432000 4194304 4196468 140722964715936 140491536714896 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31916] ppid=31909 vsize=14090948 memory=3343692 CPUtime=2.78 cores=1,3,5,7
/proc/31912/task/31916/stat : 31916 (java) S 31909 31912 25549 0 -1 1077944384 22316 0 0 0 259 19 0 0 20 0 15 0 252239243 14429130752 835923 33554432000 4194304 4196468 140722964715936 140491535662096 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31917] ppid=31909 vsize=14090948 memory=3343692 CPUtime=2.78 cores=1,3,5,7
/proc/31912/task/31917/stat : 31917 (java) S 31909 31912 25549 0 -1 1077944384 21630 0 0 0 258 20 0 0 20 0 15 0 252239243 14429130752 835923 33554432000 4194304 4196468 140722964715936 140491215596432 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31918] ppid=31909 vsize=14090948 memory=3544 CPUtime=2.79 cores=1,3,5,7
/proc/31912/task/31918/stat : 31918 (java) S 31909 31912 25549 0 -1 1077944384 19511 0 0 0 261 18 0 0 20 0 15 0 252239243 14429130752 835923 33554432000 4194304 4196468 140722964715936 140491214543632 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31919] ppid=31909 vsize=14090948 memory=0 CPUtime=1.32 cores=1,3,5,7
/proc/31912/task/31919/stat : 31919 (java) S 31909 31912 25549 0 -1 1077944384 21670 0 0 0 121 11 0 0 20 0 15 0 252239245 14429130752 835923 33554432000 4194304 4196468 140722964715936 140491096549744 140491621657218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31920] ppid=31909 vsize=14090948 memory=3343692 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31920/stat : 31920 (java) S 31909 31912 25549 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 252239245 14429130752 835923 33554432000 4194304 4196468 140722964715936 140491095495776 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31921] ppid=31909 vsize=14090948 memory=3343692 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31921/stat : 31921 (java) S 31909 31912 25549 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 252239245 14429130752 835923 33554432000 4194304 4196468 140722964715936 140491094442880 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31922] ppid=31909 vsize=14090948 memory=3343692 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31922/stat : 31922 (java) S 31909 31912 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252239248 14429130752 835923 33554432000 4194304 4196468 140722964715936 140491093391184 140491621664667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31923] ppid=31909 vsize=14090948 memory=3343692 CPUtime=1.69 cores=1,3,5,7
/proc/31912/task/31923/stat : 31923 (java) S 31909 31912 25549 0 -1 1077944384 6713 0 0 0 168 1 0 0 20 0 15 0 252239248 14429130752 835923 33554432000 4194304 4196468 140722964715936 140491092339568 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31924] ppid=31909 vsize=14090948 memory=164 CPUtime=1.48 cores=1,3,5,7
/proc/31912/task/31924/stat : 31924 (java) S 31909 31912 25549 0 -1 1077944384 4627 0 0 0 147 1 0 0 20 0 15 0 252239248 14429130752 835923 33554432000 4194304 4196468 140722964715936 140491091286768 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31925] ppid=31909 vsize=14090948 memory=3343692 CPUtime=0.69 cores=1,3,5,7
/proc/31912/task/31925/stat : 31925 (java) S 31909 31912 25549 0 -1 1077944384 7022 0 0 0 68 1 0 0 20 0 15 0 252239248 14429130752 835923 33554432000 4194304 4196468 140722964715936 140491090233968 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31926] ppid=31909 vsize=14090948 memory=3268 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31926/stat : 31926 (java) S 31909 31912 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252239248 14429130752 835923 33554432000 4194304 4196468 140722964715936 140491089181408 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31927] ppid=31909 vsize=14090948 memory=3544 CPUtime=0.57 cores=1,3,5,7
/proc/31912/task/31927/stat : 31927 (java) S 31909 31912 25549 0 -1 1077944384 2323 0 0 0 23 34 0 0 20 0 15 0 252239248 14429130752 835923 33554432000 4194304 4196468 140722964715936 140491088128688 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
Current children cumulated CPU time: 2454.49 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3343692 KiB
[startup+2502.3 s]
/proc/loadavg: 1.36 1.38 1.48 3/215 32124
/proc/meminfo: memFree=25446804/32770624 swapFree=67030680/67108860
[pid=31912] ppid=31909 vsize=14090948 memory=3345740 CPUtime=2514.82 cores=1,3,5,7
/proc/31912/stat : 31912 (java) S 31909 31912 25549 0 -1 1077944320 242434 0 0 0 251307 175 0 0 20 0 15 0 252239242 14429130752 836435 33554432000 4194304 4196468 140722964715936 140722964698480 140491621646071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
/proc/31912/statm: 3522737 836435 3589 1 0 3484809 0
[pid=31912/tid=31914] ppid=31909 vsize=14090948 memory=3345740 CPUtime=2497.26 cores=1,3,5,7
/proc/31912/task/31914/stat : 31914 (java) R 31909 31912 25549 0 -1 4202560 110821 0 0 0 249664 62 0 0 20 0 15 0 252239243 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491625884224 140491222438119 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31915] ppid=31909 vsize=14090948 memory=0 CPUtime=2.89 cores=1,3,5,7
/proc/31912/task/31915/stat : 31915 (java) S 31909 31912 25549 0 -1 1077944384 23296 0 0 0 269 20 0 0 20 0 15 0 252239243 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491536714896 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31916] ppid=31909 vsize=14090948 memory=3345740 CPUtime=2.91 cores=1,3,5,7
/proc/31912/task/31916/stat : 31916 (java) S 31909 31912 25549 0 -1 1077944384 22764 0 0 0 271 20 0 0 20 0 15 0 252239243 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491535662096 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31917] ppid=31909 vsize=14090948 memory=3345740 CPUtime=2.9 cores=1,3,5,7
/proc/31912/task/31917/stat : 31917 (java) S 31909 31912 25549 0 -1 1077944384 21729 0 0 0 270 20 0 0 20 0 15 0 252239243 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491215596432 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31918] ppid=31909 vsize=14090948 memory=3345740 CPUtime=2.92 cores=1,3,5,7
/proc/31912/task/31918/stat : 31918 (java) S 31909 31912 25549 0 -1 1077944384 19669 0 0 0 273 19 0 0 20 0 15 0 252239243 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491214543632 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31919] ppid=31909 vsize=14090948 memory=3345740 CPUtime=1.39 cores=1,3,5,7
/proc/31912/task/31919/stat : 31919 (java) S 31909 31912 25549 0 -1 1077944384 22009 0 0 0 127 12 0 0 20 0 15 0 252239245 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491096549744 140491621657218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31920] ppid=31909 vsize=14090948 memory=3345740 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31920/stat : 31920 (java) S 31909 31912 25549 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 252239245 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491095495776 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31921] ppid=31909 vsize=14090948 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31921/stat : 31921 (java) S 31909 31912 25549 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 252239245 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491094442880 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31922] ppid=31909 vsize=14090948 memory=67048 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31922/stat : 31922 (java) S 31909 31912 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252239248 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491093391184 140491621664667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31923] ppid=31909 vsize=14090948 memory=3544 CPUtime=1.69 cores=1,3,5,7
/proc/31912/task/31923/stat : 31923 (java) S 31909 31912 25549 0 -1 1077944384 6717 0 0 0 168 1 0 0 20 0 15 0 252239248 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491092339568 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31924] ppid=31909 vsize=14090948 memory=67048 CPUtime=1.48 cores=1,3,5,7
/proc/31912/task/31924/stat : 31924 (java) S 31909 31912 25549 0 -1 1077944384 4631 0 0 0 147 1 0 0 20 0 15 0 252239248 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491091286768 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31925] ppid=31909 vsize=14090948 memory=3345740 CPUtime=0.69 cores=1,3,5,7
/proc/31912/task/31925/stat : 31925 (java) S 31909 31912 25549 0 -1 1077944384 7026 0 0 0 68 1 0 0 20 0 15 0 252239248 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491090233968 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31926] ppid=31909 vsize=14090948 memory=3345740 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31926/stat : 31926 (java) S 31909 31912 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252239248 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491089181408 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31927] ppid=31909 vsize=14090948 memory=1392 CPUtime=0.6 cores=1,3,5,7
/proc/31912/task/31927/stat : 31927 (java) S 31909 31912 25549 0 -1 1077944384 2352 0 0 0 24 36 0 0 20 0 15 0 252239248 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491088128688 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
Current children cumulated CPU time: 2514.82 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3345740 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2507.5 s]
/proc/loadavg: 1.41 1.39 1.48 3/215 32124
/proc/meminfo: memFree=25446804/32770624 swapFree=67030680/67108860
[pid=31912] ppid=31909 vsize=14090948 memory=3345740 CPUtime=2520.06 cores=1,3,5,7
/proc/31912/stat : 31912 (java) S 31909 31912 25549 0 -1 1077944320 242852 0 0 0 251830 176 0 0 20 0 15 0 252239242 14429130752 836435 33554432000 4194304 4196468 140722964715936 140722964698480 140491621646071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
/proc/31912/statm: 3522737 836435 3589 1 0 3484809 0
[pid=31912/tid=31914] ppid=31909 vsize=14090948 memory=3345740 CPUtime=2502.45 cores=1,3,5,7
/proc/31912/task/31914/stat : 31914 (java) R 31909 31912 25549 0 -1 4202560 110924 0 0 0 250183 62 0 0 20 0 15 0 252239243 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491625884128 140491222218751 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31915] ppid=31909 vsize=14090948 memory=0 CPUtime=2.91 cores=1,3,5,7
/proc/31912/task/31915/stat : 31915 (java) S 31909 31912 25549 0 -1 1077944384 23319 0 0 0 270 21 0 0 20 0 15 0 252239243 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491536714896 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31916] ppid=31909 vsize=14090948 memory=3345740 CPUtime=2.92 cores=1,3,5,7
/proc/31912/task/31916/stat : 31916 (java) S 31909 31912 25549 0 -1 1077944384 22781 0 0 0 272 20 0 0 20 0 15 0 252239243 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491535662096 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31917] ppid=31909 vsize=14090948 memory=3345740 CPUtime=2.91 cores=1,3,5,7
/proc/31912/task/31917/stat : 31917 (java) S 31909 31912 25549 0 -1 1077944384 21852 0 0 0 271 20 0 0 20 0 15 0 252239243 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491215596432 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31918] ppid=31909 vsize=14090948 memory=3345740 CPUtime=2.93 cores=1,3,5,7
/proc/31912/task/31918/stat : 31918 (java) S 31909 31912 25549 0 -1 1077944384 19676 0 0 0 274 19 0 0 20 0 15 0 252239243 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491214543632 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31919] ppid=31909 vsize=14090948 memory=3345740 CPUtime=1.39 cores=1,3,5,7
/proc/31912/task/31919/stat : 31919 (java) S 31909 31912 25549 0 -1 1077944384 22144 0 0 0 127 12 0 0 20 0 15 0 252239245 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491096549744 140491621657218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31920] ppid=31909 vsize=14090948 memory=3345740 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31920/stat : 31920 (java) S 31909 31912 25549 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 252239245 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491095495776 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31921] ppid=31909 vsize=14090948 memory=3345740 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31921/stat : 31921 (java) S 31909 31912 25549 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 252239245 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491094442880 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31922] ppid=31909 vsize=14090948 memory=1876 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31922/stat : 31922 (java) S 31909 31912 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252239248 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491093391184 140491621664667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31923] ppid=31909 vsize=14090948 memory=3544 CPUtime=1.69 cores=1,3,5,7
/proc/31912/task/31923/stat : 31923 (java) S 31909 31912 25549 0 -1 1077944384 6719 0 0 0 168 1 0 0 20 0 15 0 252239248 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491092339568 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31924] ppid=31909 vsize=14090948 memory=67048 CPUtime=1.48 cores=1,3,5,7
/proc/31912/task/31924/stat : 31924 (java) S 31909 31912 25549 0 -1 1077944384 4633 0 0 0 147 1 0 0 20 0 15 0 252239248 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491091286768 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31925] ppid=31909 vsize=14090948 memory=3345740 CPUtime=0.69 cores=1,3,5,7
/proc/31912/task/31925/stat : 31925 (java) S 31909 31912 25549 0 -1 1077944384 7028 0 0 0 68 1 0 0 20 0 15 0 252239248 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491090233968 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31926] ppid=31909 vsize=14090948 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31926/stat : 31926 (java) S 31909 31912 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252239248 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491089181408 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31927] ppid=31909 vsize=14090948 memory=69 CPUtime=0.6 cores=1,3,5,7
/proc/31912/task/31927/stat : 31927 (java) S 31909 31912 25549 0 -1 1077944384 2356 0 0 0 24 36 0 0 20 0 15 0 252239248 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491088128688 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3345740 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2507.53 s]
# the end of solver process 31912 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.32 s, system=1.77927 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2507.5 s]
/proc/loadavg: 1.41 1.39 1.48 3/215 32124
/proc/meminfo: memFree=25446804/32770624 swapFree=67030680/67108860
[pid=31912] ppid=31909 vsize=14090948 memory=3345740 CPUtime=2520.06 cores=1,3,5,7
/proc/31912/stat : 31912 (java) S 31909 31912 25549 0 -1 1077944320 242852 0 0 0 251830 176 0 0 20 0 15 0 252239242 14429130752 836435 33554432000 4194304 4196468 140722964715936 140722964698480 140491621646071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
/proc/31912/statm: 3522737 836435 3589 1 0 3484809 0
[pid=31912/tid=31914] ppid=31909 vsize=14090948 memory=3345740 CPUtime=2502.45 cores=1,3,5,7
/proc/31912/task/31914/stat : 31914 (java) R 31909 31912 25549 0 -1 4202560 110924 0 0 0 250183 62 0 0 20 0 15 0 252239243 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491625884128 140491222218751 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31915] ppid=31909 vsize=14090948 memory=0 CPUtime=2.91 cores=1,3,5,7
/proc/31912/task/31915/stat : 31915 (java) S 31909 31912 25549 0 -1 1077944384 23319 0 0 0 270 21 0 0 20 0 15 0 252239243 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491536714896 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31916] ppid=31909 vsize=14090948 memory=3345740 CPUtime=2.92 cores=1,3,5,7
/proc/31912/task/31916/stat : 31916 (java) S 31909 31912 25549 0 -1 1077944384 22781 0 0 0 272 20 0 0 20 0 15 0 252239243 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491535662096 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31917] ppid=31909 vsize=14090948 memory=3345740 CPUtime=2.91 cores=1,3,5,7
/proc/31912/task/31917/stat : 31917 (java) S 31909 31912 25549 0 -1 1077944384 21852 0 0 0 271 20 0 0 20 0 15 0 252239243 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491215596432 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31918] ppid=31909 vsize=14090948 memory=3345740 CPUtime=2.93 cores=1,3,5,7
/proc/31912/task/31918/stat : 31918 (java) S 31909 31912 25549 0 -1 1077944384 19676 0 0 0 274 19 0 0 20 0 15 0 252239243 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491214543632 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31919] ppid=31909 vsize=14090948 memory=3345740 CPUtime=1.39 cores=1,3,5,7
/proc/31912/task/31919/stat : 31919 (java) S 31909 31912 25549 0 -1 1077944384 22144 0 0 0 127 12 0 0 20 0 15 0 252239245 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491096549744 140491621657218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31920] ppid=31909 vsize=14090948 memory=3345740 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31920/stat : 31920 (java) S 31909 31912 25549 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 252239245 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491095495776 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31921] ppid=31909 vsize=14090948 memory=3345740 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31921/stat : 31921 (java) S 31909 31912 25549 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 252239245 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491094442880 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31922] ppid=31909 vsize=14090948 memory=1876 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31922/stat : 31922 (java) S 31909 31912 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252239248 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491093391184 140491621664667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31923] ppid=31909 vsize=14090948 memory=3544 CPUtime=1.69 cores=1,3,5,7
/proc/31912/task/31923/stat : 31923 (java) S 31909 31912 25549 0 -1 1077944384 6719 0 0 0 168 1 0 0 20 0 15 0 252239248 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491092339568 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31924] ppid=31909 vsize=14090948 memory=67048 CPUtime=1.48 cores=1,3,5,7
/proc/31912/task/31924/stat : 31924 (java) S 31909 31912 25549 0 -1 1077944384 4633 0 0 0 147 1 0 0 20 0 15 0 252239248 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491091286768 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31925] ppid=31909 vsize=14090948 memory=3345740 CPUtime=0.69 cores=1,3,5,7
/proc/31912/task/31925/stat : 31925 (java) S 31909 31912 25549 0 -1 1077944384 7028 0 0 0 68 1 0 0 20 0 15 0 252239248 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491090233968 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31926] ppid=31909 vsize=14090948 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/31912/task/31926/stat : 31926 (java) S 31909 31912 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252239248 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491089181408 140491621656277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
[pid=31912/tid=31927] ppid=31909 vsize=14090948 memory=69 CPUtime=0.6 cores=1,3,5,7
/proc/31912/task/31927/stat : 31927 (java) S 31909 31912 25549 0 -1 1077944384 2356 0 0 0 24 36 0 0 20 0 15 0 252239248 14429130752 836435 33554432000 4194304 4196468 140722964715936 140491088128688 140491621657218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12914688 140722964722762 140722964722953 140722964722953 140722964725711 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3345740 KiB
Child status: 143
Real time (s): 2507.53
CPU time (s): 2520.1
CPU user time (s): 2518.32
CPU system time (s): 1.77927
CPU usage (%): 100.501
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 3527820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.32
system time used= 1.77927
maximum resident set size= 3529988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243197
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 93480
involuntary context switches= 2319
# summary of solver processes directly reported to runsolver:
# pid: 31912
# total CPU time (s): 2520.1
# total CPU user time (s): 2518.32
# total CPU system time (s): 1.77927
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0524 second user time and 22.801 second system time
The end