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 (3544 MiB free)
memory of node 1: 16384 MiB (10323 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294189-1532438967/watcher-4294189-1532438967 -o /tmp/evaluation-result-4294189-1532438967/solver-4294189-1532438967 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532414812-13981 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1974310481 HOME/instance-4294189-1532438967.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
solver pid=18318, runsolver pid=18315
Starting watchdog thread
Current StackSize limit: 8192 KiB
[startup+0.100122 s]*
/proc/loadavg: 1.56 1.37 1.35 3/206 18375
/proc/meminfo: memFree=14195100/32770624 swapFree=67108852/67108860
[pid=18318] ppid=18315 vsize=9972712 memory=17076 CPUtime=0.08 cores=1,3,5,7
/proc/18318/stat : 18318 (java) S 18315 18318 13949 0 -1 1077944320 4421 13226 0 0 1 0 4 3 20 0 6 0 61459817 10212057088 4269 33554432000 4194304 4196468 140730851025872 140730851008416 140372523880183 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
/proc/18318/statm: 2493178 4269 1934 1 0 2481616 0
[pid=18318/tid=18371] ppid=18315 vsize=9972712 memory=4279135704013962638 CPUtime=0.08 cores=1,3,5,7
/proc/18318/task/18371/stat : 18371 (java) R 18315 18318 13949 0 -1 4202560 2230 13226 0 0 1 0 4 3 20 0 6 0 61459825 10212057088 4269 33554432000 4194304 4196468 140730851025872 140372495716944 140372523902109 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18372] ppid=18315 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18372/stat : 18372 (java) S 18315 18318 13949 0 -1 1077944384 1 13226 0 0 0 0 4 3 20 0 6 0 61459826 10212057088 4269 33554432000 4194304 4196468 140730851025872 140372528122256 140372523890389 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18373] ppid=18315 vsize=9972712 memory=139983062587008 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18373/stat : 18373 (java) S 18315 18318 13949 0 -1 1077944384 1 13226 0 0 0 0 4 3 20 0 6 0 61459826 10212057088 4269 33554432000 4194304 4196468 140730851025872 140372097362192 140372523890389 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18374] ppid=18315 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18374/stat : 18374 (java) S 18315 18318 13949 0 -1 1077944384 1 13226 0 0 0 0 4 3 20 0 6 0 61459826 10212057088 4269 33554432000 4194304 4196468 140730851025872 140372096309904 140372523890389 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18375] ppid=18315 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18375/stat : 18375 (java) S 18315 18318 13949 0 -1 1077944384 2 13226 0 0 0 0 4 3 20 0 6 0 61459826 10212057088 4269 33554432000 4194304 4196468 140730851025872 140372095257104 140372523890389 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.209841 s]*
/proc/loadavg: 1.56 1.37 1.35 3/215 18384
/proc/meminfo: memFree=14168816/32770624 swapFree=67108852/67108860
[pid=18318] ppid=18315 vsize=10818856 memory=44644 CPUtime=0.25 cores=1,3,5,7
/proc/18318/stat : 18318 (java) S 18315 18318 13949 0 -1 1077944320 8516 13226 0 0 16 2 4 3 20 0 15 0 61459817 11078508544 11161 33554432000 4194304 4196468 140730851025872 140730851008416 140372523880183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
/proc/18318/statm: 2704714 11161 2959 1 0 2667149 0
[pid=18318/tid=18371] ppid=18315 vsize=10818856 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/18318/task/18371/stat : 18371 (java) R 18315 18318 13949 0 -1 4202560 5022 13226 0 0 10 1 4 3 20 0 15 0 61459825 11078508544 11161 33554432000 4194304 4196468 140730851025872 140372495677840 140372505445136 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18372] ppid=18315 vsize=10818856 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18372/stat : 18372 (java) S 18315 18318 13949 0 -1 1077944384 1 13226 0 0 0 0 4 3 20 0 15 0 61459826 11078508544 11161 33554432000 4194304 4196468 140730851025872 140372528122256 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18373] ppid=18315 vsize=10818856 memory=139983062918141 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18373/stat : 18373 (java) S 18315 18318 13949 0 -1 1077944384 1 13226 0 0 0 0 4 3 20 0 15 0 61459826 11078508544 11161 33554432000 4194304 4196468 140730851025872 140372097362192 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18374] ppid=18315 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18374/stat : 18374 (java) S 18315 18318 13949 0 -1 1077944384 1 13226 0 0 0 0 4 3 20 0 15 0 61459826 11078508544 11161 33554432000 4194304 4196468 140730851025872 140372096309904 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18375] ppid=18315 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18375/stat : 18375 (java) S 18315 18318 13949 0 -1 1077944384 2 13226 0 0 0 0 4 3 20 0 15 0 61459826 11078508544 11161 33554432000 4194304 4196468 140730851025872 140372095257104 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18376] ppid=18315 vsize=10818856 memory=139983062587008 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18376/stat : 18376 (java) S 18315 18318 13949 0 -1 1077944384 2 13226 0 0 0 0 4 3 20 0 15 0 61459828 11078508544 11161 33554432000 4194304 4196468 140730851025872 140371983325808 140372523891330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18377] ppid=18315 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18377/stat : 18377 (java) S 18315 18318 13949 0 -1 1077944384 33 13226 0 0 0 0 4 3 20 0 15 0 61459828 11078508544 11161 33554432000 4194304 4196468 140730851025872 140371982271776 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18378] ppid=18315 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18378/stat : 18378 (java) S 18315 18318 13949 0 -1 1077944384 1 13226 0 0 0 0 4 3 20 0 15 0 61459828 11078508544 11161 33554432000 4194304 4196468 140730851025872 140371879257712 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18379] ppid=18315 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18379/stat : 18379 (java) S 18315 18318 13949 0 -1 1077944384 2 13226 0 0 0 0 4 3 20 0 15 0 61459831 11078508544 11161 33554432000 4194304 4196468 140730851025872 140371275278928 140372523898779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18380] ppid=18315 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18318/task/18380/stat : 18380 (java) S 18315 18318 13949 0 -1 1077944384 479 13226 0 0 1 0 4 3 20 0 15 0 61459831 11078508544 11161 33554432000 4194304 4196468 140730851025872 140371948714096 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18381] ppid=18315 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18381/stat : 18381 (java) S 18315 18318 13949 0 -1 1077944384 146 13226 0 0 0 0 4 3 20 0 15 0 61459831 11078508544 11161 33554432000 4194304 4196468 140730851025872 140371947661296 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18382] ppid=18315 vsize=10818856 memory=139983062587008 CPUtime=0.1 cores=1,3,5,7
/proc/18318/task/18382/stat : 18382 (java) S 18315 18318 13949 0 -1 1077944384 629 13226 0 0 3 0 4 3 20 0 15 0 61459831 11078508544 11161 33554432000 4194304 4196468 140730851025872 140371845699952 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18383] ppid=18315 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18383/stat : 18383 (java) S 18315 18318 13949 0 -1 1077944384 3 13226 0 0 0 0 4 3 20 0 15 0 61459831 11078508544 11161 33554432000 4194304 4196468 140730851025872 140370805516768 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18384] ppid=18315 vsize=10818856 memory=139983062587008 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18384/stat : 18384 (java) S 18315 18318 13949 0 -1 1077944384 1 13226 0 0 0 0 4 3 20 0 15 0 61459831 11078508544 11161 33554432000 4194304 4196468 140730851025872 140371844647856 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 44644 KiB
[startup+0.310288 s]*
/proc/loadavg: 1.56 1.37 1.35 3/215 18384
/proc/meminfo: memFree=14159512/32770624 swapFree=67108852/67108860
[pid=18318] ppid=18315 vsize=10819352 memory=55972 CPUtime=0.38 cores=1,3,5,7
/proc/18318/stat : 18318 (java) S 18315 18318 13949 0 -1 1077944320 10545 13226 0 0 28 3 4 3 20 0 15 0 61459817 11079016448 13993 33554432000 4194304 4196468 140730851025872 140730851008416 140372523880183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
/proc/18318/statm: 2704838 13993 3090 1 0 2667149 0
[pid=18318/tid=18371] ppid=18315 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/18318/task/18371/stat : 18371 (java) R 18315 18318 13949 0 -1 4202560 7043 13226 0 0 19 2 4 3 20 0 15 0 61459825 11079016448 13993 33554432000 4194304 4196468 140730851025872 140372495691968 140372523902109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18372] ppid=18315 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18372/stat : 18372 (java) S 18315 18318 13949 0 -1 1077944384 1 13226 0 0 0 0 4 3 20 0 15 0 61459826 11079016448 13993 33554432000 4194304 4196468 140730851025872 140372528122256 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18373] ppid=18315 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18373/stat : 18373 (java) S 18315 18318 13949 0 -1 1077944384 1 13226 0 0 0 0 4 3 20 0 15 0 61459826 11079016448 13993 33554432000 4194304 4196468 140730851025872 140372097362192 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18374] ppid=18315 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18374/stat : 18374 (java) S 18315 18318 13949 0 -1 1077944384 1 13226 0 0 0 0 4 3 20 0 15 0 61459826 11079016448 13993 33554432000 4194304 4196468 140730851025872 140372096309904 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18375] ppid=18315 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18375/stat : 18375 (java) S 18315 18318 13949 0 -1 1077944384 2 13226 0 0 0 0 4 3 20 0 15 0 61459826 11079016448 13993 33554432000 4194304 4196468 140730851025872 140372095257104 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18376] ppid=18315 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18376/stat : 18376 (java) S 18315 18318 13949 0 -1 1077944384 2 13226 0 0 0 0 4 3 20 0 15 0 61459828 11079016448 13993 33554432000 4194304 4196468 140730851025872 140371983325808 140372523891330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18377] ppid=18315 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18377/stat : 18377 (java) S 18315 18318 13949 0 -1 1077944384 33 13226 0 0 0 0 4 3 20 0 15 0 61459828 11079016448 13993 33554432000 4194304 4196468 140730851025872 140371982271776 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18378] ppid=18315 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18378/stat : 18378 (java) S 18315 18318 13949 0 -1 1077944384 1 13226 0 0 0 0 4 3 20 0 15 0 61459828 11079016448 13993 33554432000 4194304 4196468 140730851025872 140371879257712 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18379] ppid=18315 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18379/stat : 18379 (java) S 18315 18318 13949 0 -1 1077944384 2 13226 0 0 0 0 4 3 20 0 15 0 61459831 11079016448 13993 33554432000 4194304 4196468 140730851025872 140371275278928 140372523898779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18380] ppid=18315 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18318/task/18380/stat : 18380 (java) S 18315 18318 13949 0 -1 1077944384 479 13226 0 0 1 0 4 3 20 0 15 0 61459831 11079016448 13993 33554432000 4194304 4196468 140730851025872 140371948714096 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18381] ppid=18315 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18318/task/18381/stat : 18381 (java) S 18315 18318 13949 0 -1 1077944384 149 13226 0 0 1 0 4 3 20 0 15 0 61459831 11079016448 13993 33554432000 4194304 4196468 140730851025872 140371947661296 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18382] ppid=18315 vsize=10819352 memory=139983062587008 CPUtime=0.11 cores=1,3,5,7
/proc/18318/task/18382/stat : 18382 (java) R 18315 18318 13949 0 -1 4202560 634 13226 0 0 4 0 4 3 20 0 15 0 61459831 11079016448 13993 33554432000 4194304 4196468 140730851025872 140371845699952 140372503312688 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18383] ppid=18315 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18383/stat : 18383 (java) S 18315 18318 13949 0 -1 1077944384 3 13226 0 0 0 0 4 3 20 0 15 0 61459831 11079016448 13993 33554432000 4194304 4196468 140730851025872 140370805516768 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18384] ppid=18315 vsize=10819352 memory=139983062587008 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18384/stat : 18384 (java) S 18315 18318 13949 0 -1 1077944384 1 13226 0 0 0 0 4 3 20 0 15 0 61459831 11079016448 13993 33554432000 4194304 4196468 140730851025872 140371844647856 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55972 KiB
[startup+0.700736 s]
/proc/loadavg: 1.56 1.37 1.35 3/215 18384
/proc/meminfo: memFree=14147728/32770624 swapFree=67108852/67108860
[pid=18318] ppid=18315 vsize=10819352 memory=88620 CPUtime=0.97 cores=1,3,5,7
/proc/18318/stat : 18318 (java) S 18315 18318 13949 0 -1 1077944320 16832 13226 0 0 85 5 4 3 20 0 15 0 61459817 11079016448 22155 33554432000 4194304 4196468 140730851025872 140730851008416 140372523880183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
/proc/18318/statm: 2704838 22155 3238 1 0 2667149 0
[pid=18318/tid=18371] ppid=18315 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/18318/task/18371/stat : 18371 (java) R 18315 18318 13949 0 -1 4202560 12412 13226 0 0 55 3 4 3 20 0 15 0 61459825 11079016448 22155 33554432000 4194304 4196468 140730851025872 140372495701008 140372509045831 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18372] ppid=18315 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18372/stat : 18372 (java) S 18315 18318 13949 0 -1 1077944384 1 13226 0 0 0 0 4 3 20 0 15 0 61459826 11079016448 22155 33554432000 4194304 4196468 140730851025872 140372528122256 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18373] ppid=18315 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18373/stat : 18373 (java) S 18315 18318 13949 0 -1 1077944384 1 13226 0 0 0 0 4 3 20 0 15 0 61459826 11079016448 22155 33554432000 4194304 4196468 140730851025872 140372097362192 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18374] ppid=18315 vsize=10819352 memory=139982916432688 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18374/stat : 18374 (java) S 18315 18318 13949 0 -1 1077944384 1 13226 0 0 0 0 4 3 20 0 15 0 61459826 11079016448 22155 33554432000 4194304 4196468 140730851025872 140372096309904 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18375] ppid=18315 vsize=10819352 memory=139985869079116 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18375/stat : 18375 (java) S 18315 18318 13949 0 -1 1077944384 2 13226 0 0 0 0 4 3 20 0 15 0 61459826 11079016448 22155 33554432000 4194304 4196468 140730851025872 140372095257104 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18376] ppid=18315 vsize=10819352 memory=4612 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18376/stat : 18376 (java) S 18315 18318 13949 0 -1 1077944384 5 13226 0 0 0 0 4 3 20 0 15 0 61459828 11079016448 22155 33554432000 4194304 4196468 140730851025872 140371983325808 140372523891330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18377] ppid=18315 vsize=10819352 memory=4639098309541128813 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18377/stat : 18377 (java) S 18315 18318 13949 0 -1 1077944384 33 13226 0 0 0 0 4 3 20 0 15 0 61459828 11079016448 22155 33554432000 4194304 4196468 140730851025872 140371982271776 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18378] ppid=18315 vsize=10819352 memory=7885635084775281010 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18378/stat : 18378 (java) S 18315 18318 13949 0 -1 1077944384 1 13226 0 0 0 0 4 3 20 0 15 0 61459828 11079016448 22155 33554432000 4194304 4196468 140730851025872 140371879257712 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18379] ppid=18315 vsize=10819352 memory=4044 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18379/stat : 18379 (java) S 18315 18318 13949 0 -1 1077944384 2 13226 0 0 0 0 4 3 20 0 15 0 61459831 11079016448 22155 33554432000 4194304 4196468 140730851025872 140371275278928 140372523898779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18380] ppid=18315 vsize=10819352 memory=11440 CPUtime=0.14 cores=1,3,5,7
/proc/18318/task/18380/stat : 18380 (java) S 18315 18318 13949 0 -1 1077944384 716 13226 0 0 7 0 4 3 20 0 15 0 61459831 11079016448 22155 33554432000 4194304 4196468 140730851025872 140371948714096 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18381] ppid=18315 vsize=10819352 memory=16432 CPUtime=0.16 cores=1,3,5,7
/proc/18318/task/18381/stat : 18381 (java) S 18315 18318 13949 0 -1 1077944384 763 13226 0 0 9 0 4 3 20 0 15 0 61459831 11079016448 22155 33554432000 4194304 4196468 140730851025872 140371947661296 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18382] ppid=18315 vsize=10819352 memory=1792 CPUtime=0.19 cores=1,3,5,7
/proc/18318/task/18382/stat : 18382 (java) S 18315 18318 13949 0 -1 1077944384 698 13226 0 0 12 0 4 3 20 0 15 0 61459831 11079016448 22155 33554432000 4194304 4196468 140730851025872 140371845699952 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18383] ppid=18315 vsize=10819352 memory=644 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18383/stat : 18383 (java) S 18315 18318 13949 0 -1 1077944384 3 13226 0 0 0 0 4 3 20 0 15 0 61459831 11079016448 22155 33554432000 4194304 4196468 140730851025872 140370805516768 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18384] ppid=18315 vsize=10819352 memory=956 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18384/stat : 18384 (java) S 18315 18318 13949 0 -1 1077944384 1 13226 0 0 0 0 4 3 20 0 15 0 61459831 11079016448 22155 33554432000 4194304 4196468 140730851025872 140371844647856 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88620 KiB
[startup+1.50071 s]
/proc/loadavg: 1.56 1.37 1.35 3/215 18384
/proc/meminfo: memFree=14101276/32770624 swapFree=67108852/67108860
[pid=18318] ppid=18315 vsize=10836300 memory=179948 CPUtime=2.24 cores=1,3,5,7
/proc/18318/stat : 18318 (java) S 18315 18318 13949 0 -1 1077944320 25714 13226 0 0 208 9 4 3 20 0 15 0 61459817 11096371200 44987 33554432000 4194304 4196468 140730851025872 140730851008416 140372523880183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
/proc/18318/statm: 2709075 44987 3474 1 0 2670733 0
[pid=18318/tid=18371] ppid=18315 vsize=10836300 memory=65212 CPUtime=1.42 cores=1,3,5,7
/proc/18318/task/18371/stat : 18371 (java) R 18315 18318 13949 0 -1 4202560 18458 13226 0 0 130 5 4 3 20 0 15 0 61459825 11096371200 44987 33554432000 4194304 4196468 140730851025872 140372495710704 140372507960670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18372] ppid=18315 vsize=10836300 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/18318/task/18372/stat : 18372 (java) S 18315 18318 13949 0 -1 1077944384 15 13226 0 0 1 0 4 3 20 0 15 0 61459826 11096371200 44987 33554432000 4194304 4196468 140730851025872 140372528122256 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18373] ppid=18315 vsize=10836300 memory=279965832896672 CPUtime=0.08 cores=1,3,5,7
/proc/18318/task/18373/stat : 18373 (java) S 18315 18318 13949 0 -1 1077944384 222 13226 0 0 1 0 4 3 20 0 15 0 61459826 11096371200 44987 33554432000 4194304 4196468 140730851025872 140372097362192 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18374] ppid=18315 vsize=10836300 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18318/task/18374/stat : 18374 (java) S 18315 18318 13949 0 -1 1077944384 24 13226 0 0 1 0 4 3 20 0 15 0 61459826 11096371200 44987 33554432000 4194304 4196468 140730851025872 140372096309904 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18375] ppid=18315 vsize=10836300 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18375/stat : 18375 (java) S 18315 18318 13949 0 -1 1077944384 71 13226 0 0 0 0 4 3 20 0 15 0 61459826 11096371200 44987 33554432000 4194304 4196468 140730851025872 140372095257104 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18376] ppid=18315 vsize=10836300 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18318/task/18376/stat : 18376 (java) S 18315 18318 13949 0 -1 1077944384 1020 13226 0 0 1 0 4 3 20 0 15 0 61459828 11096371200 44987 33554432000 4194304 4196468 140730851025872 140371983325808 140372523891330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18377] ppid=18315 vsize=10836300 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18377/stat : 18377 (java) S 18315 18318 13949 0 -1 1077944384 33 13226 0 0 0 0 4 3 20 0 15 0 61459828 11096371200 44987 33554432000 4194304 4196468 140730851025872 140371982271840 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18378] ppid=18315 vsize=10836300 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18378/stat : 18378 (java) S 18315 18318 13949 0 -1 1077944384 2 13226 0 0 0 0 4 3 20 0 15 0 61459828 11096371200 44987 33554432000 4194304 4196468 140730851025872 140371879257712 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18379] ppid=18315 vsize=10836300 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18379/stat : 18379 (java) S 18315 18318 13949 0 -1 1077944384 2 13226 0 0 0 0 4 3 20 0 15 0 61459831 11096371200 44987 33554432000 4194304 4196468 140730851025872 140371275278928 140372523898779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18380] ppid=18315 vsize=10836300 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/18318/task/18380/stat : 18380 (java) S 18315 18318 13949 0 -1 1077944384 862 13226 0 0 18 0 4 3 20 0 15 0 61459831 11096371200 44987 33554432000 4194304 4196468 140730851025872 140371948714096 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18381] ppid=18315 vsize=10836300 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/18318/task/18381/stat : 18381 (java) S 18315 18318 13949 0 -1 1077944384 1217 13226 0 0 22 0 4 3 20 0 15 0 61459831 11096371200 44987 33554432000 4194304 4196468 140730851025872 140371947661296 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18382] ppid=18315 vsize=10836300 memory=6791534058613427641 CPUtime=0.37 cores=1,3,5,7
/proc/18318/task/18382/stat : 18382 (java) S 18315 18318 13949 0 -1 1077944384 1590 13226 0 0 30 0 4 3 20 0 15 0 61459831 11096371200 44987 33554432000 4194304 4196468 140730851025872 140371845699952 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18383] ppid=18315 vsize=10836300 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18383/stat : 18383 (java) S 18315 18318 13949 0 -1 1077944384 3 13226 0 0 0 0 4 3 20 0 15 0 61459831 11096371200 44987 33554432000 4194304 4196468 140730851025872 140370805516768 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18384] ppid=18315 vsize=10836300 memory=279965833141120 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18384/stat : 18384 (java) S 18315 18318 13949 0 -1 1077944384 3 13226 0 0 0 0 4 3 20 0 15 0 61459831 11096371200 44987 33554432000 4194304 4196468 140730851025872 140371844647856 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
Current children cumulated CPU time: 2.24 s
Current children cumulated vsize: 10836300 KiB
################
# More data... #
################
/proc/18318/task/18371/stat : 18371 (java) R 18315 18318 13949 0 -1 4202560 85606 13226 0 0 235448 53 4 3 20 0 15 0 61459825 11176083456 262693 33554432000 4194304 4196468 140730851025872 140372495713664 140372109613345 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18372] ppid=18315 vsize=10914144 memory=1050772 CPUtime=11.6 cores=1,3,5,7
/proc/18318/task/18372/stat : 18372 (java) S 18315 18318 13949 0 -1 1077944384 11505 13226 0 0 1091 62 4 3 20 0 15 0 61459826 11176083456 262693 33554432000 4194304 4196468 140730851025872 140372528122256 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18373] ppid=18315 vsize=10914144 memory=1050772 CPUtime=11.6 cores=1,3,5,7
/proc/18318/task/18373/stat : 18373 (java) S 18315 18318 13949 0 -1 1077944384 11343 13226 0 0 1087 66 4 3 20 0 15 0 61459826 11176083456 262693 33554432000 4194304 4196468 140730851025872 140372097362192 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18374] ppid=18315 vsize=10914144 memory=1050772 CPUtime=11.64 cores=1,3,5,7
/proc/18318/task/18374/stat : 18374 (java) S 18315 18318 13949 0 -1 1077944384 12428 13226 0 0 1094 63 4 3 20 0 15 0 61459826 11176083456 262693 33554432000 4194304 4196468 140730851025872 140372096309904 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18375] ppid=18315 vsize=10914144 memory=1050772 CPUtime=11.6 cores=1,3,5,7
/proc/18318/task/18375/stat : 18375 (java) S 18315 18318 13949 0 -1 1077944384 15579 13226 0 0 1090 63 4 3 20 0 15 0 61459826 11176083456 262693 33554432000 4194304 4196468 140730851025872 140372095257104 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18376] ppid=18315 vsize=10914144 memory=1050772 CPUtime=12.25 cores=1,3,5,7
/proc/18318/task/18376/stat : 18376 (java) S 18315 18318 13949 0 -1 1077944384 14281 13226 0 0 1162 56 4 3 20 0 15 0 61459828 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371983325808 140372523891330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18377] ppid=18315 vsize=10914144 memory=1050772 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18377/stat : 18377 (java) S 18315 18318 13949 0 -1 1077944384 36 13226 0 0 0 0 4 3 20 0 15 0 61459828 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371982271840 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18378] ppid=18315 vsize=10914144 memory=1050772 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18378/stat : 18378 (java) S 18315 18318 13949 0 -1 1077944384 2 13226 0 0 0 0 4 3 20 0 15 0 61459828 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371879257728 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18379] ppid=18315 vsize=10914144 memory=1050772 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18379/stat : 18379 (java) S 18315 18318 13949 0 -1 1077944384 2 13226 0 0 0 0 4 3 20 0 15 0 61459831 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371275278928 140372523898779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18380] ppid=18315 vsize=10914144 memory=1048724 CPUtime=3.18 cores=1,3,5,7
/proc/18318/task/18380/stat : 18380 (java) S 18315 18318 13949 0 -1 1077944384 21969 13226 0 0 307 4 4 3 20 0 15 0 61459831 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371948714096 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18381] ppid=18315 vsize=10914144 memory=0 CPUtime=3.71 cores=1,3,5,7
/proc/18318/task/18381/stat : 18381 (java) S 18315 18318 13949 0 -1 1077944384 25672 13226 0 0 361 3 4 3 20 0 15 0 61459831 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371947661296 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18382] ppid=18315 vsize=10914144 memory=1050772 CPUtime=1.52 cores=1,3,5,7
/proc/18318/task/18382/stat : 18382 (java) S 18315 18318 13949 0 -1 1077944384 14339 13226 0 0 142 3 4 3 20 0 15 0 61459831 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371845699952 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18383] ppid=18315 vsize=10914144 memory=1050772 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18383/stat : 18383 (java) S 18315 18318 13949 0 -1 1077944384 3 13226 0 0 0 0 4 3 20 0 15 0 61459831 11176083456 262693 33554432000 4194304 4196468 140730851025872 140370805516768 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18384] ppid=18315 vsize=10914144 memory=2336 CPUtime=1.42 cores=1,3,5,7
/proc/18318/task/18384/stat : 18384 (java) S 18315 18318 13949 0 -1 1077944384 1022 13226 0 0 62 73 4 3 20 0 15 0 61459831 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371844647856 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
Current children cumulated CPU time: 2423.08 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1050772 KiB
[startup+2442.3 s]
/proc/loadavg: 1.14 1.20 1.30 3/216 18616
/proc/meminfo: memFree=13221984/32770624 swapFree=67108852/67108860
[pid=18318] ppid=18315 vsize=10914144 memory=1050772 CPUtime=2483.97 cores=1,3,5,7
/proc/18318/stat : 18318 (java) S 18315 18318 13949 0 -1 1077944320 217892 13226 0 0 248009 381 4 3 20 0 15 0 61459817 11176083456 262693 33554432000 4194304 4196468 140730851025872 140730851008416 140372523880183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
/proc/18318/statm: 2728536 262693 3519 1 0 2690189 0
[pid=18318/tid=18371] ppid=18315 vsize=10914144 memory=1050772 CPUtime=2414.37 cores=1,3,5,7
/proc/18318/task/18371/stat : 18371 (java) R 18315 18318 13949 0 -1 4202560 86629 13226 0 0 241376 54 4 3 20 0 15 0 61459825 11176083456 262693 33554432000 4194304 4196468 140730851025872 140372495714432 140372108695588 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18372] ppid=18315 vsize=10914144 memory=1050772 CPUtime=11.92 cores=1,3,5,7
/proc/18318/task/18372/stat : 18372 (java) S 18315 18318 13949 0 -1 1077944384 11823 13226 0 0 1121 64 4 3 20 0 15 0 61459826 11176083456 262693 33554432000 4194304 4196468 140730851025872 140372528122256 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18373] ppid=18315 vsize=10914144 memory=1050772 CPUtime=11.91 cores=1,3,5,7
/proc/18318/task/18373/stat : 18373 (java) S 18315 18318 13949 0 -1 1077944384 11424 13226 0 0 1117 67 4 3 20 0 15 0 61459826 11176083456 262693 33554432000 4194304 4196468 140730851025872 140372097362192 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18374] ppid=18315 vsize=10914144 memory=1050772 CPUtime=11.96 cores=1,3,5,7
/proc/18318/task/18374/stat : 18374 (java) S 18315 18318 13949 0 -1 1077944384 12533 13226 0 0 1124 65 4 3 20 0 15 0 61459826 11176083456 262693 33554432000 4194304 4196468 140730851025872 140372096309904 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18375] ppid=18315 vsize=10914144 memory=1050772 CPUtime=11.91 cores=1,3,5,7
/proc/18318/task/18375/stat : 18375 (java) S 18315 18318 13949 0 -1 1077944384 15695 13226 0 0 1120 64 4 3 20 0 15 0 61459826 11176083456 262693 33554432000 4194304 4196468 140730851025872 140372095257104 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18376] ppid=18315 vsize=10914144 memory=1050772 CPUtime=12.57 cores=1,3,5,7
/proc/18318/task/18376/stat : 18376 (java) S 18315 18318 13949 0 -1 1077944384 14515 13226 0 0 1192 58 4 3 20 0 15 0 61459828 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371983325808 140372523891330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18377] ppid=18315 vsize=10914144 memory=1050772 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18377/stat : 18377 (java) S 18315 18318 13949 0 -1 1077944384 36 13226 0 0 0 0 4 3 20 0 15 0 61459828 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371982271840 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18378] ppid=18315 vsize=10914144 memory=1050772 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18378/stat : 18378 (java) S 18315 18318 13949 0 -1 1077944384 2 13226 0 0 0 0 4 3 20 0 15 0 61459828 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371879257728 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18379] ppid=18315 vsize=10914144 memory=1050772 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18379/stat : 18379 (java) S 18315 18318 13949 0 -1 1077944384 2 13226 0 0 0 0 4 3 20 0 15 0 61459831 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371275278928 140372523898779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18380] ppid=18315 vsize=10914144 memory=1050772 CPUtime=3.18 cores=1,3,5,7
/proc/18318/task/18380/stat : 18380 (java) S 18315 18318 13949 0 -1 1077944384 21971 13226 0 0 307 4 4 3 20 0 15 0 61459831 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371948714096 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18381] ppid=18315 vsize=10914144 memory=1050772 CPUtime=3.71 cores=1,3,5,7
/proc/18318/task/18381/stat : 18381 (java) S 18315 18318 13949 0 -1 1077944384 25674 13226 0 0 361 3 4 3 20 0 15 0 61459831 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371947661296 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18382] ppid=18315 vsize=10914144 memory=1050772 CPUtime=1.52 cores=1,3,5,7
/proc/18318/task/18382/stat : 18382 (java) S 18315 18318 13949 0 -1 1077944384 14341 13226 0 0 142 3 4 3 20 0 15 0 61459831 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371845699952 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18383] ppid=18315 vsize=10914144 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18383/stat : 18383 (java) S 18315 18318 13949 0 -1 1077944384 3 13226 0 0 0 0 4 3 20 0 15 0 61459831 11176083456 262693 33554432000 4194304 4196468 140730851025872 140370805516768 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18384] ppid=18315 vsize=10914144 memory=7 CPUtime=1.46 cores=1,3,5,7
/proc/18318/task/18384/stat : 18384 (java) S 18315 18318 13949 0 -1 1077944384 1051 13226 0 0 64 75 4 3 20 0 15 0 61459831 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371844647856 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
Current children cumulated CPU time: 2483.97 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1050772 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2477.9 s]
/proc/loadavg: 1.31 1.24 1.31 3/216 18616
/proc/meminfo: memFree=13220960/32770624 swapFree=67108852/67108860
[pid=18318] ppid=18315 vsize=10914144 memory=1050772 CPUtime=2520.06 cores=1,3,5,7
/proc/18318/stat : 18318 (java) S 18315 18318 13949 0 -1 1077944320 218945 13226 0 0 251613 386 4 3 20 0 15 0 61459817 11176083456 262693 33554432000 4194304 4196468 140730851025872 140730851008416 140372523880183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
/proc/18318/statm: 2728536 262693 3519 1 0 2690189 0
[pid=18318/tid=18371] ppid=18315 vsize=10914144 memory=4012 CPUtime=2449.57 cores=1,3,5,7
/proc/18318/task/18371/stat : 18371 (java) R 18315 18318 13949 0 -1 4202560 87114 13226 0 0 244896 54 4 3 20 0 15 0 61459825 11176083456 262693 33554432000 4194304 4196468 140730851025872 140372495714112 140372109603538 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18372] ppid=18315 vsize=10914144 memory=2244 CPUtime=12.1 cores=1,3,5,7
/proc/18318/task/18372/stat : 18372 (java) S 18315 18318 13949 0 -1 1077944384 12109 13226 0 0 1138 65 4 3 20 0 15 0 61459826 11176083456 262693 33554432000 4194304 4196468 140730851025872 140372528122256 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18373] ppid=18315 vsize=10914144 memory=1050772 CPUtime=12.08 cores=1,3,5,7
/proc/18318/task/18373/stat : 18373 (java) S 18315 18318 13949 0 -1 1077944384 11513 13226 0 0 1134 67 4 3 20 0 15 0 61459826 11176083456 262693 33554432000 4194304 4196468 140730851025872 140372097362192 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18374] ppid=18315 vsize=10914144 memory=1050772 CPUtime=12.12 cores=1,3,5,7
/proc/18318/task/18374/stat : 18374 (java) S 18315 18318 13949 0 -1 1077944384 12561 13226 0 0 1140 65 4 3 20 0 15 0 61459826 11176083456 262693 33554432000 4194304 4196468 140730851025872 140372096309904 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18375] ppid=18315 vsize=10914144 memory=1050772 CPUtime=12.09 cores=1,3,5,7
/proc/18318/task/18375/stat : 18375 (java) S 18315 18318 13949 0 -1 1077944384 15707 13226 0 0 1136 66 4 3 20 0 15 0 61459826 11176083456 262693 33554432000 4194304 4196468 140730851025872 140372095257104 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18376] ppid=18315 vsize=10914144 memory=1050772 CPUtime=12.75 cores=1,3,5,7
/proc/18318/task/18376/stat : 18376 (java) S 18315 18318 13949 0 -1 1077944384 14659 13226 0 0 1208 60 4 3 20 0 15 0 61459828 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371983325808 140372523891330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18377] ppid=18315 vsize=10914144 memory=1050772 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18377/stat : 18377 (java) S 18315 18318 13949 0 -1 1077944384 36 13226 0 0 0 0 4 3 20 0 15 0 61459828 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371982271840 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18378] ppid=18315 vsize=10914144 memory=1050772 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18378/stat : 18378 (java) S 18315 18318 13949 0 -1 1077944384 2 13226 0 0 0 0 4 3 20 0 15 0 61459828 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371879257728 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18379] ppid=18315 vsize=10914144 memory=1050772 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18379/stat : 18379 (java) S 18315 18318 13949 0 -1 1077944384 2 13226 0 0 0 0 4 3 20 0 15 0 61459831 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371275278928 140372523898779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18380] ppid=18315 vsize=10914144 memory=1050772 CPUtime=3.18 cores=1,3,5,7
/proc/18318/task/18380/stat : 18380 (java) S 18315 18318 13949 0 -1 1077944384 21973 13226 0 0 307 4 4 3 20 0 15 0 61459831 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371948714096 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18381] ppid=18315 vsize=10914144 memory=4012 CPUtime=3.71 cores=1,3,5,7
/proc/18318/task/18381/stat : 18381 (java) S 18315 18318 13949 0 -1 1077944384 25676 13226 0 0 361 3 4 3 20 0 15 0 61459831 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371947661296 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18382] ppid=18315 vsize=10914144 memory=4012 CPUtime=1.52 cores=1,3,5,7
/proc/18318/task/18382/stat : 18382 (java) S 18315 18318 13949 0 -1 1077944384 14343 13226 0 0 142 3 4 3 20 0 15 0 61459831 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371845699952 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18383] ppid=18315 vsize=10914144 memory=1050772 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18383/stat : 18383 (java) S 18315 18318 13949 0 -1 1077944384 3 13226 0 0 0 0 4 3 20 0 15 0 61459831 11176083456 262693 33554432000 4194304 4196468 140730851025872 140370805516768 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18384] ppid=18315 vsize=10914144 memory=1050772 CPUtime=1.48 cores=1,3,5,7
/proc/18318/task/18384/stat : 18384 (java) S 18315 18318 13949 0 -1 1077944384 1054 13226 0 0 65 76 4 3 20 0 15 0 61459831 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371844647856 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1050772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2477.93 s]
# the end of solver process 18318 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.2 s, system=3.9118 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2477.9 s]
/proc/loadavg: 1.31 1.24 1.31 3/216 18616
/proc/meminfo: memFree=13220960/32770624 swapFree=67108852/67108860
[pid=18318] ppid=18315 vsize=10914144 memory=1050772 CPUtime=2520.06 cores=1,3,5,7
/proc/18318/stat : 18318 (java) S 18315 18318 13949 0 -1 1077944320 218945 13226 0 0 251613 386 4 3 20 0 15 0 61459817 11176083456 262693 33554432000 4194304 4196468 140730851025872 140730851008416 140372523880183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
/proc/18318/statm: 2728536 262693 3519 1 0 2690189 0
[pid=18318/tid=18371] ppid=18315 vsize=10914144 memory=4012 CPUtime=2449.57 cores=1,3,5,7
/proc/18318/task/18371/stat : 18371 (java) R 18315 18318 13949 0 -1 4202560 87114 13226 0 0 244896 54 4 3 20 0 15 0 61459825 11176083456 262693 33554432000 4194304 4196468 140730851025872 140372495714112 140372109603538 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18372] ppid=18315 vsize=10914144 memory=2244 CPUtime=12.1 cores=1,3,5,7
/proc/18318/task/18372/stat : 18372 (java) S 18315 18318 13949 0 -1 1077944384 12109 13226 0 0 1138 65 4 3 20 0 15 0 61459826 11176083456 262693 33554432000 4194304 4196468 140730851025872 140372528122256 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18373] ppid=18315 vsize=10914144 memory=1050772 CPUtime=12.08 cores=1,3,5,7
/proc/18318/task/18373/stat : 18373 (java) S 18315 18318 13949 0 -1 1077944384 11513 13226 0 0 1134 67 4 3 20 0 15 0 61459826 11176083456 262693 33554432000 4194304 4196468 140730851025872 140372097362192 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18374] ppid=18315 vsize=10914144 memory=1050772 CPUtime=12.12 cores=1,3,5,7
/proc/18318/task/18374/stat : 18374 (java) S 18315 18318 13949 0 -1 1077944384 12561 13226 0 0 1140 65 4 3 20 0 15 0 61459826 11176083456 262693 33554432000 4194304 4196468 140730851025872 140372096309904 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18375] ppid=18315 vsize=10914144 memory=1050772 CPUtime=12.09 cores=1,3,5,7
/proc/18318/task/18375/stat : 18375 (java) S 18315 18318 13949 0 -1 1077944384 15707 13226 0 0 1136 66 4 3 20 0 15 0 61459826 11176083456 262693 33554432000 4194304 4196468 140730851025872 140372095257104 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18376] ppid=18315 vsize=10914144 memory=1050772 CPUtime=12.75 cores=1,3,5,7
/proc/18318/task/18376/stat : 18376 (java) S 18315 18318 13949 0 -1 1077944384 14659 13226 0 0 1208 60 4 3 20 0 15 0 61459828 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371983325808 140372523891330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18377] ppid=18315 vsize=10914144 memory=1050772 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18377/stat : 18377 (java) S 18315 18318 13949 0 -1 1077944384 36 13226 0 0 0 0 4 3 20 0 15 0 61459828 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371982271840 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18378] ppid=18315 vsize=10914144 memory=1050772 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18378/stat : 18378 (java) S 18315 18318 13949 0 -1 1077944384 2 13226 0 0 0 0 4 3 20 0 15 0 61459828 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371879257728 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18379] ppid=18315 vsize=10914144 memory=1050772 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18379/stat : 18379 (java) S 18315 18318 13949 0 -1 1077944384 2 13226 0 0 0 0 4 3 20 0 15 0 61459831 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371275278928 140372523898779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18380] ppid=18315 vsize=10914144 memory=1050772 CPUtime=3.18 cores=1,3,5,7
/proc/18318/task/18380/stat : 18380 (java) S 18315 18318 13949 0 -1 1077944384 21973 13226 0 0 307 4 4 3 20 0 15 0 61459831 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371948714096 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18381] ppid=18315 vsize=10914144 memory=4012 CPUtime=3.71 cores=1,3,5,7
/proc/18318/task/18381/stat : 18381 (java) S 18315 18318 13949 0 -1 1077944384 25676 13226 0 0 361 3 4 3 20 0 15 0 61459831 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371947661296 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18382] ppid=18315 vsize=10914144 memory=4012 CPUtime=1.52 cores=1,3,5,7
/proc/18318/task/18382/stat : 18382 (java) S 18315 18318 13949 0 -1 1077944384 14343 13226 0 0 142 3 4 3 20 0 15 0 61459831 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371845699952 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18383] ppid=18315 vsize=10914144 memory=1050772 CPUtime=0.07 cores=1,3,5,7
/proc/18318/task/18383/stat : 18383 (java) S 18315 18318 13949 0 -1 1077944384 3 13226 0 0 0 0 4 3 20 0 15 0 61459831 11176083456 262693 33554432000 4194304 4196468 140730851025872 140370805516768 140372523890389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
[pid=18318/tid=18384] ppid=18315 vsize=10914144 memory=1050772 CPUtime=1.48 cores=1,3,5,7
/proc/18318/task/18384/stat : 18384 (java) S 18315 18318 13949 0 -1 1077944384 1054 13226 0 0 65 76 4 3 20 0 15 0 61459831 11176083456 262693 33554432000 4194304 4196468 140730851025872 140371844647856 140372523891330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 27103232 140730851031662 140730851034460 140730851034460 140730851037135 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1050772 KiB
Child status: 143
Real time (s): 2477.93
CPU time (s): 2520.11
CPU user time (s): 2516.2
CPU system time (s): 3.9118
CPU usage (%): 101.702
Max. virtual memory (cumulated for all children) (KiB): 10916976
Max. memory (cumulated for all children) (KiB): 1050772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.2
system time used= 3.91181
maximum resident set size= 1054916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233449
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 308381
involuntary context switches= 7304
# summary of solver processes directly reported to runsolver:
# pid: 18318
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.2
# total CPU system time (s): 3.9118
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0407 second user time and 26.8631 second system time
The end