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 (15151 MiB free)
memory of node 1: 16384 MiB (14344 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259455-1502645765/watcher-4259455-1502645765 -o /tmp/evaluation-result-4259455-1502645765/solver-4259455-1502645765 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25473 --watchdog 312 bin/concrete HOME/instance-4259455-1502645765.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29585, runsolver pid=29582
Current StackSize limit: 8192 KiB
[startup+0.100136 s]*
/proc/loadavg: 2.71 2.19 2.00 4/204 29602
/proc/meminfo: memFree=30203188/32770624 swapFree=67108860/67108860
[pid=29585] ppid=29582 vsize=9636 memory=1512 CPUtime=0.01 cores=0,2,4,6
/proc/29585/stat : 29585 (bash) S 29582 29585 8289 0 -1 4202496 899 6475 0 0 0 0 0 1 20 0 1 0 112391719 9867264 378 18446744073709551615 4194304 5098028 140724045411504 140724045405512 140206677990400 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 8 0 0 7196144 7232144 7426048 140724045418996 140724045419081 140724045419081 140724045422570 0
/proc/29585/statm: 2409 378 297 221 0 118 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9636 KiB
Current children cumulated memory: 1512 KiB
[startup+0.209945 s]*
/proc/loadavg: 2.71 2.19 2.00 3/204 29634
/proc/meminfo: memFree=30202356/32770624 swapFree=67108860/67108860
[pid=29585] ppid=29582 vsize=356956 memory=7532 CPUtime=0.07 cores=0,2,4,6
/proc/29585/stat : 29585 (java) S 29582 29585 8289 0 -1 1077944320 2593 12357 0 0 0 0 4 3 20 0 2 0 112391719 365522944 1883 18446744073709551615 4194304 4196468 140726143715360 140726143697904 140089087012599 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
/proc/29585/statm: 89239 1883 1036 1 0 79209 0
[pid=29585/tid=29635] ppid=29582 vsize=356956 memory=8318255677412212789 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29635/stat : 29635 (java) S 29582 29585 8289 0 -1 1077944384 438 12357 0 0 0 0 4 3 20 0 2 0 112391741 365522944 1883 18446744073709551615 4194304 4196468 140726143715360 140089091254688 140089087023746 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 356956 KiB
Current children cumulated memory: 7532 KiB
[startup+0.310036 s]*
/proc/loadavg: 2.71 2.19 2.00 3/215 29648
/proc/meminfo: memFree=30187520/32770624 swapFree=67108860/67108860
[pid=29585] ppid=29582 vsize=13974356 memory=28424 CPUtime=0.17 cores=0,2,4,6
/proc/29585/stat : 29585 (java) S 29582 29585 8289 0 -1 1077944320 6502 12357 0 0 9 1 4 3 20 0 15 0 112391719 14309740544 7106 18446744073709551615 4194304 4196468 140726143715360 140726143697904 140089087012599 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
/proc/29585/statm: 3493589 7106 2842 1 0 3482965 0
[pid=29585/tid=29635] ppid=29582 vsize=13974356 memory=8318255677412212789 CPUtime=0.13 cores=0,2,4,6
/proc/29585/task/29635/stat : 29635 (java) R 29582 29585 8289 0 -1 4202560 3429 12357 0 0 6 0 4 3 20 0 15 0 112391741 14309740544 7172 18446744073709551615 4194304 4196468 140726143715360 140089091234960 140089079249726 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29636] ppid=29582 vsize=13974356 memory=330 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29636/stat : 29636 (java) S 29582 29585 8289 0 -1 1077944384 1 12357 0 0 0 0 4 3 20 0 15 0 112391741 14309740544 7172 18446744073709551615 4194304 4196468 140726143715360 140089021447184 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29637] ppid=29582 vsize=13974356 memory=320860984003422592 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29637/stat : 29637 (java) S 29582 29585 8289 0 -1 1077944384 1 12357 0 0 0 0 4 3 20 0 15 0 112391741 14309740544 7172 18446744073709551615 4194304 4196468 140726143715360 140089020394640 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29638] ppid=29582 vsize=13974356 memory=6944656592455097440 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29638/stat : 29638 (java) S 29582 29585 8289 0 -1 1077944384 1 12357 0 0 0 0 4 3 20 0 15 0 112391741 14309740544 7172 18446744073709551615 4194304 4196468 140726143715360 140089019341584 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29639] ppid=29582 vsize=13974356 memory=3472328296227680299 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29639/stat : 29639 (java) S 29582 29585 8289 0 -1 1077944384 2 12357 0 0 0 0 4 3 20 0 15 0 112391741 14309740544 7172 18446744073709551615 4194304 4196468 140726143715360 140089018289040 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29640] ppid=29582 vsize=13974356 memory=3472468999905765040 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29640/stat : 29640 (java) S 29582 29585 8289 0 -1 1077944384 2 12357 0 0 0 0 4 3 20 0 15 0 112391743 14309740544 7238 18446744073709551615 4194304 4196468 140726143715360 140088565151984 140089087023746 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29641] ppid=29582 vsize=13974356 memory=8607328266676888414 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29641/stat : 29641 (java) S 29582 29585 8289 0 -1 1077944384 33 12357 0 0 0 0 4 3 20 0 15 0 112391743 14309740544 7238 18446744073709551615 4194304 4196468 140726143715360 140088564098208 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29642] ppid=29582 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29642/stat : 29642 (java) S 29582 29585 8289 0 -1 1077944384 21 12357 0 0 0 0 4 3 20 0 15 0 112391743 14309740544 7238 18446744073709551615 4194304 4196468 140726143715360 140088563045104 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29643] ppid=29582 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29643/stat : 29643 (java) S 29582 29585 8289 0 -1 1077944384 3 12357 0 0 0 0 4 3 20 0 15 0 112391746 14309740544 7238 18446744073709551615 4194304 4196468 140726143715360 140088561993680 140089087031195 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29644] ppid=29582 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29644/stat : 29644 (java) R 29582 29585 8289 0 -1 1077944384 294 12357 0 0 0 0 4 3 20 0 15 0 112391746 14309740544 7238 18446744073709551615 4194304 4196468 140726143715360 140088560941808 140089087023746 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29645] ppid=29582 vsize=13974356 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29645/stat : 29645 (java) R 29582 29585 8289 0 -1 4202560 219 12357 0 0 0 0 4 3 20 0 15 0 112391746 14309740544 7238 18446744073709551615 4194304 4196468 140726143715360 140088559882008 140089070512924 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29646] ppid=29582 vsize=13974356 memory=140703678346880 CPUtime=0.08 cores=0,2,4,6
/proc/29585/task/29646/stat : 29646 (java) R 29582 29585 8289 0 -1 4202560 415 12357 0 0 1 0 4 3 20 0 15 0 112391746 14309740544 7238 18446744073709551615 4194304 4196468 140726143715360 140088558833000 140089079249726 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29647] ppid=29582 vsize=13974356 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29647/stat : 29647 (java) S 29582 29585 8289 0 -1 1077944384 3 12357 0 0 0 0 4 3 20 0 15 0 112391746 14309740544 7238 18446744073709551615 4194304 4196468 140726143715360 140088557783904 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29648] ppid=29582 vsize=13974356 memory=140703678346880 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29648/stat : 29648 (java) S 29582 29585 8289 0 -1 1077944384 1 12357 0 0 0 0 4 3 20 0 15 0 112391749 14309740544 7238 18446744073709551615 4194304 4196468 140726143715360 140088556730928 140089087023746 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 13974356 KiB
Current children cumulated memory: 28424 KiB
[startup+0.700797 s]
/proc/loadavg: 2.71 2.19 2.00 6/215 29648
/proc/meminfo: memFree=30161480/32770624 swapFree=67108860/67108860
[pid=29585] ppid=29582 vsize=13974784 memory=59416 CPUtime=0.69 cores=0,2,4,6
/proc/29585/stat : 29585 (java) S 29582 29585 8289 0 -1 1077944320 13985 12357 0 0 58 4 4 3 20 0 15 0 112391719 14310178816 14854 18446744073709551615 4194304 4196468 140726143715360 140726143697904 140089087012599 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
/proc/29585/statm: 3493696 14854 3092 1 0 3482965 0
[pid=29585/tid=29635] ppid=29582 vsize=13974784 memory=1716 CPUtime=0.52 cores=0,2,4,6
/proc/29585/task/29635/stat : 29635 (java) R 29582 29585 8289 0 -1 4202560 10353 12357 0 0 42 3 4 3 20 0 15 0 112391741 14310178816 14854 18446744073709551615 4194304 4196468 140726143715360 140089091232480 140089068576151 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29636] ppid=29582 vsize=13974784 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29636/stat : 29636 (java) S 29582 29585 8289 0 -1 1077944384 1 12357 0 0 0 0 4 3 20 0 15 0 112391741 14310178816 14854 18446744073709551615 4194304 4196468 140726143715360 140089021447184 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29637] ppid=29582 vsize=13974784 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29637/stat : 29637 (java) S 29582 29585 8289 0 -1 1077944384 1 12357 0 0 0 0 4 3 20 0 15 0 112391741 14310178816 14854 18446744073709551615 4194304 4196468 140726143715360 140089020394640 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29638] ppid=29582 vsize=13974784 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29638/stat : 29638 (java) S 29582 29585 8289 0 -1 1077944384 1 12357 0 0 0 0 4 3 20 0 15 0 112391741 14310178816 14854 18446744073709551615 4194304 4196468 140726143715360 140089019341584 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29639] ppid=29582 vsize=13974784 memory=5860423748193118294 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29639/stat : 29639 (java) S 29582 29585 8289 0 -1 1077944384 2 12357 0 0 0 0 4 3 20 0 15 0 112391741 14310178816 14854 18446744073709551615 4194304 4196468 140726143715360 140089018289040 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29640] ppid=29582 vsize=13974784 memory=7728295065330084970 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29640/stat : 29640 (java) S 29582 29585 8289 0 -1 1077944384 5 12357 0 0 0 0 4 3 20 0 15 0 112391743 14310178816 14854 18446744073709551615 4194304 4196468 140726143715360 140088565151984 140089087023746 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29641] ppid=29582 vsize=13974784 memory=281407062629348 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29641/stat : 29641 (java) S 29582 29585 8289 0 -1 1077944384 33 12357 0 0 0 0 4 3 20 0 15 0 112391743 14310178816 14854 18446744073709551615 4194304 4196468 140726143715360 140088564098208 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29642] ppid=29582 vsize=13974784 memory=52996 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29642/stat : 29642 (java) S 29582 29585 8289 0 -1 1077944384 21 12357 0 0 0 0 4 3 20 0 15 0 112391743 14310178816 14854 18446744073709551615 4194304 4196468 140726143715360 140088563045104 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29643] ppid=29582 vsize=13974784 memory=-8774313645642428999 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29643/stat : 29643 (java) S 29582 29585 8289 0 -1 1077944384 3 12357 0 0 0 0 4 3 20 0 15 0 112391746 14310178816 14854 18446744073709551615 4194304 4196468 140726143715360 140088561993680 140089087031195 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29644] ppid=29582 vsize=13974784 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/29585/task/29644/stat : 29644 (java) S 29582 29585 8289 0 -1 1077944384 433 12357 0 0 3 0 4 3 20 0 15 0 112391746 14310178816 14854 18446744073709551615 4194304 4196468 140726143715360 140088560941808 140089087023746 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29645] ppid=29582 vsize=13974784 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29585/task/29645/stat : 29645 (java) S 29582 29585 8289 0 -1 1077944384 394 12357 0 0 2 0 4 3 20 0 15 0 112391746 14310178816 14854 18446744073709551615 4194304 4196468 140726143715360 140088559889264 140089087023746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29646] ppid=29582 vsize=13974784 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/29585/task/29646/stat : 29646 (java) S 29582 29585 8289 0 -1 1077944384 579 12357 0 0 10 0 4 3 20 0 15 0 112391746 14310178816 14854 18446744073709551615 4194304 4196468 140726143715360 140088558836208 140089087023746 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29647] ppid=29582 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29647/stat : 29647 (java) S 29582 29585 8289 0 -1 1077944384 3 12357 0 0 0 0 4 3 20 0 15 0 112391746 14310178816 14854 18446744073709551615 4194304 4196468 140726143715360 140088557783904 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29648] ppid=29582 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29648/stat : 29648 (java) S 29582 29585 8289 0 -1 1077944384 1 12357 0 0 0 0 4 3 20 0 15 0 112391749 14310178816 14854 18446744073709551615 4194304 4196468 140726143715360 140088556730928 140089087023746 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 59416 KiB
[startup+1.50388 s]
/proc/loadavg: 2.71 2.19 2.00 3/215 29648
/proc/meminfo: memFree=30120396/32770624 swapFree=67108860/67108860
[pid=29585] ppid=29582 vsize=13985408 memory=170804 CPUtime=1.91 cores=0,2,4,6
/proc/29585/stat : 29585 (java) S 29582 29585 8289 0 -1 1077944320 29727 12357 0 0 174 10 4 3 20 0 15 0 112391719 14321057792 42701 18446744073709551615 4194304 4196468 140726143715360 140726143697904 140089087012599 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
/proc/29585/statm: 3496352 42701 3375 1 0 3485525 0
[pid=29585/tid=29635] ppid=29582 vsize=13985408 memory=0 CPUtime=1.29 cores=0,2,4,6
/proc/29585/task/29635/stat : 29635 (java) S 29582 29585 8289 0 -1 1077944384 22629 12357 0 0 116 6 4 3 20 0 15 0 112391741 14321057792 42701 18446744073709551615 4194304 4196468 140726143715360 140089091235824 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29636] ppid=29582 vsize=13985408 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29636/stat : 29636 (java) S 29582 29585 8289 0 -1 1077944384 196 12357 0 0 0 0 4 3 20 0 15 0 112391741 14321057792 42701 18446744073709551615 4194304 4196468 140726143715360 140089021447184 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29637] ppid=29582 vsize=13985408 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29585/task/29637/stat : 29637 (java) S 29582 29585 8289 0 -1 1077944384 55 12357 0 0 1 0 4 3 20 0 15 0 112391741 14321057792 42701 18446744073709551615 4194304 4196468 140726143715360 140089020394640 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29638] ppid=29582 vsize=13985408 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29585/task/29638/stat : 29638 (java) S 29582 29585 8289 0 -1 1077944384 36 12357 0 0 1 0 4 3 20 0 15 0 112391741 14321057792 42652 18446744073709551615 4194304 4196468 140726143715360 140089019341584 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29639] ppid=29582 vsize=13985408 memory=7233995332363972201 CPUtime=0.08 cores=0,2,4,6
/proc/29585/task/29639/stat : 29639 (java) S 29582 29585 8289 0 -1 1077944384 69 12357 0 0 1 0 4 3 20 0 15 0 112391741 14321057792 42598 18446744073709551615 4194304 4196468 140726143715360 140089018289040 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29640] ppid=29582 vsize=13985408 memory=7740396273174407766 CPUtime=0.08 cores=0,2,4,6
/proc/29585/task/29640/stat : 29640 (java) R 29582 29585 8289 0 -1 4202560 1511 12357 0 0 1 0 4 3 20 0 15 0 112391743 14321057792 42598 18446744073709551615 4194304 4196468 140726143715360 140088565150496 140089066748700 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29641] ppid=29582 vsize=13985408 memory=281407062629092 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29641/stat : 29641 (java) S 29582 29585 8289 0 -1 1077944384 33 12357 0 0 0 0 4 3 20 0 15 0 112391743 14321057792 42598 18446744073709551615 4194304 4196468 140726143715360 140088564098208 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29642] ppid=29582 vsize=13985408 memory=281407062666824 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29642/stat : 29642 (java) S 29582 29585 8289 0 -1 1077944384 21 12357 0 0 0 0 4 3 20 0 15 0 112391743 14321057792 42598 18446744073709551615 4194304 4196468 140726143715360 140088563045104 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29643] ppid=29582 vsize=13985408 memory=281407062885744 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29643/stat : 29643 (java) S 29582 29585 8289 0 -1 1077944384 3 12357 0 0 0 0 4 3 20 0 15 0 112391746 14321057792 42598 18446744073709551615 4194304 4196468 140726143715360 140088561993680 140089087031195 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29644] ppid=29582 vsize=13985408 memory=6944656592455097440 CPUtime=0.19 cores=0,2,4,6
/proc/29585/task/29644/stat : 29644 (java) S 29582 29585 8289 0 -1 1077944384 746 12357 0 0 12 0 4 3 20 0 15 0 112391746 14321057792 42598 18446744073709551615 4194304 4196468 140726143715360 140088560941808 140089087023746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29645] ppid=29582 vsize=13985408 memory=56 CPUtime=0.24 cores=0,2,4,6
/proc/29585/task/29645/stat : 29645 (java) S 29582 29585 8289 0 -1 1077944384 906 12357 0 0 17 0 4 3 20 0 15 0 112391746 14321057792 42598 18446744073709551615 4194304 4196468 140726143715360 140088559889264 140089087023746 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29646] ppid=29582 vsize=13985408 memory=664970774371478170 CPUtime=0.3 cores=0,2,4,6
/proc/29585/task/29646/stat : 29646 (java) R 29582 29585 8289 0 -1 4202560 1355 12357 0 0 23 0 4 3 20 0 15 0 112391746 14321057792 42598 18446744073709551615 4194304 4196468 140726143715360 140088558831584 140089087033946 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29647] ppid=29582 vsize=13985408 memory=4206186544037388384 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29647/stat : 29647 (java) S 29582 29585 8289 0 -1 1077944384 3 12357 0 0 0 0 4 3 20 0 15 0 112391746 14321057792 42598 18446744073709551615 4194304 4196468 140726143715360 140088557783904 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29648] ppid=29582 vsize=13985408 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29648/stat : 29648 (java) S 29582 29585 8289 0 -1 1077944384 10 12357 0 0 0 0 4 3 20 0 15 0 112391749 14321057792 42598 18446744073709551615 4194304 4196468 140726143715360 140088556730928 140089087023746 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
Current children cumulated CPU time: 1.91 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 170804 KiB
[startup+3.11051 s]
/proc/loadavg: 2.98 2.25 2.02 4/215 29648
/proc/meminfo: memFree=29979220/32770624 swapFree=67108860/67108860
[pid=29585] ppid=29582 vsize=13995836 memory=252124 CPUtime=5.97 cores=0,2,4,6
/proc/29585/stat : 29585 (java) S 29582 29585 8289 0 -1 1077944320 43010 12357 0 0 573 17 4 3 20 0 15 0 112391719 14331736064 63031 18446744073709551615 4194304 4196468 140726143715360 140726143697904 140089087012599 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
/proc/29585/statm: 3498959 63031 3458 1 0 3487573 0
[pid=29585/tid=29635] ppid=29582 vsize=13995836 memory=7 CPUtime=2.78 cores=0,2,4,6
/proc/29585/task/29635/stat : 29635 (java) R 29582 29585 8289 0 -1 4202560 28819 12357 0 0 261 10 4 3 20 0 15 0 112391741 14331736064 63031 18446744073709551615 4194304 4196468 140726143715360 140089091243120 140088705763194 0 4 1 16800974 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29636] ppid=29582 vsize=13995836 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29636/stat : 29636 (java) S 29582 29585 8289 0 -1 1077944384 196 12357 0 0 0 0 4 3 20 0 15 0 112391741 14331736064 63031 18446744073709551615 4194304 4196468 140726143715360 140089021447184 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29637] ppid=29582 vsize=13995836 memory=288230377108275491 CPUtime=0.08 cores=0,2,4,6
/proc/29585/task/29637/stat : 29637 (java) S 29582 29585 8289 0 -1 1077944384 55 12357 0 0 1 0 4 3 20 0 15 0 112391741 14331736064 63031 18446744073709551615 4194304 4196468 140726143715360 140089020394640 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29638] ppid=29582 vsize=13995836 memory=13567080955905322 CPUtime=0.08 cores=0,2,4,6
/proc/29585/task/29638/stat : 29638 (java) S 29582 29585 8289 0 -1 1077944384 36 12357 0 0 1 0 4 3 20 0 15 0 112391741 14331736064 63031 18446744073709551615 4194304 4196468 140726143715360 140089019341584 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29639] ppid=29582 vsize=13995836 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29585/task/29639/stat : 29639 (java) S 29582 29585 8289 0 -1 1077944384 69 12357 0 0 1 0 4 3 20 0 15 0 112391741 14331736064 63031 18446744073709551615 4194304 4196468 140726143715360 140089018289040 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29640] ppid=29582 vsize=13995836 memory=-7737621075815351712 CPUtime=0.08 cores=0,2,4,6
/proc/29585/task/29640/stat : 29640 (java) S 29582 29585 8289 0 -1 1077944384 1534 12357 0 0 1 0 4 3 20 0 15 0 112391743 14331736064 63031 18446744073709551615 4194304 4196468 140726143715360 140088565151984 140089087023746 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29641] ppid=29582 vsize=13995836 memory=6944656592455360608 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29641/stat : 29641 (java) S 29582 29585 8289 0 -1 1077944384 55 12357 0 0 0 0 4 3 20 0 15 0 112391743 14331736064 63031 18446744073709551615 4194304 4196468 140726143715360 140088564098208 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29642] ppid=29582 vsize=13995836 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29642/stat : 29642 (java) S 29582 29585 8289 0 -1 1077944384 45 12357 0 0 0 0 4 3 20 0 15 0 112391743 14331736064 63031 18446744073709551615 4194304 4196468 140726143715360 140088563045120 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29643] ppid=29582 vsize=13995836 memory=200376 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29643/stat : 29643 (java) S 29582 29585 8289 0 -1 1077944384 3 12357 0 0 0 0 4 3 20 0 15 0 112391746 14331736064 63031 18446744073709551615 4194304 4196468 140726143715360 140088561993680 140089087031195 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29644] ppid=29582 vsize=13995836 memory=0 CPUtime=1.22 cores=0,2,4,6
/proc/29585/task/29644/stat : 29644 (java) R 29582 29585 8289 0 -1 4202560 3970 12357 0 0 114 1 4 3 20 0 15 0 112391746 14331736064 63543 18446744073709551615 4194304 4196468 140726143715360 140088560934832 140089070423414 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29645] ppid=29582 vsize=13995836 memory=281407062856992 CPUtime=1.08 cores=0,2,4,6
/proc/29585/task/29645/stat : 29645 (java) R 29582 29585 8289 0 -1 4202560 2798 12357 0 0 101 0 4 3 20 0 15 0 112391746 14331736064 63543 18446744073709551615 4194304 4196468 140726143715360 140088559889392 140089070509387 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29646] ppid=29582 vsize=13995836 memory=281407062540528 CPUtime=0.98 cores=0,2,4,6
/proc/29585/task/29646/stat : 29646 (java) S 29582 29585 8289 0 -1 1077944384 3260 12357 0 0 89 2 4 3 20 0 15 0 112391746 14331736064 63543 18446744073709551615 4194304 4196468 140726143715360 140088558836208 140089087023746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29647] ppid=29582 vsize=13995836 memory=5450916488555034154 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29647/stat : 29647 (java) S 29582 29585 8289 0 -1 1077944384 3 12357 0 0 0 0 4 3 20 0 15 0 112391746 14331736064 63543 18446744073709551615 4194304 4196468 140726143715360 140088557783904 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29648] ppid=29582 vsize=13995836 memory=-6421031960926448530 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29648/stat : 29648 (java) R 29582 29585 8289 0 -1 1077944384 12 12357 0 0 0 0 4 3 20 0 15 0 112391749 14331736064 63543 18446744073709551615 4194304 4196468 140726143715360 140088556730928 140089087023746 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
################
# More data... #
################
[pid=29585/tid=29637] ppid=29582 vsize=14069564 memory=1930844 CPUtime=0.86 cores=0,2,4,6
/proc/29585/task/29637/stat : 29637 (java) S 29582 29585 8289 0 -1 1077944384 2186 12357 0 0 67 12 4 3 20 0 15 0 112391741 14407233536 479761 18446744073709551615 4194304 4196468 140726143715360 140089020394640 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29638] ppid=29582 vsize=14069564 memory=1922636 CPUtime=0.91 cores=0,2,4,6
/proc/29585/task/29638/stat : 29638 (java) S 29582 29585 8289 0 -1 1077944384 1931 12357 0 0 72 12 4 3 20 0 15 0 112391741 14407233536 479761 18446744073709551615 4194304 4196468 140726143715360 140089019341584 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29639] ppid=29582 vsize=14069564 memory=1935460 CPUtime=0.88 cores=0,2,4,6
/proc/29585/task/29639/stat : 29639 (java) S 29582 29585 8289 0 -1 1077944384 3988 12357 0 0 69 12 4 3 20 0 15 0 112391741 14407233536 479761 18446744073709551615 4194304 4196468 140726143715360 140089018289040 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29640] ppid=29582 vsize=14069564 memory=1935460 CPUtime=0.22 cores=0,2,4,6
/proc/29585/task/29640/stat : 29640 (java) S 29582 29585 8289 0 -1 1077944384 6982 12357 0 0 13 2 4 3 20 0 15 0 112391743 14407233536 479761 18446744073709551615 4194304 4196468 140726143715360 140088565151984 140089087023746 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29641] ppid=29582 vsize=14069564 memory=1956496 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29641/stat : 29641 (java) S 29582 29585 8289 0 -1 1077944384 62 12357 0 0 0 0 4 3 20 0 15 0 112391743 14407233536 479761 18446744073709551615 4194304 4196468 140726143715360 140088564098272 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29642] ppid=29582 vsize=14069564 memory=1970344 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29642/stat : 29642 (java) S 29582 29585 8289 0 -1 1077944384 50 12357 0 0 0 0 4 3 20 0 15 0 112391743 14407233536 479761 18446744073709551615 4194304 4196468 140726143715360 140088563045120 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29643] ppid=29582 vsize=14069564 memory=1919044 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29643/stat : 29643 (java) S 29582 29585 8289 0 -1 1077944384 3 12357 0 0 0 0 4 3 20 0 15 0 112391746 14407233536 479761 18446744073709551615 4194304 4196468 140726143715360 140088561993680 140089087031195 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29644] ppid=29582 vsize=14069564 memory=4168 CPUtime=12.06 cores=0,2,4,6
/proc/29585/task/29644/stat : 29644 (java) S 29582 29585 8289 0 -1 1077944384 20682 12357 0 0 1194 5 4 3 20 0 15 0 112391746 14407233536 479761 18446744073709551615 4194304 4196468 140726143715360 140088560941808 140089087023746 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29645] ppid=29582 vsize=14069564 memory=1948288 CPUtime=11.68 cores=0,2,4,6
/proc/29585/task/29645/stat : 29645 (java) S 29582 29585 8289 0 -1 1077944384 17370 12357 0 0 1156 5 4 3 20 0 15 0 112391746 14407233536 479761 18446744073709551615 4194304 4196468 140726143715360 140088559889264 140089087023746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29646] ppid=29582 vsize=14069564 memory=1948288 CPUtime=4.09 cores=0,2,4,6
/proc/29585/task/29646/stat : 29646 (java) S 29582 29585 8289 0 -1 1077944384 23777 12357 0 0 393 9 4 3 20 0 15 0 112391746 14407233536 479761 18446744073709551615 4194304 4196468 140726143715360 140088558836208 140089087023746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29647] ppid=29582 vsize=14069564 memory=1943156 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29647/stat : 29647 (java) S 29582 29585 8289 0 -1 1077944384 3 12357 0 0 0 0 4 3 20 0 15 0 112391746 14407233536 479761 18446744073709551615 4194304 4196468 140726143715360 140088557783904 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29648] ppid=29582 vsize=14069564 memory=1984708 CPUtime=0.18 cores=0,2,4,6
/proc/29585/task/29648/stat : 29648 (java) S 29582 29585 8289 0 -1 1077944384 393 12357 0 0 6 5 4 3 20 0 15 0 112391749 14407233536 479761 18446744073709551615 4194304 4196468 140726143715360 140088556730928 140089087023746 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 1919044 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+222.301 s]
/proc/loadavg: 1.76 1.92 1.94 3/214 29782
/proc/meminfo: memFree=27810804/32770624 swapFree=67108860/67108860
[pid=29585] ppid=29582 vsize=14202692 memory=1920500 CPUtime=252.67 cores=0,2,4,6
/proc/29585/stat : 29585 (java) S 29582 29585 8289 0 -1 1077944320 161058 12357 0 0 25144 116 4 3 20 0 17 0 112391719 14543556608 480125 18446744073709551615 4194304 4196468 140726143715360 140726143697904 140089087012599 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
/proc/29585/statm: 3550673 480125 3486 1 0 3539287 0
[pid=29585/tid=29635] ppid=29582 vsize=14202692 memory=1970344 CPUtime=220.75 cores=0,2,4,6
/proc/29585/task/29635/stat : 29635 (java) S 29582 29585 8289 0 -1 1077944384 67442 12357 0 0 22030 38 4 3 20 0 17 0 112391741 14543556608 480125 18446744073709551615 4194304 4196468 140726143715360 140089091250320 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29636] ppid=29582 vsize=14202692 memory=1956496 CPUtime=1.05 cores=0,2,4,6
/proc/29585/task/29636/stat : 29636 (java) S 29582 29585 8289 0 -1 1077944384 2724 12357 0 0 86 12 4 3 20 0 17 0 112391741 14543556608 480125 18446744073709551615 4194304 4196468 140726143715360 140089021447184 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29637] ppid=29582 vsize=14202692 memory=1935460 CPUtime=1.01 cores=0,2,4,6
/proc/29585/task/29637/stat : 29637 (java) S 29582 29585 8289 0 -1 1077944384 2253 12357 0 0 82 12 4 3 20 0 17 0 112391741 14543556608 480125 18446744073709551615 4194304 4196468 140726143715360 140089020394640 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29638] ppid=29582 vsize=14202692 memory=1922636 CPUtime=1.05 cores=0,2,4,6
/proc/29585/task/29638/stat : 29638 (java) S 29582 29585 8289 0 -1 1077944384 2006 12357 0 0 86 12 4 3 20 0 17 0 112391741 14543556608 480125 18446744073709551615 4194304 4196468 140726143715360 140089019341584 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29639] ppid=29582 vsize=14202692 memory=1930844 CPUtime=1.03 cores=0,2,4,6
/proc/29585/task/29639/stat : 29639 (java) S 29582 29585 8289 0 -1 1077944384 4329 12357 0 0 84 12 4 3 20 0 17 0 112391741 14543556608 480125 18446744073709551615 4194304 4196468 140726143715360 140089018289040 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29640] ppid=29582 vsize=14202692 memory=1919044 CPUtime=0.24 cores=0,2,4,6
/proc/29585/task/29640/stat : 29640 (java) R 29582 29585 8289 0 -1 4202560 17098 12357 0 0 15 2 4 3 20 0 17 0 112391743 14543556608 480125 18446744073709551615 4194304 4196468 140726143715360 140088565150384 140089071367238 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29641] ppid=29582 vsize=14202692 memory=1930844 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29641/stat : 29641 (java) S 29582 29585 8289 0 -1 1077944384 62 12357 0 0 0 0 4 3 20 0 17 0 112391743 14543556608 480125 18446744073709551615 4194304 4196468 140726143715360 140088564098272 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29642] ppid=29582 vsize=14202692 memory=1935460 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29642/stat : 29642 (java) S 29582 29585 8289 0 -1 1077944384 50 12357 0 0 0 0 4 3 20 0 17 0 112391743 14543556608 480125 18446744073709551615 4194304 4196468 140726143715360 140088563045120 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29643] ppid=29582 vsize=14202692 memory=1943156 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29643/stat : 29643 (java) S 29582 29585 8289 0 -1 1077944384 188 12357 0 0 0 0 4 3 20 0 17 0 112391746 14543556608 480125 18446744073709551615 4194304 4196468 140726143715360 140088561993680 140089087031195 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29644] ppid=29582 vsize=14202692 memory=1984708 CPUtime=12.06 cores=0,2,4,6
/proc/29585/task/29644/stat : 29644 (java) S 29582 29585 8289 0 -1 1077944384 20682 12357 0 0 1194 5 4 3 20 0 17 0 112391746 14543556608 480125 18446744073709551615 4194304 4196468 140726143715360 140088560941808 140089087023746 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29645] ppid=29582 vsize=14202692 memory=640 CPUtime=11.68 cores=0,2,4,6
/proc/29585/task/29645/stat : 29645 (java) S 29582 29585 8289 0 -1 1077944384 17370 12357 0 0 1156 5 4 3 20 0 17 0 112391746 14543556608 480125 18446744073709551615 4194304 4196468 140726143715360 140088559889264 140089087023746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29646] ppid=29582 vsize=14202692 memory=956 CPUtime=4.1 cores=0,2,4,6
/proc/29585/task/29646/stat : 29646 (java) S 29582 29585 8289 0 -1 1077944384 23962 12357 0 0 394 9 4 3 20 0 17 0 112391746 14543556608 480125 18446744073709551615 4194304 4196468 140726143715360 140088558830528 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29647] ppid=29582 vsize=14202692 memory=1948288 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29647/stat : 29647 (java) S 29582 29585 8289 0 -1 1077944384 3 12357 0 0 0 0 4 3 20 0 17 0 112391746 14543556608 480125 18446744073709551615 4194304 4196468 140726143715360 140088557783904 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29648] ppid=29582 vsize=14202692 memory=1948288 CPUtime=0.18 cores=0,2,4,6
/proc/29585/task/29648/stat : 29648 (java) S 29582 29585 8289 0 -1 1077944384 393 12357 0 0 6 5 4 3 20 0 17 0 112391749 14543556608 480125 18446744073709551615 4194304 4196468 140726143715360 140088556730928 140089087023746 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
Current children cumulated CPU time: 252.67 s
Current children cumulated vsize: 14202692 KiB
Current children cumulated memory: 1920500 KiB
[startup+223.22 s]
# the end of solver process 29585 was just reported to runsolver
# cumulated CPU time of all completed processes: user=254.731 s, system=1.2335 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+222.401 s]
/proc/loadavg: 1.76 1.92 1.94 3/214 29782
/proc/meminfo: memFree=27810804/32770624 swapFree=67108860/67108860
[pid=29585] ppid=29582 vsize=14202692 memory=1920520 CPUtime=253.04 cores=0,2,4,6
/proc/29585/stat : 29585 (java) S 29582 29585 8289 0 -1 1077944320 161203 12357 0 0 25181 116 4 3 20 0 17 0 112391719 14543556608 480130 18446744073709551615 4194304 4196468 140726143715360 140726143697904 140089087012599 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
/proc/29585/statm: 3550673 480130 3486 1 0 3539287 0
[pid=29585/tid=29635] ppid=29582 vsize=14202692 memory=1296 CPUtime=220.75 cores=0,2,4,6
/proc/29585/task/29635/stat : 29635 (java) S 29582 29585 8289 0 -1 1077944384 67442 12357 0 0 22030 38 4 3 20 0 17 0 112391741 14543556608 480130 18446744073709551615 4194304 4196468 140726143715360 140089091250320 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29636] ppid=29582 vsize=14202692 memory=2440 CPUtime=1.15 cores=0,2,4,6
/proc/29585/task/29636/stat : 29636 (java) R 29582 29585 8289 0 -1 4202560 2724 12357 0 0 96 12 4 3 20 0 17 0 112391741 14543556608 480130 18446744073709551615 4194304 4196468 140726143715360 140089021446992 140089079640807 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29637] ppid=29582 vsize=14202692 memory=1724 CPUtime=1.1 cores=0,2,4,6
/proc/29585/task/29637/stat : 29637 (java) R 29582 29585 8289 0 -1 4202560 2253 12357 0 0 91 12 4 3 20 0 17 0 112391741 14543556608 480130 18446744073709551615 4194304 4196468 140726143715360 140089020394760 140089079640807 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29638] ppid=29582 vsize=14202692 memory=792 CPUtime=1.15 cores=0,2,4,6
/proc/29585/task/29638/stat : 29638 (java) R 29582 29585 8289 0 -1 4202560 2006 12357 0 0 95 13 4 3 20 0 17 0 112391741 14543556608 480130 18446744073709551615 4194304 4196468 140726143715360 140089019341704 140089079640807 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29639] ppid=29582 vsize=14202692 memory=1716 CPUtime=1.13 cores=0,2,4,6
/proc/29585/task/29639/stat : 29639 (java) R 29582 29585 8289 0 -1 4202560 4330 12357 0 0 94 12 4 3 20 0 17 0 112391741 14543556608 480130 18446744073709551615 4194304 4196468 140726143715360 140089018289040 140089071712992 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29640] ppid=29582 vsize=14202692 memory=-8774313645642428999 CPUtime=0.25 cores=0,2,4,6
/proc/29585/task/29640/stat : 29640 (java) S 29582 29585 8289 0 -1 1077944384 17242 12357 0 0 16 2 4 3 20 0 17 0 112391743 14543556608 480130 18446744073709551615 4194304 4196468 140726143715360 140088565150608 140089087022805 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29641] ppid=29582 vsize=14202692 memory=2888 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29641/stat : 29641 (java) S 29582 29585 8289 0 -1 1077944384 62 12357 0 0 0 0 4 3 20 0 17 0 112391743 14543556608 480130 18446744073709551615 4194304 4196468 140726143715360 140088564098272 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29642] ppid=29582 vsize=14202692 memory=4068 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29642/stat : 29642 (java) S 29582 29585 8289 0 -1 1077944384 50 12357 0 0 0 0 4 3 20 0 17 0 112391743 14543556608 480130 18446744073709551615 4194304 4196468 140726143715360 140088563045120 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29643] ppid=29582 vsize=14202692 memory=1228 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29643/stat : 29643 (java) S 29582 29585 8289 0 -1 1077944384 188 12357 0 0 0 0 4 3 20 0 17 0 112391746 14543556608 480130 18446744073709551615 4194304 4196468 140726143715360 140088561993680 140089087031195 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29644] ppid=29582 vsize=14202692 memory=14356 CPUtime=12.06 cores=0,2,4,6
/proc/29585/task/29644/stat : 29644 (java) S 29582 29585 8289 0 -1 1077944384 20682 12357 0 0 1194 5 4 3 20 0 17 0 112391746 14543556608 480130 18446744073709551615 4194304 4196468 140726143715360 140088560941808 140089087023746 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29645] ppid=29582 vsize=14202692 memory=1008 CPUtime=11.68 cores=0,2,4,6
/proc/29585/task/29645/stat : 29645 (java) S 29582 29585 8289 0 -1 1077944384 17370 12357 0 0 1156 5 4 3 20 0 17 0 112391746 14543556608 480130 18446744073709551615 4194304 4196468 140726143715360 140088559889264 140089087023746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29646] ppid=29582 vsize=14202692 memory=-8774313645642428999 CPUtime=4.1 cores=0,2,4,6
/proc/29585/task/29646/stat : 29646 (java) S 29582 29585 8289 0 -1 1077944384 23962 12357 0 0 394 9 4 3 20 0 17 0 112391746 14543556608 480130 18446744073709551615 4194304 4196468 140726143715360 140088558830528 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29647] ppid=29582 vsize=14202692 memory=11136 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29647/stat : 29647 (java) S 29582 29585 8289 0 -1 1077944384 3 12357 0 0 0 0 4 3 20 0 17 0 112391746 14543556608 480130 18446744073709551615 4194304 4196468 140726143715360 140088557783904 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29648] ppid=29582 vsize=14202692 memory=5788 CPUtime=0.18 cores=0,2,4,6
/proc/29585/task/29648/stat : 29648 (java) S 29582 29585 8289 0 -1 1077944384 393 12357 0 0 6 5 4 3 20 0 17 0 112391749 14543556608 480130 18446744073709551615 4194304 4196468 140726143715360 140088556730928 140089087023746 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
Current children cumulated CPU time: 253.04 s
Current children cumulated vsize: 14202692 KiB
Current children cumulated memory: 1920520 KiB
[startup+222.801 s]
/proc/loadavg: 1.76 1.92 1.94 3/214 29782
/proc/meminfo: memFree=27810804/32770624 swapFree=67108860/67108860
[pid=29585] ppid=29582 vsize=14202692 memory=1906208 CPUtime=254.55 cores=0,2,4,6
/proc/29585/stat : 29585 (java) S 29582 29585 8289 0 -1 1077944320 161442 12357 0 0 25331 117 4 3 20 0 17 0 112391719 14543556608 476552 18446744073709551615 4194304 4196468 140726143715360 140726143697904 140089087012599 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
/proc/29585/statm: 3550673 476552 3486 1 0 3539287 0
[pid=29585/tid=29635] ppid=29582 vsize=14202692 memory=4288 CPUtime=220.75 cores=0,2,4,6
/proc/29585/task/29635/stat : 29635 (java) S 29582 29585 8289 0 -1 1077944384 67443 12357 0 0 22030 38 4 3 20 0 17 0 112391741 14543556608 476552 18446744073709551615 4194304 4196468 140726143715360 140089091250320 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29636] ppid=29582 vsize=14202692 memory=2164 CPUtime=1.51 cores=0,2,4,6
/proc/29585/task/29636/stat : 29636 (java) R 29582 29585 8289 0 -1 4202560 2768 12357 0 0 132 12 4 3 20 0 17 0 112391741 14543556608 476552 18446744073709551615 4194304 4196468 140726143715360 140089021447184 140089071710360 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29637] ppid=29582 vsize=14202692 memory=-8774313645642428999 CPUtime=1.47 cores=0,2,4,6
/proc/29585/task/29637/stat : 29637 (java) R 29582 29585 8289 0 -1 4202560 2260 12357 0 0 128 12 4 3 20 0 17 0 112391741 14543556608 476552 18446744073709551615 4194304 4196468 140726143715360 140089020394840 140089071997896 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29638] ppid=29582 vsize=14202692 memory=1228 CPUtime=1.52 cores=0,2,4,6
/proc/29585/task/29638/stat : 29638 (java) R 29582 29585 8289 0 -1 4202560 2017 12357 0 0 132 13 4 3 20 0 17 0 112391741 14543556608 476552 18446744073709551615 4194304 4196468 140726143715360 140089019341584 140089068609147 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29639] ppid=29582 vsize=14202692 memory=14356 CPUtime=1.5 cores=0,2,4,6
/proc/29585/task/29639/stat : 29639 (java) R 29582 29585 8289 0 -1 4202560 4338 12357 0 0 131 12 4 3 20 0 17 0 112391741 14543556608 476552 18446744073709551615 4194304 4196468 140726143715360 140089018289040 140089068609281 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29640] ppid=29582 vsize=14202692 memory=1008 CPUtime=0.28 cores=0,2,4,6
/proc/29585/task/29640/stat : 29640 (java) S 29582 29585 8289 0 -1 1077944384 17409 12357 0 0 19 2 4 3 20 0 17 0 112391743 14543556608 476552 18446744073709551615 4194304 4196468 140726143715360 140088565150384 140089087022805 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29641] ppid=29582 vsize=14202692 memory=2012 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29641/stat : 29641 (java) S 29582 29585 8289 0 -1 1077944384 63 12357 0 0 0 0 4 3 20 0 17 0 112391743 14543556608 476552 18446744073709551615 4194304 4196468 140726143715360 140088564097872 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29642] ppid=29582 vsize=14202692 memory=11136 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29642/stat : 29642 (java) S 29582 29585 8289 0 -1 1077944384 50 12357 0 0 0 0 4 3 20 0 17 0 112391743 14543556608 476552 18446744073709551615 4194304 4196468 140726143715360 140088563045120 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29643] ppid=29582 vsize=14202692 memory=5788 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29643/stat : 29643 (java) S 29582 29585 8289 0 -1 1077944384 188 12357 0 0 0 0 4 3 20 0 17 0 112391746 14543556608 476552 18446744073709551615 4194304 4196468 140726143715360 140088561993680 140089087031195 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29644] ppid=29582 vsize=14202692 memory=4612 CPUtime=12.06 cores=0,2,4,6
/proc/29585/task/29644/stat : 29644 (java) S 29582 29585 8289 0 -1 1077944384 20682 12357 0 0 1194 5 4 3 20 0 17 0 112391746 14543556608 476552 18446744073709551615 4194304 4196468 140726143715360 140088560941808 140089087023746 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29645] ppid=29582 vsize=14202692 memory=1436 CPUtime=11.68 cores=0,2,4,6
/proc/29585/task/29645/stat : 29645 (java) S 29582 29585 8289 0 -1 1077944384 17370 12357 0 0 1156 5 4 3 20 0 17 0 112391746 14543556608 476552 18446744073709551615 4194304 4196468 140726143715360 140088559889264 140089087023746 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29646] ppid=29582 vsize=14202692 memory=928 CPUtime=4.1 cores=0,2,4,6
/proc/29585/task/29646/stat : 29646 (java) S 29582 29585 8289 0 -1 1077944384 23962 12357 0 0 394 9 4 3 20 0 17 0 112391746 14543556608 476552 18446744073709551615 4194304 4196468 140726143715360 140088558830528 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29647] ppid=29582 vsize=14202692 memory=1620 CPUtime=0.07 cores=0,2,4,6
/proc/29585/task/29647/stat : 29647 (java) S 29582 29585 8289 0 -1 1077944384 3 12357 0 0 0 0 4 3 20 0 17 0 112391746 14543556608 476552 18446744073709551615 4194304 4196468 140726143715360 140088557783904 140089087022805 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
[pid=29585/tid=29648] ppid=29582 vsize=14202692 memory=844 CPUtime=0.18 cores=0,2,4,6
/proc/29585/task/29648/stat : 29648 (java) S 29582 29585 8289 0 -1 1077944384 393 12357 0 0 6 5 4 3 20 0 17 0 112391749 14543556608 476552 18446744073709551615 4194304 4196468 140726143715360 140088556730928 140089087023746 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6529024 140726143719344 140726143722129 140726143722129 140726143725519 0
Current children cumulated CPU time: 254.55 s
Current children cumulated vsize: 14202692 KiB
Current children cumulated memory: 1906208 KiB
[startup+223.201 s]*
/proc/loadavg: 1.94 1.96 1.95 3/201 29784
/proc/meminfo: memFree=28205656/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 223.22
CPU time (s): 255.965
CPU user time (s): 254.731
CPU system time (s): 1.2335
CPU usage (%): 114.669
Max. virtual memory (cumulated for all children) (KiB): 14202692
Max. memory (cumulated for all children) (KiB): 2137432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.731
system time used= 1.2335
maximum resident set size= 2142588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174151
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23005
involuntary context switches= 629
# summary of solver processes directly reported to runsolver:
# pid: 29585
# total CPU time (s): 255.965
# total CPU user time (s): 254.731
# total CPU system time (s): 1.2335
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.346 second user time and 2.19896 second system time
The end