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 (10043 MiB free)
memory of node 1: 16384 MiB (10860 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294581-1532471093/watcher-4294581-1532471093 -o /tmp/evaluation-result-4294581-1532471093/solver-4294581-1532471093 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532448512-24796 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1220937621 -superng HOME/instance-4294581-1532471093.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30231, runsolver pid=30228
[startup+0.100031 s]*
/proc/loadavg: 1.21 1.53 1.49 3/207 30287
/proc/meminfo: memFree=21400696/32770624 swapFree=67108860/67108860
[pid=30231] ppid=30228 vsize=9972712 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/30231/stat : 30231 (java) S 30228 30231 24765 0 -1 1077944320 4333 13046 0 0 1 0 5 3 20 0 6 0 64672514 10212057088 4203 33554432000 4194304 4196468 140729032736976 140729032719520 140270935994103 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
/proc/30231/statm: 2493178 4203 1934 1 0 2481616 0
[pid=30231/tid=30284] ppid=30228 vsize=9972712 memory=4279135703946462605 CPUtime=0.09 cores=0,2,4,6
/proc/30231/task/30284/stat : 30284 (java) R 30228 30231 24765 0 -1 4202560 2149 13046 0 0 1 0 5 3 20 0 6 0 64672523 10212057088 4203 33554432000 4194304 4196468 140729032736976 140270907830864 140270920074590 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30285] ppid=30228 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30285/stat : 30285 (java) S 30228 30231 24765 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 6 0 64672524 10212057088 4203 33554432000 4194304 4196468 140729032736976 140270940236048 140270936004309 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30286] ppid=30228 vsize=9972712 memory=140238149228160 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30286/stat : 30286 (java) S 30228 30231 24765 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 6 0 64672524 10212057088 4203 33554432000 4194304 4196468 140729032736976 140270828509584 140270936004309 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30287] ppid=30228 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30287/stat : 30287 (java) S 30228 30231 24765 0 -1 1077944384 2 13046 0 0 0 0 5 3 20 0 6 0 64672524 10212057088 4203 33554432000 4194304 4196468 140729032736976 140270827457040 140270936004309 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30288] ppid=30228 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30288/stat : 30288 (java) S 30228 30231 24765 0 -1 1077944384 2 13046 0 0 0 0 5 3 20 0 6 0 64672524 10212057088 4203 33554432000 4194304 4196468 140729032736976 140270826404496 140270936004309 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210176 s]*
/proc/loadavg: 1.21 1.53 1.49 3/217 30297
/proc/meminfo: memFree=21402640/32770624 swapFree=67108860/67108860
[pid=30231] ppid=30228 vsize=10821524 memory=43016 CPUtime=0.26 cores=0,2,4,6
/proc/30231/stat : 30231 (java) S 30228 30231 24765 0 -1 1077944320 8603 13046 0 0 17 1 5 3 20 0 15 0 64672514 11081240576 10872 33554432000 4194304 4196468 140729032736976 140729032719520 140270935994103 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
/proc/30231/statm: 2705381 10872 2967 1 0 2667804 0
[pid=30231/tid=30284] ppid=30228 vsize=10818936 memory=-6517102902069810590 CPUtime=0.2 cores=0,2,4,6
/proc/30231/task/30284/stat : 30284 (java) R 30228 30231 24765 0 -1 4202560 5235 13046 0 0 11 1 5 3 20 0 15 0 64672523 11078590464 10263 33554432000 4194304 4196468 140729032736976 140270907818912 140270928711207 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30285] ppid=30228 vsize=10818936 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30285/stat : 30285 (java) S 30228 30231 24765 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 64672524 11078590464 10263 33554432000 4194304 4196468 140729032736976 140270940236048 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30286] ppid=30228 vsize=10818904 memory=140238149228160 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30286/stat : 30286 (java) S 30228 30231 24765 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 64672524 11078557696 10255 33554432000 4194304 4196468 140729032736976 140270828509584 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30287] ppid=30228 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30287/stat : 30287 (java) S 30228 30231 24765 0 -1 1077944384 2 13046 0 0 0 0 5 3 20 0 15 0 64672524 11078557696 10255 33554432000 4194304 4196468 140729032736976 140270827457040 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30288] ppid=30228 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30288/stat : 30288 (java) S 30228 30231 24765 0 -1 1077944384 2 13046 0 0 0 0 5 3 20 0 15 0 64672524 11078557696 10255 33554432000 4194304 4196468 140729032736976 140270826404496 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30289] ppid=30228 vsize=10818904 memory=140238149228160 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30289/stat : 30289 (java) S 30228 30231 24765 0 -1 1077944384 2 13046 0 0 0 0 5 3 20 0 15 0 64672526 11078557696 10255 33554432000 4194304 4196468 140729032736976 140270394866160 140270936005250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30290] ppid=30228 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30290/stat : 30290 (java) S 30228 30231 24765 0 -1 1077944384 33 13046 0 0 0 0 5 3 20 0 15 0 64672526 11078557696 10255 33554432000 4194304 4196468 140729032736976 140270393812384 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30291] ppid=30228 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30291/stat : 30291 (java) S 30228 30231 24765 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 64672526 11078557696 10255 33554432000 4194304 4196468 140729032736976 140269806675440 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30292] ppid=30228 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30292/stat : 30292 (java) S 30228 30231 24765 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 64672529 11078557696 10255 33554432000 4194304 4196468 140729032736976 140269499275984 140270936012699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30293] ppid=30228 vsize=10818936 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30231/task/30293/stat : 30293 (java) S 30228 30231 24765 0 -1 1077944384 536 13046 0 0 1 0 5 3 20 0 15 0 64672529 11078590464 10255 33554432000 4194304 4196468 140729032736976 140270360254448 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30294] ppid=30228 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30294/stat : 30294 (java) S 30228 30231 24765 0 -1 1077944384 56 13046 0 0 0 0 5 3 20 0 15 0 64672529 11078590464 10255 33554432000 4194304 4196468 140729032736976 140270359201904 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30295] ppid=30228 vsize=10818936 memory=140238149228160 CPUtime=0.11 cores=0,2,4,6
/proc/30231/task/30295/stat : 30295 (java) S 30228 30231 24765 0 -1 1077944384 540 13046 0 0 3 0 5 3 20 0 15 0 64672529 11078590464 10255 33554432000 4194304 4196468 140729032736976 140270358149360 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30296] ppid=30228 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30296/stat : 30296 (java) S 30228 30231 24765 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 64672529 11078590464 10255 33554432000 4194304 4196468 140729032736976 140269465717344 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30297] ppid=30228 vsize=10818936 memory=140238149228160 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30297/stat : 30297 (java) S 30228 30231 24765 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 64672529 11078590464 10320 33554432000 4194304 4196468 140729032736976 140270357097264 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10821524 KiB
Current children cumulated memory: 43016 KiB
[startup+0.310455 s]*
/proc/loadavg: 1.21 1.53 1.49 3/217 30297
/proc/meminfo: memFree=21390980/32770624 swapFree=67108860/67108860
[pid=30231] ppid=30228 vsize=10819352 memory=51480 CPUtime=0.39 cores=0,2,4,6
/proc/30231/stat : 30231 (java) S 30228 30231 24765 0 -1 1077944320 10450 13046 0 0 29 2 5 3 20 0 15 0 64672514 11079016448 12870 33554432000 4194304 4196468 140729032736976 140729032719520 140270935994103 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
/proc/30231/statm: 2704838 12870 3086 1 0 2667149 0
[pid=30231/tid=30284] ppid=30228 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/30231/task/30284/stat : 30284 (java) R 30228 30231 24765 0 -1 4202560 7076 13046 0 0 20 1 5 3 20 0 15 0 64672523 11079016448 12870 33554432000 4194304 4196468 140729032736976 140270907806112 140270920074590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30285] ppid=30228 vsize=10819352 memory=7373043845850746960 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30285/stat : 30285 (java) S 30228 30231 24765 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 64672524 11079016448 12870 33554432000 4194304 4196468 140729032736976 140270940236048 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30286] ppid=30228 vsize=10819352 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30286/stat : 30286 (java) S 30228 30231 24765 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 64672524 11079016448 12870 33554432000 4194304 4196468 140729032736976 140270828509584 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30287] ppid=30228 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30287/stat : 30287 (java) S 30228 30231 24765 0 -1 1077944384 2 13046 0 0 0 0 5 3 20 0 15 0 64672524 11079016448 12870 33554432000 4194304 4196468 140729032736976 140270827457040 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30288] ppid=30228 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30288/stat : 30288 (java) S 30228 30231 24765 0 -1 1077944384 2 13046 0 0 0 0 5 3 20 0 15 0 64672524 11079016448 12870 33554432000 4194304 4196468 140729032736976 140270826404496 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30289] ppid=30228 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30289/stat : 30289 (java) S 30228 30231 24765 0 -1 1077944384 2 13046 0 0 0 0 5 3 20 0 15 0 64672526 11079016448 12870 33554432000 4194304 4196468 140729032736976 140270394866160 140270936005250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30290] ppid=30228 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30290/stat : 30290 (java) S 30228 30231 24765 0 -1 1077944384 33 13046 0 0 0 0 5 3 20 0 15 0 64672526 11079016448 12870 33554432000 4194304 4196468 140729032736976 140270393812384 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30291] ppid=30228 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30291/stat : 30291 (java) S 30228 30231 24765 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 64672526 11079016448 12870 33554432000 4194304 4196468 140729032736976 140269806675440 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30292] ppid=30228 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30292/stat : 30292 (java) S 30228 30231 24765 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 64672529 11079016448 12870 33554432000 4194304 4196468 140729032736976 140269499275984 140270936012699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30293] ppid=30228 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30231/task/30293/stat : 30293 (java) S 30228 30231 24765 0 -1 1077944384 536 13046 0 0 1 0 5 3 20 0 15 0 64672529 11079016448 12870 33554432000 4194304 4196468 140729032736976 140270360254448 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30294] ppid=30228 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30231/task/30294/stat : 30294 (java) R 30228 30231 24765 0 -1 4202560 57 13046 0 0 1 0 5 3 20 0 15 0 64672529 11079016448 12870 33554432000 4194304 4196468 140729032736976 140270359201904 140270919477543 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30295] ppid=30228 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/30231/task/30295/stat : 30295 (java) R 30228 30231 24765 0 -1 4202560 549 13046 0 0 4 0 5 3 20 0 15 0 64672529 11079016448 12870 33554432000 4194304 4196468 140729032736976 140270358149360 140270936015450 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30296] ppid=30228 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30296/stat : 30296 (java) S 30228 30231 24765 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 64672529 11079016448 12870 33554432000 4194304 4196468 140729032736976 140269465717344 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30297] ppid=30228 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30297/stat : 30297 (java) S 30228 30231 24765 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 64672529 11079016448 12870 33554432000 4194304 4196468 140729032736976 140270357097264 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51480 KiB
[startup+0.700821 s]
/proc/loadavg: 1.21 1.53 1.49 3/217 30297
/proc/meminfo: memFree=21379692/32770624 swapFree=67108860/67108860
[pid=30231] ppid=30228 vsize=10819352 memory=84188 CPUtime=0.99 cores=0,2,4,6
/proc/30231/stat : 30231 (java) S 30228 30231 24765 0 -1 1077944320 16751 13046 0 0 88 3 5 3 20 0 15 0 64672514 11079016448 21047 33554432000 4194304 4196468 140729032736976 140729032719520 140270935994103 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
/proc/30231/statm: 2704838 21047 3237 1 0 2667149 0
[pid=30231/tid=30284] ppid=30228 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/30231/task/30284/stat : 30284 (java) R 30228 30231 24765 0 -1 4202560 12279 13046 0 0 56 2 5 3 20 0 15 0 64672523 11079016448 21047 33554432000 4194304 4196468 140729032736976 140270907814928 140270919178513 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30285] ppid=30228 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30285/stat : 30285 (java) S 30228 30231 24765 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 64672524 11079016448 21047 33554432000 4194304 4196468 140729032736976 140270940236048 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30286] ppid=30228 vsize=10819352 memory=4136 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30286/stat : 30286 (java) S 30228 30231 24765 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 64672524 11079016448 21047 33554432000 4194304 4196468 140729032736976 140270828509584 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30287] ppid=30228 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30287/stat : 30287 (java) S 30228 30231 24765 0 -1 1077944384 2 13046 0 0 0 0 5 3 20 0 15 0 64672524 11079016448 21047 33554432000 4194304 4196468 140729032736976 140270827457040 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30288] ppid=30228 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30288/stat : 30288 (java) S 30228 30231 24765 0 -1 1077944384 2 13046 0 0 0 0 5 3 20 0 15 0 64672524 11079016448 21047 33554432000 4194304 4196468 140729032736976 140270826404496 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30289] ppid=30228 vsize=10819352 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30289/stat : 30289 (java) S 30228 30231 24765 0 -1 1077944384 5 13046 0 0 0 0 5 3 20 0 15 0 64672526 11079016448 21047 33554432000 4194304 4196468 140729032736976 140270394866160 140270936005250 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30290] ppid=30228 vsize=10819352 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30290/stat : 30290 (java) S 30228 30231 24765 0 -1 1077944384 33 13046 0 0 0 0 5 3 20 0 15 0 64672526 11079016448 21047 33554432000 4194304 4196468 140729032736976 140270393812384 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30291] ppid=30228 vsize=10819352 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30291/stat : 30291 (java) S 30228 30231 24765 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 64672526 11079016448 21047 33554432000 4194304 4196468 140729032736976 140269806675440 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30292] ppid=30228 vsize=10819352 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30292/stat : 30292 (java) S 30228 30231 24765 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 64672529 11079016448 21047 33554432000 4194304 4196468 140729032736976 140269499275984 140270936012699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30293] ppid=30228 vsize=10819352 memory=13252 CPUtime=0.15 cores=0,2,4,6
/proc/30231/task/30293/stat : 30293 (java) S 30228 30231 24765 0 -1 1077944384 914 13046 0 0 7 0 5 3 20 0 15 0 64672529 11079016448 21047 33554432000 4194304 4196468 140729032736976 140270360254448 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30294] ppid=30228 vsize=10819352 memory=15460 CPUtime=0.18 cores=0,2,4,6
/proc/30231/task/30294/stat : 30294 (java) S 30228 30231 24765 0 -1 1077944384 678 13046 0 0 10 0 5 3 20 0 15 0 64672529 11079016448 21047 33554432000 4194304 4196468 140729032736976 140270359201904 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30295] ppid=30228 vsize=10819352 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/30231/task/30295/stat : 30295 (java) R 30228 30231 24765 0 -1 4202560 641 13046 0 0 13 0 5 3 20 0 15 0 64672529 11079016448 21111 33554432000 4194304 4196468 140729032736976 140270358149360 140270936006038 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30296] ppid=30228 vsize=10819352 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30296/stat : 30296 (java) S 30228 30231 24765 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 64672529 11079016448 21111 33554432000 4194304 4196468 140729032736976 140269465717344 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30297] ppid=30228 vsize=10819352 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30297/stat : 30297 (java) S 30228 30231 24765 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 64672529 11079016448 21111 33554432000 4194304 4196468 140729032736976 140270357097264 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84188 KiB
[startup+1.5008 s]
/proc/loadavg: 1.21 1.53 1.49 3/217 30297
/proc/meminfo: memFree=21334908/32770624 swapFree=67108860/67108860
[pid=30231] ppid=30228 vsize=10834252 memory=177584 CPUtime=2.27 cores=0,2,4,6
/proc/30231/stat : 30231 (java) S 30228 30231 24765 0 -1 1077944320 24291 13046 0 0 211 8 5 3 20 0 15 0 64672514 11094274048 44396 33554432000 4194304 4196468 140729032736976 140729032719520 140270935994103 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
/proc/30231/statm: 2708563 44396 3466 1 0 2670221 0
[pid=30231/tid=30284] ppid=30228 vsize=10834252 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/30231/task/30284/stat : 30284 (java) R 30228 30231 24765 0 -1 4202560 17940 13046 0 0 131 4 5 3 20 0 15 0 64672523 11094274048 44396 33554432000 4194304 4196468 140729032736976 140270907825488 140270920074590 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30285] ppid=30228 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30231/task/30285/stat : 30285 (java) S 30228 30231 24765 0 -1 1077944384 63 13046 0 0 1 0 5 3 20 0 15 0 64672524 11094274048 44396 33554432000 4194304 4196468 140729032736976 140270940236048 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30286] ppid=30228 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30231/task/30286/stat : 30286 (java) S 30228 30231 24765 0 -1 1077944384 16 13046 0 0 1 0 5 3 20 0 15 0 64672524 11094274048 44396 33554432000 4194304 4196468 140729032736976 140270828509584 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30287] ppid=30228 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30231/task/30287/stat : 30287 (java) S 30228 30231 24765 0 -1 1077944384 31 13046 0 0 1 0 5 3 20 0 15 0 64672524 11094274048 44396 33554432000 4194304 4196468 140729032736976 140270827457040 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30288] ppid=30228 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30288/stat : 30288 (java) S 30228 30231 24765 0 -1 1077944384 195 13046 0 0 0 0 5 3 20 0 15 0 64672524 11094274048 44396 33554432000 4194304 4196468 140729032736976 140270826404496 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30289] ppid=30228 vsize=10834252 memory=1399103955520229747 CPUtime=0.09 cores=0,2,4,6
/proc/30231/task/30289/stat : 30289 (java) S 30228 30231 24765 0 -1 1077944384 172 13046 0 0 1 0 5 3 20 0 15 0 64672526 11094274048 44396 33554432000 4194304 4196468 140729032736976 140270394866160 140270936005250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30290] ppid=30228 vsize=10834252 memory=280475994237184 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30290/stat : 30290 (java) S 30228 30231 24765 0 -1 1077944384 34 13046 0 0 0 0 5 3 20 0 15 0 64672526 11094274048 44396 33554432000 4194304 4196468 140729032736976 140270393812448 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30291] ppid=30228 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30291/stat : 30291 (java) S 30228 30231 24765 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 64672526 11094274048 44396 33554432000 4194304 4196468 140729032736976 140269806675456 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30292] ppid=30228 vsize=10834252 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30292/stat : 30292 (java) S 30228 30231 24765 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 64672529 11094274048 44396 33554432000 4194304 4196468 140729032736976 140269499275984 140270936012699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30293] ppid=30228 vsize=10834252 memory=1704 CPUtime=0.28 cores=0,2,4,6
/proc/30231/task/30293/stat : 30293 (java) S 30228 30231 24765 0 -1 1077944384 1404 13046 0 0 20 0 5 3 20 0 15 0 64672529 11094274048 44396 33554432000 4194304 4196468 140729032736976 140270360254448 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30294] ppid=30228 vsize=10834252 memory=9924 CPUtime=0.29 cores=0,2,4,6
/proc/30231/task/30294/stat : 30294 (java) S 30228 30231 24765 0 -1 1077944384 880 13046 0 0 21 0 5 3 20 0 15 0 64672529 11094274048 44396 33554432000 4194304 4196468 140729032736976 140270359201904 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30295] ppid=30228 vsize=10834252 memory=5788 CPUtime=0.4 cores=0,2,4,6
/proc/30231/task/30295/stat : 30295 (java) S 30228 30231 24765 0 -1 1077944384 1365 13046 0 0 32 0 5 3 20 0 15 0 64672529 11094274048 44396 33554432000 4194304 4196468 140729032736976 140270358149360 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30296] ppid=30228 vsize=10834252 memory=1936 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30296/stat : 30296 (java) S 30228 30231 24765 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 64672529 11094274048 44396 33554432000 4194304 4196468 140729032736976 140269465717344 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30297] ppid=30228 vsize=10834252 memory=1196 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30297/stat : 30297 (java) S 30228 30231 24765 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 64672529 11094274048 44396 33554432000 4194304 4196468 140729032736976 140270357097264 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
Current children cumulated CPU time: 2.27 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/30231/task/30284/stat : 30284 (java) R 30228 30231 24765 0 -1 4202560 90670 13046 0 0 235749 44 5 3 20 0 15 0 64672523 11176083456 237981 33554432000 4194304 4196468 140729032736976 140270907828272 140270509775792 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30285] ppid=30228 vsize=10914144 memory=951924 CPUtime=10.77 cores=0,2,4,6
/proc/30231/task/30285/stat : 30285 (java) S 30228 30231 24765 0 -1 1077944384 20560 13046 0 0 1018 51 5 3 20 0 15 0 64672524 11176083456 237981 33554432000 4194304 4196468 140729032736976 140270940236048 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30286] ppid=30228 vsize=10914144 memory=951924 CPUtime=10.78 cores=0,2,4,6
/proc/30231/task/30286/stat : 30286 (java) S 30228 30231 24765 0 -1 1077944384 8771 13046 0 0 1019 51 5 3 20 0 15 0 64672524 11176083456 237981 33554432000 4194304 4196468 140729032736976 140270828509584 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30287] ppid=30228 vsize=10914144 memory=951924 CPUtime=10.75 cores=0,2,4,6
/proc/30231/task/30287/stat : 30287 (java) S 30228 30231 24765 0 -1 1077944384 12844 13046 0 0 1013 54 5 3 20 0 15 0 64672524 11176083456 237981 33554432000 4194304 4196468 140729032736976 140270827457040 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30288] ppid=30228 vsize=10914144 memory=951924 CPUtime=10.73 cores=0,2,4,6
/proc/30231/task/30288/stat : 30288 (java) S 30228 30231 24765 0 -1 1077944384 11488 13046 0 0 1013 52 5 3 20 0 15 0 64672524 11176083456 237981 33554432000 4194304 4196468 140729032736976 140270826404496 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30289] ppid=30228 vsize=10914144 memory=951840 CPUtime=9.78 cores=0,2,4,6
/proc/30231/task/30289/stat : 30289 (java) S 30228 30231 24765 0 -1 1077944384 14500 13046 0 0 920 50 5 3 20 0 15 0 64672526 11176083456 237981 33554432000 4194304 4196468 140729032736976 140270394866160 140270936005250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30290] ppid=30228 vsize=10914144 memory=1232 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30290/stat : 30290 (java) S 30228 30231 24765 0 -1 1077944384 37 13046 0 0 0 0 5 3 20 0 15 0 64672526 11176083456 237981 33554432000 4194304 4196468 140729032736976 140270393812448 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30291] ppid=30228 vsize=10914144 memory=951924 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30291/stat : 30291 (java) S 30228 30231 24765 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 64672526 11176083456 237981 33554432000 4194304 4196468 140729032736976 140269806675456 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30292] ppid=30228 vsize=10914144 memory=951924 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30292/stat : 30292 (java) S 30228 30231 24765 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 64672529 11176083456 237981 33554432000 4194304 4196468 140729032736976 140269499275984 140270936012699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30293] ppid=30228 vsize=10914144 memory=951924 CPUtime=3.29 cores=0,2,4,6
/proc/30231/task/30293/stat : 30293 (java) S 30228 30231 24765 0 -1 1077944384 15123 13046 0 0 319 2 5 3 20 0 15 0 64672529 11176083456 237981 33554432000 4194304 4196468 140729032736976 140270360254448 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30294] ppid=30228 vsize=10914144 memory=4052 CPUtime=3.23 cores=0,2,4,6
/proc/30231/task/30294/stat : 30294 (java) S 30228 30231 24765 0 -1 1077944384 19910 13046 0 0 311 4 5 3 20 0 15 0 64672529 11176083456 237981 33554432000 4194304 4196468 140729032736976 140270359201904 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30295] ppid=30228 vsize=10914144 memory=951924 CPUtime=1.68 cores=0,2,4,6
/proc/30231/task/30295/stat : 30295 (java) S 30228 30231 24765 0 -1 1077944384 21781 13046 0 0 156 4 5 3 20 0 15 0 64672529 11176083456 237981 33554432000 4194304 4196468 140729032736976 140270358149360 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30296] ppid=30228 vsize=10914144 memory=4136 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30296/stat : 30296 (java) S 30228 30231 24765 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 64672529 11176083456 237981 33554432000 4194304 4196468 140729032736976 140269465717344 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30297] ppid=30228 vsize=10914144 memory=1232 CPUtime=1.67 cores=0,2,4,6
/proc/30231/task/30297/stat : 30297 (java) S 30228 30231 24765 0 -1 1077944384 925 13046 0 0 79 80 5 3 20 0 15 0 64672529 11176083456 237981 33554432000 4194304 4196468 140729032736976 140270357097264 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
Current children cumulated CPU time: 2420.09 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 951924 KiB
[startup+2442.3 s]
/proc/loadavg: 0.99 1.26 1.34 3/216 30527
/proc/meminfo: memFree=20960728/32770624 swapFree=67108860/67108860
[pid=30231] ppid=30228 vsize=10914144 memory=954056 CPUtime=2480.88 cores=0,2,4,6
/proc/30231/stat : 30231 (java) S 30228 30231 24765 0 -1 1077944320 220091 13046 0 0 247749 331 5 3 20 0 15 0 64672514 11176083456 238514 33554432000 4194304 4196468 140729032736976 140729032719520 140270935994103 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
/proc/30231/statm: 2728536 238514 3520 1 0 2690189 0
[pid=30231/tid=30284] ppid=30228 vsize=10914144 memory=954056 CPUtime=2417.36 cores=0,2,4,6
/proc/30231/task/30284/stat : 30284 (java) R 30228 30231 24765 0 -1 4202560 91309 13046 0 0 241683 45 5 3 20 0 15 0 64672523 11176083456 238514 33554432000 4194304 4196468 140729032736976 140270907828112 140270506276545 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30285] ppid=30228 vsize=10914144 memory=951924 CPUtime=11.05 cores=0,2,4,6
/proc/30231/task/30285/stat : 30285 (java) S 30228 30231 24765 0 -1 1077944384 20610 13046 0 0 1045 52 5 3 20 0 15 0 64672524 11176083456 238514 33554432000 4194304 4196468 140729032736976 140270940236048 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30286] ppid=30228 vsize=10914144 memory=951924 CPUtime=11.07 cores=0,2,4,6
/proc/30231/task/30286/stat : 30286 (java) S 30228 30231 24765 0 -1 1077944384 8797 13046 0 0 1047 52 5 3 20 0 15 0 64672524 11176083456 238514 33554432000 4194304 4196468 140729032736976 140270828509584 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30287] ppid=30228 vsize=10914144 memory=954056 CPUtime=11.04 cores=0,2,4,6
/proc/30231/task/30287/stat : 30287 (java) S 30228 30231 24765 0 -1 1077944384 13133 13046 0 0 1040 56 5 3 20 0 15 0 64672524 11176083456 238514 33554432000 4194304 4196468 140729032736976 140270827457040 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30288] ppid=30228 vsize=10914144 memory=18252 CPUtime=11.03 cores=0,2,4,6
/proc/30231/task/30288/stat : 30288 (java) S 30228 30231 24765 0 -1 1077944384 11543 13046 0 0 1042 53 5 3 20 0 15 0 64672524 11176083456 238514 33554432000 4194304 4196468 140729032736976 140270826404496 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30289] ppid=30228 vsize=10914144 memory=954056 CPUtime=10.04 cores=0,2,4,6
/proc/30231/task/30289/stat : 30289 (java) S 30228 30231 24765 0 -1 1077944384 14706 13046 0 0 945 51 5 3 20 0 15 0 64672526 11176083456 238514 33554432000 4194304 4196468 140729032736976 140270394866160 140270936005250 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30290] ppid=30228 vsize=10914144 memory=270345441822419 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30290/stat : 30290 (java) S 30228 30231 24765 0 -1 1077944384 37 13046 0 0 0 0 5 3 20 0 15 0 64672526 11176083456 238514 33554432000 4194304 4196468 140729032736976 140270393812448 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30291] ppid=30228 vsize=10914144 memory=954056 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30291/stat : 30291 (java) S 30228 30231 24765 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 64672526 11176083456 238514 33554432000 4194304 4196468 140729032736976 140269806675456 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30292] ppid=30228 vsize=10914144 memory=954056 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30292/stat : 30292 (java) S 30228 30231 24765 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 64672529 11176083456 238514 33554432000 4194304 4196468 140729032736976 140269499275984 140270936012699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30293] ppid=30228 vsize=10914144 memory=954056 CPUtime=3.29 cores=0,2,4,6
/proc/30231/task/30293/stat : 30293 (java) S 30228 30231 24765 0 -1 1077944384 15125 13046 0 0 319 2 5 3 20 0 15 0 64672529 11176083456 238514 33554432000 4194304 4196468 140729032736976 140270360254448 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30294] ppid=30228 vsize=10914144 memory=954056 CPUtime=3.23 cores=0,2,4,6
/proc/30231/task/30294/stat : 30294 (java) S 30228 30231 24765 0 -1 1077944384 19912 13046 0 0 311 4 5 3 20 0 15 0 64672529 11176083456 238514 33554432000 4194304 4196468 140729032736976 140270359201904 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30295] ppid=30228 vsize=10914144 memory=954056 CPUtime=1.68 cores=0,2,4,6
/proc/30231/task/30295/stat : 30295 (java) S 30228 30231 24765 0 -1 1077944384 21783 13046 0 0 156 4 5 3 20 0 15 0 64672529 11176083456 238514 33554432000 4194304 4196468 140729032736976 140270358149360 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30296] ppid=30228 vsize=10914144 memory=954056 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30296/stat : 30296 (java) S 30228 30231 24765 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 64672529 11176083456 238514 33554432000 4194304 4196468 140729032736976 140269465717344 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30297] ppid=30228 vsize=10914144 memory=954056 CPUtime=1.7 cores=0,2,4,6
/proc/30231/task/30297/stat : 30297 (java) S 30228 30231 24765 0 -1 1077944384 942 13046 0 0 80 82 5 3 20 0 15 0 64672529 11176083456 238514 33554432000 4194304 4196468 140729032736976 140270357097264 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
Current children cumulated CPU time: 2480.88 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 954056 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2480.9 s]
/proc/loadavg: 0.98 1.23 1.33 3/215 30528
/proc/meminfo: memFree=20958556/32770624 swapFree=67108860/67108860
[pid=30231] ppid=30228 vsize=10914144 memory=954112 CPUtime=2520.03 cores=0,2,4,6
/proc/30231/stat : 30231 (java) S 30228 30231 24765 0 -1 1077944320 221195 13046 0 0 251658 337 5 3 20 0 15 0 64672514 11176083456 238528 33554432000 4194304 4196468 140729032736976 140729032719520 140270935994103 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
/proc/30231/statm: 2728536 238528 3520 1 0 2690189 0
[pid=30231/tid=30284] ppid=30228 vsize=10914144 memory=954112 CPUtime=2455.53 cores=0,2,4,6
/proc/30231/task/30284/stat : 30284 (java) R 30228 30231 24765 0 -1 4202560 91789 13046 0 0 245500 45 5 3 20 0 15 0 64672523 11176083456 238528 33554432000 4194304 4196468 140729032736976 140270907828320 140270506249735 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30285] ppid=30228 vsize=10914144 memory=954112 CPUtime=11.25 cores=0,2,4,6
/proc/30231/task/30285/stat : 30285 (java) S 30228 30231 24765 0 -1 1077944384 20930 13046 0 0 1064 53 5 3 20 0 15 0 64672524 11176083456 238528 33554432000 4194304 4196468 140729032736976 140270940236048 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30286] ppid=30228 vsize=10914144 memory=954112 CPUtime=11.27 cores=0,2,4,6
/proc/30231/task/30286/stat : 30286 (java) S 30228 30231 24765 0 -1 1077944384 8819 13046 0 0 1065 54 5 3 20 0 15 0 64672524 11176083456 238528 33554432000 4194304 4196468 140729032736976 140270828509584 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30287] ppid=30228 vsize=10914144 memory=954112 CPUtime=11.23 cores=0,2,4,6
/proc/30231/task/30287/stat : 30287 (java) S 30228 30231 24765 0 -1 1077944384 13148 13046 0 0 1057 58 5 3 20 0 15 0 64672524 11176083456 238528 33554432000 4194304 4196468 140729032736976 140270827457040 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30288] ppid=30228 vsize=10914144 memory=954112 CPUtime=11.21 cores=0,2,4,6
/proc/30231/task/30288/stat : 30288 (java) S 30228 30231 24765 0 -1 1077944384 11597 13046 0 0 1059 54 5 3 20 0 15 0 64672524 11176083456 238528 33554432000 4194304 4196468 140729032736976 140270826404496 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30289] ppid=30228 vsize=10914144 memory=954112 CPUtime=10.22 cores=0,2,4,6
/proc/30231/task/30289/stat : 30289 (java) S 30228 30231 24765 0 -1 1077944384 14905 13046 0 0 962 52 5 3 20 0 15 0 64672526 11176083456 238528 33554432000 4194304 4196468 140729032736976 140270394866160 140270936005250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30290] ppid=30228 vsize=10914144 memory=951924 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30290/stat : 30290 (java) S 30228 30231 24765 0 -1 1077944384 37 13046 0 0 0 0 5 3 20 0 15 0 64672526 11176083456 238528 33554432000 4194304 4196468 140729032736976 140270393812448 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30291] ppid=30228 vsize=10914144 memory=954056 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30291/stat : 30291 (java) S 30228 30231 24765 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 64672526 11176083456 238528 33554432000 4194304 4196468 140729032736976 140269806675456 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30292] ppid=30228 vsize=10914144 memory=954112 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30292/stat : 30292 (java) S 30228 30231 24765 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 64672529 11176083456 238528 33554432000 4194304 4196468 140729032736976 140269499275984 140270936012699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30293] ppid=30228 vsize=10914144 memory=954112 CPUtime=3.29 cores=0,2,4,6
/proc/30231/task/30293/stat : 30293 (java) S 30228 30231 24765 0 -1 1077944384 15127 13046 0 0 319 2 5 3 20 0 15 0 64672529 11176083456 238528 33554432000 4194304 4196468 140729032736976 140270360254448 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30294] ppid=30228 vsize=10914144 memory=954112 CPUtime=3.23 cores=0,2,4,6
/proc/30231/task/30294/stat : 30294 (java) S 30228 30231 24765 0 -1 1077944384 19914 13046 0 0 311 4 5 3 20 0 15 0 64672529 11176083456 238528 33554432000 4194304 4196468 140729032736976 140270359201904 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30295] ppid=30228 vsize=10914144 memory=954112 CPUtime=1.68 cores=0,2,4,6
/proc/30231/task/30295/stat : 30295 (java) S 30228 30231 24765 0 -1 1077944384 21785 13046 0 0 156 4 5 3 20 0 15 0 64672529 11176083456 238528 33554432000 4194304 4196468 140729032736976 140270358149360 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30296] ppid=30228 vsize=10914144 memory=954112 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30296/stat : 30296 (java) S 30228 30231 24765 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 64672529 11176083456 238528 33554432000 4194304 4196468 140729032736976 140269465717344 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30297] ppid=30228 vsize=10914144 memory=954112 CPUtime=1.73 cores=0,2,4,6
/proc/30231/task/30297/stat : 30297 (java) S 30228 30231 24765 0 -1 1077944384 950 13046 0 0 82 83 5 3 20 0 15 0 64672529 11176083456 238528 33554432000 4194304 4196468 140729032736976 140270357097264 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 954112 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2480.93 s]
# the end of solver process 30231 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.65 s, system=3.41518 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2480.9 s]
/proc/loadavg: 0.98 1.23 1.33 3/215 30528
/proc/meminfo: memFree=20958556/32770624 swapFree=67108860/67108860
[pid=30231] ppid=30228 vsize=10914144 memory=954112 CPUtime=2520.03 cores=0,2,4,6
/proc/30231/stat : 30231 (java) S 30228 30231 24765 0 -1 1077944320 221195 13046 0 0 251658 337 5 3 20 0 15 0 64672514 11176083456 238528 33554432000 4194304 4196468 140729032736976 140729032719520 140270935994103 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
/proc/30231/statm: 2728536 238528 3520 1 0 2690189 0
[pid=30231/tid=30284] ppid=30228 vsize=10914144 memory=954112 CPUtime=2455.53 cores=0,2,4,6
/proc/30231/task/30284/stat : 30284 (java) R 30228 30231 24765 0 -1 4202560 91789 13046 0 0 245500 45 5 3 20 0 15 0 64672523 11176083456 238528 33554432000 4194304 4196468 140729032736976 140270907828320 140270506249735 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30285] ppid=30228 vsize=10914144 memory=954112 CPUtime=11.25 cores=0,2,4,6
/proc/30231/task/30285/stat : 30285 (java) S 30228 30231 24765 0 -1 1077944384 20930 13046 0 0 1064 53 5 3 20 0 15 0 64672524 11176083456 238528 33554432000 4194304 4196468 140729032736976 140270940236048 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30286] ppid=30228 vsize=10914144 memory=954112 CPUtime=11.27 cores=0,2,4,6
/proc/30231/task/30286/stat : 30286 (java) S 30228 30231 24765 0 -1 1077944384 8819 13046 0 0 1065 54 5 3 20 0 15 0 64672524 11176083456 238528 33554432000 4194304 4196468 140729032736976 140270828509584 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30287] ppid=30228 vsize=10914144 memory=954112 CPUtime=11.23 cores=0,2,4,6
/proc/30231/task/30287/stat : 30287 (java) S 30228 30231 24765 0 -1 1077944384 13148 13046 0 0 1057 58 5 3 20 0 15 0 64672524 11176083456 238528 33554432000 4194304 4196468 140729032736976 140270827457040 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30288] ppid=30228 vsize=10914144 memory=954112 CPUtime=11.21 cores=0,2,4,6
/proc/30231/task/30288/stat : 30288 (java) S 30228 30231 24765 0 -1 1077944384 11597 13046 0 0 1059 54 5 3 20 0 15 0 64672524 11176083456 238528 33554432000 4194304 4196468 140729032736976 140270826404496 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30289] ppid=30228 vsize=10914144 memory=954112 CPUtime=10.22 cores=0,2,4,6
/proc/30231/task/30289/stat : 30289 (java) S 30228 30231 24765 0 -1 1077944384 14905 13046 0 0 962 52 5 3 20 0 15 0 64672526 11176083456 238528 33554432000 4194304 4196468 140729032736976 140270394866160 140270936005250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30290] ppid=30228 vsize=10914144 memory=951924 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30290/stat : 30290 (java) S 30228 30231 24765 0 -1 1077944384 37 13046 0 0 0 0 5 3 20 0 15 0 64672526 11176083456 238528 33554432000 4194304 4196468 140729032736976 140270393812448 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30291] ppid=30228 vsize=10914144 memory=954056 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30291/stat : 30291 (java) S 30228 30231 24765 0 -1 1077944384 1 13046 0 0 0 0 5 3 20 0 15 0 64672526 11176083456 238528 33554432000 4194304 4196468 140729032736976 140269806675456 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30292] ppid=30228 vsize=10914144 memory=954112 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30292/stat : 30292 (java) S 30228 30231 24765 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 64672529 11176083456 238528 33554432000 4194304 4196468 140729032736976 140269499275984 140270936012699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30293] ppid=30228 vsize=10914144 memory=954112 CPUtime=3.29 cores=0,2,4,6
/proc/30231/task/30293/stat : 30293 (java) S 30228 30231 24765 0 -1 1077944384 15127 13046 0 0 319 2 5 3 20 0 15 0 64672529 11176083456 238528 33554432000 4194304 4196468 140729032736976 140270360254448 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30294] ppid=30228 vsize=10914144 memory=954112 CPUtime=3.23 cores=0,2,4,6
/proc/30231/task/30294/stat : 30294 (java) S 30228 30231 24765 0 -1 1077944384 19914 13046 0 0 311 4 5 3 20 0 15 0 64672529 11176083456 238528 33554432000 4194304 4196468 140729032736976 140270359201904 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30295] ppid=30228 vsize=10914144 memory=954112 CPUtime=1.68 cores=0,2,4,6
/proc/30231/task/30295/stat : 30295 (java) S 30228 30231 24765 0 -1 1077944384 21785 13046 0 0 156 4 5 3 20 0 15 0 64672529 11176083456 238528 33554432000 4194304 4196468 140729032736976 140270358149360 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30296] ppid=30228 vsize=10914144 memory=954112 CPUtime=0.08 cores=0,2,4,6
/proc/30231/task/30296/stat : 30296 (java) S 30228 30231 24765 0 -1 1077944384 3 13046 0 0 0 0 5 3 20 0 15 0 64672529 11176083456 238528 33554432000 4194304 4196468 140729032736976 140269465717344 140270936004309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
[pid=30231/tid=30297] ppid=30228 vsize=10914144 memory=954112 CPUtime=1.73 cores=0,2,4,6
/proc/30231/task/30297/stat : 30297 (java) S 30228 30231 24765 0 -1 1077944384 950 13046 0 0 82 83 5 3 20 0 15 0 64672529 11176083456 238528 33554432000 4194304 4196468 140729032736976 140270357097264 140270936005250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32272384 140729032743083 140729032746332 140729032746332 140729032749007 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 954112 KiB
Child status: 143
Real time (s): 2480.93
CPU time (s): 2520.07
CPU user time (s): 2516.65
CPU system time (s): 3.41518
CPU usage (%): 101.578
Max. virtual memory (cumulated for all children) (KiB): 10916852
Max. memory (cumulated for all children) (KiB): 957576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.65
system time used= 3.41518
maximum resident set size= 959624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235519
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 275222
involuntary context switches= 9114
# summary of solver processes directly reported to runsolver:
# pid: 30231
# total CPU time (s): 2520.07
# total CPU user time (s): 2516.65
# total CPU system time (s): 3.41518
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6997 second user time and 25.7323 second system time
The end