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 (7144 MiB free)
memory of node 1: 16384 MiB (15501 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294281-1532599550/watcher-4294281-1532599550 -o /tmp/evaluation-result-4294281-1532599550/solver-4294281-1532599550 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532594593-7269 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=2138563557 -superng HOME/instance-4294281-1532599550.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8200, runsolver pid=8197
Current StackSize limit: 8192 KiB
[startup+0.100941 s]*
/proc/loadavg: 1.62 1.58 1.45 2/206 8257
/proc/meminfo: memFree=23181596/32770624 swapFree=67076928/67108860
[pid=8200] ppid=8197 vsize=9972712 memory=16280 CPUtime=0.08 cores=1,3,5,7
/proc/8200/stat : 8200 (java) S 8197 8200 5667 0 -1 1077944320 4204 13022 0 0 0 1 5 2 20 0 6 0 77518201 10212057088 4070 33554432000 4194304 4196468 140726169870240 140726169852784 140199252459255 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
/proc/8200/statm: 2493178 4070 1918 1 0 2481616 0
[pid=8200/tid=8253] ppid=8197 vsize=9972712 memory=-8457887388494249927 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8253/stat : 8253 (java) R 8197 8200 5667 0 -1 4202560 2037 13022 0 0 0 0 5 2 20 0 6 0 77518210 10212057088 4070 33554432000 4194304 4196468 140726169870240 140199224296016 140199252481181 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8254] ppid=8197 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8254/stat : 8254 (java) S 8197 8200 5667 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 6 0 77518211 10212057088 4070 33554432000 4194304 4196468 140726169870240 140199256702096 140199252469461 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8255] ppid=8197 vsize=9972712 memory=140122909263488 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8255/stat : 8255 (java) S 8197 8200 5667 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 6 0 77518211 10212057088 4070 33554432000 4194304 4196468 140726169870240 140199144975376 140199252469461 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8256] ppid=8197 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8256/stat : 8256 (java) S 8197 8200 5667 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 6 0 77518211 10212057088 4070 33554432000 4194304 4196468 140726169870240 140199143922576 140199252469461 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8257] ppid=8197 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8257/stat : 8257 (java) S 8197 8200 5667 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 6 0 77518211 10212057088 4070 33554432000 4194304 4196468 140726169870240 140199142869776 140199252469461 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16280 KiB
[startup+0.209959 s]*
/proc/loadavg: 1.62 1.58 1.45 3/215 8266
/proc/meminfo: memFree=23164448/32770624 swapFree=67076928/67108860
[pid=8200] ppid=8197 vsize=10818904 memory=39960 CPUtime=0.24 cores=1,3,5,7
/proc/8200/stat : 8200 (java) S 8197 8200 5667 0 -1 1077944320 7738 13022 0 0 15 2 5 2 20 0 15 0 77518201 11078557696 9990 33554432000 4194304 4196468 140726169870240 140726169852784 140199252459255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
/proc/8200/statm: 2704726 9990 2967 1 0 2667149 0
[pid=8200/tid=8253] ppid=8197 vsize=10818904 memory=7022364594140610616 CPUtime=0.17 cores=1,3,5,7
/proc/8200/task/8253/stat : 8253 (java) R 8197 8200 5667 0 -1 4202560 4540 13022 0 0 9 1 5 2 20 0 15 0 77518210 11078557696 10188 33554432000 4194304 4196468 140726169870240 140199224256176 140199232735015 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8254] ppid=8197 vsize=10818904 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8254/stat : 8254 (java) S 8197 8200 5667 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 77518211 11078557696 10188 33554432000 4194304 4196468 140726169870240 140199256702096 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8255] ppid=8197 vsize=10818904 memory=140122909285769 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8255/stat : 8255 (java) S 8197 8200 5667 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 77518211 11078557696 10188 33554432000 4194304 4196468 140726169870240 140199144975376 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8256] ppid=8197 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8256/stat : 8256 (java) S 8197 8200 5667 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 77518211 11078557696 10188 33554432000 4194304 4196468 140726169870240 140199143922576 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8257] ppid=8197 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8257/stat : 8257 (java) S 8197 8200 5667 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 77518211 11078557696 10188 33554432000 4194304 4196468 140726169870240 140199142869776 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8258] ppid=8197 vsize=10818904 memory=140122909263488 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8258/stat : 8258 (java) S 8197 8200 5667 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 77518213 11078557696 10188 33554432000 4194304 4196468 140726169870240 140198255724912 140199252470402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8259] ppid=8197 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8259/stat : 8259 (java) S 8197 8200 5667 0 -1 1077944384 33 13022 0 0 0 0 5 2 20 0 15 0 77518213 11078557696 10188 33554432000 4194304 4196468 140726169870240 140198254670880 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8260] ppid=8197 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8260/stat : 8260 (java) S 8197 8200 5667 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 77518213 11078557696 10188 33554432000 4194304 4196468 140726169870240 140198134408048 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8261] ppid=8197 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8261/stat : 8261 (java) S 8197 8200 5667 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 77518216 11078557696 10254 33554432000 4194304 4196468 140726169870240 140197827008336 140199252477851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8262] ppid=8197 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8200/task/8262/stat : 8262 (java) S 8197 8200 5667 0 -1 1077944384 500 13022 0 0 1 0 5 2 20 0 15 0 77518216 11078557696 10254 33554432000 4194304 4196468 140726169870240 140198221114224 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8263] ppid=8197 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8200/task/8263/stat : 8263 (java) S 8197 8200 5667 0 -1 1077944384 89 13022 0 0 1 0 5 2 20 0 15 0 77518216 11078557696 10254 33554432000 4194304 4196468 140726169870240 140198220061424 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8264] ppid=8197 vsize=10818904 memory=140122909263488 CPUtime=0.1 cores=1,3,5,7
/proc/8200/task/8264/stat : 8264 (java) S 8197 8200 5667 0 -1 1077944384 545 13022 0 0 3 0 5 2 20 0 15 0 77518216 11078557696 10254 33554432000 4194304 4196468 140726169870240 140198219008624 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8265] ppid=8197 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8265/stat : 8265 (java) S 8197 8200 5667 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 77518216 11078557696 10254 33554432000 4194304 4196468 140726169870240 140197793450720 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8266] ppid=8197 vsize=10818904 memory=140122909263488 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8266/stat : 8266 (java) S 8197 8200 5667 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 77518216 11078557696 10254 33554432000 4194304 4196468 140726169870240 140198217956016 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 39960 KiB
[startup+0.310378 s]*
/proc/loadavg: 1.62 1.58 1.45 3/215 8266
/proc/meminfo: memFree=23152540/32770624 swapFree=67076928/67108860
[pid=8200] ppid=8197 vsize=10819352 memory=51944 CPUtime=0.37 cores=1,3,5,7
/proc/8200/stat : 8200 (java) S 8197 8200 5667 0 -1 1077944320 10562 13022 0 0 27 3 5 2 20 0 15 0 77518201 11079016448 12986 33554432000 4194304 4196468 140726169870240 140726169852784 140199252459255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
/proc/8200/statm: 2704838 12986 3086 1 0 2667149 0
[pid=8200/tid=8253] ppid=8197 vsize=10819352 memory=8112282956445269571 CPUtime=0.27 cores=1,3,5,7
/proc/8200/task/8253/stat : 8253 (java) R 8197 8200 5667 0 -1 4202560 7177 13022 0 0 18 2 5 2 20 0 15 0 77518210 11079016448 12986 33554432000 4194304 4196468 140726169870240 140199224271264 140199234022830 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8254] ppid=8197 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8254/stat : 8254 (java) S 8197 8200 5667 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 77518211 11079016448 12986 33554432000 4194304 4196468 140726169870240 140199256702096 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8255] ppid=8197 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8255/stat : 8255 (java) S 8197 8200 5667 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 77518211 11079016448 12986 33554432000 4194304 4196468 140726169870240 140199144975376 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8256] ppid=8197 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8256/stat : 8256 (java) S 8197 8200 5667 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 77518211 11079016448 12986 33554432000 4194304 4196468 140726169870240 140199143922576 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8257] ppid=8197 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8257/stat : 8257 (java) S 8197 8200 5667 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 77518211 11079016448 12986 33554432000 4194304 4196468 140726169870240 140199142869776 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8258] ppid=8197 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8258/stat : 8258 (java) S 8197 8200 5667 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 77518213 11079016448 12986 33554432000 4194304 4196468 140726169870240 140198255724912 140199252470402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8259] ppid=8197 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8259/stat : 8259 (java) S 8197 8200 5667 0 -1 1077944384 33 13022 0 0 0 0 5 2 20 0 15 0 77518213 11079016448 12986 33554432000 4194304 4196468 140726169870240 140198254670880 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8260] ppid=8197 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8260/stat : 8260 (java) S 8197 8200 5667 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 77518213 11079016448 12986 33554432000 4194304 4196468 140726169870240 140198134408048 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8261] ppid=8197 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8261/stat : 8261 (java) S 8197 8200 5667 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 77518216 11079016448 12986 33554432000 4194304 4196468 140726169870240 140197827008336 140199252477851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8262] ppid=8197 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8200/task/8262/stat : 8262 (java) S 8197 8200 5667 0 -1 1077944384 500 13022 0 0 1 0 5 2 20 0 15 0 77518216 11079016448 12986 33554432000 4194304 4196468 140726169870240 140198221114224 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8263] ppid=8197 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8200/task/8263/stat : 8263 (java) S 8197 8200 5667 0 -1 1077944384 90 13022 0 0 1 0 5 2 20 0 15 0 77518216 11079016448 12986 33554432000 4194304 4196468 140726169870240 140198220061424 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8264] ppid=8197 vsize=10819352 memory=140122909263488 CPUtime=0.11 cores=1,3,5,7
/proc/8200/task/8264/stat : 8264 (java) S 8197 8200 5667 0 -1 1077944384 554 13022 0 0 4 0 5 2 20 0 15 0 77518216 11079016448 12986 33554432000 4194304 4196468 140726169870240 140198219008624 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8265] ppid=8197 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8265/stat : 8265 (java) S 8197 8200 5667 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 77518216 11079016448 12986 33554432000 4194304 4196468 140726169870240 140197793450720 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8266] ppid=8197 vsize=10819352 memory=140122909263488 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8266/stat : 8266 (java) S 8197 8200 5667 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 77518216 11079016448 12986 33554432000 4194304 4196468 140726169870240 140198217956016 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51944 KiB
[startup+0.700726 s]
/proc/loadavg: 1.62 1.58 1.45 4/215 8266
/proc/meminfo: memFree=23140880/32770624 swapFree=67076928/67108860
[pid=8200] ppid=8197 vsize=10819352 memory=84232 CPUtime=0.97 cores=1,3,5,7
/proc/8200/stat : 8200 (java) S 8197 8200 5667 0 -1 1077944320 16743 13022 0 0 85 5 5 2 20 0 15 0 77518201 11079016448 21058 33554432000 4194304 4196468 140726169870240 140726169852784 140199252459255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
/proc/8200/statm: 2704838 21058 3238 1 0 2667149 0
[pid=8200/tid=8253] ppid=8197 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/8200/task/8253/stat : 8253 (java) R 8197 8200 5667 0 -1 1077944384 12290 13022 0 0 55 4 5 2 20 0 15 0 77518210 11079016448 21058 33554432000 4194304 4196468 140726169870240 140199224280080 140199252469461 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8254] ppid=8197 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8254/stat : 8254 (java) S 8197 8200 5667 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 77518211 11079016448 21058 33554432000 4194304 4196468 140726169870240 140199256702096 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8255] ppid=8197 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8255/stat : 8255 (java) S 8197 8200 5667 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 77518211 11079016448 21058 33554432000 4194304 4196468 140726169870240 140199144975376 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8256] ppid=8197 vsize=10819352 memory=140122771305232 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8256/stat : 8256 (java) S 8197 8200 5667 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 77518211 11079016448 21058 33554432000 4194304 4196468 140726169870240 140199143922576 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8257] ppid=8197 vsize=10819352 memory=140123308032585 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8257/stat : 8257 (java) S 8197 8200 5667 0 -1 1077944384 2 13022 0 0 0 0 5 2 20 0 15 0 77518211 11079016448 21058 33554432000 4194304 4196468 140726169870240 140199142869776 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8258] ppid=8197 vsize=10819352 memory=796 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8258/stat : 8258 (java) S 8197 8200 5667 0 -1 1077944384 5 13022 0 0 0 0 5 2 20 0 15 0 77518213 11079016448 21058 33554432000 4194304 4196468 140726169870240 140198255724912 140199252470402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8259] ppid=8197 vsize=10819352 memory=7014751519650764113 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8259/stat : 8259 (java) S 8197 8200 5667 0 -1 1077944384 33 13022 0 0 0 0 5 2 20 0 15 0 77518213 11079016448 21058 33554432000 4194304 4196468 140726169870240 140198254670880 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8260] ppid=8197 vsize=10819352 memory=7597123233646858610 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8260/stat : 8260 (java) S 8197 8200 5667 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 77518213 11079016448 21058 33554432000 4194304 4196468 140726169870240 140198134408048 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8261] ppid=8197 vsize=10819352 memory=3604 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8261/stat : 8261 (java) S 8197 8200 5667 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 77518216 11079016448 21058 33554432000 4194304 4196468 140726169870240 140197827008336 140199252477851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8262] ppid=8197 vsize=10819352 memory=10760 CPUtime=0.16 cores=1,3,5,7
/proc/8200/task/8262/stat : 8262 (java) S 8197 8200 5667 0 -1 1077944384 1136 13022 0 0 9 0 5 2 20 0 15 0 77518216 11079016448 21058 33554432000 4194304 4196468 140726169870240 140198221114224 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8263] ppid=8197 vsize=10819352 memory=15128 CPUtime=0.14 cores=1,3,5,7
/proc/8200/task/8263/stat : 8263 (java) S 8197 8200 5667 0 -1 1077944384 447 13022 0 0 7 0 5 2 20 0 15 0 77518216 11079016448 21058 33554432000 4194304 4196468 140726169870240 140198220061424 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8264] ppid=8197 vsize=10819352 memory=640 CPUtime=0.19 cores=1,3,5,7
/proc/8200/task/8264/stat : 8264 (java) S 8197 8200 5667 0 -1 1077944384 626 13022 0 0 12 0 5 2 20 0 15 0 77518216 11079016448 21058 33554432000 4194304 4196468 140726169870240 140198219008624 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8265] ppid=8197 vsize=10819352 memory=1760 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8265/stat : 8265 (java) S 8197 8200 5667 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 77518216 11079016448 21058 33554432000 4194304 4196468 140726169870240 140197793450720 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8266] ppid=8197 vsize=10819352 memory=960 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8266/stat : 8266 (java) S 8197 8200 5667 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 77518216 11079016448 21058 33554432000 4194304 4196468 140726169870240 140198217956016 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84232 KiB
[startup+1.50517 s]
/proc/loadavg: 1.62 1.58 1.45 3/215 8266
/proc/meminfo: memFree=23094984/32770624 swapFree=67076928/67108860
[pid=8200] ppid=8197 vsize=10832204 memory=176288 CPUtime=2.85 cores=1,3,5,7
/proc/8200/stat : 8200 (java) S 8197 8200 5667 0 -1 1077944320 24541 13022 0 0 268 10 5 2 20 0 15 0 77518201 11092176896 44072 33554432000 4194304 4196468 140726169870240 140726169852784 140199252459255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
/proc/8200/statm: 2708051 44072 3450 1 0 2669709 0
[pid=8200/tid=8253] ppid=8197 vsize=10832204 memory=60764 CPUtime=1.45 cores=1,3,5,7
/proc/8200/task/8253/stat : 8253 (java) S 8197 8200 5667 0 -1 1077944384 16969 13022 0 0 131 7 5 2 20 0 15 0 77518210 11092176896 44072 33554432000 4194304 4196468 140726169870240 140199224274464 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8254] ppid=8197 vsize=10832204 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8254/stat : 8254 (java) S 8197 8200 5667 0 -1 1077944384 13 13022 0 0 0 0 5 2 20 0 15 0 77518211 11092176896 44072 33554432000 4194304 4196468 140726169870240 140199256702096 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8255] ppid=8197 vsize=10832204 memory=280245542641824 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8255/stat : 8255 (java) S 8197 8200 5667 0 -1 1077944384 7 13022 0 0 0 0 5 2 20 0 15 0 77518211 11092176896 44072 33554432000 4194304 4196468 140726169870240 140199144975376 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8256] ppid=8197 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8256/stat : 8256 (java) S 8197 8200 5667 0 -1 1077944384 145 13022 0 0 0 0 5 2 20 0 15 0 77518211 11092176896 44072 33554432000 4194304 4196468 140726169870240 140199143922576 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8257] ppid=8197 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8257/stat : 8257 (java) S 8197 8200 5667 0 -1 1077944384 49 13022 0 0 0 0 5 2 20 0 15 0 77518211 11092176896 44072 33554432000 4194304 4196468 140726169870240 140199142869776 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8258] ppid=8197 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8258/stat : 8258 (java) R 8197 8200 5667 0 -1 4202560 21 13022 0 0 0 0 5 2 20 0 15 0 77518213 11092176896 44072 33554432000 4194304 4196468 140726169870240 140198255723392 140199252480602 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8259] ppid=8197 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8259/stat : 8259 (java) S 8197 8200 5667 0 -1 1077944384 33 13022 0 0 0 0 5 2 20 0 15 0 77518213 11092176896 44072 33554432000 4194304 4196468 140726169870240 140198254670880 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8260] ppid=8197 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8260/stat : 8260 (java) S 8197 8200 5667 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 77518213 11092176896 44072 33554432000 4194304 4196468 140726169870240 140198134408048 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8261] ppid=8197 vsize=10832204 memory=-2746958450906831424 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8261/stat : 8261 (java) S 8197 8200 5667 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 77518216 11092176896 44072 33554432000 4194304 4196468 140726169870240 140197827008336 140199252477851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8262] ppid=8197 vsize=10832204 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/8200/task/8262/stat : 8262 (java) S 8197 8200 5667 0 -1 1077944384 2355 13022 0 0 50 0 5 2 20 0 15 0 77518216 11092176896 44072 33554432000 4194304 4196468 140726169870240 140198221114224 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8263] ppid=8197 vsize=10832204 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/8200/task/8263/stat : 8263 (java) S 8197 8200 5667 0 -1 1077944384 1253 13022 0 0 42 0 5 2 20 0 15 0 77518216 11092176896 44072 33554432000 4194304 4196468 140726169870240 140198220061424 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8264] ppid=8197 vsize=10832204 memory=8112282956445269571 CPUtime=0.5 cores=1,3,5,7
/proc/8200/task/8264/stat : 8264 (java) S 8197 8200 5667 0 -1 1077944384 1496 13022 0 0 43 0 5 2 20 0 15 0 77518216 11092176896 44072 33554432000 4194304 4196468 140726169870240 140198219008624 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8265] ppid=8197 vsize=10832204 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8265/stat : 8265 (java) S 8197 8200 5667 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 77518216 11092176896 44072 33554432000 4194304 4196468 140726169870240 140197793450720 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8266] ppid=8197 vsize=10832204 memory=280245542886336 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8266/stat : 8266 (java) S 8197 8200 5667 0 -1 1077944384 1 13022 0 0 0 0 5 2 20 0 15 0 77518216 11092176896 44072 33554432000 4194304 4196468 140726169870240 140198217956016 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 10832204 KiB
################
# More data... #
################
/proc/8200/task/8253/stat : 8253 (java) R 8197 8200 5667 0 -1 4202560 220211 13022 0 0 228505 71 5 2 20 0 15 0 77518210 11111071744 1701093 33554432000 4194304 4196468 140726169870240 140199224293072 140198831121460 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8254] ppid=8197 vsize=10850656 memory=6804364 CPUtime=35.23 cores=1,3,5,7
/proc/8200/task/8254/stat : 8254 (java) S 8197 8200 5667 0 -1 1077944384 75754 13022 0 0 3390 126 5 2 20 0 15 0 77518211 11111071744 1701093 33554432000 4194304 4196468 140726169870240 140199256702096 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8255] ppid=8197 vsize=10850656 memory=6804368 CPUtime=35.42 cores=1,3,5,7
/proc/8200/task/8255/stat : 8255 (java) S 8197 8200 5667 0 -1 1077944384 70767 13022 0 0 3406 129 5 2 20 0 15 0 77518211 11111071744 1701093 33554432000 4194304 4196468 140726169870240 140199144975376 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8256] ppid=8197 vsize=10850656 memory=6804360 CPUtime=35.31 cores=1,3,5,7
/proc/8200/task/8256/stat : 8256 (java) S 8197 8200 5667 0 -1 1077944384 79589 13022 0 0 3392 132 5 2 20 0 15 0 77518211 11111071744 1701093 33554432000 4194304 4196468 140726169870240 140199143922576 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8257] ppid=8197 vsize=10850656 memory=6804368 CPUtime=35.28 cores=1,3,5,7
/proc/8200/task/8257/stat : 8257 (java) S 8197 8200 5667 0 -1 1077944384 58332 13022 0 0 3390 131 5 2 20 0 15 0 77518211 11111071744 1701093 33554432000 4194304 4196468 140726169870240 140199142869776 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8258] ppid=8197 vsize=10850656 memory=6804372 CPUtime=0.92 cores=1,3,5,7
/proc/8200/task/8258/stat : 8258 (java) S 8197 8200 5667 0 -1 1077944384 73663 13022 0 0 75 10 5 2 20 0 15 0 77518213 11111071744 1701093 33554432000 4194304 4196468 140726169870240 140198255724912 140199252470402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8259] ppid=8197 vsize=10850656 memory=6804372 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8259/stat : 8259 (java) S 8197 8200 5667 0 -1 1077944384 47 13022 0 0 0 0 5 2 20 0 15 0 77518213 11111071744 1701093 33554432000 4194304 4196468 140726169870240 140198254671008 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8260] ppid=8197 vsize=10850656 memory=6804372 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8260/stat : 8260 (java) S 8197 8200 5667 0 -1 1077944384 19 13022 0 0 0 0 5 2 20 0 15 0 77518213 11111071744 1701093 33554432000 4194304 4196468 140726169870240 140198134408064 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8261] ppid=8197 vsize=10850656 memory=6804372 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8261/stat : 8261 (java) S 8197 8200 5667 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 77518216 11111071744 1701093 33554432000 4194304 4196468 140726169870240 140197827008336 140199252477851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8262] ppid=8197 vsize=10850656 memory=55 CPUtime=12.45 cores=1,3,5,7
/proc/8200/task/8262/stat : 8262 (java) S 8197 8200 5667 0 -1 1077944384 104224 13022 0 0 1227 11 5 2 20 0 15 0 77518216 11111071744 1701093 33554432000 4194304 4196468 140726169870240 140198221114224 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8263] ppid=8197 vsize=10850656 memory=6804372 CPUtime=12.72 cores=1,3,5,7
/proc/8200/task/8263/stat : 8263 (java) S 8197 8200 5667 0 -1 1077944384 103549 13022 0 0 1252 13 5 2 20 0 15 0 77518216 11111071744 1701093 33554432000 4194304 4196468 140726169870240 140198220061424 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8264] ppid=8197 vsize=10850656 memory=6804360 CPUtime=4.72 cores=1,3,5,7
/proc/8200/task/8264/stat : 8264 (java) S 8197 8200 5667 0 -1 1077944384 88480 13022 0 0 454 11 5 2 20 0 15 0 77518216 11111071744 1701093 33554432000 4194304 4196468 140726169870240 140198219008624 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8265] ppid=8197 vsize=10850656 memory=3544 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8265/stat : 8265 (java) S 8197 8200 5667 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 77518216 11111071744 1701093 33554432000 4194304 4196468 140726169870240 140197793450720 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8266] ppid=8197 vsize=10850656 memory=20280 CPUtime=1.36 cores=1,3,5,7
/proc/8200/task/8266/stat : 8266 (java) S 8197 8200 5667 0 -1 1077944384 2349 13022 0 0 58 71 5 2 20 0 15 0 77518216 11111071744 1701093 33554432000 4194304 4196468 140726169870240 140198217956016 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
Current children cumulated CPU time: 2458.72 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 6804372 KiB
[startup+2382.3 s]
/proc/loadavg: 1.84 1.91 1.78 3/215 8465
/proc/meminfo: memFree=14023632/32770624 swapFree=67076936/67108860
[pid=8200] ppid=8197 vsize=10850656 memory=6881240 CPUtime=2519.64 cores=1,3,5,7
/proc/8200/stat : 8200 (java) S 8197 8200 5667 0 -1 1077944320 888975 13022 0 0 251251 706 5 2 20 0 15 0 77518201 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140726169852784 140199252459255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
/proc/8200/statm: 2712664 1720310 3535 1 0 2674317 0
[pid=8200/tid=8253] ppid=8197 vsize=10850656 memory=6881240 CPUtime=2345.51 cores=1,3,5,7
/proc/8200/task/8253/stat : 8253 (java) R 8197 8200 5667 0 -1 4202560 225697 13022 0 0 234473 71 5 2 20 0 15 0 77518210 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140199224293264 140198836615884 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8254] ppid=8197 vsize=10850656 memory=6881240 CPUtime=35.54 cores=1,3,5,7
/proc/8200/task/8254/stat : 8254 (java) S 8197 8200 5667 0 -1 1077944384 76543 13022 0 0 3418 129 5 2 20 0 15 0 77518211 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140199256702096 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8255] ppid=8197 vsize=10850656 memory=6881240 CPUtime=35.71 cores=1,3,5,7
/proc/8200/task/8255/stat : 8255 (java) S 8197 8200 5667 0 -1 1077944384 71628 13022 0 0 3433 131 5 2 20 0 15 0 77518211 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140199144975376 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8256] ppid=8197 vsize=10850656 memory=6881240 CPUtime=35.6 cores=1,3,5,7
/proc/8200/task/8256/stat : 8256 (java) S 8197 8200 5667 0 -1 1077944384 80321 13022 0 0 3419 134 5 2 20 0 15 0 77518211 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140199143922576 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8257] ppid=8197 vsize=10850656 memory=6881240 CPUtime=35.58 cores=1,3,5,7
/proc/8200/task/8257/stat : 8257 (java) S 8197 8200 5667 0 -1 1077944384 60132 13022 0 0 3417 134 5 2 20 0 15 0 77518211 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140199142869776 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8258] ppid=8197 vsize=10850656 memory=6881240 CPUtime=0.93 cores=1,3,5,7
/proc/8200/task/8258/stat : 8258 (java) S 8197 8200 5667 0 -1 1077944384 73746 13022 0 0 76 10 5 2 20 0 15 0 77518213 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140198255724912 140199252470402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8259] ppid=8197 vsize=10850656 memory=6881240 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8259/stat : 8259 (java) S 8197 8200 5667 0 -1 1077944384 47 13022 0 0 0 0 5 2 20 0 15 0 77518213 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140198254671008 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8260] ppid=8197 vsize=10850656 memory=6881240 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8260/stat : 8260 (java) S 8197 8200 5667 0 -1 1077944384 19 13022 0 0 0 0 5 2 20 0 15 0 77518213 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140198134408064 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8261] ppid=8197 vsize=10850656 memory=6881240 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8261/stat : 8261 (java) S 8197 8200 5667 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 77518216 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140197827008336 140199252477851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8262] ppid=8197 vsize=10850656 memory=2160 CPUtime=12.45 cores=1,3,5,7
/proc/8200/task/8262/stat : 8262 (java) S 8197 8200 5667 0 -1 1077944384 104229 13022 0 0 1227 11 5 2 20 0 15 0 77518216 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140198221114224 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8263] ppid=8197 vsize=10850656 memory=6768 CPUtime=12.72 cores=1,3,5,7
/proc/8200/task/8263/stat : 8263 (java) S 8197 8200 5667 0 -1 1077944384 103556 13022 0 0 1252 13 5 2 20 0 15 0 77518216 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140198220061424 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8264] ppid=8197 vsize=10850656 memory=6881240 CPUtime=4.72 cores=1,3,5,7
/proc/8200/task/8264/stat : 8264 (java) S 8197 8200 5667 0 -1 1077944384 88484 13022 0 0 454 11 5 2 20 0 15 0 77518216 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140198219008624 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8265] ppid=8197 vsize=10850656 memory=6881240 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8265/stat : 8265 (java) S 8197 8200 5667 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 77518216 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140197793450720 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8266] ppid=8197 vsize=10850656 memory=6881240 CPUtime=1.4 cores=1,3,5,7
/proc/8200/task/8266/stat : 8266 (java) S 8197 8200 5667 0 -1 1077944384 2375 13022 0 0 60 73 5 2 20 0 15 0 77518216 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140198217956016 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
Current children cumulated CPU time: 2519.64 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 6881240 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2382.7 s]
/proc/loadavg: 1.84 1.91 1.78 3/215 8465
/proc/meminfo: memFree=14023632/32770624 swapFree=67076936/67108860
[pid=8200] ppid=8197 vsize=10850656 memory=6881240 CPUtime=2520.04 cores=1,3,5,7
/proc/8200/stat : 8200 (java) S 8197 8200 5667 0 -1 1077944320 889034 13022 0 0 251291 706 5 2 20 0 15 0 77518201 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140726169852784 140199252459255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
/proc/8200/statm: 2712664 1720310 3535 1 0 2674317 0
[pid=8200/tid=8253] ppid=8197 vsize=10850656 memory=6881240 CPUtime=2345.91 cores=1,3,5,7
/proc/8200/task/8253/stat : 8253 (java) R 8197 8200 5667 0 -1 4202560 225756 13022 0 0 234513 71 5 2 20 0 15 0 77518210 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140199224293264 140198848662033 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8254] ppid=8197 vsize=10850656 memory=6881240 CPUtime=35.54 cores=1,3,5,7
/proc/8200/task/8254/stat : 8254 (java) S 8197 8200 5667 0 -1 1077944384 76543 13022 0 0 3418 129 5 2 20 0 15 0 77518211 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140199256702096 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8255] ppid=8197 vsize=10850656 memory=6881240 CPUtime=35.71 cores=1,3,5,7
/proc/8200/task/8255/stat : 8255 (java) S 8197 8200 5667 0 -1 1077944384 71628 13022 0 0 3433 131 5 2 20 0 15 0 77518211 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140199144975376 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8256] ppid=8197 vsize=10850656 memory=6881240 CPUtime=35.6 cores=1,3,5,7
/proc/8200/task/8256/stat : 8256 (java) S 8197 8200 5667 0 -1 1077944384 80321 13022 0 0 3419 134 5 2 20 0 15 0 77518211 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140199143922576 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8257] ppid=8197 vsize=10850656 memory=6881240 CPUtime=35.58 cores=1,3,5,7
/proc/8200/task/8257/stat : 8257 (java) S 8197 8200 5667 0 -1 1077944384 60132 13022 0 0 3417 134 5 2 20 0 15 0 77518211 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140199142869776 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8258] ppid=8197 vsize=10850656 memory=6881240 CPUtime=0.93 cores=1,3,5,7
/proc/8200/task/8258/stat : 8258 (java) S 8197 8200 5667 0 -1 1077944384 73746 13022 0 0 76 10 5 2 20 0 15 0 77518213 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140198255724912 140199252470402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8259] ppid=8197 vsize=10850656 memory=6881240 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8259/stat : 8259 (java) S 8197 8200 5667 0 -1 1077944384 47 13022 0 0 0 0 5 2 20 0 15 0 77518213 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140198254671008 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8260] ppid=8197 vsize=10850656 memory=6881240 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8260/stat : 8260 (java) S 8197 8200 5667 0 -1 1077944384 19 13022 0 0 0 0 5 2 20 0 15 0 77518213 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140198134408064 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8261] ppid=8197 vsize=10850656 memory=6881240 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8261/stat : 8261 (java) S 8197 8200 5667 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 77518216 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140197827008336 140199252477851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8262] ppid=8197 vsize=10850656 memory=6881240 CPUtime=12.45 cores=1,3,5,7
/proc/8200/task/8262/stat : 8262 (java) S 8197 8200 5667 0 -1 1077944384 104229 13022 0 0 1227 11 5 2 20 0 15 0 77518216 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140198221114224 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8263] ppid=8197 vsize=10850656 memory=2160 CPUtime=12.72 cores=1,3,5,7
/proc/8200/task/8263/stat : 8263 (java) S 8197 8200 5667 0 -1 1077944384 103556 13022 0 0 1252 13 5 2 20 0 15 0 77518216 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140198220061424 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8264] ppid=8197 vsize=10850656 memory=6768 CPUtime=4.72 cores=1,3,5,7
/proc/8200/task/8264/stat : 8264 (java) S 8197 8200 5667 0 -1 1077944384 88484 13022 0 0 454 11 5 2 20 0 15 0 77518216 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140198219008624 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8265] ppid=8197 vsize=10850656 memory=6881240 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8265/stat : 8265 (java) S 8197 8200 5667 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 77518216 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140197793450720 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8266] ppid=8197 vsize=10850656 memory=6881240 CPUtime=1.4 cores=1,3,5,7
/proc/8200/task/8266/stat : 8266 (java) S 8197 8200 5667 0 -1 1077944384 2375 13022 0 0 60 73 5 2 20 0 15 0 77518216 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140198217956016 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 6881240 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2382.77 s]
# the end of solver process 8200 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.98 s, system=7.13709 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2382.7 s]
/proc/loadavg: 1.84 1.91 1.78 3/215 8465
/proc/meminfo: memFree=14023632/32770624 swapFree=67076936/67108860
[pid=8200] ppid=8197 vsize=10850656 memory=6881240 CPUtime=2520.04 cores=1,3,5,7
/proc/8200/stat : 8200 (java) S 8197 8200 5667 0 -1 1077944320 889034 13022 0 0 251291 706 5 2 20 0 15 0 77518201 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140726169852784 140199252459255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
/proc/8200/statm: 2712664 1720310 3535 1 0 2674317 0
[pid=8200/tid=8253] ppid=8197 vsize=10850656 memory=6881240 CPUtime=2345.91 cores=1,3,5,7
/proc/8200/task/8253/stat : 8253 (java) R 8197 8200 5667 0 -1 4202560 225756 13022 0 0 234513 71 5 2 20 0 15 0 77518210 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140199224293264 140198848662033 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8254] ppid=8197 vsize=10850656 memory=6881240 CPUtime=35.54 cores=1,3,5,7
/proc/8200/task/8254/stat : 8254 (java) S 8197 8200 5667 0 -1 1077944384 76543 13022 0 0 3418 129 5 2 20 0 15 0 77518211 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140199256702096 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8255] ppid=8197 vsize=10850656 memory=6881240 CPUtime=35.71 cores=1,3,5,7
/proc/8200/task/8255/stat : 8255 (java) S 8197 8200 5667 0 -1 1077944384 71628 13022 0 0 3433 131 5 2 20 0 15 0 77518211 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140199144975376 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8256] ppid=8197 vsize=10850656 memory=6881240 CPUtime=35.6 cores=1,3,5,7
/proc/8200/task/8256/stat : 8256 (java) S 8197 8200 5667 0 -1 1077944384 80321 13022 0 0 3419 134 5 2 20 0 15 0 77518211 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140199143922576 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8257] ppid=8197 vsize=10850656 memory=6881240 CPUtime=35.58 cores=1,3,5,7
/proc/8200/task/8257/stat : 8257 (java) S 8197 8200 5667 0 -1 1077944384 60132 13022 0 0 3417 134 5 2 20 0 15 0 77518211 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140199142869776 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8258] ppid=8197 vsize=10850656 memory=6881240 CPUtime=0.93 cores=1,3,5,7
/proc/8200/task/8258/stat : 8258 (java) S 8197 8200 5667 0 -1 1077944384 73746 13022 0 0 76 10 5 2 20 0 15 0 77518213 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140198255724912 140199252470402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8259] ppid=8197 vsize=10850656 memory=6881240 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8259/stat : 8259 (java) S 8197 8200 5667 0 -1 1077944384 47 13022 0 0 0 0 5 2 20 0 15 0 77518213 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140198254671008 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8260] ppid=8197 vsize=10850656 memory=6881240 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8260/stat : 8260 (java) S 8197 8200 5667 0 -1 1077944384 19 13022 0 0 0 0 5 2 20 0 15 0 77518213 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140198134408064 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8261] ppid=8197 vsize=10850656 memory=6881240 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8261/stat : 8261 (java) S 8197 8200 5667 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 77518216 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140197827008336 140199252477851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8262] ppid=8197 vsize=10850656 memory=6881240 CPUtime=12.45 cores=1,3,5,7
/proc/8200/task/8262/stat : 8262 (java) S 8197 8200 5667 0 -1 1077944384 104229 13022 0 0 1227 11 5 2 20 0 15 0 77518216 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140198221114224 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8263] ppid=8197 vsize=10850656 memory=2160 CPUtime=12.72 cores=1,3,5,7
/proc/8200/task/8263/stat : 8263 (java) S 8197 8200 5667 0 -1 1077944384 103556 13022 0 0 1252 13 5 2 20 0 15 0 77518216 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140198220061424 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8264] ppid=8197 vsize=10850656 memory=6768 CPUtime=4.72 cores=1,3,5,7
/proc/8200/task/8264/stat : 8264 (java) S 8197 8200 5667 0 -1 1077944384 88484 13022 0 0 454 11 5 2 20 0 15 0 77518216 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140198219008624 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8265] ppid=8197 vsize=10850656 memory=6881240 CPUtime=0.07 cores=1,3,5,7
/proc/8200/task/8265/stat : 8265 (java) S 8197 8200 5667 0 -1 1077944384 3 13022 0 0 0 0 5 2 20 0 15 0 77518216 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140197793450720 140199252469461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
[pid=8200/tid=8266] ppid=8197 vsize=10850656 memory=6881240 CPUtime=1.4 cores=1,3,5,7
/proc/8200/task/8266/stat : 8266 (java) S 8197 8200 5667 0 -1 1077944384 2375 13022 0 0 60 73 5 2 20 0 15 0 77518216 11111071744 1720310 33554432000 4194304 4196468 140726169870240 140198217956016 140199252470402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31621120 140726169872555 140726169875804 140726169875804 140726169878479 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 6881240 KiB
Child status: 143
Real time (s): 2382.77
CPU time (s): 2520.12
CPU user time (s): 2512.98
CPU system time (s): 7.13709
CPU usage (%): 105.764
Max. virtual memory (cumulated for all children) (KiB): 10850656
Max. memory (cumulated for all children) (KiB): 6881240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.98
system time used= 7.13709
maximum resident set size= 6885480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 906861
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73831
involuntary context switches= 2787
# summary of solver processes directly reported to runsolver:
# pid: 8200
# total CPU time (s): 2520.12
# total CPU user time (s): 2512.98
# total CPU system time (s): 7.13709
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6635 second user time and 20.3848 second system time
The end