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 (9452 MiB free)
memory of node 1: 16384 MiB (12177 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291683-1532251119/watcher-4291683-1532251119 -o /tmp/evaluation-result-4291683-1532251119/solver-4291683-1532251119 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532226565-30211 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1907595647 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291683-1532251119.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=693, runsolver pid=690
Current StackSize limit: 8192 KiB
[startup+0.100195 s]*
/proc/loadavg: 1.13 1.33 1.38 3/215 708
/proc/meminfo: memFree=22129756/32770624 swapFree=67108860/67108860
[pid=693] ppid=690 vsize=14082740 memory=32284 CPUtime=0.11 cores=1,3,5,7
/proc/693/stat : 693 (java) S 690 693 30179 0 -1 1077944320 6996 0 0 0 10 1 0 0 20 0 15 0 42675036 14420725760 8071 33554432000 4194304 4196468 140731967651552 140731967634096 140328670150391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
/proc/693/statm: 3520685 8071 3134 1 0 3482761 0
[pid=693/tid=695] ppid=690 vsize=14082740 memory=8389772277269004345 CPUtime=0.09 cores=1,3,5,7
/proc/693/task/695/stat : 695 (java) R 690 693 30179 0 -1 4202560 5406 0 0 0 8 1 0 0 20 0 15 0 42675036 14420725760 8401 33554432000 4194304 4196468 140731967651552 140328674344480 140328649740791 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=696] ppid=690 vsize=14082740 memory=4294967639 CPUtime=0 cores=1,3,5,7
/proc/693/task/696/stat : 696 (java) S 690 693 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42675037 14420725760 8401 33554432000 4194304 4196468 140731967651552 140328600238608 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=697] ppid=690 vsize=14082740 memory=140538854202977 CPUtime=0 cores=1,3,5,7
/proc/693/task/697/stat : 697 (java) S 690 693 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42675037 14420725760 8401 33554432000 4194304 4196468 140731967651552 140328599186064 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=698] ppid=690 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/693/task/698/stat : 698 (java) S 690 693 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42675037 14420725760 8401 33554432000 4194304 4196468 140731967651552 140328598133008 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=699] ppid=690 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/693/task/699/stat : 699 (java) S 690 693 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42675037 14420725760 8401 33554432000 4194304 4196468 140731967651552 140328597080464 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=700] ppid=690 vsize=14082740 memory=140538853987968 CPUtime=0 cores=1,3,5,7
/proc/693/task/700/stat : 700 (java) S 690 693 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42675039 14420725760 8401 33554432000 4194304 4196468 140731967651552 140328143796976 140328670161538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=701] ppid=690 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/693/task/701/stat : 701 (java) S 690 693 30179 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42675039 14420725760 8401 33554432000 4194304 4196468 140731967651552 140328142743200 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=702] ppid=690 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/693/task/702/stat : 702 (java) S 690 693 30179 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42675039 14420725760 8401 33554432000 4194304 4196468 140731967651552 140328141690096 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=703] ppid=690 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/693/task/703/stat : 703 (java) S 690 693 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42675042 14420725760 8401 33554432000 4194304 4196468 140731967651552 140328140638672 140328670168987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=704] ppid=690 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/693/task/704/stat : 704 (java) S 690 693 30179 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 42675042 14420725760 8401 33554432000 4194304 4196468 140731967651552 140328139585776 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=705] ppid=690 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/693/task/705/stat : 705 (java) S 690 693 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42675042 14420725760 8401 33554432000 4194304 4196468 140731967651552 140328138533232 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=706] ppid=690 vsize=14082740 memory=140538853987968 CPUtime=0.01 cores=1,3,5,7
/proc/693/task/706/stat : 706 (java) R 690 693 30179 0 -1 4202560 248 0 0 0 1 0 0 0 20 0 15 0 42675042 14420725760 8401 33554432000 4194304 4196468 140731967651552 140328137480176 140328648850592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=707] ppid=690 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/693/task/707/stat : 707 (java) S 690 693 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42675042 14420725760 8401 33554432000 4194304 4196468 140731967651552 140328136427872 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=708] ppid=690 vsize=14082740 memory=140538853987968 CPUtime=0 cores=1,3,5,7
/proc/693/task/708/stat : 708 (java) S 690 693 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42675042 14420725760 8401 33554432000 4194304 4196468 140731967651552 140328135375920 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 32284 KiB
[startup+0.210843 s]*
/proc/loadavg: 1.13 1.33 1.38 6/215 708
/proc/meminfo: memFree=22114904/32770624 swapFree=67108860/67108860
[pid=693] ppid=690 vsize=14082740 memory=46972 CPUtime=0.3 cores=1,3,5,7
/proc/693/stat : 693 (java) S 690 693 30179 0 -1 1077944320 10367 0 0 0 28 2 0 0 20 0 15 0 42675036 14420725760 11743 33554432000 4194304 4196468 140731967651552 140731967634096 140328670150391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
/proc/693/statm: 3520685 11743 3366 1 0 3482761 0
[pid=693/tid=695] ppid=690 vsize=14082740 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/693/task/695/stat : 695 (java) R 690 693 30179 0 -1 4202560 8110 0 0 0 18 1 0 0 20 0 15 0 42675036 14420725760 11743 33554432000 4194304 4196468 140731967651552 140328674375680 140328670171738 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=696] ppid=690 vsize=14082740 memory=4294967639 CPUtime=0 cores=1,3,5,7
/proc/693/task/696/stat : 696 (java) S 690 693 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42675037 14420725760 11743 33554432000 4194304 4196468 140731967651552 140328600238608 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=697] ppid=690 vsize=14082740 memory=140538854202977 CPUtime=0 cores=1,3,5,7
/proc/693/task/697/stat : 697 (java) S 690 693 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42675037 14420725760 11743 33554432000 4194304 4196468 140731967651552 140328599186064 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=698] ppid=690 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/693/task/698/stat : 698 (java) S 690 693 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42675037 14420725760 11743 33554432000 4194304 4196468 140731967651552 140328598133008 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=699] ppid=690 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/693/task/699/stat : 699 (java) S 690 693 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42675037 14420725760 11743 33554432000 4194304 4196468 140731967651552 140328597080464 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=700] ppid=690 vsize=14082740 memory=140538853987968 CPUtime=0 cores=1,3,5,7
/proc/693/task/700/stat : 700 (java) S 690 693 30179 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 42675039 14420725760 11743 33554432000 4194304 4196468 140731967651552 140328143796976 140328670161538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=701] ppid=690 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/693/task/701/stat : 701 (java) S 690 693 30179 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42675039 14420725760 11743 33554432000 4194304 4196468 140731967651552 140328142743200 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=702] ppid=690 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/693/task/702/stat : 702 (java) S 690 693 30179 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42675039 14420725760 11743 33554432000 4194304 4196468 140731967651552 140328141690096 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=703] ppid=690 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/693/task/703/stat : 703 (java) S 690 693 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42675042 14420725760 11743 33554432000 4194304 4196468 140731967651552 140328140638672 140328670168987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=704] ppid=690 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/693/task/704/stat : 704 (java) S 690 693 30179 0 -1 1077944384 380 0 0 0 2 0 0 0 20 0 15 0 42675042 14420725760 11743 33554432000 4194304 4196468 140731967651552 140328139585776 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=705] ppid=690 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/693/task/705/stat : 705 (java) S 690 693 30179 0 -1 1077944384 233 0 0 0 1 0 0 0 20 0 15 0 42675042 14420725760 11743 33554432000 4194304 4196468 140731967651552 140328138533232 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=706] ppid=690 vsize=14082740 memory=140538853987968 CPUtime=0.06 cores=1,3,5,7
/proc/693/task/706/stat : 706 (java) R 690 693 30179 0 -1 4202560 278 0 0 0 6 0 0 0 20 0 15 0 42675042 14420725760 11743 33554432000 4194304 4196468 140731967651552 140328137477112 140328653527633 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=707] ppid=690 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/693/task/707/stat : 707 (java) S 690 693 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42675042 14420725760 11743 33554432000 4194304 4196468 140731967651552 140328136427872 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=708] ppid=690 vsize=14082740 memory=140538853987968 CPUtime=0 cores=1,3,5,7
/proc/693/task/708/stat : 708 (java) S 690 693 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42675042 14420725760 11743 33554432000 4194304 4196468 140731967651552 140328135375920 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46972 KiB
[startup+0.310523 s]*
/proc/loadavg: 1.13 1.33 1.38 3/215 708
/proc/meminfo: memFree=22111120/32770624 swapFree=67108860/67108860
[pid=693] ppid=690 vsize=14082740 memory=50220 CPUtime=0.42 cores=1,3,5,7
/proc/693/stat : 693 (java) S 690 693 30179 0 -1 1077944320 10713 0 0 0 40 2 0 0 20 0 15 0 42675036 14420725760 12555 33554432000 4194304 4196468 140731967651552 140731967634096 140328670150391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
/proc/693/statm: 3520685 12555 3368 1 0 3482761 0
[pid=693/tid=695] ppid=690 vsize=14082740 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/693/task/695/stat : 695 (java) R 690 693 30179 0 -1 4202560 8453 0 0 0 28 2 0 0 20 0 15 0 42675036 14420725760 12620 33554432000 4194304 4196468 140731967651552 140328674341952 140328654257219 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=696] ppid=690 vsize=14082740 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/693/task/696/stat : 696 (java) S 690 693 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42675037 14420725760 12620 33554432000 4194304 4196468 140731967651552 140328600238608 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=697] ppid=690 vsize=14082740 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/693/task/697/stat : 697 (java) S 690 693 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42675037 14420725760 12620 33554432000 4194304 4196468 140731967651552 140328599186064 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=698] ppid=690 vsize=14082740 memory=5404 CPUtime=0 cores=1,3,5,7
/proc/693/task/698/stat : 698 (java) S 690 693 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42675037 14420725760 12620 33554432000 4194304 4196468 140731967651552 140328598133008 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=699] ppid=690 vsize=14082740 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/693/task/699/stat : 699 (java) S 690 693 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42675037 14420725760 12620 33554432000 4194304 4196468 140731967651552 140328597080464 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=700] ppid=690 vsize=14082740 memory=1432 CPUtime=0 cores=1,3,5,7
/proc/693/task/700/stat : 700 (java) S 690 693 30179 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 42675039 14420725760 12620 33554432000 4194304 4196468 140731967651552 140328143796976 140328670161538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=701] ppid=690 vsize=14082740 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/693/task/701/stat : 701 (java) S 690 693 30179 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42675039 14420725760 12620 33554432000 4194304 4196468 140731967651552 140328142743200 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=702] ppid=690 vsize=14082740 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/693/task/702/stat : 702 (java) S 690 693 30179 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42675039 14420725760 12620 33554432000 4194304 4196468 140731967651552 140328141690096 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=703] ppid=690 vsize=14082740 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/693/task/703/stat : 703 (java) S 690 693 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42675042 14420725760 12620 33554432000 4194304 4196468 140731967651552 140328140638672 140328670168987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=704] ppid=690 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/693/task/704/stat : 704 (java) R 690 693 30179 0 -1 1077944384 385 0 0 0 2 0 0 0 20 0 15 0 42675042 14420725760 12620 33554432000 4194304 4196468 140731967651552 140328139585776 140328670161538 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=705] ppid=690 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/693/task/705/stat : 705 (java) R 690 693 30179 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 15 0 42675042 14420725760 12620 33554432000 4194304 4196468 140731967651552 140328138533232 140328670161538 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=706] ppid=690 vsize=14082740 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/693/task/706/stat : 706 (java) S 690 693 30179 0 -1 1077944384 285 0 0 0 7 0 0 0 20 0 15 0 42675042 14420725760 12620 33554432000 4194304 4196468 140731967651552 140328137480176 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=707] ppid=690 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/693/task/707/stat : 707 (java) S 690 693 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42675042 14420725760 12620 33554432000 4194304 4196468 140731967651552 140328136427872 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=708] ppid=690 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/693/task/708/stat : 708 (java) S 690 693 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42675042 14420725760 12620 33554432000 4194304 4196468 140731967651552 140328135375920 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50220 KiB
[startup+0.70074 s]
/proc/loadavg: 1.13 1.33 1.38 3/215 708
/proc/meminfo: memFree=22087068/32770624 swapFree=67108860/67108860
[pid=693] ppid=690 vsize=14084808 memory=88708 CPUtime=0.99 cores=1,3,5,7
/proc/693/stat : 693 (java) S 690 693 30179 0 -1 1077944320 17587 0 0 0 94 5 0 0 20 0 15 0 42675036 14422843392 22177 33554432000 4194304 4196468 140731967651552 140731967634096 140328670150391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
/proc/693/statm: 3521202 22177 3499 1 0 3483273 0
[pid=693/tid=695] ppid=690 vsize=14084808 memory=4140 CPUtime=0.68 cores=1,3,5,7
/proc/693/task/695/stat : 695 (java) R 690 693 30179 0 -1 4202560 14883 0 0 0 64 4 0 0 20 0 15 0 42675036 14422843392 22177 33554432000 4194304 4196468 140731967651552 140328674375696 140328654230878 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=696] ppid=690 vsize=14084808 memory=2481 CPUtime=0 cores=1,3,5,7
/proc/693/task/696/stat : 696 (java) S 690 693 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42675037 14422843392 22177 33554432000 4194304 4196468 140731967651552 140328600238608 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=697] ppid=690 vsize=14084808 memory=4048796676476973615 CPUtime=0 cores=1,3,5,7
/proc/693/task/697/stat : 697 (java) S 690 693 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42675037 14422843392 22177 33554432000 4194304 4196468 140731967651552 140328599186064 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=698] ppid=690 vsize=14084808 memory=281077424407616 CPUtime=0 cores=1,3,5,7
/proc/693/task/698/stat : 698 (java) S 690 693 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42675037 14422843392 22177 33554432000 4194304 4196468 140731967651552 140328598133008 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=699] ppid=690 vsize=14084808 memory=281077424407808 CPUtime=0 cores=1,3,5,7
/proc/693/task/699/stat : 699 (java) S 690 693 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42675037 14422843392 22177 33554432000 4194304 4196468 140731967651552 140328597080464 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=700] ppid=690 vsize=14084808 memory=281077424408000 CPUtime=0 cores=1,3,5,7
/proc/693/task/700/stat : 700 (java) S 690 693 30179 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 42675039 14422843392 22177 33554432000 4194304 4196468 140731967651552 140328143796976 140328670161538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=701] ppid=690 vsize=14084808 memory=281077424408192 CPUtime=0 cores=1,3,5,7
/proc/693/task/701/stat : 701 (java) S 690 693 30179 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42675039 14422843392 22177 33554432000 4194304 4196468 140731967651552 140328142743200 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=702] ppid=690 vsize=14084808 memory=281077424408384 CPUtime=0 cores=1,3,5,7
/proc/693/task/702/stat : 702 (java) S 690 693 30179 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42675039 14422843392 22177 33554432000 4194304 4196468 140731967651552 140328141690096 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=703] ppid=690 vsize=14084808 memory=281077424408560 CPUtime=0 cores=1,3,5,7
/proc/693/task/703/stat : 703 (java) S 690 693 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42675042 14422843392 22177 33554432000 4194304 4196468 140731967651552 140328140638672 140328670168987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=704] ppid=690 vsize=14084808 memory=281077424404912 CPUtime=0.07 cores=1,3,5,7
/proc/693/task/704/stat : 704 (java) S 690 693 30179 0 -1 1077944384 552 0 0 0 7 0 0 0 20 0 15 0 42675042 14422843392 22177 33554432000 4194304 4196468 140731967651552 140328139585776 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=705] ppid=690 vsize=14084808 memory=281077424071280 CPUtime=0.07 cores=1,3,5,7
/proc/693/task/705/stat : 705 (java) S 690 693 30179 0 -1 1077944384 389 0 0 0 7 0 0 0 20 0 15 0 42675042 14422843392 22177 33554432000 4194304 4196468 140731967651552 140328138533232 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=706] ppid=690 vsize=14084808 memory=281077424071536 CPUtime=0.15 cores=1,3,5,7
/proc/693/task/706/stat : 706 (java) S 690 693 30179 0 -1 1077944384 382 0 0 0 15 0 0 0 20 0 15 0 42675042 14422843392 22177 33554432000 4194304 4196468 140731967651552 140328137480176 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=707] ppid=690 vsize=14084808 memory=281077424071408 CPUtime=0 cores=1,3,5,7
/proc/693/task/707/stat : 707 (java) S 690 693 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42675042 14422843392 22177 33554432000 4194304 4196468 140731967651552 140328136427872 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=708] ppid=690 vsize=14084808 memory=281077424071472 CPUtime=0 cores=1,3,5,7
/proc/693/task/708/stat : 708 (java) S 690 693 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42675042 14422843392 22177 33554432000 4194304 4196468 140731967651552 140328135375920 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88708 KiB
[startup+1.50072 s]
/proc/loadavg: 1.13 1.33 1.38 4/215 708
/proc/meminfo: memFree=22055676/32770624 swapFree=67108860/67108860
[pid=693] ppid=690 vsize=14090952 memory=139480 CPUtime=2.97 cores=1,3,5,7
/proc/693/stat : 693 (java) S 690 693 30179 0 -1 1077944320 28719 0 0 0 289 8 0 0 20 0 15 0 42675036 14429134848 34870 33554432000 4194304 4196468 140731967651552 140731967634096 140328670150391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
/proc/693/statm: 3522738 34870 3546 1 0 3484809 0
[pid=693/tid=695] ppid=690 vsize=14090952 memory=64347848 CPUtime=1.47 cores=1,3,5,7
/proc/693/task/695/stat : 695 (java) R 690 693 30179 0 -1 4202560 20905 0 0 0 142 5 0 0 20 0 15 0 42675036 14429134848 34870 33554432000 4194304 4196468 140731967651552 140328674386480 140328649452162 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=696] ppid=690 vsize=14090952 memory=129 CPUtime=0 cores=1,3,5,7
/proc/693/task/696/stat : 696 (java) S 690 693 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42675037 14429134848 34870 33554432000 4194304 4196468 140731967651552 140328600238608 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=697] ppid=690 vsize=14090952 memory=24337 CPUtime=0 cores=1,3,5,7
/proc/693/task/697/stat : 697 (java) S 690 693 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42675037 14429134848 34870 33554432000 4194304 4196468 140731967651552 140328599186064 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=698] ppid=690 vsize=14090952 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/693/task/698/stat : 698 (java) S 690 693 30179 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42675037 14429134848 34870 33554432000 4194304 4196468 140731967651552 140328598133008 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=699] ppid=690 vsize=14090952 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/693/task/699/stat : 699 (java) S 690 693 30179 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42675037 14429134848 34870 33554432000 4194304 4196468 140731967651552 140328597080464 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=700] ppid=690 vsize=14090952 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/693/task/700/stat : 700 (java) S 690 693 30179 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 15 0 42675039 14429134848 34870 33554432000 4194304 4196468 140731967651552 140328143796976 140328670161538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
################
# More data... #
################
/proc/693/task/695/stat : 695 (java) R 690 693 30179 0 -1 4202560 190205 0 0 0 223635 83 0 0 20 0 15 0 42675036 14431232000 287933 33554432000 4194304 4196468 140731967651552 140328674387376 140328285214867 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=696] ppid=690 vsize=14093000 memory=1089900 CPUtime=18.78 cores=1,3,5,7
/proc/693/task/696/stat : 696 (java) S 690 693 30179 0 -1 1077944384 14303 0 0 0 1823 55 0 0 20 0 15 0 42675037 14431232000 287933 33554432000 4194304 4196468 140731967651552 140328600238608 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=697] ppid=690 vsize=14093000 memory=1098620 CPUtime=18.77 cores=1,3,5,7
/proc/693/task/697/stat : 697 (java) S 690 693 30179 0 -1 1077944384 13229 0 0 0 1820 57 0 0 20 0 15 0 42675037 14431232000 287933 33554432000 4194304 4196468 140731967651552 140328599186064 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=698] ppid=690 vsize=14093000 memory=1089900 CPUtime=18.79 cores=1,3,5,7
/proc/693/task/698/stat : 698 (java) S 690 693 30179 0 -1 1077944384 15776 0 0 0 1823 56 0 0 20 0 15 0 42675037 14431232000 287933 33554432000 4194304 4196468 140731967651552 140328598133008 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=699] ppid=690 vsize=14093000 memory=1094620 CPUtime=18.79 cores=1,3,5,7
/proc/693/task/699/stat : 699 (java) S 690 693 30179 0 -1 1077944384 13531 0 0 0 1823 56 0 0 20 0 15 0 42675037 14431232000 287933 33554432000 4194304 4196468 140731967651552 140328597080464 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=700] ppid=690 vsize=14093000 memory=1094608 CPUtime=4 cores=1,3,5,7
/proc/693/task/700/stat : 700 (java) S 690 693 30179 0 -1 1077944384 58555 0 0 0 343 57 0 0 20 0 15 0 42675039 14431232000 287933 33554432000 4194304 4196468 140731967651552 140328143796976 140328670161538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=701] ppid=690 vsize=14093000 memory=1100532 CPUtime=0 cores=1,3,5,7
/proc/693/task/701/stat : 701 (java) S 690 693 30179 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 42675039 14431232000 287933 33554432000 4194304 4196468 140731967651552 140328142743264 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=702] ppid=690 vsize=14093000 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/693/task/702/stat : 702 (java) S 690 693 30179 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 42675039 14431232000 287933 33554432000 4194304 4196468 140731967651552 140328141690112 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=703] ppid=690 vsize=14093000 memory=3441 CPUtime=0 cores=1,3,5,7
/proc/693/task/703/stat : 703 (java) S 690 693 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42675042 14431232000 287933 33554432000 4194304 4196468 140731967651552 140328140638672 140328670168987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=704] ppid=690 vsize=14093000 memory=1094620 CPUtime=3.06 cores=1,3,5,7
/proc/693/task/704/stat : 704 (java) S 690 693 30179 0 -1 1077944384 23712 0 0 0 303 3 0 0 20 0 15 0 42675042 14431232000 287933 33554432000 4194304 4196468 140731967651552 140328139585776 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=705] ppid=690 vsize=14093000 memory=1094620 CPUtime=3.65 cores=1,3,5,7
/proc/693/task/705/stat : 705 (java) S 690 693 30179 0 -1 1077944384 28610 0 0 0 361 4 0 0 20 0 15 0 42675042 14431232000 287933 33554432000 4194304 4196468 140731967651552 140328138533232 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=706] ppid=690 vsize=14093000 memory=1100532 CPUtime=1.36 cores=1,3,5,7
/proc/693/task/706/stat : 706 (java) S 690 693 30179 0 -1 1077944384 30927 0 0 0 133 3 0 0 20 0 15 0 42675042 14431232000 287933 33554432000 4194304 4196468 140731967651552 140328137480176 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=707] ppid=690 vsize=14093000 memory=1100532 CPUtime=0 cores=1,3,5,7
/proc/693/task/707/stat : 707 (java) S 690 693 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42675042 14431232000 287933 33554432000 4194304 4196468 140731967651552 140328136427872 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=708] ppid=690 vsize=14093000 memory=1094608 CPUtime=1.38 cores=1,3,5,7
/proc/693/task/708/stat : 708 (java) S 690 693 30179 0 -1 1077944384 1321 0 0 0 59 79 0 0 20 0 15 0 42675042 14431232000 287933 33554432000 4194304 4196468 140731967651552 140328135375920 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
Current children cumulated CPU time: 2325.85 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1151732 KiB
[startup+2322.3 s]
/proc/loadavg: 1.16 1.26 1.35 3/215 856
/proc/meminfo: memFree=20990404/32770624 swapFree=67108860/67108860
[pid=693] ppid=690 vsize=14093000 memory=1232428 CPUtime=2387.51 cores=1,3,5,7
/proc/693/stat : 693 (java) S 690 693 30179 0 -1 1077944320 397064 0 0 0 238322 429 0 0 20 0 15 0 42675036 14431232000 308107 33554432000 4194304 4196468 140731967651552 140731967634096 140328670150391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
/proc/693/statm: 3523250 308107 3624 1 0 3485321 0
[pid=693/tid=695] ppid=690 vsize=14093000 memory=1242484 CPUtime=2296.56 cores=1,3,5,7
/proc/693/task/695/stat : 695 (java) R 690 693 30179 0 -1 4202560 191980 0 0 0 229570 86 0 0 20 0 15 0 42675036 14431232000 308107 33554432000 4194304 4196468 140731967651552 140328674387376 140328285097515 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=696] ppid=690 vsize=14093000 memory=1232224 CPUtime=19.31 cores=1,3,5,7
/proc/693/task/696/stat : 696 (java) S 690 693 30179 0 -1 1077944384 14495 0 0 0 1875 56 0 0 20 0 15 0 42675037 14431232000 308107 33554432000 4194304 4196468 140731967651552 140328600238608 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=697] ppid=690 vsize=14093000 memory=1232428 CPUtime=19.3 cores=1,3,5,7
/proc/693/task/697/stat : 697 (java) S 690 693 30179 0 -1 1077944384 13492 0 0 0 1872 58 0 0 20 0 15 0 42675037 14431232000 308107 33554432000 4194304 4196468 140731967651552 140328599186064 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=698] ppid=690 vsize=14093000 memory=1147880 CPUtime=19.32 cores=1,3,5,7
/proc/693/task/698/stat : 698 (java) S 690 693 30179 0 -1 1077944384 15977 0 0 0 1875 57 0 0 20 0 15 0 42675037 14431232000 308107 33554432000 4194304 4196468 140731967651552 140328598133008 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=699] ppid=690 vsize=14093000 memory=1242484 CPUtime=19.33 cores=1,3,5,7
/proc/693/task/699/stat : 699 (java) S 690 693 30179 0 -1 1077944384 13713 0 0 0 1876 57 0 0 20 0 15 0 42675037 14431232000 308107 33554432000 4194304 4196468 140731967651552 140328597080464 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=700] ppid=690 vsize=14093000 memory=1242484 CPUtime=4.07 cores=1,3,5,7
/proc/693/task/700/stat : 700 (java) S 690 693 30179 0 -1 1077944384 60827 0 0 0 349 58 0 0 20 0 15 0 42675039 14431232000 308107 33554432000 4194304 4196468 140731967651552 140328143796976 140328670161538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=701] ppid=690 vsize=14093000 memory=1242484 CPUtime=0 cores=1,3,5,7
/proc/693/task/701/stat : 701 (java) S 690 693 30179 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 42675039 14431232000 308107 33554432000 4194304 4196468 140731967651552 140328142743264 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=702] ppid=690 vsize=14093000 memory=1247616 CPUtime=0 cores=1,3,5,7
/proc/693/task/702/stat : 702 (java) S 690 693 30179 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 42675039 14431232000 308107 33554432000 4194304 4196468 140731967651552 140328141690112 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=703] ppid=690 vsize=14093000 memory=1237356 CPUtime=0 cores=1,3,5,7
/proc/693/task/703/stat : 703 (java) S 690 693 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42675042 14431232000 308107 33554432000 4194304 4196468 140731967651552 140328140638672 140328670168987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=704] ppid=690 vsize=14093000 memory=1237356 CPUtime=3.1 cores=1,3,5,7
/proc/693/task/704/stat : 704 (java) S 690 693 30179 0 -1 1077944384 23919 0 0 0 307 3 0 0 20 0 15 0 42675042 14431232000 308107 33554432000 4194304 4196468 140731967651552 140328139585776 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=705] ppid=690 vsize=14093000 memory=14656 CPUtime=3.66 cores=1,3,5,7
/proc/693/task/705/stat : 705 (java) S 690 693 30179 0 -1 1077944384 28864 0 0 0 362 4 0 0 20 0 15 0 42675042 14431232000 308107 33554432000 4194304 4196468 140731967651552 140328138533232 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=706] ppid=690 vsize=14093000 memory=2428 CPUtime=1.36 cores=1,3,5,7
/proc/693/task/706/stat : 706 (java) S 690 693 30179 0 -1 1077944384 31013 0 0 0 133 3 0 0 20 0 15 0 42675042 14431232000 308107 33554432000 4194304 4196468 140731967651552 140328137480176 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=707] ppid=690 vsize=14093000 memory=1432 CPUtime=0 cores=1,3,5,7
/proc/693/task/707/stat : 707 (java) S 690 693 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42675042 14431232000 308107 33554432000 4194304 4196468 140731967651552 140328136427872 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=708] ppid=690 vsize=14093000 memory=6947385649911455296 CPUtime=1.41 cores=1,3,5,7
/proc/693/task/708/stat : 708 (java) S 690 693 30179 0 -1 1077944384 1337 0 0 0 60 81 0 0 20 0 15 0 42675042 14431232000 308107 33554432000 4194304 4196468 140731967651552 140328135375920 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
Current children cumulated CPU time: 2387.51 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1232428 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2334.5 s]
/proc/loadavg: 1.29 1.29 1.35 3/215 857
/proc/meminfo: memFree=21010888/32770624 swapFree=67108860/67108860
[pid=693] ppid=690 vsize=14093000 memory=1208436 CPUtime=2400.04 cores=1,3,5,7
/proc/693/stat : 693 (java) S 690 693 30179 0 -1 1077944320 398084 0 0 0 239574 430 0 0 20 0 15 0 42675036 14431232000 302109 33554432000 4194304 4196468 140731967651552 140731967634096 140328670150391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
/proc/693/statm: 3523250 302109 3624 1 0 3485321 0
[pid=693/tid=695] ppid=690 vsize=14093000 memory=1208436 CPUtime=2308.63 cores=1,3,5,7
/proc/693/task/695/stat : 695 (java) R 690 693 30179 0 -1 4202560 192584 0 0 0 230777 86 0 0 20 0 15 0 42675036 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328674387408 140328285215290 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=696] ppid=690 vsize=14093000 memory=1217048 CPUtime=19.41 cores=1,3,5,7
/proc/693/task/696/stat : 696 (java) S 690 693 30179 0 -1 1077944384 14776 0 0 0 1885 56 0 0 20 0 15 0 42675037 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328600238608 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=697] ppid=690 vsize=14093000 memory=0 CPUtime=19.41 cores=1,3,5,7
/proc/693/task/697/stat : 697 (java) S 690 693 30179 0 -1 1077944384 13544 0 0 0 1883 58 0 0 20 0 15 0 42675037 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328599186064 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=698] ppid=690 vsize=14093000 memory=1208436 CPUtime=19.43 cores=1,3,5,7
/proc/693/task/698/stat : 698 (java) S 690 693 30179 0 -1 1077944384 16020 0 0 0 1886 57 0 0 20 0 15 0 42675037 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328598133008 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=699] ppid=690 vsize=14093000 memory=1247616 CPUtime=19.43 cores=1,3,5,7
/proc/693/task/699/stat : 699 (java) S 690 693 30179 0 -1 1077944384 13747 0 0 0 1886 57 0 0 20 0 15 0 42675037 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328597080464 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=700] ppid=690 vsize=14093000 memory=1210488 CPUtime=4.09 cores=1,3,5,7
/proc/693/task/700/stat : 700 (java) S 690 693 30179 0 -1 1077944384 60829 0 0 0 350 59 0 0 20 0 15 0 42675039 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328143796976 140328670161538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=701] ppid=690 vsize=14093000 memory=1216644 CPUtime=0 cores=1,3,5,7
/proc/693/task/701/stat : 701 (java) S 690 693 30179 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 42675039 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328142743264 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=702] ppid=690 vsize=14093000 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/693/task/702/stat : 702 (java) S 690 693 30179 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 42675039 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328141690112 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=703] ppid=690 vsize=14093000 memory=1210488 CPUtime=0 cores=1,3,5,7
/proc/693/task/703/stat : 703 (java) S 690 693 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42675042 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328140638672 140328670168987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=704] ppid=690 vsize=14093000 memory=1210488 CPUtime=3.1 cores=1,3,5,7
/proc/693/task/704/stat : 704 (java) S 690 693 30179 0 -1 1077944384 23920 0 0 0 307 3 0 0 20 0 15 0 42675042 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328139585776 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=705] ppid=690 vsize=14093000 memory=1216128 CPUtime=3.66 cores=1,3,5,7
/proc/693/task/705/stat : 705 (java) S 690 693 30179 0 -1 1077944384 28865 0 0 0 362 4 0 0 20 0 15 0 42675042 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328138533232 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=706] ppid=690 vsize=14093000 memory=1216128 CPUtime=1.36 cores=1,3,5,7
/proc/693/task/706/stat : 706 (java) S 690 693 30179 0 -1 1077944384 31013 0 0 0 133 3 0 0 20 0 15 0 42675042 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328137480176 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=707] ppid=690 vsize=14093000 memory=14656 CPUtime=0 cores=1,3,5,7
/proc/693/task/707/stat : 707 (java) S 690 693 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42675042 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328136427872 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=708] ppid=690 vsize=14093000 memory=2428 CPUtime=1.42 cores=1,3,5,7
/proc/693/task/708/stat : 708 (java) S 690 693 30179 0 -1 1077944384 1339 0 0 0 60 82 0 0 20 0 15 0 42675042 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328135375920 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1208436 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2334.52 s]
# the end of solver process 693 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.76 s, system=4.30818 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2334.5 s]
/proc/loadavg: 1.29 1.29 1.35 3/215 857
/proc/meminfo: memFree=21010888/32770624 swapFree=67108860/67108860
[pid=693] ppid=690 vsize=14093000 memory=1208436 CPUtime=2400.04 cores=1,3,5,7
/proc/693/stat : 693 (java) S 690 693 30179 0 -1 1077944320 398084 0 0 0 239574 430 0 0 20 0 15 0 42675036 14431232000 302109 33554432000 4194304 4196468 140731967651552 140731967634096 140328670150391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
/proc/693/statm: 3523250 302109 3624 1 0 3485321 0
[pid=693/tid=695] ppid=690 vsize=14093000 memory=1208436 CPUtime=2308.63 cores=1,3,5,7
/proc/693/task/695/stat : 695 (java) R 690 693 30179 0 -1 4202560 192584 0 0 0 230777 86 0 0 20 0 15 0 42675036 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328674387408 140328285215290 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=696] ppid=690 vsize=14093000 memory=1217048 CPUtime=19.41 cores=1,3,5,7
/proc/693/task/696/stat : 696 (java) S 690 693 30179 0 -1 1077944384 14776 0 0 0 1885 56 0 0 20 0 15 0 42675037 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328600238608 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=697] ppid=690 vsize=14093000 memory=0 CPUtime=19.41 cores=1,3,5,7
/proc/693/task/697/stat : 697 (java) S 690 693 30179 0 -1 1077944384 13544 0 0 0 1883 58 0 0 20 0 15 0 42675037 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328599186064 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=698] ppid=690 vsize=14093000 memory=1208436 CPUtime=19.43 cores=1,3,5,7
/proc/693/task/698/stat : 698 (java) S 690 693 30179 0 -1 1077944384 16020 0 0 0 1886 57 0 0 20 0 15 0 42675037 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328598133008 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=699] ppid=690 vsize=14093000 memory=1247616 CPUtime=19.43 cores=1,3,5,7
/proc/693/task/699/stat : 699 (java) S 690 693 30179 0 -1 1077944384 13747 0 0 0 1886 57 0 0 20 0 15 0 42675037 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328597080464 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=700] ppid=690 vsize=14093000 memory=1210488 CPUtime=4.09 cores=1,3,5,7
/proc/693/task/700/stat : 700 (java) S 690 693 30179 0 -1 1077944384 60829 0 0 0 350 59 0 0 20 0 15 0 42675039 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328143796976 140328670161538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=701] ppid=690 vsize=14093000 memory=1216644 CPUtime=0 cores=1,3,5,7
/proc/693/task/701/stat : 701 (java) S 690 693 30179 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 42675039 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328142743264 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=702] ppid=690 vsize=14093000 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/693/task/702/stat : 702 (java) S 690 693 30179 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 42675039 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328141690112 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=703] ppid=690 vsize=14093000 memory=1210488 CPUtime=0 cores=1,3,5,7
/proc/693/task/703/stat : 703 (java) S 690 693 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42675042 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328140638672 140328670168987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=704] ppid=690 vsize=14093000 memory=1210488 CPUtime=3.1 cores=1,3,5,7
/proc/693/task/704/stat : 704 (java) S 690 693 30179 0 -1 1077944384 23920 0 0 0 307 3 0 0 20 0 15 0 42675042 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328139585776 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=705] ppid=690 vsize=14093000 memory=1216128 CPUtime=3.66 cores=1,3,5,7
/proc/693/task/705/stat : 705 (java) S 690 693 30179 0 -1 1077944384 28865 0 0 0 362 4 0 0 20 0 15 0 42675042 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328138533232 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=706] ppid=690 vsize=14093000 memory=1216128 CPUtime=1.36 cores=1,3,5,7
/proc/693/task/706/stat : 706 (java) S 690 693 30179 0 -1 1077944384 31013 0 0 0 133 3 0 0 20 0 15 0 42675042 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328137480176 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=707] ppid=690 vsize=14093000 memory=14656 CPUtime=0 cores=1,3,5,7
/proc/693/task/707/stat : 707 (java) S 690 693 30179 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42675042 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328136427872 140328670160597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
[pid=693/tid=708] ppid=690 vsize=14093000 memory=2428 CPUtime=1.42 cores=1,3,5,7
/proc/693/task/708/stat : 708 (java) S 690 693 30179 0 -1 1077944384 1339 0 0 0 60 82 0 0 20 0 15 0 42675042 14431232000 302109 33554432000 4194304 4196468 140731967651552 140328135375920 140328670161538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140731967652948 140731967653129 140731967653129 140731967655887 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1208436 KiB
Child status: 143
Real time (s): 2334.52
CPU time (s): 2400.07
CPU user time (s): 2395.76
CPU system time (s): 4.30818
CPU usage (%): 102.808
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 1300136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.76
system time used= 4.30818
maximum resident set size= 1306104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 398223
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 141922
involuntary context switches= 5477
# summary of solver processes directly reported to runsolver:
# pid: 693
# total CPU time (s): 2400.07
# total CPU user time (s): 2395.76
# total CPU system time (s): 4.30818
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.1289 second user time and 23.5387 second system time
The end