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 (1635 MiB free)
memory of node 1: 16384 MiB (13319 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294979-1532508353/watcher-4294979-1532508353 -o /tmp/evaluation-result-4294979-1532508353/solver-4294979-1532508353 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532498695-4224 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1131337457 -superng HOME/instance-4294979-1532508353.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=5824, runsolver pid=5821
[startup+0.100057 s]*
/proc/loadavg: 1.70 1.84 1.85 3/209 5881
/proc/meminfo: memFree=15308516/32770624 swapFree=67108860/67108860
[pid=5824] ppid=5821 vsize=9972712 memory=18324 CPUtime=0.09 cores=1,3,5,7
/proc/5824/stat : 5824 (java) S 5821 5824 4192 0 -1 1077944320 4244 13202 0 0 1 1 5 2 20 0 6 0 68398450 10212057088 4581 33554432000 4194304 4196468 140736690746400 140736690728944 140539970051831 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
/proc/5824/statm: 2493178 4581 1930 1 0 2481616 0
[pid=5824/tid=5877] ppid=5821 vsize=9972712 memory=4718545630382498451 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5877/stat : 5877 (java) R 5821 5824 4192 0 -1 4202560 2056 13202 0 0 0 0 5 2 20 0 6 0 68398459 10212057088 4581 33554432000 4194304 4196468 140736690746400 140539941888592 140539970073757 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5878] ppid=5821 vsize=9972712 memory=5793854899492837817 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5878/stat : 5878 (java) S 5821 5824 4192 0 -1 1077944384 1 13202 0 0 0 0 5 2 20 0 6 0 68398459 10212057088 4581 33554432000 4194304 4196468 140736690746400 140539974294672 140539970062037 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5879] ppid=5821 vsize=9972712 memory=139648482944640 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5879/stat : 5879 (java) S 5821 5824 4192 0 -1 1077944384 2 13202 0 0 0 0 5 2 20 0 6 0 68398459 10212057088 4581 33554432000 4194304 4196468 140736690746400 140539862567952 140539970062037 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5880] ppid=5821 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5880/stat : 5880 (java) S 5821 5824 4192 0 -1 1077944384 2 13202 0 0 0 0 5 2 20 0 6 0 68398459 10212057088 4581 33554432000 4194304 4196468 140736690746400 140539861515152 140539970062037 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5881] ppid=5821 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5881/stat : 5881 (java) S 5821 5824 4192 0 -1 1077944384 1 13202 0 0 0 0 5 2 20 0 6 0 68398459 10212057088 4581 33554432000 4194304 4196468 140736690746400 140539860462352 140539970062037 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18324 KiB
[startup+0.210845 s]*
/proc/loadavg: 1.70 1.84 1.85 3/218 5890
/proc/meminfo: memFree=15285740/32770624 swapFree=67108860/67108860
[pid=5824] ppid=5821 vsize=10818936 memory=44848 CPUtime=0.26 cores=1,3,5,7
/proc/5824/stat : 5824 (java) S 5821 5824 4192 0 -1 1077944320 9144 13202 0 0 16 3 5 2 20 0 15 0 68398450 11078590464 11212 33554432000 4194304 4196468 140736690746400 140736690728944 140539970051831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
/proc/5824/statm: 2704734 11212 2931 1 0 2667157 0
[pid=5824/tid=5877] ppid=5821 vsize=10818904 memory=-2899909650764262549 CPUtime=0.18 cores=1,3,5,7
/proc/5824/task/5877/stat : 5877 (java) R 5821 5824 4192 0 -1 4202560 5775 13202 0 0 10 1 5 2 20 0 15 0 68398459 11078557696 11212 33554432000 4194304 4196468 140736690746400 140539941876640 140539954132318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5878] ppid=5821 vsize=10818904 memory=4211973374687735178 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5878/stat : 5878 (java) S 5821 5824 4192 0 -1 1077944384 1 13202 0 0 0 0 5 2 20 0 15 0 68398459 11078557696 11212 33554432000 4194304 4196468 140736690746400 140539974294672 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5879] ppid=5821 vsize=10818904 memory=139648482944640 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5879/stat : 5879 (java) S 5821 5824 4192 0 -1 1077944384 2 13202 0 0 0 0 5 2 20 0 15 0 68398459 11078557696 11212 33554432000 4194304 4196468 140736690746400 140539862567952 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5880] ppid=5821 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5880/stat : 5880 (java) S 5821 5824 4192 0 -1 1077944384 2 13202 0 0 0 0 5 2 20 0 15 0 68398459 11078557696 11212 33554432000 4194304 4196468 140736690746400 140539861515152 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5881] ppid=5821 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5881/stat : 5881 (java) S 5821 5824 4192 0 -1 1077944384 1 13202 0 0 0 0 5 2 20 0 15 0 68398459 11078557696 11212 33554432000 4194304 4196468 140736690746400 140539860462352 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5882] ppid=5821 vsize=10818904 memory=139648482944640 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5882/stat : 5882 (java) S 5821 5824 4192 0 -1 1077944384 2 13202 0 0 0 0 5 2 20 0 15 0 68398461 11078557696 11212 33554432000 4194304 4196468 140736690746400 140539429071216 140539970062978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5883] ppid=5821 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5883/stat : 5883 (java) S 5821 5824 4192 0 -1 1077944384 33 13202 0 0 0 0 5 2 20 0 15 0 68398461 11078557696 11212 33554432000 4194304 4196468 140736690746400 140539428017184 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5884] ppid=5821 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5884/stat : 5884 (java) S 5821 5824 4192 0 -1 1077944384 1 13202 0 0 0 0 5 2 20 0 15 0 68398461 11078557696 11212 33554432000 4194304 4196468 140736690746400 140538846110576 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5885] ppid=5821 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5885/stat : 5885 (java) S 5821 5824 4192 0 -1 1077944384 3 13202 0 0 0 0 5 2 20 0 15 0 68398464 11078557696 11212 33554432000 4194304 4196468 140736690746400 140538538710864 140539970070427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5886] ppid=5821 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5824/task/5886/stat : 5886 (java) S 5821 5824 4192 0 -1 1077944384 518 13202 0 0 1 0 5 2 20 0 15 0 68398464 11078557696 11212 33554432000 4194304 4196468 140736690746400 140539394460528 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5887] ppid=5821 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5887/stat : 5887 (java) S 5821 5824 4192 0 -1 1077944384 55 13202 0 0 0 0 5 2 20 0 15 0 68398464 11078557696 11212 33554432000 4194304 4196468 140736690746400 140539393407728 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5888] ppid=5821 vsize=10818904 memory=139648482944640 CPUtime=0.1 cores=1,3,5,7
/proc/5824/task/5888/stat : 5888 (java) R 5821 5824 4192 0 -1 4202560 557 13202 0 0 3 0 5 2 20 0 15 0 68398464 11078557696 11212 33554432000 4194304 4196468 140736690746400 140539392354928 140539970073178 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5889] ppid=5821 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5889/stat : 5889 (java) S 5821 5824 4192 0 -1 1077944384 3 13202 0 0 0 0 5 2 20 0 15 0 68398464 11078557696 11212 33554432000 4194304 4196468 140736690746400 140538505153248 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5890] ppid=5821 vsize=10818904 memory=139648482944640 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5890/stat : 5890 (java) S 5821 5824 4192 0 -1 1077944384 1 13202 0 0 0 0 5 2 20 0 15 0 68398465 11078557696 11212 33554432000 4194304 4196468 140736690746400 140539391302320 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 44848 KiB
[startup+0.310343 s]*
/proc/loadavg: 1.70 1.84 1.85 3/218 5890
/proc/meminfo: memFree=15272592/32770624 swapFree=67108860/67108860
[pid=5824] ppid=5821 vsize=10819352 memory=52724 CPUtime=0.38 cores=1,3,5,7
/proc/5824/stat : 5824 (java) S 5821 5824 4192 0 -1 1077944320 10348 13202 0 0 28 3 5 2 20 0 15 0 68398450 11079016448 13181 33554432000 4194304 4196468 140736690746400 140736690728944 140539970051831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
/proc/5824/statm: 2704838 13181 3050 1 0 2667149 0
[pid=5824/tid=5877] ppid=5821 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/5824/task/5877/stat : 5877 (java) R 5821 5824 4192 0 -1 4202560 6965 13202 0 0 19 2 5 2 20 0 15 0 68398459 11079016448 13181 33554432000 4194304 4196468 140736690746400 140539941863840 140539953238640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5878] ppid=5821 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5878/stat : 5878 (java) S 5821 5824 4192 0 -1 1077944384 1 13202 0 0 0 0 5 2 20 0 15 0 68398459 11079016448 13181 33554432000 4194304 4196468 140736690746400 140539974294672 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5879] ppid=5821 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5879/stat : 5879 (java) S 5821 5824 4192 0 -1 1077944384 2 13202 0 0 0 0 5 2 20 0 15 0 68398459 11079016448 13181 33554432000 4194304 4196468 140736690746400 140539862567952 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5880] ppid=5821 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5880/stat : 5880 (java) S 5821 5824 4192 0 -1 1077944384 2 13202 0 0 0 0 5 2 20 0 15 0 68398459 11079016448 13181 33554432000 4194304 4196468 140736690746400 140539861515152 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5881] ppid=5821 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5881/stat : 5881 (java) S 5821 5824 4192 0 -1 1077944384 1 13202 0 0 0 0 5 2 20 0 15 0 68398459 11079016448 13181 33554432000 4194304 4196468 140736690746400 140539860462352 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5882] ppid=5821 vsize=10819352 memory=139648482944639 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5882/stat : 5882 (java) S 5821 5824 4192 0 -1 1077944384 2 13202 0 0 0 0 5 2 20 0 15 0 68398461 11079016448 13181 33554432000 4194304 4196468 140736690746400 140539429071216 140539970062978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5883] ppid=5821 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5883/stat : 5883 (java) S 5821 5824 4192 0 -1 1077944384 33 13202 0 0 0 0 5 2 20 0 15 0 68398461 11079016448 13181 33554432000 4194304 4196468 140736690746400 140539428017184 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5884] ppid=5821 vsize=10819352 memory=139648482944640 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5884/stat : 5884 (java) S 5821 5824 4192 0 -1 1077944384 1 13202 0 0 0 0 5 2 20 0 15 0 68398461 11079016448 13181 33554432000 4194304 4196468 140736690746400 140538846110576 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5885] ppid=5821 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5885/stat : 5885 (java) S 5821 5824 4192 0 -1 1077944384 3 13202 0 0 0 0 5 2 20 0 15 0 68398464 11079016448 13181 33554432000 4194304 4196468 140736690746400 140538538710864 140539970070427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5886] ppid=5821 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5824/task/5886/stat : 5886 (java) S 5821 5824 4192 0 -1 1077944384 518 13202 0 0 1 0 5 2 20 0 15 0 68398464 11079016448 13181 33554432000 4194304 4196468 140736690746400 140539394460528 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5887] ppid=5821 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5824/task/5887/stat : 5887 (java) S 5821 5824 4192 0 -1 1077944384 56 13202 0 0 1 0 5 2 20 0 15 0 68398464 11079016448 13181 33554432000 4194304 4196468 140736690746400 140539393407728 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5888] ppid=5821 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5824/task/5888/stat : 5888 (java) S 5821 5824 4192 0 -1 1077944384 569 13202 0 0 5 0 5 2 20 0 15 0 68398464 11079016448 13181 33554432000 4194304 4196468 140736690746400 140539392354928 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5889] ppid=5821 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5889/stat : 5889 (java) S 5821 5824 4192 0 -1 1077944384 3 13202 0 0 0 0 5 2 20 0 15 0 68398464 11079016448 13181 33554432000 4194304 4196468 140736690746400 140538505153248 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5890] ppid=5821 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5890/stat : 5890 (java) S 5821 5824 4192 0 -1 1077944384 1 13202 0 0 0 0 5 2 20 0 15 0 68398465 11079016448 13181 33554432000 4194304 4196468 140736690746400 140539391302320 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52724 KiB
[startup+0.700776 s]
/proc/loadavg: 1.70 1.84 1.85 3/218 5890
/proc/meminfo: memFree=15264156/32770624 swapFree=67108860/67108860
[pid=5824] ppid=5821 vsize=10819352 memory=85080 CPUtime=0.98 cores=1,3,5,7
/proc/5824/stat : 5824 (java) S 5821 5824 4192 0 -1 1077944320 16407 13202 0 0 86 5 5 2 20 0 15 0 68398450 11079016448 21270 33554432000 4194304 4196468 140736690746400 140736690728944 140539970051831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
/proc/5824/statm: 2704838 21270 3237 1 0 2667149 0
[pid=5824/tid=5877] ppid=5821 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/5824/task/5877/stat : 5877 (java) R 5821 5824 4192 0 -1 4202560 11942 13202 0 0 55 4 5 2 20 0 15 0 68398459 11079016448 21270 33554432000 4194304 4196468 140736690746400 140539941872656 140539950327655 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5878] ppid=5821 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5878/stat : 5878 (java) S 5821 5824 4192 0 -1 1077944384 1 13202 0 0 0 0 5 2 20 0 15 0 68398459 11079016448 21270 33554432000 4194304 4196468 140736690746400 140539974294672 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5879] ppid=5821 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5879/stat : 5879 (java) S 5821 5824 4192 0 -1 1077944384 2 13202 0 0 0 0 5 2 20 0 15 0 68398459 11079016448 21270 33554432000 4194304 4196468 140736690746400 140539862567952 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5880] ppid=5821 vsize=10819352 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5880/stat : 5880 (java) S 5821 5824 4192 0 -1 1077944384 2 13202 0 0 0 0 5 2 20 0 15 0 68398459 11079016448 21270 33554432000 4194304 4196468 140736690746400 140539861515152 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5881] ppid=5821 vsize=10819352 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5881/stat : 5881 (java) S 5821 5824 4192 0 -1 1077944384 1 13202 0 0 0 0 5 2 20 0 15 0 68398459 11079016448 21270 33554432000 4194304 4196468 140736690746400 140539860462352 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5882] ppid=5821 vsize=10819352 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5882/stat : 5882 (java) S 5821 5824 4192 0 -1 1077944384 5 13202 0 0 0 0 5 2 20 0 15 0 68398461 11079016448 21270 33554432000 4194304 4196468 140736690746400 140539429071216 140539970062978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5883] ppid=5821 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5883/stat : 5883 (java) S 5821 5824 4192 0 -1 1077944384 33 13202 0 0 0 0 5 2 20 0 15 0 68398461 11079016448 21270 33554432000 4194304 4196468 140736690746400 140539428017184 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5884] ppid=5821 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5884/stat : 5884 (java) S 5821 5824 4192 0 -1 1077944384 1 13202 0 0 0 0 5 2 20 0 15 0 68398461 11079016448 21270 33554432000 4194304 4196468 140736690746400 140538846110576 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5885] ppid=5821 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5885/stat : 5885 (java) S 5821 5824 4192 0 -1 1077944384 3 13202 0 0 0 0 5 2 20 0 15 0 68398464 11079016448 21270 33554432000 4194304 4196468 140736690746400 140538538710864 140539970070427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5886] ppid=5821 vsize=10819352 memory=30305 CPUtime=0.13 cores=1,3,5,7
/proc/5824/task/5886/stat : 5886 (java) S 5821 5824 4192 0 -1 1077944384 893 13202 0 0 6 0 5 2 20 0 15 0 68398464 11079016448 21270 33554432000 4194304 4196468 140736690746400 140539394460528 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5887] ppid=5821 vsize=10819352 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/5824/task/5887/stat : 5887 (java) S 5821 5824 4192 0 -1 1077944384 711 13202 0 0 10 0 5 2 20 0 15 0 68398464 11079016448 21270 33554432000 4194304 4196468 140736690746400 140539393407728 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5888] ppid=5821 vsize=10819352 memory=3533419649945857444 CPUtime=0.2 cores=1,3,5,7
/proc/5824/task/5888/stat : 5888 (java) S 5821 5824 4192 0 -1 1077944384 617 13202 0 0 13 0 5 2 20 0 15 0 68398464 11079016448 21270 33554432000 4194304 4196468 140736690746400 140539392354928 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5889] ppid=5821 vsize=10819352 memory=-6305712814977277568 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5889/stat : 5889 (java) S 5821 5824 4192 0 -1 1077944384 3 13202 0 0 0 0 5 2 20 0 15 0 68398464 11079016448 21270 33554432000 4194304 4196468 140736690746400 140538505153248 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5890] ppid=5821 vsize=10819352 memory=-7094132109863559211 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5890/stat : 5890 (java) S 5821 5824 4192 0 -1 1077944384 1 13202 0 0 0 0 5 2 20 0 15 0 68398465 11079016448 21270 33554432000 4194304 4196468 140736690746400 140539391302320 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 85080 KiB
[startup+1.50086 s]
/proc/loadavg: 1.70 1.84 1.85 4/218 5890
/proc/meminfo: memFree=15218568/32770624 swapFree=67108860/67108860
[pid=5824] ppid=5821 vsize=10834252 memory=191652 CPUtime=2.87 cores=1,3,5,7
/proc/5824/stat : 5824 (java) S 5821 5824 4192 0 -1 1077944320 24788 13202 0 0 269 11 5 2 20 0 15 0 68398450 11094274048 47913 33554432000 4194304 4196468 140736690746400 140736690728944 140539970051831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
/proc/5824/statm: 2708563 47913 3491 1 0 2670221 0
[pid=5824/tid=5877] ppid=5821 vsize=10834252 memory=239 CPUtime=1.41 cores=1,3,5,7
/proc/5824/task/5877/stat : 5877 (java) R 5821 5824 4192 0 -1 4202560 16777 13202 0 0 128 6 5 2 20 0 15 0 68398459 11094274048 47913 33554432000 4194304 4196468 140736690746400 140539941862960 140539954132318 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5878] ppid=5821 vsize=10834252 memory=119 CPUtime=0.09 cores=1,3,5,7
/proc/5824/task/5878/stat : 5878 (java) S 5821 5824 4192 0 -1 1077944384 16 13202 0 0 2 0 5 2 20 0 15 0 68398459 11094274048 47913 33554432000 4194304 4196468 140736690746400 140539974294672 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5879] ppid=5821 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5824/task/5879/stat : 5879 (java) S 5821 5824 4192 0 -1 1077944384 47 13202 0 0 2 0 5 2 20 0 15 0 68398459 11094274048 47913 33554432000 4194304 4196468 140736690746400 140539862567952 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5880] ppid=5821 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5824/task/5880/stat : 5880 (java) S 5821 5824 4192 0 -1 1077944384 200 13202 0 0 1 0 5 2 20 0 15 0 68398459 11094274048 47913 33554432000 4194304 4196468 140736690746400 140539861515152 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5881] ppid=5821 vsize=10834252 memory=55 CPUtime=0.09 cores=1,3,5,7
/proc/5824/task/5881/stat : 5881 (java) S 5821 5824 4192 0 -1 1077944384 26 13202 0 0 2 0 5 2 20 0 15 0 68398459 11094274048 47913 33554432000 4194304 4196468 140736690746400 140539860462352 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5882] ppid=5821 vsize=10834252 memory=3533419649945857444 CPUtime=0.08 cores=1,3,5,7
/proc/5824/task/5882/stat : 5882 (java) S 5821 5824 4192 0 -1 1077944384 58 13202 0 0 1 0 5 2 20 0 15 0 68398461 11094274048 47913 33554432000 4194304 4196468 140736690746400 140539429071216 140539970062978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5883] ppid=5821 vsize=10834252 memory=279296757248064 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5883/stat : 5883 (java) S 5821 5824 4192 0 -1 1077944384 34 13202 0 0 0 0 5 2 20 0 15 0 68398461 11094274048 47913 33554432000 4194304 4196468 140736690746400 140539428017248 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5884] ppid=5821 vsize=10834252 memory=279296757252512 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5884/stat : 5884 (java) S 5821 5824 4192 0 -1 1077944384 1 13202 0 0 0 0 5 2 20 0 15 0 68398461 11094274048 47913 33554432000 4194304 4196468 140736690746400 140538846110592 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5885] ppid=5821 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5885/stat : 5885 (java) S 5821 5824 4192 0 -1 1077944384 3 13202 0 0 0 0 5 2 20 0 15 0 68398464 11094274048 47913 33554432000 4194304 4196468 140736690746400 140538538710864 140539970070427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5886] ppid=5821 vsize=10834252 memory=6944656575208382560 CPUtime=0.48 cores=1,3,5,7
/proc/5824/task/5886/stat : 5886 (java) S 5821 5824 4192 0 -1 1077944384 1979 13202 0 0 41 0 5 2 20 0 15 0 68398464 11094274048 47913 33554432000 4194304 4196468 140736690746400 140539394460528 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5887] ppid=5821 vsize=10834252 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/5824/task/5887/stat : 5887 (java) S 5821 5824 4192 0 -1 1077944384 1970 13202 0 0 45 0 5 2 20 0 15 0 68398464 11094274048 47913 33554432000 4194304 4196468 140736690746400 140539393407728 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5888] ppid=5821 vsize=10834252 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/5824/task/5888/stat : 5888 (java) S 5821 5824 4192 0 -1 1077944384 1482 13202 0 0 43 0 5 2 20 0 15 0 68398464 11094274048 47913 33554432000 4194304 4196468 140736690746400 140539392354928 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5889] ppid=5821 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5889/stat : 5889 (java) S 5821 5824 4192 0 -1 1077944384 3 13202 0 0 0 0 5 2 20 0 15 0 68398464 11094274048 47913 33554432000 4194304 4196468 140736690746400 140538505153248 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5890] ppid=5821 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5890/stat : 5890 (java) S 5821 5824 4192 0 -1 1077944384 1 13202 0 0 0 0 5 2 20 0 15 0 68398465 11094274048 47913 33554432000 4194304 4196468 140736690746400 140539391302320 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/5824/task/5877/stat : 5877 (java) R 5821 5824 4192 0 -1 4202560 236165 13202 0 0 205020 46 5 2 20 0 15 0 68398459 11113168896 1405912 33554432000 4194304 4196468 140736690746400 140539941885600 140539548865019 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5878] ppid=5821 vsize=10852704 memory=5545180 CPUtime=89.37 cores=1,3,5,7
/proc/5824/task/5878/stat : 5878 (java) S 5821 5824 4192 0 -1 1077944384 65126 13202 0 0 8714 216 5 2 20 0 15 0 68398459 11113168896 1405912 33554432000 4194304 4196468 140736690746400 140539974294672 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5879] ppid=5821 vsize=10852704 memory=5533896 CPUtime=89.25 cores=1,3,5,7
/proc/5824/task/5879/stat : 5879 (java) S 5821 5824 4192 0 -1 1077944384 76354 13202 0 0 8698 220 5 2 20 0 15 0 68398459 11113168896 1405912 33554432000 4194304 4196468 140736690746400 140539862567952 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5880] ppid=5821 vsize=10852704 memory=5579552 CPUtime=89.37 cores=1,3,5,7
/proc/5824/task/5880/stat : 5880 (java) S 5821 5824 4192 0 -1 1077944384 71726 13202 0 0 8720 210 5 2 20 0 15 0 68398459 11113168896 1405912 33554432000 4194304 4196468 140736690746400 140539861515152 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5881] ppid=5821 vsize=10852704 memory=5533896 CPUtime=89.43 cores=1,3,5,7
/proc/5824/task/5881/stat : 5881 (java) S 5821 5824 4192 0 -1 1077944384 76744 13202 0 0 8722 214 5 2 20 0 15 0 68398459 11113168896 1405912 33554432000 4194304 4196468 140736690746400 140539860462352 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5882] ppid=5821 vsize=10852704 memory=5497472 CPUtime=1.31 cores=1,3,5,7
/proc/5824/task/5882/stat : 5882 (java) S 5821 5824 4192 0 -1 1077944384 103687 13202 0 0 110 14 5 2 20 0 15 0 68398461 11113168896 1405912 33554432000 4194304 4196468 140736690746400 140539429071216 140539970062978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5883] ppid=5821 vsize=10852704 memory=5623648 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5883/stat : 5883 (java) S 5821 5824 4192 0 -1 1077944384 58 13202 0 0 0 0 5 2 20 0 15 0 68398461 11113168896 1405912 33554432000 4194304 4196468 140736690746400 140539428017248 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5884] ppid=5821 vsize=10852704 memory=5623648 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5884/stat : 5884 (java) S 5821 5824 4192 0 -1 1077944384 19 13202 0 0 0 0 5 2 20 0 15 0 68398461 11113168896 1405912 33554432000 4194304 4196468 140736690746400 140538846110592 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5885] ppid=5821 vsize=10852704 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5885/stat : 5885 (java) S 5821 5824 4192 0 -1 1077944384 3 13202 0 0 0 0 5 2 20 0 15 0 68398464 11113168896 1405912 33554432000 4194304 4196468 140736690746400 140538538710864 140539970070427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5886] ppid=5821 vsize=10852704 memory=20844 CPUtime=13.94 cores=1,3,5,7
/proc/5824/task/5886/stat : 5886 (java) S 5821 5824 4192 0 -1 1077944384 70627 13202 0 0 1379 8 5 2 20 0 15 0 68398464 11113168896 1405912 33554432000 4194304 4196468 140736690746400 140539394460528 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5887] ppid=5821 vsize=10852704 memory=1292 CPUtime=14.38 cores=1,3,5,7
/proc/5824/task/5887/stat : 5887 (java) S 5821 5824 4192 0 -1 1077944384 78639 13202 0 0 1421 10 5 2 20 0 15 0 68398464 11113168896 1405912 33554432000 4194304 4196468 140736690746400 140539393407728 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5888] ppid=5821 vsize=10852704 memory=2444 CPUtime=4.53 cores=1,3,5,7
/proc/5824/task/5888/stat : 5888 (java) S 5821 5824 4192 0 -1 1077944384 53361 13202 0 0 436 10 5 2 20 0 15 0 68398464 11113168896 1405912 33554432000 4194304 4196468 140736690746400 140539392354928 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5889] ppid=5821 vsize=10852704 memory=1832 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5889/stat : 5889 (java) S 5821 5824 4192 0 -1 1077944384 3 13202 0 0 0 0 5 2 20 0 15 0 68398464 11113168896 1405912 33554432000 4194304 4196468 140736690746400 140538505153248 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5890] ppid=5821 vsize=10852704 memory=1948 CPUtime=1.33 cores=1,3,5,7
/proc/5824/task/5890/stat : 5890 (java) S 5821 5824 4192 0 -1 1077944384 2325 13202 0 0 55 71 5 2 20 0 15 0 68398465 11113168896 1405912 33554432000 4194304 4196468 140736690746400 140539391302320 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
Current children cumulated CPU time: 2443.12 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 5623648 KiB
[startup+2202.3 s]
/proc/loadavg: 1.82 1.82 1.83 3/220 6114
/proc/meminfo: memFree=12283800/32770624 swapFree=67108860/67108860
[pid=5824] ppid=5821 vsize=10852704 memory=5564264 CPUtime=2510.98 cores=1,3,5,7
/proc/5824/stat : 5824 (java) S 5821 5824 4192 0 -1 1077944320 846525 13202 0 0 250085 1006 5 2 20 0 15 0 68398450 11113168896 1391066 33554432000 4194304 4196468 140736690746400 140736690728944 140539970051831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
/proc/5824/statm: 2713176 1391066 3534 1 0 2674829 0
[pid=5824/tid=5877] ppid=5821 vsize=10852704 memory=5564264 CPUtime=2108.08 cores=1,3,5,7
/proc/5824/task/5877/stat : 5877 (java) R 5821 5824 4192 0 -1 4202560 239495 13202 0 0 210755 46 5 2 20 0 15 0 68398459 11113168896 1391066 33554432000 4194304 4196468 140736690746400 140539941885712 140539560429434 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5878] ppid=5821 vsize=10852704 memory=5564264 CPUtime=91.98 cores=1,3,5,7
/proc/5824/task/5878/stat : 5878 (java) S 5821 5824 4192 0 -1 1077944384 65977 13202 0 0 8975 216 5 2 20 0 15 0 68398459 11113168896 1391066 33554432000 4194304 4196468 140736690746400 140539974294672 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5879] ppid=5821 vsize=10852704 memory=5623648 CPUtime=91.86 cores=1,3,5,7
/proc/5824/task/5879/stat : 5879 (java) S 5821 5824 4192 0 -1 1077944384 78763 13202 0 0 8959 220 5 2 20 0 15 0 68398459 11113168896 1391066 33554432000 4194304 4196468 140736690746400 140539862567952 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5880] ppid=5821 vsize=10852704 memory=5623648 CPUtime=91.98 cores=1,3,5,7
/proc/5824/task/5880/stat : 5880 (java) S 5821 5824 4192 0 -1 1077944384 72148 13202 0 0 8981 210 5 2 20 0 15 0 68398459 11113168896 1391066 33554432000 4194304 4196468 140736690746400 140539861515152 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5881] ppid=5821 vsize=10852704 memory=5564264 CPUtime=92.05 cores=1,3,5,7
/proc/5824/task/5881/stat : 5881 (java) S 5821 5824 4192 0 -1 1077944384 78819 13202 0 0 8984 214 5 2 20 0 15 0 68398459 11113168896 1391066 33554432000 4194304 4196468 140736690746400 140539860462352 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5882] ppid=5821 vsize=10852704 memory=7 CPUtime=1.33 cores=1,3,5,7
/proc/5824/task/5882/stat : 5882 (java) S 5821 5824 4192 0 -1 1077944384 104055 13202 0 0 112 14 5 2 20 0 15 0 68398461 11113168896 1391066 33554432000 4194304 4196468 140736690746400 140539429071216 140539970062978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5883] ppid=5821 vsize=10852704 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5883/stat : 5883 (java) S 5821 5824 4192 0 -1 1077944384 58 13202 0 0 0 0 5 2 20 0 15 0 68398461 11113168896 1391066 33554432000 4194304 4196468 140736690746400 140539428017248 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5884] ppid=5821 vsize=10852704 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5884/stat : 5884 (java) S 5821 5824 4192 0 -1 1077944384 19 13202 0 0 0 0 5 2 20 0 15 0 68398461 11113168896 1391066 33554432000 4194304 4196468 140736690746400 140538846110592 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5885] ppid=5821 vsize=10852704 memory=5609820 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5885/stat : 5885 (java) S 5821 5824 4192 0 -1 1077944384 3 13202 0 0 0 0 5 2 20 0 15 0 68398464 11113168896 1391066 33554432000 4194304 4196468 140736690746400 140538538710864 140539970070427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5886] ppid=5821 vsize=10852704 memory=5564264 CPUtime=13.94 cores=1,3,5,7
/proc/5824/task/5886/stat : 5886 (java) S 5821 5824 4192 0 -1 1077944384 70632 13202 0 0 1379 8 5 2 20 0 15 0 68398464 11113168896 1391066 33554432000 4194304 4196468 140736690746400 140539394460528 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5887] ppid=5821 vsize=10852704 memory=8544 CPUtime=14.38 cores=1,3,5,7
/proc/5824/task/5887/stat : 5887 (java) S 5821 5824 4192 0 -1 1077944384 78649 13202 0 0 1421 10 5 2 20 0 15 0 68398464 11113168896 1391066 33554432000 4194304 4196468 140736690746400 140539393407728 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5888] ppid=5821 vsize=10852704 memory=279296758474912 CPUtime=4.53 cores=1,3,5,7
/proc/5824/task/5888/stat : 5888 (java) S 5821 5824 4192 0 -1 1077944384 53365 13202 0 0 436 10 5 2 20 0 15 0 68398464 11113168896 1391066 33554432000 4194304 4196468 140736690746400 140539392354928 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5889] ppid=5821 vsize=10852704 memory=279296757203184 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5889/stat : 5889 (java) S 5821 5824 4192 0 -1 1077944384 3 13202 0 0 0 0 5 2 20 0 15 0 68398464 11113168896 1391066 33554432000 4194304 4196468 140736690746400 140538505153248 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5890] ppid=5821 vsize=10852704 memory=6944656592455097440 CPUtime=1.36 cores=1,3,5,7
/proc/5824/task/5890/stat : 5890 (java) S 5821 5824 4192 0 -1 1077944384 2347 13202 0 0 56 73 5 2 20 0 15 0 68398465 11113168896 1391066 33554432000 4194304 4196468 140736690746400 140539391302320 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
Current children cumulated CPU time: 2510.98 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 5564264 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2211.3 s]
/proc/loadavg: 1.77 1.81 1.83 3/220 6114
/proc/meminfo: memFree=12271580/32770624 swapFree=67108860/67108860
[pid=5824] ppid=5821 vsize=10852704 memory=5564260 CPUtime=2520.03 cores=1,3,5,7
/proc/5824/stat : 5824 (java) S 5821 5824 4192 0 -1 1077944320 846919 13202 0 0 250990 1006 5 2 20 0 15 0 68398450 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140736690728944 140539970051831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
/proc/5824/statm: 2713176 1391065 3534 1 0 2674829 0
[pid=5824/tid=5877] ppid=5821 vsize=10852704 memory=5564260 CPUtime=2117.06 cores=1,3,5,7
/proc/5824/task/5877/stat : 5877 (java) R 5821 5824 4192 0 -1 4202560 239708 13202 0 0 211653 46 5 2 20 0 15 0 68398459 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140539941885936 140539548863908 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5878] ppid=5821 vsize=10852704 memory=5564264 CPUtime=92 cores=1,3,5,7
/proc/5824/task/5878/stat : 5878 (java) S 5821 5824 4192 0 -1 1077944384 66062 13202 0 0 8977 216 5 2 20 0 15 0 68398459 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140539974294672 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5879] ppid=5821 vsize=10852704 memory=5564264 CPUtime=91.88 cores=1,3,5,7
/proc/5824/task/5879/stat : 5879 (java) S 5821 5824 4192 0 -1 1077944384 78843 13202 0 0 8961 220 5 2 20 0 15 0 68398459 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140539862567952 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5880] ppid=5821 vsize=10852704 memory=5564264 CPUtime=91.99 cores=1,3,5,7
/proc/5824/task/5880/stat : 5880 (java) S 5821 5824 4192 0 -1 1077944384 72154 13202 0 0 8982 210 5 2 20 0 15 0 68398459 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140539861515152 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5881] ppid=5821 vsize=10852704 memory=5623648 CPUtime=92.07 cores=1,3,5,7
/proc/5824/task/5881/stat : 5881 (java) S 5821 5824 4192 0 -1 1077944384 78824 13202 0 0 8986 214 5 2 20 0 15 0 68398459 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140539860462352 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5882] ppid=5821 vsize=10852704 memory=5623648 CPUtime=1.33 cores=1,3,5,7
/proc/5824/task/5882/stat : 5882 (java) S 5821 5824 4192 0 -1 1077944384 104058 13202 0 0 112 14 5 2 20 0 15 0 68398461 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140539429071216 140539970062978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5883] ppid=5821 vsize=10852704 memory=5564260 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5883/stat : 5883 (java) S 5821 5824 4192 0 -1 1077944384 58 13202 0 0 0 0 5 2 20 0 15 0 68398461 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140539428017248 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5884] ppid=5821 vsize=10852704 memory=5564264 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5884/stat : 5884 (java) S 5821 5824 4192 0 -1 1077944384 19 13202 0 0 0 0 5 2 20 0 15 0 68398461 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140538846110592 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5885] ppid=5821 vsize=10852704 memory=279296757848800 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5885/stat : 5885 (java) S 5821 5824 4192 0 -1 1077944384 3 13202 0 0 0 0 5 2 20 0 15 0 68398464 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140538538710864 140539970070427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5886] ppid=5821 vsize=10852704 memory=5564260 CPUtime=13.94 cores=1,3,5,7
/proc/5824/task/5886/stat : 5886 (java) S 5821 5824 4192 0 -1 1077944384 70632 13202 0 0 1379 8 5 2 20 0 15 0 68398464 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140539394460528 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5887] ppid=5821 vsize=10852704 memory=5564264 CPUtime=14.38 cores=1,3,5,7
/proc/5824/task/5887/stat : 5887 (java) S 5821 5824 4192 0 -1 1077944384 78649 13202 0 0 1421 10 5 2 20 0 15 0 68398464 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140539393407728 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5888] ppid=5821 vsize=10852704 memory=5564264 CPUtime=4.53 cores=1,3,5,7
/proc/5824/task/5888/stat : 5888 (java) S 5821 5824 4192 0 -1 1077944384 53365 13202 0 0 436 10 5 2 20 0 15 0 68398464 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140539392354928 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5889] ppid=5821 vsize=10852704 memory=5623672 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5889/stat : 5889 (java) S 5821 5824 4192 0 -1 1077944384 3 13202 0 0 0 0 5 2 20 0 15 0 68398464 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140538505153248 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5890] ppid=5821 vsize=10852704 memory=5564260 CPUtime=1.38 cores=1,3,5,7
/proc/5824/task/5890/stat : 5890 (java) S 5821 5824 4192 0 -1 1077944384 2349 13202 0 0 57 74 5 2 20 0 15 0 68398465 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140539391302320 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 5564260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2211.35 s]
# the end of solver process 5824 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.98 s, system=10.1293 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2211.3 s]
/proc/loadavg: 1.77 1.81 1.83 3/220 6114
/proc/meminfo: memFree=12271580/32770624 swapFree=67108860/67108860
[pid=5824] ppid=5821 vsize=10852704 memory=5564260 CPUtime=2520.03 cores=1,3,5,7
/proc/5824/stat : 5824 (java) S 5821 5824 4192 0 -1 1077944320 846919 13202 0 0 250990 1006 5 2 20 0 15 0 68398450 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140736690728944 140539970051831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
/proc/5824/statm: 2713176 1391065 3534 1 0 2674829 0
[pid=5824/tid=5877] ppid=5821 vsize=10852704 memory=5564260 CPUtime=2117.06 cores=1,3,5,7
/proc/5824/task/5877/stat : 5877 (java) R 5821 5824 4192 0 -1 4202560 239708 13202 0 0 211653 46 5 2 20 0 15 0 68398459 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140539941885936 140539548863908 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5878] ppid=5821 vsize=10852704 memory=5564264 CPUtime=92 cores=1,3,5,7
/proc/5824/task/5878/stat : 5878 (java) S 5821 5824 4192 0 -1 1077944384 66062 13202 0 0 8977 216 5 2 20 0 15 0 68398459 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140539974294672 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5879] ppid=5821 vsize=10852704 memory=5564264 CPUtime=91.88 cores=1,3,5,7
/proc/5824/task/5879/stat : 5879 (java) S 5821 5824 4192 0 -1 1077944384 78843 13202 0 0 8961 220 5 2 20 0 15 0 68398459 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140539862567952 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5880] ppid=5821 vsize=10852704 memory=5564264 CPUtime=91.99 cores=1,3,5,7
/proc/5824/task/5880/stat : 5880 (java) S 5821 5824 4192 0 -1 1077944384 72154 13202 0 0 8982 210 5 2 20 0 15 0 68398459 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140539861515152 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5881] ppid=5821 vsize=10852704 memory=5623648 CPUtime=92.07 cores=1,3,5,7
/proc/5824/task/5881/stat : 5881 (java) S 5821 5824 4192 0 -1 1077944384 78824 13202 0 0 8986 214 5 2 20 0 15 0 68398459 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140539860462352 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5882] ppid=5821 vsize=10852704 memory=5623648 CPUtime=1.33 cores=1,3,5,7
/proc/5824/task/5882/stat : 5882 (java) S 5821 5824 4192 0 -1 1077944384 104058 13202 0 0 112 14 5 2 20 0 15 0 68398461 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140539429071216 140539970062978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5883] ppid=5821 vsize=10852704 memory=5564260 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5883/stat : 5883 (java) S 5821 5824 4192 0 -1 1077944384 58 13202 0 0 0 0 5 2 20 0 15 0 68398461 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140539428017248 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5884] ppid=5821 vsize=10852704 memory=5564264 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5884/stat : 5884 (java) S 5821 5824 4192 0 -1 1077944384 19 13202 0 0 0 0 5 2 20 0 15 0 68398461 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140538846110592 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5885] ppid=5821 vsize=10852704 memory=279296757848800 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5885/stat : 5885 (java) S 5821 5824 4192 0 -1 1077944384 3 13202 0 0 0 0 5 2 20 0 15 0 68398464 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140538538710864 140539970070427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5886] ppid=5821 vsize=10852704 memory=5564260 CPUtime=13.94 cores=1,3,5,7
/proc/5824/task/5886/stat : 5886 (java) S 5821 5824 4192 0 -1 1077944384 70632 13202 0 0 1379 8 5 2 20 0 15 0 68398464 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140539394460528 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5887] ppid=5821 vsize=10852704 memory=5564264 CPUtime=14.38 cores=1,3,5,7
/proc/5824/task/5887/stat : 5887 (java) S 5821 5824 4192 0 -1 1077944384 78649 13202 0 0 1421 10 5 2 20 0 15 0 68398464 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140539393407728 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5888] ppid=5821 vsize=10852704 memory=5564264 CPUtime=4.53 cores=1,3,5,7
/proc/5824/task/5888/stat : 5888 (java) S 5821 5824 4192 0 -1 1077944384 53365 13202 0 0 436 10 5 2 20 0 15 0 68398464 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140539392354928 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5889] ppid=5821 vsize=10852704 memory=5623672 CPUtime=0.07 cores=1,3,5,7
/proc/5824/task/5889/stat : 5889 (java) S 5821 5824 4192 0 -1 1077944384 3 13202 0 0 0 0 5 2 20 0 15 0 68398464 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140538505153248 140539970062037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
[pid=5824/tid=5890] ppid=5821 vsize=10852704 memory=5564260 CPUtime=1.38 cores=1,3,5,7
/proc/5824/task/5890/stat : 5890 (java) S 5821 5824 4192 0 -1 1077944384 2349 13202 0 0 57 74 5 2 20 0 15 0 68398465 11113168896 1391065 33554432000 4194304 4196468 140736690746400 140539391302320 140539970062978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140736690747563 140736690750812 140736690750812 140736690753487 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 5564260 KiB
Child status: 143
Real time (s): 2211.35
CPU time (s): 2520.11
CPU user time (s): 2509.98
CPU system time (s): 10.1293
CPU usage (%): 113.962
Max. virtual memory (cumulated for all children) (KiB): 10852704
Max. memory (cumulated for all children) (KiB): 5829432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.98
system time used= 10.1293
maximum resident set size= 5829448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 864338
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72711
involuntary context switches= 7110
# summary of solver processes directly reported to runsolver:
# pid: 5824
# total CPU time (s): 2520.11
# total CPU user time (s): 2509.98
# total CPU system time (s): 10.1293
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2301 second user time and 23.4005 second system time
The end