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 (14361 MiB free)
memory of node 1: 16384 MiB (14158 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258233-1502636728/watcher-4258233-1502636728 -o /tmp/evaluation-result-4258233-1502636728/solver-4258233-1502636728 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502635870-2900 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258233-1502636728.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=2944, runsolver pid=2941
Current StackSize limit: 8192 KiB
[startup+0.100122 s]*
/proc/loadavg: 1.01 1.06 1.60 4/216 2959
/proc/meminfo: memFree=29176004/32770624 swapFree=67108860/67108860
[pid=2944] ppid=2941 vsize=10555400 memory=31352 CPUtime=0.13 cores=0,2,4,6
/proc/2944/stat : 2944 (java) S 2941 2944 31794 0 -1 1077944320 6383 0 0 0 11 2 0 0 20 0 15 0 96760923 10808729600 7838 33554432000 4194304 4196468 140732788784000 140732788766544 140124600082167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
/proc/2944/statm: 2638850 7838 2821 1 0 2627263 0
[pid=2944/tid=2946] ppid=2941 vsize=10555400 memory=8326441112148417179 CPUtime=0.09 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (java) R 2941 2944 31794 0 -1 4202560 4232 0 0 0 8 1 0 0 20 0 15 0 96760923 10808729600 7838 33554432000 4194304 4196468 140732788784000 140124604296160 140124600104093 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2947] ppid=2941 vsize=10555400 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (java) S 2941 2944 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96760924 10808729600 7838 33554432000 4194304 4196468 140732788784000 140124526156944 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2948] ppid=2941 vsize=10555400 memory=139918299833984 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2948/stat : 2948 (java) S 2941 2944 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96760924 10808729600 7838 33554432000 4194304 4196468 140732788784000 140124525104144 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2949] ppid=2941 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2949/stat : 2949 (java) S 2941 2944 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96760924 10808729600 7838 33554432000 4194304 4196468 140732788784000 140124524051344 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2950] ppid=2941 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2950/stat : 2950 (java) S 2941 2944 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96760924 10808729600 7838 33554432000 4194304 4196468 140732788784000 140124522998544 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2951] ppid=2941 vsize=10555400 memory=139918299833984 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2951/stat : 2951 (java) S 2941 2944 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96760926 10808729600 7838 33554432000 4194304 4196468 140732788784000 140124091259248 140124600093314 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2952] ppid=2941 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2952/stat : 2952 (java) S 2941 2944 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96760926 10808729600 7838 33554432000 4194304 4196468 140732788784000 140124090205216 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2953] ppid=2941 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2953/stat : 2953 (java) S 2941 2944 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96760926 10808729600 7838 33554432000 4194304 4196468 140732788784000 140124089152368 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2954] ppid=2941 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2954/stat : 2954 (java) S 2941 2944 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96760928 10808729600 7838 33554432000 4194304 4196468 140732788784000 140124088100688 140124600100763 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2955] ppid=2941 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2955/stat : 2955 (java) R 2941 2944 31794 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 96760928 10808729600 7838 33554432000 4194304 4196468 140732788784000 140124087049072 140124600093314 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2956] ppid=2941 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2956/stat : 2956 (java) R 2941 2944 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96760929 10808729600 7838 33554432000 4194304 4196468 140732788784000 140124085996272 140124600093314 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2957] ppid=2941 vsize=10555400 memory=139918299833984 CPUtime=0.02 cores=0,2,4,6
/proc/2944/task/2957/stat : 2957 (java) R 2941 2944 31794 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 96760929 10808729600 7838 33554432000 4194304 4196468 140732788784000 140124084943472 140124600093314 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2958] ppid=2941 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2958/stat : 2958 (java) S 2941 2944 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96760929 10808729600 7838 33554432000 4194304 4196468 140732788784000 140124083890912 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2959] ppid=2941 vsize=10555400 memory=139918299833984 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2959/stat : 2959 (java) S 2941 2944 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96760929 10808729600 7838 33554432000 4194304 4196468 140732788784000 140124082838192 140124600093314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 31352 KiB
[startup+0.210818 s]*
/proc/loadavg: 1.01 1.06 1.60 4/216 2959
/proc/meminfo: memFree=29160132/32770624 swapFree=67108860/67108860
[pid=2944] ppid=2941 vsize=10555400 memory=39904 CPUtime=0.29 cores=0,2,4,6
/proc/2944/stat : 2944 (java) S 2941 2944 31794 0 -1 1077944320 7746 0 0 0 27 2 0 0 20 0 15 0 96760923 10808729600 9976 33554432000 4194304 4196468 140732788784000 140732788766544 140124600082167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
/proc/2944/statm: 2638850 9976 2921 1 0 2627263 0
[pid=2944/tid=2946] ppid=2941 vsize=10555400 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (java) R 2941 2944 31794 0 -1 4202560 4849 0 0 0 18 1 0 0 20 0 15 0 96760923 10808729600 10041 33554432000 4194304 4196468 140732788784000 140124604316848 140124583463448 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2947] ppid=2941 vsize=10555400 memory=331 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (java) S 2941 2944 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96760924 10808729600 10041 33554432000 4194304 4196468 140732788784000 140124526156944 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2948] ppid=2941 vsize=10555400 memory=139918299844324 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2948/stat : 2948 (java) S 2941 2944 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96760924 10808729600 10041 33554432000 4194304 4196468 140732788784000 140124525104144 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2949] ppid=2941 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2949/stat : 2949 (java) S 2941 2944 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96760924 10808729600 10041 33554432000 4194304 4196468 140732788784000 140124524051344 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2950] ppid=2941 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2950/stat : 2950 (java) S 2941 2944 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96760924 10808729600 10041 33554432000 4194304 4196468 140732788784000 140124522998544 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2951] ppid=2941 vsize=10555400 memory=139918299833984 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2951/stat : 2951 (java) S 2941 2944 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96760926 10808729600 10041 33554432000 4194304 4196468 140732788784000 140124091259248 140124600093314 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2952] ppid=2941 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2952/stat : 2952 (java) S 2941 2944 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96760926 10808729600 10041 33554432000 4194304 4196468 140732788784000 140124090205216 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2953] ppid=2941 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2953/stat : 2953 (java) S 2941 2944 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96760926 10808729600 10041 33554432000 4194304 4196468 140732788784000 140124089152368 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2954] ppid=2941 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2954/stat : 2954 (java) S 2941 2944 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96760928 10808729600 10041 33554432000 4194304 4196468 140732788784000 140124088100688 140124600100763 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2955] ppid=2941 vsize=10555400 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2944/task/2955/stat : 2955 (java) S 2941 2944 31794 0 -1 1077944384 613 0 0 0 1 0 0 0 20 0 15 0 96760928 10808729600 10041 33554432000 4194304 4196468 140732788784000 140124087049072 140124600093314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2956] ppid=2941 vsize=10555400 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/2944/task/2956/stat : 2956 (java) S 2941 2944 31794 0 -1 1077944384 128 0 0 0 1 0 0 0 20 0 15 0 96760929 10808729600 10041 33554432000 4194304 4196468 140732788784000 140124085996272 140124600093314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2957] ppid=2941 vsize=10555400 memory=139918299833984 CPUtime=0.06 cores=0,2,4,6
/proc/2944/task/2957/stat : 2957 (java) S 2941 2944 31794 0 -1 1077944384 813 0 0 0 6 0 0 0 20 0 15 0 96760929 10808729600 10041 33554432000 4194304 4196468 140732788784000 140124084943472 140124600093314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2958] ppid=2941 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2958/stat : 2958 (java) S 2941 2944 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96760929 10808729600 10041 33554432000 4194304 4196468 140732788784000 140124083890912 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2959] ppid=2941 vsize=10555400 memory=139918299833984 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2959/stat : 2959 (java) S 2941 2944 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96760929 10808729600 10041 33554432000 4194304 4196468 140732788784000 140124082838192 140124600093314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39904 KiB
[startup+0.310314 s]*
/proc/loadavg: 1.01 1.06 1.60 8/216 2959
/proc/meminfo: memFree=29145676/32770624 swapFree=67108860/67108860
[pid=2944] ppid=2941 vsize=10555476 memory=46920 CPUtime=0.52 cores=0,2,4,6
/proc/2944/stat : 2944 (java) S 2941 2944 31794 0 -1 1077944320 8427 0 0 0 49 3 0 0 20 0 15 0 96760923 10808807424 11730 33554432000 4194304 4196468 140732788784000 140732788766544 140124600082167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
/proc/2944/statm: 2638869 11730 3034 1 0 2627263 0
[pid=2944/tid=2946] ppid=2941 vsize=10555476 memory=53476 CPUtime=0.3 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (java) R 2941 2944 31794 0 -1 4202560 5212 0 0 0 28 2 0 0 20 0 15 0 96760923 10808807424 11730 33554432000 4194304 4196468 140732788784000 140124604318848 140124600094102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2947] ppid=2941 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (java) S 2941 2944 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96760924 10808807424 11730 33554432000 4194304 4196468 140732788784000 140124526156944 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2948] ppid=2941 vsize=10555476 memory=139918299892000 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2948/stat : 2948 (java) S 2941 2944 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96760924 10808807424 11730 33554432000 4194304 4196468 140732788784000 140124525104144 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2949] ppid=2941 vsize=10555476 memory=60388 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2949/stat : 2949 (java) S 2941 2944 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96760924 10808807424 11730 33554432000 4194304 4196468 140732788784000 140124524051344 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2950] ppid=2941 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2950/stat : 2950 (java) S 2941 2944 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96760924 10808807424 11730 33554432000 4194304 4196468 140732788784000 140124522998544 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2951] ppid=2941 vsize=10555476 memory=139918299898912 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2951/stat : 2951 (java) S 2941 2944 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96760926 10808807424 11730 33554432000 4194304 4196468 140732788784000 140124091259248 140124600093314 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2952] ppid=2941 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2952/stat : 2952 (java) S 2941 2944 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96760926 10808807424 11730 33554432000 4194304 4196468 140732788784000 140124090205216 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2953] ppid=2941 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2953/stat : 2953 (java) S 2941 2944 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96760926 10808807424 11730 33554432000 4194304 4196468 140732788784000 140124089152368 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2954] ppid=2941 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2954/stat : 2954 (java) S 2941 2944 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96760928 10808807424 11730 33554432000 4194304 4196468 140732788784000 140124088100688 140124600100763 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2955] ppid=2941 vsize=10555476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2944/task/2955/stat : 2955 (java) S 2941 2944 31794 0 -1 1077944384 678 0 0 0 2 0 0 0 20 0 15 0 96760928 10808807424 11730 33554432000 4194304 4196468 140732788784000 140124087049072 140124600093314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2956] ppid=2941 vsize=10555476 memory=139918156353039 CPUtime=0.04 cores=0,2,4,6
/proc/2944/task/2956/stat : 2956 (java) S 2941 2944 31794 0 -1 1077944384 224 0 0 0 4 0 0 0 20 0 15 0 96760929 10808807424 11730 33554432000 4194304 4196468 140732788784000 140124085996272 140124600093314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2957] ppid=2941 vsize=10555476 memory=139918299836899 CPUtime=0.13 cores=0,2,4,6
/proc/2944/task/2957/stat : 2957 (java) R 2941 2944 31794 0 -1 4202560 951 0 0 0 13 0 0 0 20 0 15 0 96760929 10808807424 11730 33554432000 4194304 4196468 140732788784000 140124084939840 140124593179003 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2958] ppid=2941 vsize=10555476 memory=139918156357583 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2958/stat : 2958 (java) S 2941 2944 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96760929 10808807424 11730 33554432000 4194304 4196468 140732788784000 140124083890912 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2959] ppid=2941 vsize=10555476 memory=279836456208320 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2959/stat : 2959 (java) S 2941 2944 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96760929 10808807424 11730 33554432000 4194304 4196468 140732788784000 140124082838192 140124600093314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46920 KiB
[startup+0.700901 s]
/proc/loadavg: 1.01 1.06 1.60 10/216 2959
/proc/meminfo: memFree=28854440/32770624 swapFree=67108860/67108860
[pid=2944] ppid=2941 vsize=10555476 memory=401612 CPUtime=1.59 cores=0,2,4,6
/proc/2944/stat : 2944 (java) S 2941 2944 31794 0 -1 1077944320 9931 0 0 0 136 23 0 0 20 0 15 0 96760923 10808807424 100403 33554432000 4194304 4196468 140732788784000 140732788766544 140124600082167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
/proc/2944/statm: 2638869 100403 3097 1 0 2627263 0
[pid=2944/tid=2946] ppid=2941 vsize=10555476 memory=2372 CPUtime=0.54 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (java) R 2941 2944 31794 0 -1 4202560 5395 0 0 0 49 5 0 0 20 0 15 0 96760923 10808807424 100403 33554432000 4194304 4196468 140732788784000 140124604319168 140124586150292 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2947] ppid=2941 vsize=10555476 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (java) S 2941 2944 31794 0 -1 1077944384 141 0 0 0 9 3 0 0 20 0 15 0 96760924 10808807424 100403 33554432000 4194304 4196468 140732788784000 140124526156944 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2948] ppid=2941 vsize=10555476 memory=4612 CPUtime=0.11 cores=0,2,4,6
/proc/2944/task/2948/stat : 2948 (java) S 2941 2944 31794 0 -1 1077944384 139 0 0 0 8 3 0 0 20 0 15 0 96760924 10808807424 100403 33554432000 4194304 4196468 140732788784000 140124525104144 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2949] ppid=2941 vsize=10555476 memory=15872 CPUtime=0.11 cores=0,2,4,6
/proc/2944/task/2949/stat : 2949 (java) S 2941 2944 31794 0 -1 1077944384 140 0 0 0 8 3 0 0 20 0 15 0 96760924 10808807424 100403 33554432000 4194304 4196468 140732788784000 140124524051344 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2950] ppid=2941 vsize=10555476 memory=18448 CPUtime=0.12 cores=0,2,4,6
/proc/2944/task/2950/stat : 2950 (java) S 2941 2944 31794 0 -1 1077944384 150 0 0 0 9 3 0 0 20 0 15 0 96760924 10808807424 100403 33554432000 4194304 4196468 140732788784000 140124522998544 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2951] ppid=2941 vsize=10555476 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2951/stat : 2951 (java) S 2941 2944 31794 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 96760926 10808807424 100403 33554432000 4194304 4196468 140732788784000 140124091259248 140124600093314 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2952] ppid=2941 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2952/stat : 2952 (java) S 2941 2944 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96760926 10808807424 100403 33554432000 4194304 4196468 140732788784000 140124090205280 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2953] ppid=2941 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2953/stat : 2953 (java) S 2941 2944 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96760926 10808807424 100403 33554432000 4194304 4196468 140732788784000 140124089152368 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2954] ppid=2941 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2954/stat : 2954 (java) S 2941 2944 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96760928 10808807424 100403 33554432000 4194304 4196468 140732788784000 140124088100688 140124600100763 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2955] ppid=2941 vsize=10555476 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/2944/task/2955/stat : 2955 (java) S 2941 2944 31794 0 -1 1077944384 811 0 0 0 13 0 0 0 20 0 15 0 96760928 10808807424 100403 33554432000 4194304 4196468 140732788784000 140124087049072 140124600093314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2956] ppid=2941 vsize=10555476 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/2944/task/2956/stat : 2956 (java) S 2941 2944 31794 0 -1 1077944384 490 0 0 0 16 0 0 0 20 0 15 0 96760929 10808807424 100403 33554432000 4194304 4196468 140732788784000 140124085996272 140124600093314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2957] ppid=2941 vsize=10555476 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/2944/task/2957/stat : 2957 (java) S 2941 2944 31794 0 -1 1077944384 1097 0 0 0 20 0 0 0 20 0 15 0 96760929 10808807424 100403 33554432000 4194304 4196468 140732788784000 140124084943472 140124600093314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2958] ppid=2941 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2958/stat : 2958 (java) S 2941 2944 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96760929 10808807424 100403 33554432000 4194304 4196468 140732788784000 140124083890912 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2959] ppid=2941 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2959/stat : 2959 (java) S 2941 2944 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96760929 10808807424 100403 33554432000 4194304 4196468 140732788784000 140124082838192 140124600093314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 401612 KiB
[startup+1.50127 s]
/proc/loadavg: 1.01 1.06 1.60 6/216 2959
/proc/meminfo: memFree=27798056/32770624 swapFree=67108860/67108860
[pid=2944] ppid=2941 vsize=10555476 memory=777308 CPUtime=3.47 cores=0,2,4,6
/proc/2944/stat : 2944 (java) S 2941 2944 31794 0 -1 1077944320 13695 0 0 0 306 41 0 0 20 0 15 0 96760923 10808807424 194327 33554432000 4194304 4196468 140732788784000 140732788766544 140124600082167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
/proc/2944/statm: 2638869 194327 3113 1 0 2627263 0
[pid=2944/tid=2946] ppid=2941 vsize=10555476 memory=2320824070749897064 CPUtime=1.17 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (java) R 2941 2944 31794 0 -1 4202560 5902 0 0 0 109 8 0 0 20 0 15 0 96760923 10808807424 194327 33554432000 4194304 4196468 140732788784000 140124604313320 140124200493840 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2947] ppid=2941 vsize=10555476 memory=630860 CPUtime=0.28 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (java) S 2941 2944 31794 0 -1 1077944384 521 0 0 0 21 7 0 0 20 0 15 0 96760924 10808807424 194327 33554432000 4194304 4196468 140732788784000 140124526156944 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2948] ppid=2941 vsize=10555476 memory=2241 CPUtime=0.27 cores=0,2,4,6
/proc/2944/task/2948/stat : 2948 (java) S 2941 2944 31794 0 -1 1077944384 260 0 0 0 20 7 0 0 20 0 15 0 96760924 10808807424 194327 33554432000 4194304 4196468 140732788784000 140124525104144 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2949] ppid=2941 vsize=10555476 memory=4612 CPUtime=0.28 cores=0,2,4,6
/proc/2944/task/2949/stat : 2949 (java) S 2941 2944 31794 0 -1 1077944384 326 0 0 0 20 8 0 0 20 0 15 0 96760924 10808807424 194327 33554432000 4194304 4196468 140732788784000 140124524051344 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2950] ppid=2941 vsize=10555476 memory=15872 CPUtime=0.28 cores=0,2,4,6
/proc/2944/task/2950/stat : 2950 (java) S 2941 2944 31794 0 -1 1077944384 221 0 0 0 21 7 0 0 20 0 15 0 96760924 10808807424 194327 33554432000 4194304 4196468 140732788784000 140124522998544 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2951] ppid=2941 vsize=10555476 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2951/stat : 2951 (java) S 2941 2944 31794 0 -1 1077944384 499 0 0 0 0 0 0 0 20 0 15 0 96760926 10808807424 194327 33554432000 4194304 4196468 140732788784000 140124091259248 140124600093314 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
################
# More data... #
################
/proc/2944/statm: 2638869 2072476 3129 1 0 2627263 0
[pid=2944/tid=2946] ppid=2941 vsize=10555476 memory=8009188 CPUtime=14.61 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (java) S 2941 2944 31794 0 -1 1077944384 20329 0 0 0 1438 23 0 0 20 0 15 0 96760923 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124604317552 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2947] ppid=2941 vsize=10555476 memory=8017380 CPUtime=56.29 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (java) R 2941 2944 31794 0 -1 4202560 78166 0 0 0 5477 152 0 0 20 0 15 0 96760924 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124526156528 140124592710375 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2948] ppid=2941 vsize=10555476 memory=8191584 CPUtime=56.09 cores=0,2,4,6
/proc/2944/task/2948/stat : 2948 (java) R 2941 2944 31794 0 -1 4202560 100227 0 0 0 5463 146 0 0 20 0 15 0 96760924 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124525104344 140124584779992 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2949] ppid=2941 vsize=10555476 memory=8289904 CPUtime=55.64 cores=0,2,4,6
/proc/2944/task/2949/stat : 2949 (java) R 2941 2944 31794 0 -1 4202560 38393 0 0 0 5417 147 0 0 20 0 15 0 96760924 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124524051240 140124592710375 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2950] ppid=2941 vsize=10555476 memory=1712 CPUtime=56.62 cores=0,2,4,6
/proc/2944/task/2950/stat : 2950 (java) R 2941 2944 31794 0 -1 4202560 78053 0 0 0 5521 141 0 0 20 0 15 0 96760924 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124522998744 140124584779919 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2951] ppid=2941 vsize=10555476 memory=1952 CPUtime=11.8 cores=0,2,4,6
/proc/2944/task/2951/stat : 2951 (java) S 2941 2944 31794 0 -1 1077944384 20772 0 0 0 1178 2 0 0 20 0 15 0 96760926 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124091257568 140124600092373 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2952] ppid=2941 vsize=10555476 memory=8287856 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2952/stat : 2952 (java) S 2941 2944 31794 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 96760926 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124090205280 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2953] ppid=2941 vsize=10555476 memory=8287856 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2953/stat : 2953 (java) S 2941 2944 31794 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 96760926 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124089152384 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2954] ppid=2941 vsize=10555476 memory=792 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2954/stat : 2954 (java) S 2941 2944 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96760928 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124088100688 140124600100763 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2955] ppid=2941 vsize=10555476 memory=1004 CPUtime=0.47 cores=0,2,4,6
/proc/2944/task/2955/stat : 2955 (java) S 2941 2944 31794 0 -1 1077944384 3025 0 0 0 47 0 0 0 20 0 15 0 96760928 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124087049120 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2956] ppid=2941 vsize=10555476 memory=5296 CPUtime=0.48 cores=0,2,4,6
/proc/2944/task/2956/stat : 2956 (java) S 2941 2944 31794 0 -1 1077944384 2069 0 0 0 48 0 0 0 20 0 15 0 96760929 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124085996320 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2957] ppid=2941 vsize=10555476 memory=1196 CPUtime=0.24 cores=0,2,4,6
/proc/2944/task/2957/stat : 2957 (java) S 2941 2944 31794 0 -1 1077944384 2273 0 0 0 24 0 0 0 20 0 15 0 96760929 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124084943232 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2958] ppid=2941 vsize=10555476 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2958/stat : 2958 (java) S 2941 2944 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96760929 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124083890912 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2959] ppid=2941 vsize=10555476 memory=15872 CPUtime=0.03 cores=0,2,4,6
/proc/2944/task/2959/stat : 2959 (java) S 2941 2944 31794 0 -1 1077944384 621 0 0 0 2 1 0 0 20 0 15 0 96760929 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124082838192 140124600093314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
Current children cumulated CPU time: 252.36 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8289904 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+85.6579 s]
# the end of solver process 2944 was just reported to runsolver
# cumulated CPU time of all completed processes: user=254.141 s, system=6.21628 s
Solver just ended.
Dumping a history of the last processes samples
[startup+84.8013 s]
/proc/loadavg: 3.55 1.85 1.83 9/216 2960
/proc/meminfo: memFree=12622476/32770624 swapFree=67108860/67108860
[pid=2944] ppid=2941 vsize=10555476 memory=8289904 CPUtime=257.08 cores=0,2,4,6
/proc/2944/stat : 2944 (java) S 2941 2944 31794 0 -1 1077944320 345501 0 0 0 25091 617 0 0 20 0 15 0 96760923 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140732788766544 140124600082167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
/proc/2944/statm: 2638869 2072476 3129 1 0 2627263 0
[pid=2944/tid=2946] ppid=2941 vsize=10555476 memory=-7745799325366387508 CPUtime=14.61 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (java) S 2941 2944 31794 0 -1 1077944384 20329 0 0 0 1438 23 0 0 20 0 15 0 96760923 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124604317552 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2947] ppid=2941 vsize=10555476 memory=8112282956445269571 CPUtime=57.46 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (java) R 2941 2944 31794 0 -1 4202560 78166 0 0 0 5594 152 0 0 20 0 15 0 96760924 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124526156832 140124584782883 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2948] ppid=2941 vsize=10555476 memory=8112282956445269571 CPUtime=57.28 cores=0,2,4,6
/proc/2944/task/2948/stat : 2948 (java) R 2941 2944 31794 0 -1 4202560 100227 0 0 0 5581 147 0 0 20 0 15 0 96760924 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124525104344 140124584539770 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2949] ppid=2941 vsize=10555476 memory=8289904 CPUtime=56.79 cores=0,2,4,6
/proc/2944/task/2949/stat : 2949 (java) R 2941 2944 31794 0 -1 4202560 38393 0 0 0 5532 147 0 0 20 0 15 0 96760924 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124524051544 140124584539737 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2950] ppid=2941 vsize=10555476 memory=8009188 CPUtime=57.82 cores=0,2,4,6
/proc/2944/task/2950/stat : 2950 (java) R 2941 2944 31794 0 -1 4202560 78126 0 0 0 5640 142 0 0 20 0 15 0 96760924 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124522998744 140124585078787 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2951] ppid=2941 vsize=10555476 memory=8017380 CPUtime=11.8 cores=0,2,4,6
/proc/2944/task/2951/stat : 2951 (java) S 2941 2944 31794 0 -1 1077944384 20772 0 0 0 1178 2 0 0 20 0 15 0 96760926 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124091257792 140124600092373 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2952] ppid=2941 vsize=10555476 memory=8191584 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2952/stat : 2952 (java) S 2941 2944 31794 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 96760926 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124090205280 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2953] ppid=2941 vsize=10555476 memory=8289904 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2953/stat : 2953 (java) S 2941 2944 31794 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 96760926 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124089152384 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2954] ppid=2941 vsize=10555476 memory=8289904 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2954/stat : 2954 (java) S 2941 2944 31794 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 96760928 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124088100336 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2955] ppid=2941 vsize=10555476 memory=1712 CPUtime=0.47 cores=0,2,4,6
/proc/2944/task/2955/stat : 2955 (java) S 2941 2944 31794 0 -1 1077944384 3025 0 0 0 47 0 0 0 20 0 15 0 96760928 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124087049120 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2956] ppid=2941 vsize=10555476 memory=1952 CPUtime=0.48 cores=0,2,4,6
/proc/2944/task/2956/stat : 2956 (java) S 2941 2944 31794 0 -1 1077944384 2069 0 0 0 48 0 0 0 20 0 15 0 96760929 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124085996320 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2957] ppid=2941 vsize=10555476 memory=8287856 CPUtime=0.24 cores=0,2,4,6
/proc/2944/task/2957/stat : 2957 (java) S 2941 2944 31794 0 -1 1077944384 2273 0 0 0 24 0 0 0 20 0 15 0 96760929 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124084943232 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2958] ppid=2941 vsize=10555476 memory=8287856 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2958/stat : 2958 (java) S 2941 2944 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96760929 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124083890912 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2959] ppid=2941 vsize=10555476 memory=792 CPUtime=0.03 cores=0,2,4,6
/proc/2944/task/2959/stat : 2959 (java) S 2941 2944 31794 0 -1 1077944384 621 0 0 0 2 1 0 0 20 0 15 0 96760929 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124082838192 140124600093314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
Current children cumulated CPU time: 257.08 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8289904 KiB
[startup+85.2013 s]
/proc/loadavg: 3.67 1.90 1.85 6/216 2960
/proc/meminfo: memFree=12622476/32770624 swapFree=67108860/67108860
[pid=2944] ppid=2941 vsize=10555476 memory=8289904 CPUtime=258.67 cores=0,2,4,6
/proc/2944/stat : 2944 (java) S 2941 2944 31794 0 -1 1077944320 345501 0 0 0 25250 617 0 0 20 0 15 0 96760923 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140732788766544 140124600082167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
/proc/2944/statm: 2638869 2072476 3129 1 0 2627263 0
[pid=2944/tid=2946] ppid=2941 vsize=10555476 memory=7007712420471858773 CPUtime=14.61 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (java) S 2941 2944 31794 0 -1 1077944384 20329 0 0 0 1438 23 0 0 20 0 15 0 96760923 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124604317552 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2947] ppid=2941 vsize=10555476 memory=7954853731117328235 CPUtime=57.84 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (java) R 2941 2944 31794 0 -1 4202560 78166 0 0 0 5632 152 0 0 20 0 15 0 96760924 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124526156832 140124584782728 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2948] ppid=2941 vsize=10555476 memory=5792825811789107814 CPUtime=57.68 cores=0,2,4,6
/proc/2944/task/2948/stat : 2948 (java) R 2941 2944 31794 0 -1 4202560 100227 0 0 0 5621 147 0 0 20 0 15 0 96760924 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124525104344 140124584539758 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2949] ppid=2941 vsize=10555476 memory=6378031973535685525 CPUtime=57.19 cores=0,2,4,6
/proc/2944/task/2949/stat : 2949 (java) R 2941 2944 31794 0 -1 4202560 38393 0 0 0 5572 147 0 0 20 0 15 0 96760924 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124524051544 140124585078534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2950] ppid=2941 vsize=10555476 memory=279836314389060 CPUtime=58.22 cores=0,2,4,6
/proc/2944/task/2950/stat : 2950 (java) R 2941 2944 31794 0 -1 4202560 78126 0 0 0 5680 142 0 0 20 0 15 0 96760924 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124522998744 140124581691943 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2951] ppid=2941 vsize=10555476 memory=158446659 CPUtime=11.8 cores=0,2,4,6
/proc/2944/task/2951/stat : 2951 (java) S 2941 2944 31794 0 -1 1077944384 20772 0 0 0 1178 2 0 0 20 0 15 0 96760926 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124091257792 140124600092373 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2952] ppid=2941 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2952/stat : 2952 (java) S 2941 2944 31794 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 96760926 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124090205280 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2953] ppid=2941 vsize=10555476 memory=279836313417480 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2953/stat : 2953 (java) S 2941 2944 31794 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 96760926 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124089152384 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2954] ppid=2941 vsize=10555476 memory=279836314374432 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2954/stat : 2954 (java) S 2941 2944 31794 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 96760928 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124088100336 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2955] ppid=2941 vsize=10555476 memory=279836314358192 CPUtime=0.47 cores=0,2,4,6
/proc/2944/task/2955/stat : 2955 (java) S 2941 2944 31794 0 -1 1077944384 3025 0 0 0 47 0 0 0 20 0 15 0 96760928 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124087049120 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2956] ppid=2941 vsize=10555476 memory=279836313429432 CPUtime=0.48 cores=0,2,4,6
/proc/2944/task/2956/stat : 2956 (java) S 2941 2944 31794 0 -1 1077944384 2069 0 0 0 48 0 0 0 20 0 15 0 96760929 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124085996320 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2957] ppid=2941 vsize=10555476 memory=279836314365060 CPUtime=0.24 cores=0,2,4,6
/proc/2944/task/2957/stat : 2957 (java) S 2941 2944 31794 0 -1 1077944384 2273 0 0 0 24 0 0 0 20 0 15 0 96760929 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124084943232 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2958] ppid=2941 vsize=10555476 memory=279836314374224 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2958/stat : 2958 (java) S 2941 2944 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96760929 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124083890912 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2959] ppid=2941 vsize=10555476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2944/task/2959/stat : 2959 (java) S 2941 2944 31794 0 -1 1077944384 621 0 0 0 2 1 0 0 20 0 15 0 96760929 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124082838192 140124600093314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
Current children cumulated CPU time: 258.67 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8289904 KiB
[startup+85.6013 s]
/proc/loadavg: 3.67 1.90 1.85 6/216 2960
/proc/meminfo: memFree=12622476/32770624 swapFree=67108860/67108860
[pid=2944] ppid=2941 vsize=10555476 memory=8289904 CPUtime=260.26 cores=0,2,4,6
/proc/2944/stat : 2944 (java) S 2941 2944 31794 0 -1 1077944320 345567 0 0 0 25409 617 0 0 20 0 15 0 96760923 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140732788766544 140124600082167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
/proc/2944/statm: 2638869 2072476 3129 1 0 2627263 0
[pid=2944/tid=2946] ppid=2941 vsize=10555476 memory=27676 CPUtime=14.61 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (java) S 2941 2944 31794 0 -1 1077944384 20329 0 0 0 1438 23 0 0 20 0 15 0 96760923 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124604317552 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2947] ppid=2941 vsize=10555476 memory=1292 CPUtime=58.24 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (java) R 2941 2944 31794 0 -1 4202560 78166 0 0 0 5672 152 0 0 20 0 15 0 96760924 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124526156832 140124584782858 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2948] ppid=2941 vsize=10555476 memory=2428 CPUtime=58.08 cores=0,2,4,6
/proc/2944/task/2948/stat : 2948 (java) R 2941 2944 31794 0 -1 4202560 100227 0 0 0 5661 147 0 0 20 0 15 0 96760924 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124525104344 140124585078512 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2949] ppid=2941 vsize=10555476 memory=1728 CPUtime=57.59 cores=0,2,4,6
/proc/2944/task/2949/stat : 2949 (java) R 2941 2944 31794 0 -1 4202560 38449 0 0 0 5612 147 0 0 20 0 15 0 96760924 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124524051544 140124585078571 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2950] ppid=2941 vsize=10555476 memory=1420 CPUtime=58.62 cores=0,2,4,6
/proc/2944/task/2950/stat : 2950 (java) R 2941 2944 31794 0 -1 4202560 78136 0 0 0 5720 142 0 0 20 0 15 0 96760924 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124522998744 140124585078512 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2951] ppid=2941 vsize=10555476 memory=11032 CPUtime=11.8 cores=0,2,4,6
/proc/2944/task/2951/stat : 2951 (java) S 2941 2944 31794 0 -1 1077944384 20772 0 0 0 1178 2 0 0 20 0 15 0 96760926 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124091257792 140124600092373 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2952] ppid=2941 vsize=10555476 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2952/stat : 2952 (java) S 2941 2944 31794 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 96760926 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124090205280 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2953] ppid=2941 vsize=10555476 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2953/stat : 2953 (java) S 2941 2944 31794 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 96760926 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124089152384 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2954] ppid=2941 vsize=10555476 memory=8552 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2954/stat : 2954 (java) S 2941 2944 31794 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 96760928 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124088100336 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2955] ppid=2941 vsize=10555476 memory=1224 CPUtime=0.47 cores=0,2,4,6
/proc/2944/task/2955/stat : 2955 (java) S 2941 2944 31794 0 -1 1077944384 3025 0 0 0 47 0 0 0 20 0 15 0 96760928 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124087049120 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2956] ppid=2941 vsize=10555476 memory=792 CPUtime=0.48 cores=0,2,4,6
/proc/2944/task/2956/stat : 2956 (java) S 2941 2944 31794 0 -1 1077944384 2069 0 0 0 48 0 0 0 20 0 15 0 96760929 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124085996320 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2957] ppid=2941 vsize=10555476 memory=1004 CPUtime=0.24 cores=0,2,4,6
/proc/2944/task/2957/stat : 2957 (java) S 2941 2944 31794 0 -1 1077944384 2273 0 0 0 24 0 0 0 20 0 15 0 96760929 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124084943232 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2958] ppid=2941 vsize=10555476 memory=5296 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2958/stat : 2958 (java) S 2941 2944 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96760929 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124083890912 140124600092373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
[pid=2944/tid=2959] ppid=2941 vsize=10555476 memory=1196 CPUtime=0.03 cores=0,2,4,6
/proc/2944/task/2959/stat : 2959 (java) S 2941 2944 31794 0 -1 1077944384 621 0 0 0 2 1 0 0 20 0 15 0 96760929 10808807424 2072476 33554432000 4194304 4196468 140732788784000 140124082838192 140124600093314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 13737984 140732788790411 140732788790564 140732788790564 140732788793295 0
Current children cumulated CPU time: 260.26 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8289904 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 85.658
CPU time (s): 260.358
CPU user time (s): 254.141
CPU system time (s): 6.21628
CPU usage (%): 303.95
Max. virtual memory (cumulated for all children) (KiB): 10555476
Max. memory (cumulated for all children) (KiB): 8289904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.141
system time used= 6.21628
maximum resident set size= 8290156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 345573
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7046
involuntary context switches= 5276
# summary of solver processes directly reported to runsolver:
# pid: 2944
# total CPU time (s): 260.358
# total CPU user time (s): 254.141
# total CPU system time (s): 6.21628
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.546082 second user time and 0.855597 second system time
The end