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 (11595 MiB free)
memory of node 1: 16384 MiB (9849 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307709-1534268030/watcher-4307709-1534268030 -o /tmp/evaluation-result-4307709-1534268030/solver-4307709-1534268030 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534258053-12156 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order.jar --randomseed 1412799312 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307709-1534268030.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
solver pid=13731, runsolver pid=13728
Current StackSize limit: 8192 KiB
[startup+0.101067 s]*
/proc/loadavg: 1.14 1.21 1.29 3/215 13746
/proc/meminfo: memFree=21940508/32770624 swapFree=67105356/67108860
[pid=13731] ppid=13728 vsize=14082736 memory=31236 CPUtime=0.11 cores=1,3,5,7
/proc/13731/stat : 13731 (java) S 13728 13731 12124 0 -1 1077944320 6740 0 0 0 10 1 0 0 20 0 15 0 244366208 14420721664 7809 33554432000 4194304 4196468 140725186792272 140725186774816 140195323248375 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
/proc/13731/statm: 3520684 7809 3130 1 0 3482761 0
[pid=13731/tid=13733] ppid=13728 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=1,3,5,7
/proc/13731/task/13733/stat : 13733 (java) R 13728 13731 12124 0 -1 4202560 4797 0 0 0 8 1 0 0 20 0 15 0 244366209 14420721664 7809 33554432000 4194304 4196468 140725186792272 140195327460536 140195323270301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13734] ppid=13728 vsize=14082736 memory=5793855249411725753 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13734/stat : 13734 (java) S 13728 13731 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244366210 14420721664 7809 33554432000 4194304 4196468 140725186792272 140195253336848 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13735] ppid=13728 vsize=14082736 memory=139998401832576 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13735/stat : 13735 (java) S 13728 13731 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244366210 14420721664 7809 33554432000 4194304 4196468 140725186792272 140195252284304 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13736] ppid=13728 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13736/stat : 13736 (java) S 13728 13731 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244366210 14420721664 7809 33554432000 4194304 4196468 140725186792272 140195251231760 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13737] ppid=13728 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13737/stat : 13737 (java) S 13728 13731 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244366210 14420721664 7809 33554432000 4194304 4196468 140725186792272 140195250179216 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13738] ppid=13728 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13738/stat : 13738 (java) S 13728 13731 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244366211 14420721664 7809 33554432000 4194304 4196468 140725186792272 140194797430768 140195323259522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13739] ppid=13728 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13739/stat : 13739 (java) S 13728 13731 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244366211 14420721664 7809 33554432000 4194304 4196468 140725186792272 140194796376992 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13740] ppid=13728 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13740/stat : 13740 (java) S 13728 13731 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244366212 14420721664 7809 33554432000 4194304 4196468 140725186792272 140194795324400 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13741] ppid=13728 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13741/stat : 13741 (java) S 13728 13731 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244366214 14420721664 7809 33554432000 4194304 4196468 140725186792272 140194794272976 140195323266971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13742] ppid=13728 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13742/stat : 13742 (java) S 13728 13731 12124 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 244366214 14420721664 7809 33554432000 4194304 4196468 140725186792272 140194793220592 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13743] ppid=13728 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13743/stat : 13743 (java) S 13728 13731 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244366214 14420721664 7809 33554432000 4194304 4196468 140725186792272 140194792168048 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13744] ppid=13728 vsize=14082736 memory=139998401832576 CPUtime=0.01 cores=1,3,5,7
/proc/13731/task/13744/stat : 13744 (java) R 13728 13731 12124 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 15 0 244366214 14420721664 7809 33554432000 4194304 4196468 140725186792272 140194791115504 140195301953247 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13745] ppid=13728 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13745/stat : 13745 (java) S 13728 13731 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244366214 14420721664 7809 33554432000 4194304 4196468 140725186792272 140194790063200 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13746] ppid=13728 vsize=14082736 memory=139998401832576 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13746/stat : 13746 (java) S 13728 13731 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244366215 14420721664 7809 33554432000 4194304 4196468 140725186792272 140194789009712 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31236 KiB
[startup+0.214043 s]*
/proc/loadavg: 1.14 1.21 1.29 5/215 13746
/proc/meminfo: memFree=21925376/32770624 swapFree=67105356/67108860
[pid=13731] ppid=13728 vsize=14082736 memory=47264 CPUtime=0.29 cores=1,3,5,7
/proc/13731/stat : 13731 (java) S 13728 13731 12124 0 -1 1077944320 10426 0 0 0 27 2 0 0 20 0 15 0 244366208 14420721664 11816 33554432000 4194304 4196468 140725186792272 140725186774816 140195323248375 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
/proc/13731/statm: 3520684 11816 3380 1 0 3482761 0
[pid=13731/tid=13733] ppid=13728 vsize=14082736 memory=6735269665583770266 CPUtime=0.19 cores=1,3,5,7
/proc/13731/task/13733/stat : 13733 (java) R 13728 13731 12124 0 -1 4202560 8144 0 0 0 18 1 0 0 20 0 15 0 244366209 14420721664 11816 33554432000 4194304 4196468 140725186792272 140195327472240 140195323260310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13734] ppid=13728 vsize=14082736 memory=4211973724606623114 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13734/stat : 13734 (java) S 13728 13731 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244366210 14420721664 11816 33554432000 4194304 4196468 140725186792272 140195253336848 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13735] ppid=13728 vsize=14082736 memory=139998401832576 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13735/stat : 13735 (java) S 13728 13731 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244366210 14420721664 11816 33554432000 4194304 4196468 140725186792272 140195252284304 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13736] ppid=13728 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13736/stat : 13736 (java) S 13728 13731 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244366210 14420721664 11816 33554432000 4194304 4196468 140725186792272 140195251231760 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13737] ppid=13728 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13737/stat : 13737 (java) S 13728 13731 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244366210 14420721664 11816 33554432000 4194304 4196468 140725186792272 140195250179216 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13738] ppid=13728 vsize=14082736 memory=139998401832576 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13738/stat : 13738 (java) S 13728 13731 12124 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 244366211 14420721664 11816 33554432000 4194304 4196468 140725186792272 140194797430768 140195323259522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13739] ppid=13728 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13739/stat : 13739 (java) S 13728 13731 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244366211 14420721664 11816 33554432000 4194304 4196468 140725186792272 140194796376992 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13740] ppid=13728 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13740/stat : 13740 (java) S 13728 13731 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244366212 14420721664 11816 33554432000 4194304 4196468 140725186792272 140194795324400 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13741] ppid=13728 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13741/stat : 13741 (java) S 13728 13731 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244366214 14420721664 11816 33554432000 4194304 4196468 140725186792272 140194794272976 140195323266971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13742] ppid=13728 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13731/task/13742/stat : 13742 (java) R 13728 13731 12124 0 -1 4202560 344 0 0 0 2 0 0 0 20 0 15 0 244366214 14420721664 11816 33554432000 4194304 4196468 140725186792272 140194793220592 140195304772634 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13743] ppid=13728 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/13731/task/13743/stat : 13743 (java) S 13728 13731 12124 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 15 0 244366214 14420721664 11816 33554432000 4194304 4196468 140725186792272 140194792168048 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13744] ppid=13728 vsize=14082736 memory=139998401832576 CPUtime=0.05 cores=1,3,5,7
/proc/13731/task/13744/stat : 13744 (java) R 13728 13731 12124 0 -1 4202560 291 0 0 0 5 0 0 0 20 0 15 0 244366214 14420721664 11816 33554432000 4194304 4196468 140725186792272 140194791112440 140195301923441 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13745] ppid=13728 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13745/stat : 13745 (java) S 13728 13731 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244366214 14420721664 11816 33554432000 4194304 4196468 140725186792272 140194790063200 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13746] ppid=13728 vsize=14082736 memory=139998401832576 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13746/stat : 13746 (java) S 13728 13731 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244366215 14420721664 11816 33554432000 4194304 4196468 140725186792272 140194789009712 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47264 KiB
[startup+0.310479 s]*
/proc/loadavg: 1.14 1.21 1.29 3/215 13746
/proc/meminfo: memFree=21921484/32770624 swapFree=67105356/67108860
[pid=13731] ppid=13728 vsize=14082736 memory=50668 CPUtime=0.42 cores=1,3,5,7
/proc/13731/stat : 13731 (java) S 13728 13731 12124 0 -1 1077944320 10779 0 0 0 40 2 0 0 20 0 15 0 244366208 14420721664 12667 33554432000 4194304 4196468 140725186792272 140725186774816 140195323248375 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
/proc/13731/statm: 3520684 12667 3421 1 0 3482761 0
[pid=13731/tid=13733] ppid=13728 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=1,3,5,7
/proc/13731/task/13733/stat : 13733 (java) R 13728 13731 12124 0 -1 4202560 8476 0 0 0 28 2 0 0 20 0 15 0 244366209 14420721664 12667 33554432000 4194304 4196468 140725186792272 140195327428384 140195307328862 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13734] ppid=13728 vsize=14082736 memory=4211973724606623114 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13734/stat : 13734 (java) S 13728 13731 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244366210 14420721664 12667 33554432000 4194304 4196468 140725186792272 140195253336848 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13735] ppid=13728 vsize=14082736 memory=139998401834920 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13735/stat : 13735 (java) S 13728 13731 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244366210 14420721664 12667 33554432000 4194304 4196468 140725186792272 140195252284304 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13736] ppid=13728 vsize=14082736 memory=139998284339564 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13736/stat : 13736 (java) S 13728 13731 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244366210 14420721664 12667 33554432000 4194304 4196468 140725186792272 140195251231760 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13737] ppid=13728 vsize=14082736 memory=139998284336591 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13737/stat : 13737 (java) S 13728 13731 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244366210 14420721664 12667 33554432000 4194304 4196468 140725186792272 140195250179216 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13738] ppid=13728 vsize=14082736 memory=139998401844727 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13738/stat : 13738 (java) S 13728 13731 12124 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 244366211 14420721664 12667 33554432000 4194304 4196468 140725186792272 140194797430768 140195323259522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13739] ppid=13728 vsize=14082736 memory=139998284345775 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13739/stat : 13739 (java) S 13728 13731 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244366211 14420721664 12667 33554432000 4194304 4196468 140725186792272 140194796376992 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13740] ppid=13728 vsize=14082736 memory=279996568682384 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13740/stat : 13740 (java) S 13728 13731 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244366212 14420721664 12667 33554432000 4194304 4196468 140725186792272 140194795324400 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13741] ppid=13728 vsize=14082736 memory=279996568680080 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13741/stat : 13741 (java) S 13728 13731 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244366214 14420721664 12667 33554432000 4194304 4196468 140725186792272 140194794272976 140195323266971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13742] ppid=13728 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13731/task/13742/stat : 13742 (java) S 13728 13731 12124 0 -1 1077944384 345 0 0 0 2 0 0 0 20 0 15 0 244366214 14420721664 12667 33554432000 4194304 4196468 140725186792272 140194793220592 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13743] ppid=13728 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/13731/task/13743/stat : 13743 (java) S 13728 13731 12124 0 -1 1077944384 272 0 0 0 2 0 0 0 20 0 15 0 244366214 14420721664 12667 33554432000 4194304 4196468 140725186792272 140194792168048 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13744] ppid=13728 vsize=14082736 memory=139998401832576 CPUtime=0.07 cores=1,3,5,7
/proc/13731/task/13744/stat : 13744 (java) S 13728 13731 12124 0 -1 1077944384 300 0 0 0 7 0 0 0 20 0 15 0 244366214 14420721664 12667 33554432000 4194304 4196468 140725186792272 140194791115504 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13745] ppid=13728 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13745/stat : 13745 (java) S 13728 13731 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244366214 14420721664 12667 33554432000 4194304 4196468 140725186792272 140194790063200 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13746] ppid=13728 vsize=14082736 memory=139998401832576 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13746/stat : 13746 (java) S 13728 13731 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244366215 14420721664 12667 33554432000 4194304 4196468 140725186792272 140194789009712 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50668 KiB
[startup+0.700725 s]
/proc/loadavg: 1.14 1.21 1.29 3/215 13746
/proc/meminfo: memFree=21897796/32770624 swapFree=67105356/67108860
[pid=13731] ppid=13728 vsize=14084804 memory=88720 CPUtime=0.98 cores=1,3,5,7
/proc/13731/stat : 13731 (java) S 13728 13731 12124 0 -1 1077944320 17604 0 0 0 94 4 0 0 20 0 15 0 244366208 14422839296 22180 33554432000 4194304 4196468 140725186792272 140725186774816 140195323248375 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
/proc/13731/statm: 3521201 22180 3498 1 0 3483273 0
[pid=13731/tid=13733] ppid=13728 vsize=14084804 memory=1612 CPUtime=0.67 cores=1,3,5,7
/proc/13731/task/13733/stat : 13733 (java) R 13728 13731 12124 0 -1 4202560 14920 0 0 0 64 3 0 0 20 0 15 0 244366209 14422839296 22180 33554432000 4194304 4196468 140725186792272 140195327459248 140195307328862 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13734] ppid=13728 vsize=14084804 memory=1812 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13734/stat : 13734 (java) S 13728 13731 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244366210 14422839296 22180 33554432000 4194304 4196468 140725186792272 140195253336848 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13735] ppid=13728 vsize=14084804 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13735/stat : 13735 (java) S 13728 13731 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244366210 14422839296 22180 33554432000 4194304 4196468 140725186792272 140195252284304 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13736] ppid=13728 vsize=14084804 memory=7235408084361307456 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13736/stat : 13736 (java) S 13728 13731 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244366210 14422839296 22180 33554432000 4194304 4196468 140725186792272 140195251231760 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13737] ppid=13728 vsize=14084804 memory=7739276948478389351 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13737/stat : 13737 (java) S 13728 13731 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244366210 14422839296 22180 33554432000 4194304 4196468 140725186792272 140195250179216 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13738] ppid=13728 vsize=14084804 memory=6154282490091891024 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13738/stat : 13738 (java) S 13728 13731 12124 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 244366211 14422839296 22180 33554432000 4194304 4196468 140725186792272 140194797430768 140195323259522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13739] ppid=13728 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13739/stat : 13739 (java) S 13728 13731 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244366211 14422839296 22180 33554432000 4194304 4196468 140725186792272 140194796376992 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13740] ppid=13728 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13740/stat : 13740 (java) S 13728 13731 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244366212 14422839296 22180 33554432000 4194304 4196468 140725186792272 140194795324400 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13741] ppid=13728 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13741/stat : 13741 (java) S 13728 13731 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244366214 14422839296 22180 33554432000 4194304 4196468 140725186792272 140194794272976 140195323266971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13742] ppid=13728 vsize=14084804 memory=8744 CPUtime=0.05 cores=1,3,5,7
/proc/13731/task/13742/stat : 13742 (java) S 13728 13731 12124 0 -1 1077944384 500 0 0 0 5 0 0 0 20 0 15 0 244366214 14422839296 22180 33554432000 4194304 4196468 140725186792272 140194793220592 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13743] ppid=13728 vsize=14084804 memory=6 CPUtime=0.08 cores=1,3,5,7
/proc/13731/task/13743/stat : 13743 (java) S 13728 13731 12124 0 -1 1077944384 424 0 0 0 8 0 0 0 20 0 15 0 244366214 14422839296 22180 33554432000 4194304 4196468 140725186792272 140194792168048 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13744] ppid=13728 vsize=14084804 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/13731/task/13744/stat : 13744 (java) S 13728 13731 12124 0 -1 1077944384 374 0 0 0 14 0 0 0 20 0 15 0 244366214 14422839296 22180 33554432000 4194304 4196468 140725186792272 140194791115504 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13745] ppid=13728 vsize=14084804 memory=279996568866288 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13745/stat : 13745 (java) S 13728 13731 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244366214 14422839296 22180 33554432000 4194304 4196468 140725186792272 140194790063200 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13746] ppid=13728 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13746/stat : 13746 (java) S 13728 13731 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244366215 14422839296 22180 33554432000 4194304 4196468 140725186792272 140194789009712 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88720 KiB
[startup+1.50116 s]
/proc/loadavg: 1.14 1.21 1.29 5/215 13746
/proc/meminfo: memFree=21817956/32770624 swapFree=67105356/67108860
[pid=13731] ppid=13728 vsize=14090948 memory=226520 CPUtime=3.29 cores=1,3,5,7
/proc/13731/stat : 13731 (java) S 13728 13731 12124 0 -1 1077944320 27312 0 0 0 319 10 0 0 20 0 15 0 244366208 14429130752 56630 33554432000 4194304 4196468 140725186792272 140725186774816 140195323248375 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
/proc/13731/statm: 3522737 56630 3564 1 0 3484809 0
[pid=13731/tid=13733] ppid=13728 vsize=14090948 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/13731/task/13733/stat : 13733 (java) R 13728 13731 12124 0 -1 1077944384 20163 0 0 0 140 6 0 0 20 0 15 0 244366209 14429130752 56630 33554432000 4194304 4196468 140725186792272 140195327483392 140195323258581 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13734] ppid=13728 vsize=14090948 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13734/stat : 13734 (java) S 13728 13731 12124 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 15 0 244366210 14429130752 56630 33554432000 4194304 4196468 140725186792272 140195253336848 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13735] ppid=13728 vsize=14090948 memory=4946250474298645376 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13735/stat : 13735 (java) S 13728 13731 12124 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 244366210 14429130752 56630 33554432000 4194304 4196468 140725186792272 140195252284304 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13736] ppid=13728 vsize=14090948 memory=-6585528546044026665 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13736/stat : 13736 (java) S 13728 13731 12124 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 244366210 14429130752 56630 33554432000 4194304 4196468 140725186792272 140195251231760 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13737] ppid=13728 vsize=14090948 memory=-6438842726296803203 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13737/stat : 13737 (java) S 13728 13731 12124 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 244366210 14429130752 56630 33554432000 4194304 4196468 140725186792272 140195250179216 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13738] ppid=13728 vsize=14090948 memory=-7521127210283913774 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13738/stat : 13738 (java) S 13728 13731 12124 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 244366211 14429130752 56630 33554432000 4194304 4196468 140725186792272 140194797430768 140195323259522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
################
# More data... #
################
/proc/13731/task/13733/stat : 13733 (java) R 13728 13731 12124 0 -1 4202560 34442 0 0 0 243308 14 0 0 20 0 15 0 244366209 14429130752 71531 33554432000 4194304 4196468 140725186792272 140195327486640 140194936216985 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13734] ppid=13728 vsize=14090948 memory=279996569551728 CPUtime=4.43 cores=1,3,5,7
/proc/13731/task/13734/stat : 13734 (java) S 13728 13731 12124 0 -1 1077944384 4238 0 0 0 422 21 0 0 20 0 15 0 244366210 14429130752 71531 33554432000 4194304 4196468 140725186792272 140195253336848 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13735] ppid=13728 vsize=14090948 memory=282028 CPUtime=4.42 cores=1,3,5,7
/proc/13731/task/13735/stat : 13735 (java) S 13728 13731 12124 0 -1 1077944384 4673 0 0 0 423 19 0 0 20 0 15 0 244366210 14429130752 71531 33554432000 4194304 4196468 140725186792272 140195252284304 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13736] ppid=13728 vsize=14090948 memory=279980 CPUtime=4.38 cores=1,3,5,7
/proc/13731/task/13736/stat : 13736 (java) S 13728 13731 12124 0 -1 1077944384 4693 0 0 0 417 21 0 0 20 0 15 0 244366210 14429130752 71531 33554432000 4194304 4196468 140725186792272 140195251231760 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13737] ppid=13728 vsize=14090948 memory=284076 CPUtime=4.39 cores=1,3,5,7
/proc/13731/task/13737/stat : 13737 (java) S 13728 13731 12124 0 -1 1077944384 4957 0 0 0 420 19 0 0 20 0 15 0 244366210 14429130752 71531 33554432000 4194304 4196468 140725186792272 140195250179216 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13738] ppid=13728 vsize=14090948 memory=286124 CPUtime=2.72 cores=1,3,5,7
/proc/13731/task/13738/stat : 13738 (java) S 13728 13731 12124 0 -1 1077944384 5886 0 0 0 249 23 0 0 20 0 15 0 244366211 14429130752 71531 33554432000 4194304 4196468 140725186792272 140194797430768 140195323259522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13739] ppid=13728 vsize=14090948 memory=286124 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13739/stat : 13739 (java) S 13728 13731 12124 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 244366211 14429130752 71531 33554432000 4194304 4196468 140725186792272 140194796377056 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13740] ppid=13728 vsize=14090948 memory=286124 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13740/stat : 13740 (java) S 13728 13731 12124 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 244366212 14429130752 71531 33554432000 4194304 4196468 140725186792272 140194795324416 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13741] ppid=13728 vsize=14090948 memory=286124 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13741/stat : 13741 (java) S 13728 13731 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244366214 14429130752 71531 33554432000 4194304 4196468 140725186792272 140194794272976 140195323266971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13742] ppid=13728 vsize=14090948 memory=286124 CPUtime=1.06 cores=1,3,5,7
/proc/13731/task/13742/stat : 13742 (java) S 13728 13731 12124 0 -1 1077944384 2857 0 0 0 105 1 0 0 20 0 15 0 244366214 14429130752 71531 33554432000 4194304 4196468 140725186792272 140194793220592 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13743] ppid=13728 vsize=14090948 memory=286124 CPUtime=1.17 cores=1,3,5,7
/proc/13731/task/13743/stat : 13743 (java) S 13728 13731 12124 0 -1 1077944384 4616 0 0 0 117 0 0 0 20 0 15 0 244366214 14429130752 71531 33554432000 4194304 4196468 140725186792272 140194792168048 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13744] ppid=13728 vsize=14090948 memory=286124 CPUtime=0.64 cores=1,3,5,7
/proc/13731/task/13744/stat : 13744 (java) S 13728 13731 12124 0 -1 1077944384 3264 0 0 0 62 2 0 0 20 0 15 0 244366214 14429130752 71531 33554432000 4194304 4196468 140725186792272 140194791115504 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13745] ppid=13728 vsize=14090948 memory=286124 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13745/stat : 13745 (java) S 13728 13731 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244366214 14429130752 71531 33554432000 4194304 4196468 140725186792272 140194790063200 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13746] ppid=13728 vsize=14090948 memory=286124 CPUtime=0.78 cores=1,3,5,7
/proc/13731/task/13746/stat : 13746 (java) S 13728 13731 12124 0 -1 1077944384 1327 0 0 0 35 43 0 0 20 0 15 0 244366215 14429130752 71531 33554432000 4194304 4196468 140725186792272 140194789009712 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
Current children cumulated CPU time: 2457.31 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 286124 KiB
[startup+2502.3 s]
/proc/loadavg: 1.37 1.32 1.32 3/215 14000
/proc/meminfo: memFree=21123836/32770624 swapFree=67105356/67108860
[pid=13731] ppid=13728 vsize=14090948 memory=288172 CPUtime=2517.65 cores=1,3,5,7
/proc/13731/stat : 13731 (java) S 13728 13731 12124 0 -1 1077944320 73426 0 0 0 251622 143 0 0 20 0 15 0 244366208 14429130752 72043 33554432000 4194304 4196468 140725186792272 140725186774816 140195323248375 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
/proc/13731/statm: 3522737 72043 3577 1 0 3484809 0
[pid=13731/tid=13733] ppid=13728 vsize=14090948 memory=288172 CPUtime=2492.98 cores=1,3,5,7
/proc/13731/task/13733/stat : 13733 (java) R 13728 13731 12124 0 -1 4202560 34853 0 0 0 249284 14 0 0 20 0 15 0 244366209 14429130752 72043 33554432000 4194304 4196468 140725186792272 140195327486624 140194936216923 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13734] ppid=13728 vsize=14090948 memory=288172 CPUtime=4.56 cores=1,3,5,7
/proc/13731/task/13734/stat : 13734 (java) S 13728 13731 12124 0 -1 1077944384 4410 0 0 0 435 21 0 0 20 0 15 0 244366210 14429130752 72043 33554432000 4194304 4196468 140725186792272 140195253336848 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13735] ppid=13728 vsize=14090948 memory=288172 CPUtime=4.54 cores=1,3,5,7
/proc/13731/task/13735/stat : 13735 (java) S 13728 13731 12124 0 -1 1077944384 4726 0 0 0 435 19 0 0 20 0 15 0 244366210 14429130752 72043 33554432000 4194304 4196468 140725186792272 140195252284304 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13736] ppid=13728 vsize=14090948 memory=288172 CPUtime=4.51 cores=1,3,5,7
/proc/13731/task/13736/stat : 13736 (java) S 13728 13731 12124 0 -1 1077944384 4828 0 0 0 429 22 0 0 20 0 15 0 244366210 14429130752 72043 33554432000 4194304 4196468 140725186792272 140195251231760 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13737] ppid=13728 vsize=14090948 memory=288172 CPUtime=4.5 cores=1,3,5,7
/proc/13731/task/13737/stat : 13737 (java) S 13728 13731 12124 0 -1 1077944384 5039 0 0 0 430 20 0 0 20 0 15 0 244366210 14429130752 72043 33554432000 4194304 4196468 140725186792272 140195250179216 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13738] ppid=13728 vsize=14090948 memory=288172 CPUtime=2.78 cores=1,3,5,7
/proc/13731/task/13738/stat : 13738 (java) S 13728 13731 12124 0 -1 1077944384 6058 0 0 0 255 23 0 0 20 0 15 0 244366211 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194797430768 140195323259522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13739] ppid=13728 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13739/stat : 13739 (java) S 13728 13731 12124 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 244366211 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194796377056 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13740] ppid=13728 vsize=14090948 memory=59038620466818 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13740/stat : 13740 (java) S 13728 13731 12124 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 244366212 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194795324416 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13741] ppid=13728 vsize=14090948 memory=164 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13741/stat : 13741 (java) S 13728 13731 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244366214 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194794272976 140195323266971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13742] ppid=13728 vsize=14090948 memory=288172 CPUtime=1.06 cores=1,3,5,7
/proc/13731/task/13742/stat : 13742 (java) S 13728 13731 12124 0 -1 1077944384 2859 0 0 0 105 1 0 0 20 0 15 0 244366214 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194793220592 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13743] ppid=13728 vsize=14090948 memory=66128 CPUtime=1.17 cores=1,3,5,7
/proc/13731/task/13743/stat : 13743 (java) S 13728 13731 12124 0 -1 1077944384 4618 0 0 0 117 0 0 0 20 0 15 0 244366214 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194792168048 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13744] ppid=13728 vsize=14090948 memory=6392 CPUtime=0.64 cores=1,3,5,7
/proc/13731/task/13744/stat : 13744 (java) S 13728 13731 12124 0 -1 1077944384 3266 0 0 0 62 2 0 0 20 0 15 0 244366214 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194791115504 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13745] ppid=13728 vsize=14090948 memory=4632 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13745/stat : 13745 (java) S 13728 13731 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244366214 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194790063200 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13746] ppid=13728 vsize=14090948 memory=288172 CPUtime=0.8 cores=1,3,5,7
/proc/13731/task/13746/stat : 13746 (java) S 13728 13731 12124 0 -1 1077944384 1342 0 0 0 36 44 0 0 20 0 15 0 244366215 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194789009712 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
Current children cumulated CPU time: 2517.65 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 288172 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2504.7 s]
/proc/loadavg: 1.42 1.33 1.33 3/215 14000
/proc/meminfo: memFree=21123836/32770624 swapFree=67105356/67108860
[pid=13731] ppid=13728 vsize=14090948 memory=288172 CPUtime=2520.06 cores=1,3,5,7
/proc/13731/stat : 13731 (java) S 13728 13731 12124 0 -1 1077944320 73430 0 0 0 251863 143 0 0 20 0 15 0 244366208 14429130752 72043 33554432000 4194304 4196468 140725186792272 140725186774816 140195323248375 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
/proc/13731/statm: 3522737 72043 3577 1 0 3484809 0
[pid=13731/tid=13733] ppid=13728 vsize=14090948 memory=288172 CPUtime=2495.38 cores=1,3,5,7
/proc/13731/task/13733/stat : 13733 (java) R 13728 13731 12124 0 -1 4202560 34857 0 0 0 249524 14 0 0 20 0 15 0 244366209 14429130752 72043 33554432000 4194304 4196468 140725186792272 140195327486752 140194936216764 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13734] ppid=13728 vsize=14090948 memory=288172 CPUtime=4.56 cores=1,3,5,7
/proc/13731/task/13734/stat : 13734 (java) S 13728 13731 12124 0 -1 1077944384 4410 0 0 0 435 21 0 0 20 0 15 0 244366210 14429130752 72043 33554432000 4194304 4196468 140725186792272 140195253336848 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13735] ppid=13728 vsize=14090948 memory=288172 CPUtime=4.55 cores=1,3,5,7
/proc/13731/task/13735/stat : 13735 (java) S 13728 13731 12124 0 -1 1077944384 4726 0 0 0 436 19 0 0 20 0 15 0 244366210 14429130752 72043 33554432000 4194304 4196468 140725186792272 140195252284304 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13736] ppid=13728 vsize=14090948 memory=288172 CPUtime=4.52 cores=1,3,5,7
/proc/13731/task/13736/stat : 13736 (java) S 13728 13731 12124 0 -1 1077944384 4828 0 0 0 430 22 0 0 20 0 15 0 244366210 14429130752 72043 33554432000 4194304 4196468 140725186792272 140195251231760 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13737] ppid=13728 vsize=14090948 memory=288172 CPUtime=4.51 cores=1,3,5,7
/proc/13731/task/13737/stat : 13737 (java) S 13728 13731 12124 0 -1 1077944384 5039 0 0 0 431 20 0 0 20 0 15 0 244366210 14429130752 72043 33554432000 4194304 4196468 140725186792272 140195250179216 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13738] ppid=13728 vsize=14090948 memory=288172 CPUtime=2.78 cores=1,3,5,7
/proc/13731/task/13738/stat : 13738 (java) S 13728 13731 12124 0 -1 1077944384 6058 0 0 0 255 23 0 0 20 0 15 0 244366211 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194797430768 140195323259522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13739] ppid=13728 vsize=14090948 memory=288172 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13739/stat : 13739 (java) S 13728 13731 12124 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 244366211 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194796377056 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13740] ppid=13728 vsize=14090948 memory=288172 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13740/stat : 13740 (java) S 13728 13731 12124 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 244366212 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194795324416 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13741] ppid=13728 vsize=14090948 memory=288172 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13741/stat : 13741 (java) S 13728 13731 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244366214 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194794272976 140195323266971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13742] ppid=13728 vsize=14090948 memory=0 CPUtime=1.06 cores=1,3,5,7
/proc/13731/task/13742/stat : 13742 (java) S 13728 13731 12124 0 -1 1077944384 2859 0 0 0 105 1 0 0 20 0 15 0 244366214 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194793220592 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13743] ppid=13728 vsize=14090948 memory=59038620466818 CPUtime=1.17 cores=1,3,5,7
/proc/13731/task/13743/stat : 13743 (java) S 13728 13731 12124 0 -1 1077944384 4618 0 0 0 117 0 0 0 20 0 15 0 244366214 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194792168048 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13744] ppid=13728 vsize=14090948 memory=6791534058613427641 CPUtime=0.64 cores=1,3,5,7
/proc/13731/task/13744/stat : 13744 (java) S 13728 13731 12124 0 -1 1077944384 3266 0 0 0 62 2 0 0 20 0 15 0 244366214 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194791115504 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13745] ppid=13728 vsize=14090948 memory=14884 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13745/stat : 13745 (java) S 13728 13731 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244366214 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194790063200 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13746] ppid=13728 vsize=14090948 memory=3316 CPUtime=0.8 cores=1,3,5,7
/proc/13731/task/13746/stat : 13746 (java) S 13728 13731 12124 0 -1 1077944384 1342 0 0 0 36 44 0 0 20 0 15 0 244366215 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194789009712 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 288172 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2504.71 s]
# the end of solver process 13731 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.64 s, system=1.44248 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2504.7 s]
/proc/loadavg: 1.42 1.33 1.33 3/215 14000
/proc/meminfo: memFree=21123836/32770624 swapFree=67105356/67108860
[pid=13731] ppid=13728 vsize=14090948 memory=288172 CPUtime=2520.06 cores=1,3,5,7
/proc/13731/stat : 13731 (java) S 13728 13731 12124 0 -1 1077944320 73430 0 0 0 251863 143 0 0 20 0 15 0 244366208 14429130752 72043 33554432000 4194304 4196468 140725186792272 140725186774816 140195323248375 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
/proc/13731/statm: 3522737 72043 3577 1 0 3484809 0
[pid=13731/tid=13733] ppid=13728 vsize=14090948 memory=288172 CPUtime=2495.38 cores=1,3,5,7
/proc/13731/task/13733/stat : 13733 (java) R 13728 13731 12124 0 -1 4202560 34857 0 0 0 249524 14 0 0 20 0 15 0 244366209 14429130752 72043 33554432000 4194304 4196468 140725186792272 140195327486752 140194936216764 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13734] ppid=13728 vsize=14090948 memory=288172 CPUtime=4.56 cores=1,3,5,7
/proc/13731/task/13734/stat : 13734 (java) S 13728 13731 12124 0 -1 1077944384 4410 0 0 0 435 21 0 0 20 0 15 0 244366210 14429130752 72043 33554432000 4194304 4196468 140725186792272 140195253336848 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13735] ppid=13728 vsize=14090948 memory=288172 CPUtime=4.55 cores=1,3,5,7
/proc/13731/task/13735/stat : 13735 (java) S 13728 13731 12124 0 -1 1077944384 4726 0 0 0 436 19 0 0 20 0 15 0 244366210 14429130752 72043 33554432000 4194304 4196468 140725186792272 140195252284304 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13736] ppid=13728 vsize=14090948 memory=288172 CPUtime=4.52 cores=1,3,5,7
/proc/13731/task/13736/stat : 13736 (java) S 13728 13731 12124 0 -1 1077944384 4828 0 0 0 430 22 0 0 20 0 15 0 244366210 14429130752 72043 33554432000 4194304 4196468 140725186792272 140195251231760 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13737] ppid=13728 vsize=14090948 memory=288172 CPUtime=4.51 cores=1,3,5,7
/proc/13731/task/13737/stat : 13737 (java) S 13728 13731 12124 0 -1 1077944384 5039 0 0 0 431 20 0 0 20 0 15 0 244366210 14429130752 72043 33554432000 4194304 4196468 140725186792272 140195250179216 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13738] ppid=13728 vsize=14090948 memory=288172 CPUtime=2.78 cores=1,3,5,7
/proc/13731/task/13738/stat : 13738 (java) S 13728 13731 12124 0 -1 1077944384 6058 0 0 0 255 23 0 0 20 0 15 0 244366211 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194797430768 140195323259522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13739] ppid=13728 vsize=14090948 memory=288172 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13739/stat : 13739 (java) S 13728 13731 12124 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 244366211 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194796377056 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13740] ppid=13728 vsize=14090948 memory=288172 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13740/stat : 13740 (java) S 13728 13731 12124 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 244366212 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194795324416 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13741] ppid=13728 vsize=14090948 memory=288172 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13741/stat : 13741 (java) S 13728 13731 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244366214 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194794272976 140195323266971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13742] ppid=13728 vsize=14090948 memory=0 CPUtime=1.06 cores=1,3,5,7
/proc/13731/task/13742/stat : 13742 (java) S 13728 13731 12124 0 -1 1077944384 2859 0 0 0 105 1 0 0 20 0 15 0 244366214 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194793220592 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13743] ppid=13728 vsize=14090948 memory=59038620466818 CPUtime=1.17 cores=1,3,5,7
/proc/13731/task/13743/stat : 13743 (java) S 13728 13731 12124 0 -1 1077944384 4618 0 0 0 117 0 0 0 20 0 15 0 244366214 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194792168048 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13744] ppid=13728 vsize=14090948 memory=6791534058613427641 CPUtime=0.64 cores=1,3,5,7
/proc/13731/task/13744/stat : 13744 (java) S 13728 13731 12124 0 -1 1077944384 3266 0 0 0 62 2 0 0 20 0 15 0 244366214 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194791115504 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13745] ppid=13728 vsize=14090948 memory=14884 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13745/stat : 13745 (java) S 13728 13731 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244366214 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194790063200 140195323258581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
[pid=13731/tid=13746] ppid=13728 vsize=14090948 memory=3316 CPUtime=0.8 cores=1,3,5,7
/proc/13731/task/13746/stat : 13746 (java) S 13728 13731 12124 0 -1 1077944384 1342 0 0 0 36 44 0 0 20 0 15 0 244366215 14429130752 72043 33554432000 4194304 4196468 140725186792272 140194789009712 140195323259522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 12279808 140725186798672 140725186798857 140725186798857 140725186801615 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 288172 KiB
Child status: 143
Real time (s): 2504.71
CPU time (s): 2520.09
CPU user time (s): 2518.64
CPU system time (s): 1.44248
CPU usage (%): 100.614
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 288172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.64
system time used= 1.44249
maximum resident set size= 288736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73699
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128435
involuntary context switches= 4680
# summary of solver processes directly reported to runsolver:
# pid: 13731
# total CPU time (s): 2520.09
# total CPU user time (s): 2518.64
# total CPU system time (s): 1.44248
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.281 second user time and 22.2036 second system time
The end