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 (13064 MiB free)
memory of node 1: 16384 MiB (11043 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307771-1534258072/watcher-4307771-1534258072 -o /tmp/evaluation-result-4307771-1534258072/solver-4307771-1534258072 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534258055-12152 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order.jar --randomseed 1552971533 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307771-1534258072.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12425, runsolver pid=12422
[startup+0.105042 s]*
/proc/loadavg: 0.42 0.11 0.08 4/217 12440
/proc/meminfo: memFree=24667240/32770624 swapFree=67108524/67108860
[pid=12425] ppid=12422 vsize=14082736 memory=32100 CPUtime=0.12 cores=1,3,5,7
/proc/12425/stat : 12425 (java) S 12422 12425 12120 0 -1 1077944320 6927 0 0 0 11 1 0 0 20 0 15 0 243370414 14420721664 8025 33554432000 4194304 4196468 140721862299936 140721862282480 140433806302967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
/proc/12425/statm: 3520684 8025 3167 1 0 3482761 0
[pid=12425/tid=12427] ppid=12422 vsize=14082736 memory=-6966721798027829888 CPUtime=0.1 cores=1,3,5,7
/proc/12425/task/12427/stat : 12427 (java) R 12422 12425 12120 0 -1 4202560 5027 0 0 0 9 1 0 0 20 0 15 0 243370415 14420721664 8091 33554432000 4194304 4196468 140721862299936 140433810491696 140433786578781 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12428] ppid=12422 vsize=14082736 memory=5793855788033919417 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12428/stat : 12428 (java) S 12422 12425 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243370416 14420721664 8091 33554432000 4194304 4196468 140721862299936 140433758923792 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12429] ppid=12422 vsize=14082736 memory=140537024026240 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12429/stat : 12429 (java) S 12422 12425 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243370416 14420721664 8091 33554432000 4194304 4196468 140721862299936 140433757871248 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12430] ppid=12422 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12430/stat : 12430 (java) S 12422 12425 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243370416 14420721664 8091 33554432000 4194304 4196468 140721862299936 140433756818192 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12431] ppid=12422 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12431/stat : 12431 (java) S 12422 12425 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243370416 14420721664 8091 33554432000 4194304 4196468 140721862299936 140433755765648 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12432] ppid=12422 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12432/stat : 12432 (java) S 12422 12425 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243370417 14420721664 8091 33554432000 4194304 4196468 140721862299936 140433280710896 140433806314114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12433] ppid=12422 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12433/stat : 12433 (java) S 12422 12425 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243370417 14420721664 8091 33554432000 4194304 4196468 140721862299936 140433279657120 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12434] ppid=12422 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12434/stat : 12434 (java) S 12422 12425 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243370418 14420721664 8157 33554432000 4194304 4196468 140721862299936 140433278604016 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12435] ppid=12422 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12435/stat : 12435 (java) S 12422 12425 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243370420 14420721664 8157 33554432000 4194304 4196468 140721862299936 140433277552592 140433806321563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12436] ppid=12422 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12436/stat : 12436 (java) S 12422 12425 12120 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 243370420 14420721664 8157 33554432000 4194304 4196468 140721862299936 140433276500720 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12437] ppid=12422 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12437/stat : 12437 (java) S 12422 12425 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243370420 14420721664 8157 33554432000 4194304 4196468 140721862299936 140433275448176 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12438] ppid=12422 vsize=14082736 memory=140537024026240 CPUtime=0.01 cores=1,3,5,7
/proc/12425/task/12438/stat : 12438 (java) S 12422 12425 12120 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 15 0 243370420 14420721664 8157 33554432000 4194304 4196468 140721862299936 140433274395120 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12439] ppid=12422 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12439/stat : 12439 (java) S 12422 12425 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243370420 14420721664 8157 33554432000 4194304 4196468 140721862299936 140433273342816 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12440] ppid=12422 vsize=14082736 memory=140537024026240 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12440/stat : 12440 (java) S 12422 12425 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243370420 14420721664 8157 33554432000 4194304 4196468 140721862299936 140433272289840 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32100 KiB
[startup+0.211044 s]*
/proc/loadavg: 0.42 0.11 0.08 6/217 12440
/proc/meminfo: memFree=24654704/32770624 swapFree=67108524/67108860
[pid=12425] ppid=12422 vsize=14082736 memory=47080 CPUtime=0.31 cores=1,3,5,7
/proc/12425/stat : 12425 (java) S 12422 12425 12120 0 -1 1077944320 10387 0 0 0 29 2 0 0 20 0 15 0 243370414 14420721664 11770 33554432000 4194304 4196468 140721862299936 140721862282480 140433806302967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
/proc/12425/statm: 3520684 11770 3379 1 0 3482761 0
[pid=12425/tid=12427] ppid=12422 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/12425/task/12427/stat : 12427 (java) R 12422 12425 12120 0 -1 4202560 8106 0 0 0 19 1 0 0 20 0 15 0 243370415 14420721664 11770 33554432000 4194304 4196468 140721862299936 140433810532704 140433806324893 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12428] ppid=12422 vsize=14082736 memory=4211974263228816778 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12428/stat : 12428 (java) S 12422 12425 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243370416 14420721664 11770 33554432000 4194304 4196468 140721862299936 140433758923792 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12429] ppid=12422 vsize=14082736 memory=140537024026240 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12429/stat : 12429 (java) S 12422 12425 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243370416 14420721664 11770 33554432000 4194304 4196468 140721862299936 140433757871248 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12430] ppid=12422 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12430/stat : 12430 (java) S 12422 12425 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243370416 14420721664 11770 33554432000 4194304 4196468 140721862299936 140433756818192 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12431] ppid=12422 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12431/stat : 12431 (java) S 12422 12425 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243370416 14420721664 11770 33554432000 4194304 4196468 140721862299936 140433755765648 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12432] ppid=12422 vsize=14082736 memory=140537024026240 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12432/stat : 12432 (java) S 12422 12425 12120 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243370417 14420721664 11770 33554432000 4194304 4196468 140721862299936 140433280710896 140433806314114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12433] ppid=12422 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12433/stat : 12433 (java) S 12422 12425 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243370417 14420721664 11770 33554432000 4194304 4196468 140721862299936 140433279657120 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12434] ppid=12422 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12434/stat : 12434 (java) S 12422 12425 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243370418 14420721664 11770 33554432000 4194304 4196468 140721862299936 140433278604016 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12435] ppid=12422 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12435/stat : 12435 (java) S 12422 12425 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243370420 14420721664 11770 33554432000 4194304 4196468 140721862299936 140433277552592 140433806321563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12436] ppid=12422 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12425/task/12436/stat : 12436 (java) R 12422 12425 12120 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 15 0 243370420 14420721664 11770 33554432000 4194304 4196468 140721862299936 140433276500720 140433806314114 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12437] ppid=12422 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12425/task/12437/stat : 12437 (java) R 12422 12425 12120 0 -1 4202560 262 0 0 0 2 0 0 0 20 0 15 0 243370420 14420721664 11770 33554432000 4194304 4196468 140721862299936 140433275448176 140433787848168 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12438] ppid=12422 vsize=14082736 memory=140537024026240 CPUtime=0.06 cores=1,3,5,7
/proc/12425/task/12438/stat : 12438 (java) R 12422 12425 12120 0 -1 4202560 294 0 0 0 6 0 0 0 20 0 15 0 243370420 14420721664 11770 33554432000 4194304 4196468 140721862299936 140433274390296 140433785288112 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12439] ppid=12422 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12439/stat : 12439 (java) S 12422 12425 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243370420 14420721664 11770 33554432000 4194304 4196468 140721862299936 140433273342816 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12440] ppid=12422 vsize=14082736 memory=140537024026240 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12440/stat : 12440 (java) S 12422 12425 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243370420 14420721664 11770 33554432000 4194304 4196468 140721862299936 140433272289840 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47080 KiB
[startup+0.310641 s]*
/proc/loadavg: 0.42 0.11 0.08 3/217 12440
/proc/meminfo: memFree=24651044/32770624 swapFree=67108524/67108860
[pid=12425] ppid=12422 vsize=14082736 memory=50784 CPUtime=0.44 cores=1,3,5,7
/proc/12425/stat : 12425 (java) S 12422 12425 12120 0 -1 1077944320 10771 0 0 0 42 2 0 0 20 0 15 0 243370414 14420721664 12696 33554432000 4194304 4196468 140721862299936 140721862282480 140433806302967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
/proc/12425/statm: 3520684 12696 3421 1 0 3482761 0
[pid=12425/tid=12427] ppid=12422 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=1,3,5,7
/proc/12425/task/12427/stat : 12427 (java) R 12422 12425 12120 0 -1 4202560 8458 0 0 0 28 2 0 0 20 0 15 0 243370415 14420721664 12696 33554432000 4194304 4196468 140721862299936 140433810511064 140433787866563 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12428] ppid=12422 vsize=14082736 memory=4211974263228816778 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12428/stat : 12428 (java) S 12422 12425 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243370416 14420721664 12696 33554432000 4194304 4196468 140721862299936 140433758923792 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12429] ppid=12422 vsize=14082736 memory=140537024028605 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12429/stat : 12429 (java) S 12422 12425 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243370416 14420721664 12696 33554432000 4194304 4196468 140721862299936 140433757871248 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12430] ppid=12422 vsize=14082736 memory=140536900081985 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12430/stat : 12430 (java) S 12422 12425 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243370416 14420721664 12696 33554432000 4194304 4196468 140721862299936 140433756818192 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12431] ppid=12422 vsize=14082736 memory=140536900079055 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12431/stat : 12431 (java) S 12422 12425 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243370416 14420721664 12696 33554432000 4194304 4196468 140721862299936 140433755765648 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12432] ppid=12422 vsize=14082736 memory=140537024038386 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12432/stat : 12432 (java) S 12422 12425 12120 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243370417 14420721664 12696 33554432000 4194304 4196468 140721862299936 140433280710896 140433806314114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12433] ppid=12422 vsize=14082736 memory=140536900088239 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12433/stat : 12433 (java) S 12422 12425 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243370417 14420721664 12696 33554432000 4194304 4196468 140721862299936 140433279657120 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12434] ppid=12422 vsize=14082736 memory=281073800167312 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12434/stat : 12434 (java) S 12422 12425 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243370418 14420721664 12696 33554432000 4194304 4196468 140721862299936 140433278604016 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12435] ppid=12422 vsize=14082736 memory=281073800165008 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12435/stat : 12435 (java) S 12422 12425 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243370420 14420721664 12696 33554432000 4194304 4196468 140721862299936 140433277552592 140433806321563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12436] ppid=12422 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12425/task/12436/stat : 12436 (java) S 12422 12425 12120 0 -1 1077944384 348 0 0 0 1 0 0 0 20 0 15 0 243370420 14420721664 12696 33554432000 4194304 4196468 140721862299936 140433276500720 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12437] ppid=12422 vsize=14082736 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/12425/task/12437/stat : 12437 (java) S 12422 12425 12120 0 -1 1077944384 269 0 0 0 3 0 0 0 20 0 15 0 243370420 14420721664 12696 33554432000 4194304 4196468 140721862299936 140433275448176 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12438] ppid=12422 vsize=14082736 memory=140537024026240 CPUtime=0.08 cores=1,3,5,7
/proc/12425/task/12438/stat : 12438 (java) S 12422 12425 12120 0 -1 1077944384 314 0 0 0 8 0 0 0 20 0 15 0 243370420 14420721664 12696 33554432000 4194304 4196468 140721862299936 140433274395120 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12439] ppid=12422 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12439/stat : 12439 (java) S 12422 12425 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243370420 14420721664 12696 33554432000 4194304 4196468 140721862299936 140433273342816 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12440] ppid=12422 vsize=14082736 memory=140537024026240 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12440/stat : 12440 (java) S 12422 12425 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243370420 14420721664 12696 33554432000 4194304 4196468 140721862299936 140433272289840 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50784 KiB
[startup+0.700784 s]
/proc/loadavg: 0.42 0.11 0.08 5/217 12440
/proc/meminfo: memFree=24627764/32770624 swapFree=67108524/67108860
[pid=12425] ppid=12422 vsize=14084804 memory=89192 CPUtime=0.98 cores=1,3,5,7
/proc/12425/stat : 12425 (java) S 12422 12425 12120 0 -1 1077944320 17619 0 0 0 94 4 0 0 20 0 15 0 243370414 14422839296 22298 33554432000 4194304 4196468 140721862299936 140721862282480 140433806302967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
/proc/12425/statm: 3521201 22298 3489 1 0 3483273 0
[pid=12425/tid=12427] ppid=12422 vsize=14084804 memory=1120 CPUtime=0.67 cores=1,3,5,7
/proc/12425/task/12427/stat : 12427 (java) R 12422 12425 12120 0 -1 4202560 14918 0 0 0 64 3 0 0 20 0 15 0 243370415 14422839296 22298 33554432000 4194304 4196468 140721862299936 140433810525568 140433790383454 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12428] ppid=12422 vsize=14084804 memory=6064 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12428/stat : 12428 (java) S 12422 12425 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243370416 14422839296 22298 33554432000 4194304 4196468 140721862299936 140433758923792 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12429] ppid=12422 vsize=14084804 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12429/stat : 12429 (java) S 12422 12425 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243370416 14422839296 22298 33554432000 4194304 4196468 140721862299936 140433757871248 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12430] ppid=12422 vsize=14084804 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12430/stat : 12430 (java) S 12422 12425 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243370416 14422839296 22298 33554432000 4194304 4196468 140721862299936 140433756818192 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12431] ppid=12422 vsize=14084804 memory=7957390390475708010 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12431/stat : 12431 (java) S 12422 12425 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243370416 14422839296 22298 33554432000 4194304 4196468 140721862299936 140433755765648 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12432] ppid=12422 vsize=14084804 memory=5787213848606435153 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12432/stat : 12432 (java) S 12422 12425 12120 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243370417 14422839296 22298 33554432000 4194304 4196468 140721862299936 140433280710896 140433806314114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12433] ppid=12422 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12433/stat : 12433 (java) S 12422 12425 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243370417 14422839296 22298 33554432000 4194304 4196468 140721862299936 140433279657120 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12434] ppid=12422 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12434/stat : 12434 (java) S 12422 12425 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243370418 14422839296 22298 33554432000 4194304 4196468 140721862299936 140433278604016 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12435] ppid=12422 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12435/stat : 12435 (java) S 12422 12425 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243370420 14422839296 22298 33554432000 4194304 4196468 140721862299936 140433277552592 140433806321563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12436] ppid=12422 vsize=14084804 memory=216 CPUtime=0.08 cores=1,3,5,7
/proc/12425/task/12436/stat : 12436 (java) S 12422 12425 12120 0 -1 1077944384 514 0 0 0 8 0 0 0 20 0 15 0 243370420 14422839296 22298 33554432000 4194304 4196468 140721862299936 140433276500720 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12437] ppid=12422 vsize=14084804 memory=7 CPUtime=0.06 cores=1,3,5,7
/proc/12425/task/12437/stat : 12437 (java) S 12422 12425 12120 0 -1 1077944384 404 0 0 0 6 0 0 0 20 0 15 0 243370420 14422839296 22298 33554432000 4194304 4196468 140721862299936 140433275448176 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12438] ppid=12422 vsize=14084804 memory=690 CPUtime=0.15 cores=1,3,5,7
/proc/12425/task/12438/stat : 12438 (java) S 12422 12425 12120 0 -1 1077944384 401 0 0 0 15 0 0 0 20 0 15 0 243370420 14422839296 22298 33554432000 4194304 4196468 140721862299936 140433274395120 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12439] ppid=12422 vsize=14084804 memory=281073800351216 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12439/stat : 12439 (java) S 12422 12425 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243370420 14422839296 22298 33554432000 4194304 4196468 140721862299936 140433273342816 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12440] ppid=12422 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12440/stat : 12440 (java) S 12422 12425 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243370420 14422839296 22298 33554432000 4194304 4196468 140721862299936 140433272289840 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89192 KiB
[startup+1.503 s]
/proc/loadavg: 0.42 0.11 0.08 6/217 12440
/proc/meminfo: memFree=24513200/32770624 swapFree=67108524/67108860
[pid=12425] ppid=12422 vsize=14088900 memory=227668 CPUtime=3.45 cores=1,3,5,7
/proc/12425/stat : 12425 (java) S 12422 12425 12120 0 -1 1077944320 26832 0 0 0 335 10 0 0 20 0 15 0 243370414 14427033600 56917 33554432000 4194304 4196468 140721862299936 140721862282480 140433806302967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
/proc/12425/statm: 3522225 56917 3574 1 0 3484297 0
[pid=12425/tid=12427] ppid=12422 vsize=14088900 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/12425/task/12427/stat : 12427 (java) R 12422 12425 12120 0 -1 4202560 18211 0 0 0 138 7 0 0 20 0 15 0 243370415 14427033600 56917 33554432000 4194304 4196468 140721862299936 140433810538160 140433439164359 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12428] ppid=12422 vsize=14088900 memory=-6585528546044026665 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12428/stat : 12428 (java) S 12422 12425 12120 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 243370416 14427033600 56917 33554432000 4194304 4196468 140721862299936 140433758923792 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12429] ppid=12422 vsize=14088900 memory=-6223234201447850853 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12429/stat : 12429 (java) S 12422 12425 12120 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 15 0 243370416 14427033600 56917 33554432000 4194304 4196468 140721862299936 140433757871248 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12430] ppid=12422 vsize=14088900 memory=-7017000033731957294 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12430/stat : 12430 (java) S 12422 12425 12120 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 243370416 14427033600 56917 33554432000 4194304 4196468 140721862299936 140433756818192 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12431] ppid=12422 vsize=14088900 memory=4947376408581938048 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12431/stat : 12431 (java) S 12422 12425 12120 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 15 0 243370416 14427033600 56917 33554432000 4194304 4196468 140721862299936 140433755765648 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12432] ppid=12422 vsize=14088900 memory=-3472574513799858008 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12432/stat : 12432 (java) S 12422 12425 12120 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 15 0 243370417 14427033600 56917 33554432000 4194304 4196468 140721862299936 140433280710896 140433806314114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
################
# More data... #
################
/proc/12425/task/12427/stat : 12427 (java) R 12422 12425 12120 0 -1 4202560 48366 0 0 0 236620 34 0 0 20 0 15 0 243370415 14429130752 255040 33554432000 4194304 4196468 140721862299936 140433810541280 140433446470162 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12428] ppid=12422 vsize=14090948 memory=1020160 CPUtime=7.03 cores=1,3,5,7
/proc/12425/task/12428/stat : 12428 (java) S 12422 12425 12120 0 -1 1077944384 11421 0 0 0 666 37 0 0 20 0 15 0 243370416 14429130752 255040 33554432000 4194304 4196468 140721862299936 140433758923792 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12429] ppid=12422 vsize=14090948 memory=1020160 CPUtime=7.08 cores=1,3,5,7
/proc/12425/task/12429/stat : 12429 (java) S 12422 12425 12120 0 -1 1077944384 12023 0 0 0 668 40 0 0 20 0 15 0 243370416 14429130752 255040 33554432000 4194304 4196468 140721862299936 140433757871248 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12430] ppid=12422 vsize=14090948 memory=1020160 CPUtime=7.07 cores=1,3,5,7
/proc/12425/task/12430/stat : 12430 (java) S 12422 12425 12120 0 -1 1077944384 12955 0 0 0 670 37 0 0 20 0 15 0 243370416 14429130752 255040 33554432000 4194304 4196468 140721862299936 140433756818192 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12431] ppid=12422 vsize=14090948 memory=1020160 CPUtime=7.06 cores=1,3,5,7
/proc/12425/task/12431/stat : 12431 (java) S 12422 12425 12120 0 -1 1077944384 10914 0 0 0 665 41 0 0 20 0 15 0 243370416 14429130752 255040 33554432000 4194304 4196468 140721862299936 140433755765648 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12432] ppid=12422 vsize=14090948 memory=1020160 CPUtime=4.97 cores=1,3,5,7
/proc/12425/task/12432/stat : 12432 (java) S 12422 12425 12120 0 -1 1077944384 9918 0 0 0 460 37 0 0 20 0 15 0 243370417 14429130752 255040 33554432000 4194304 4196468 140721862299936 140433280710896 140433806314114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12433] ppid=12422 vsize=14090948 memory=1020160 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12433/stat : 12433 (java) S 12422 12425 12120 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 243370417 14429130752 255040 33554432000 4194304 4196468 140721862299936 140433279657184 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12434] ppid=12422 vsize=14090948 memory=1018112 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12434/stat : 12434 (java) S 12422 12425 12120 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 243370418 14429130752 255040 33554432000 4194304 4196468 140721862299936 140433278604032 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12435] ppid=12422 vsize=14090948 memory=1020160 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12435/stat : 12435 (java) S 12422 12425 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243370420 14429130752 255040 33554432000 4194304 4196468 140721862299936 140433277552592 140433806321563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12436] ppid=12422 vsize=14090948 memory=1016064 CPUtime=2.2 cores=1,3,5,7
/proc/12425/task/12436/stat : 12436 (java) S 12422 12425 12120 0 -1 1077944384 4019 0 0 0 219 1 0 0 20 0 15 0 243370420 14429130752 255040 33554432000 4194304 4196468 140721862299936 140433276500720 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12437] ppid=12422 vsize=14090948 memory=66144 CPUtime=2.33 cores=1,3,5,7
/proc/12425/task/12437/stat : 12437 (java) S 12422 12425 12120 0 -1 1077944384 7143 0 0 0 232 1 0 0 20 0 15 0 243370420 14429130752 255040 33554432000 4194304 4196468 140721862299936 140433275448176 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12438] ppid=12422 vsize=14090948 memory=1020160 CPUtime=1.02 cores=1,3,5,7
/proc/12425/task/12438/stat : 12438 (java) S 12422 12425 12120 0 -1 1077944384 8018 0 0 0 101 1 0 0 20 0 15 0 243370420 14429130752 255040 33554432000 4194304 4196468 140721862299936 140433274395120 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12439] ppid=12422 vsize=14090948 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12439/stat : 12439 (java) S 12422 12425 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243370420 14429130752 255040 33554432000 4194304 4196468 140721862299936 140433273342816 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12440] ppid=12422 vsize=14090948 memory=66144 CPUtime=1.09 cores=1,3,5,7
/proc/12425/task/12440/stat : 12440 (java) S 12422 12425 12120 0 -1 1077944384 738 0 0 0 53 56 0 0 20 0 15 0 243370420 14429130752 255040 33554432000 4194304 4196468 140721862299936 140433272289840 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
Current children cumulated CPU time: 2406.5 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1020160 KiB
[startup+2442.3 s]
/proc/loadavg: 1.58 1.47 1.31 3/215 12537
/proc/meminfo: memFree=23512912/32770624 swapFree=67108524/67108860
[pid=12425] ppid=12422 vsize=14090948 memory=1024256 CPUtime=2467.11 cores=1,3,5,7
/proc/12425/stat : 12425 (java) S 12422 12425 12120 0 -1 1077944320 128541 0 0 0 246460 251 0 0 20 0 15 0 243370414 14429130752 256064 33554432000 4194304 4196468 140721862299936 140721862282480 140433806302967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
/proc/12425/statm: 3522737 256064 3592 1 0 3484809 0
[pid=12425/tid=12427] ppid=12422 vsize=14090948 memory=1024256 CPUtime=2426.08 cores=1,3,5,7
/proc/12425/task/12427/stat : 12427 (java) R 12422 12425 12120 0 -1 4202560 48931 0 0 0 242573 35 0 0 20 0 15 0 243370415 14429130752 256064 33554432000 4194304 4196468 140721862299936 140433810541024 140433446438613 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12428] ppid=12422 vsize=14090948 memory=1024256 CPUtime=7.26 cores=1,3,5,7
/proc/12425/task/12428/stat : 12428 (java) S 12422 12425 12120 0 -1 1077944384 11719 0 0 0 688 38 0 0 20 0 15 0 243370416 14429130752 256064 33554432000 4194304 4196468 140721862299936 140433758923792 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12429] ppid=12422 vsize=14090948 memory=1024256 CPUtime=7.3 cores=1,3,5,7
/proc/12425/task/12429/stat : 12429 (java) S 12422 12425 12120 0 -1 1077944384 12240 0 0 0 688 42 0 0 20 0 15 0 243370416 14429130752 256064 33554432000 4194304 4196468 140721862299936 140433757871248 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12430] ppid=12422 vsize=14090948 memory=1024256 CPUtime=7.29 cores=1,3,5,7
/proc/12425/task/12430/stat : 12430 (java) S 12422 12425 12120 0 -1 1077944384 13073 0 0 0 692 37 0 0 20 0 15 0 243370416 14429130752 256064 33554432000 4194304 4196468 140721862299936 140433756818192 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12431] ppid=12422 vsize=14090948 memory=1024256 CPUtime=7.28 cores=1,3,5,7
/proc/12425/task/12431/stat : 12431 (java) S 12422 12425 12120 0 -1 1077944384 11103 0 0 0 686 42 0 0 20 0 15 0 243370416 14429130752 256064 33554432000 4194304 4196468 140721862299936 140433755765648 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12432] ppid=12422 vsize=14090948 memory=1024256 CPUtime=5.09 cores=1,3,5,7
/proc/12425/task/12432/stat : 12432 (java) S 12422 12425 12120 0 -1 1077944384 10095 0 0 0 472 37 0 0 20 0 15 0 243370417 14429130752 256064 33554432000 4194304 4196468 140721862299936 140433280710896 140433806314114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12433] ppid=12422 vsize=14090948 memory=1024256 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12433/stat : 12433 (java) S 12422 12425 12120 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 243370417 14429130752 256064 33554432000 4194304 4196468 140721862299936 140433279657184 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12434] ppid=12422 vsize=14090948 memory=1020160 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12434/stat : 12434 (java) S 12422 12425 12120 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 243370418 14429130752 256064 33554432000 4194304 4196468 140721862299936 140433278604032 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12435] ppid=12422 vsize=14090948 memory=1024256 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12435/stat : 12435 (java) S 12422 12425 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243370420 14429130752 256064 33554432000 4194304 4196468 140721862299936 140433277552592 140433806321563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12436] ppid=12422 vsize=14090948 memory=6791534058613427641 CPUtime=2.21 cores=1,3,5,7
/proc/12425/task/12436/stat : 12436 (java) S 12422 12425 12120 0 -1 1077944384 4021 0 0 0 220 1 0 0 20 0 15 0 243370420 14429130752 256064 33554432000 4194304 4196468 140721862299936 140433276500720 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12437] ppid=12422 vsize=14090948 memory=804 CPUtime=2.33 cores=1,3,5,7
/proc/12425/task/12437/stat : 12437 (java) S 12422 12425 12120 0 -1 1077944384 7145 0 0 0 232 1 0 0 20 0 15 0 243370420 14429130752 256064 33554432000 4194304 4196468 140721862299936 140433275448176 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12438] ppid=12422 vsize=14090948 memory=3712 CPUtime=1.02 cores=1,3,5,7
/proc/12425/task/12438/stat : 12438 (java) S 12422 12425 12120 0 -1 1077944384 8020 0 0 0 101 1 0 0 20 0 15 0 243370420 14429130752 256064 33554432000 4194304 4196468 140721862299936 140433274395120 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12439] ppid=12422 vsize=14090948 memory=66144 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12439/stat : 12439 (java) S 12422 12425 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243370420 14429130752 256064 33554432000 4194304 4196468 140721862299936 140433273342816 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12440] ppid=12422 vsize=14090948 memory=6791534058613427641 CPUtime=1.12 cores=1,3,5,7
/proc/12425/task/12440/stat : 12440 (java) S 12422 12425 12120 0 -1 1077944384 752 0 0 0 55 57 0 0 20 0 15 0 243370420 14429130752 256064 33554432000 4194304 4196468 140721862299936 140433272289840 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
Current children cumulated CPU time: 2467.11 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1024256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2494.7 s]
/proc/loadavg: 1.49 1.47 1.32 3/215 12690
/proc/meminfo: memFree=23636784/32770624 swapFree=67108524/67108860
[pid=12425] ppid=12422 vsize=14090948 memory=1028352 CPUtime=2520.04 cores=1,3,5,7
/proc/12425/stat : 12425 (java) S 12422 12425 12120 0 -1 1077944320 129426 0 0 0 251748 256 0 0 20 0 15 0 243370414 14429130752 257088 33554432000 4194304 4196468 140721862299936 140721862282480 140433806302967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
/proc/12425/statm: 3522737 257088 3592 1 0 3484809 0
[pid=12425/tid=12427] ppid=12422 vsize=14090948 memory=1028352 CPUtime=2478.07 cores=1,3,5,7
/proc/12425/task/12427/stat : 12427 (java) R 12422 12425 12120 0 -1 4202560 49394 0 0 0 247771 36 0 0 20 0 15 0 243370415 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433810541312 140433446786449 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12428] ppid=12422 vsize=14090948 memory=1028352 CPUtime=7.47 cores=1,3,5,7
/proc/12425/task/12428/stat : 12428 (java) S 12422 12425 12120 0 -1 1077944384 11804 0 0 0 708 39 0 0 20 0 15 0 243370416 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433758923792 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12429] ppid=12422 vsize=14090948 memory=1028352 CPUtime=7.51 cores=1,3,5,7
/proc/12425/task/12429/stat : 12429 (java) S 12422 12425 12120 0 -1 1077944384 12342 0 0 0 708 43 0 0 20 0 15 0 243370416 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433757871248 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12430] ppid=12422 vsize=14090948 memory=1028352 CPUtime=7.49 cores=1,3,5,7
/proc/12425/task/12430/stat : 12430 (java) S 12422 12425 12120 0 -1 1077944384 13121 0 0 0 711 38 0 0 20 0 15 0 243370416 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433756818192 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12431] ppid=12422 vsize=14090948 memory=1011968 CPUtime=7.47 cores=1,3,5,7
/proc/12425/task/12431/stat : 12431 (java) S 12422 12425 12120 0 -1 1077944384 11121 0 0 0 705 42 0 0 20 0 15 0 243370416 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433755765648 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12432] ppid=12422 vsize=14090948 memory=1028352 CPUtime=5.21 cores=1,3,5,7
/proc/12425/task/12432/stat : 12432 (java) S 12422 12425 12120 0 -1 1077944384 10254 0 0 0 483 38 0 0 20 0 15 0 243370417 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433280710896 140433806314114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12433] ppid=12422 vsize=14090948 memory=1028352 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12433/stat : 12433 (java) S 12422 12425 12120 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 243370417 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433279657184 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12434] ppid=12422 vsize=14090948 memory=1028352 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12434/stat : 12434 (java) S 12422 12425 12120 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 243370418 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433278604032 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12435] ppid=12422 vsize=14090948 memory=1026304 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12435/stat : 12435 (java) S 12422 12425 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243370420 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433277552592 140433806321563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12436] ppid=12422 vsize=14090948 memory=2072 CPUtime=2.21 cores=1,3,5,7
/proc/12425/task/12436/stat : 12436 (java) S 12422 12425 12120 0 -1 1077944384 4021 0 0 0 220 1 0 0 20 0 15 0 243370420 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433276500720 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12437] ppid=12422 vsize=14090948 memory=1026304 CPUtime=2.33 cores=1,3,5,7
/proc/12425/task/12437/stat : 12437 (java) S 12422 12425 12120 0 -1 1077944384 7145 0 0 0 232 1 0 0 20 0 15 0 243370420 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433275448176 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12438] ppid=12422 vsize=14090948 memory=1028352 CPUtime=1.02 cores=1,3,5,7
/proc/12425/task/12438/stat : 12438 (java) S 12422 12425 12120 0 -1 1077944384 8020 0 0 0 101 1 0 0 20 0 15 0 243370420 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433274395120 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12439] ppid=12422 vsize=14090948 memory=3712 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12439/stat : 12439 (java) S 12422 12425 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243370420 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433273342816 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12440] ppid=12422 vsize=14090948 memory=1740 CPUtime=1.14 cores=1,3,5,7
/proc/12425/task/12440/stat : 12440 (java) S 12422 12425 12120 0 -1 1077944384 762 0 0 0 55 59 0 0 20 0 15 0 243370420 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433272289840 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1028352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2494.72 s]
# the end of solver process 12425 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.5 s, system=2.57423 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2494.7 s]
/proc/loadavg: 1.49 1.47 1.32 3/215 12690
/proc/meminfo: memFree=23636784/32770624 swapFree=67108524/67108860
[pid=12425] ppid=12422 vsize=14090948 memory=1028352 CPUtime=2520.04 cores=1,3,5,7
/proc/12425/stat : 12425 (java) S 12422 12425 12120 0 -1 1077944320 129426 0 0 0 251748 256 0 0 20 0 15 0 243370414 14429130752 257088 33554432000 4194304 4196468 140721862299936 140721862282480 140433806302967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
/proc/12425/statm: 3522737 257088 3592 1 0 3484809 0
[pid=12425/tid=12427] ppid=12422 vsize=14090948 memory=1028352 CPUtime=2478.07 cores=1,3,5,7
/proc/12425/task/12427/stat : 12427 (java) R 12422 12425 12120 0 -1 4202560 49394 0 0 0 247771 36 0 0 20 0 15 0 243370415 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433810541312 140433446786449 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12428] ppid=12422 vsize=14090948 memory=1028352 CPUtime=7.47 cores=1,3,5,7
/proc/12425/task/12428/stat : 12428 (java) S 12422 12425 12120 0 -1 1077944384 11804 0 0 0 708 39 0 0 20 0 15 0 243370416 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433758923792 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12429] ppid=12422 vsize=14090948 memory=1028352 CPUtime=7.51 cores=1,3,5,7
/proc/12425/task/12429/stat : 12429 (java) S 12422 12425 12120 0 -1 1077944384 12342 0 0 0 708 43 0 0 20 0 15 0 243370416 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433757871248 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12430] ppid=12422 vsize=14090948 memory=1028352 CPUtime=7.49 cores=1,3,5,7
/proc/12425/task/12430/stat : 12430 (java) S 12422 12425 12120 0 -1 1077944384 13121 0 0 0 711 38 0 0 20 0 15 0 243370416 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433756818192 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12431] ppid=12422 vsize=14090948 memory=1011968 CPUtime=7.47 cores=1,3,5,7
/proc/12425/task/12431/stat : 12431 (java) S 12422 12425 12120 0 -1 1077944384 11121 0 0 0 705 42 0 0 20 0 15 0 243370416 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433755765648 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12432] ppid=12422 vsize=14090948 memory=1028352 CPUtime=5.21 cores=1,3,5,7
/proc/12425/task/12432/stat : 12432 (java) S 12422 12425 12120 0 -1 1077944384 10254 0 0 0 483 38 0 0 20 0 15 0 243370417 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433280710896 140433806314114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12433] ppid=12422 vsize=14090948 memory=1028352 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12433/stat : 12433 (java) S 12422 12425 12120 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 243370417 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433279657184 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12434] ppid=12422 vsize=14090948 memory=1028352 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12434/stat : 12434 (java) S 12422 12425 12120 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 243370418 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433278604032 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12435] ppid=12422 vsize=14090948 memory=1026304 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12435/stat : 12435 (java) S 12422 12425 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243370420 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433277552592 140433806321563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12436] ppid=12422 vsize=14090948 memory=2072 CPUtime=2.21 cores=1,3,5,7
/proc/12425/task/12436/stat : 12436 (java) S 12422 12425 12120 0 -1 1077944384 4021 0 0 0 220 1 0 0 20 0 15 0 243370420 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433276500720 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12437] ppid=12422 vsize=14090948 memory=1026304 CPUtime=2.33 cores=1,3,5,7
/proc/12425/task/12437/stat : 12437 (java) S 12422 12425 12120 0 -1 1077944384 7145 0 0 0 232 1 0 0 20 0 15 0 243370420 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433275448176 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12438] ppid=12422 vsize=14090948 memory=1028352 CPUtime=1.02 cores=1,3,5,7
/proc/12425/task/12438/stat : 12438 (java) S 12422 12425 12120 0 -1 1077944384 8020 0 0 0 101 1 0 0 20 0 15 0 243370420 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433274395120 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12439] ppid=12422 vsize=14090948 memory=3712 CPUtime=0 cores=1,3,5,7
/proc/12425/task/12439/stat : 12439 (java) S 12422 12425 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243370420 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433273342816 140433806313173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
[pid=12425/tid=12440] ppid=12422 vsize=14090948 memory=1740 CPUtime=1.14 cores=1,3,5,7
/proc/12425/task/12440/stat : 12440 (java) S 12422 12425 12120 0 -1 1077944384 762 0 0 0 55 59 0 0 20 0 15 0 243370420 14429130752 257088 33554432000 4194304 4196468 140721862299936 140433272289840 140433806314114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 24297472 140721862308944 140721862309129 140721862309129 140721862311887 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1028352 KiB
Child status: 143
Real time (s): 2494.72
CPU time (s): 2520.07
CPU user time (s): 2517.5
CPU system time (s): 2.57423
CPU usage (%): 101.016
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 1180556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.5
system time used= 2.57423
maximum resident set size= 1183180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129699
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 192551
involuntary context switches= 6552
# summary of solver processes directly reported to runsolver:
# pid: 12425
# total CPU time (s): 2520.07
# total CPU user time (s): 2517.5
# total CPU system time (s): 2.57423
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7191 second user time and 23.6227 second system time
The end