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 (12361 MiB free)
memory of node 1: 16384 MiB (13826 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259827-1502648380/watcher-4259827-1502648380 -o /tmp/evaluation-result-4259827-1502648380/solver-4259827-1502648380 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502644582-9045 --watchdog 312 bin/concrete HOME/instance-4259827-1502648380.xml
running on 4 cores: 1,3,5,7
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
Starting watchdog thread
solver pid=12499, runsolver pid=12496
Current StackSize limit: 8192 KiB
[startup+0.100135 s]*
/proc/loadavg: 1.41 1.75 1.82 3/207 12553
/proc/meminfo: memFree=26809784/32770624 swapFree=67108860/67108860
[pid=12499] ppid=12496 vsize=13445604 memory=15828 CPUtime=0.09 cores=1,3,5,7
/proc/12499/stat : 12499 (java) S 12496 12499 3242 0 -1 1077944320 4580 12645 0 0 1 0 5 3 20 0 7 0 97918879 13768298496 3957 33554432000 4194304 4196468 140725656248816 140725656231360 139967869456119 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
/proc/12499/statm: 3361401 3957 2030 1 0 3349839 0
[pid=12499/tid=12549] ppid=12496 vsize=13445604 memory=4279135704047191436 CPUtime=0.09 cores=1,3,5,7
/proc/12499/task/12549/stat : 12549 (java) R 12496 12499 3242 0 -1 4202560 2440 12645 0 0 1 0 5 3 20 0 7 0 97918888 13768298496 3957 33554432000 4194304 4196468 140725656248816 139967873698576 139967869478045 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12550] ppid=12496 vsize=13445604 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12550/stat : 12550 (java) S 12496 12499 3242 0 -1 1077944384 1 12645 0 0 0 0 5 3 20 0 7 0 97918889 13768298496 3957 33554432000 4194304 4196468 140725656248816 139967822076688 139967869466325 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12551] ppid=12496 vsize=13445604 memory=140536500704896 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12551/stat : 12551 (java) S 12496 12499 3242 0 -1 1077944384 2 12645 0 0 0 0 5 3 20 0 7 0 97918889 13768298496 3957 33554432000 4194304 4196468 140725656248816 139967821024144 139967869466325 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12552] ppid=12496 vsize=13445604 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12552/stat : 12552 (java) S 12496 12499 3242 0 -1 1077944384 1 12645 0 0 0 0 5 3 20 0 7 0 97918889 13768298496 3957 33554432000 4194304 4196468 140725656248816 139967819971600 139967869466325 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12553] ppid=12496 vsize=13445604 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12553/stat : 12553 (java) S 12496 12499 3242 0 -1 1077944384 2 12645 0 0 0 0 5 3 20 0 7 0 97918889 13768298496 3957 33554432000 4194304 4196468 140725656248816 139967818919056 139967869466325 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12554] ppid=12496 vsize=13445604 memory=140536500704896 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12554/stat : 12554 (java) S 12496 12499 3242 0 -1 1077944384 2 12645 0 0 0 0 5 3 20 0 7 0 97918890 13768298496 3957 33554432000 4194304 4196468 140725656248816 139967342815216 139967869467266 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13445604 KiB
Current children cumulated memory: 15828 KiB
[startup+0.21019 s]*
/proc/loadavg: 1.41 1.75 1.82 3/216 12562
/proc/meminfo: memFree=26790784/32770624 swapFree=67108860/67108860
[pid=12499] ppid=12496 vsize=13978600 memory=39360 CPUtime=0.26 cores=1,3,5,7
/proc/12499/stat : 12499 (java) S 12496 12499 3242 0 -1 1077944320 8030 12645 0 0 17 1 5 3 20 0 15 0 97918879 14314086400 9840 33554432000 4194304 4196468 140725656248816 140725656231360 139967869456119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
/proc/12499/statm: 3494650 9840 2963 1 0 3482967 0
[pid=12499/tid=12549] ppid=12496 vsize=13978600 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/12499/task/12549/stat : 12549 (java) R 12496 12499 3242 0 -1 4202560 4549 12645 0 0 11 1 5 3 20 0 15 0 97918888 14314086400 9840 33554432000 4194304 4196468 140725656248816 139967873668344 139967852642932 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12550] ppid=12496 vsize=13978600 memory=342 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12550/stat : 12550 (java) S 12496 12499 3242 0 -1 1077944384 1 12645 0 0 0 0 5 3 20 0 15 0 97918889 14314086400 9840 33554432000 4194304 4196468 140725656248816 139967822076688 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12551] ppid=12496 vsize=13978600 memory=140536500716545 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12551/stat : 12551 (java) S 12496 12499 3242 0 -1 1077944384 2 12645 0 0 0 0 5 3 20 0 15 0 97918889 14314086400 9840 33554432000 4194304 4196468 140725656248816 139967821024144 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12552] ppid=12496 vsize=13978600 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12552/stat : 12552 (java) S 12496 12499 3242 0 -1 1077944384 1 12645 0 0 0 0 5 3 20 0 15 0 97918889 14314086400 9840 33554432000 4194304 4196468 140725656248816 139967819971600 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12553] ppid=12496 vsize=13978600 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12553/stat : 12553 (java) S 12496 12499 3242 0 -1 1077944384 2 12645 0 0 0 0 5 3 20 0 15 0 97918889 14314086400 9840 33554432000 4194304 4196468 140725656248816 139967818919056 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12554] ppid=12496 vsize=13978600 memory=140536500704896 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12554/stat : 12554 (java) S 12496 12499 3242 0 -1 1077944384 2 12645 0 0 0 0 5 3 20 0 15 0 97918890 14314086400 9840 33554432000 4194304 4196468 140725656248816 139967342815216 139967869467266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12555] ppid=12496 vsize=13978600 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12555/stat : 12555 (java) S 12496 12499 3242 0 -1 1077944384 33 12645 0 0 0 0 5 3 20 0 15 0 97918891 14314086400 9840 33554432000 4194304 4196468 140725656248816 139967341761440 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12556] ppid=12496 vsize=13978600 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12556/stat : 12556 (java) S 12496 12499 3242 0 -1 1077944384 21 12645 0 0 0 0 5 3 20 0 15 0 97918891 14314086400 9840 33554432000 4194304 4196468 140725656248816 139967340708848 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12557] ppid=12496 vsize=13978600 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12557/stat : 12557 (java) S 12496 12499 3242 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 97918893 14314086400 9840 33554432000 4194304 4196468 140725656248816 139967339657424 139967869474715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12558] ppid=12496 vsize=13978600 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12499/task/12558/stat : 12558 (java) S 12496 12499 3242 0 -1 1077944384 435 12645 0 0 1 0 5 3 20 0 15 0 97918893 14314086400 9840 33554432000 4194304 4196468 140725656248816 139967338605040 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12559] ppid=12496 vsize=13978600 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12559/stat : 12559 (java) S 12496 12499 3242 0 -1 1077944384 337 12645 0 0 0 0 5 3 20 0 15 0 97918893 14314086400 9840 33554432000 4194304 4196468 140725656248816 139967337552496 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12560] ppid=12496 vsize=13978600 memory=140536500704896 CPUtime=0.11 cores=1,3,5,7
/proc/12499/task/12560/stat : 12560 (java) S 12496 12499 3242 0 -1 1077944384 496 12645 0 0 3 0 5 3 20 0 15 0 97918894 14314086400 9840 33554432000 4194304 4196468 140725656248816 139967336499952 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12561] ppid=12496 vsize=13978600 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12561/stat : 12561 (java) S 12496 12499 3242 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 97918894 14314086400 9840 33554432000 4194304 4196468 140725656248816 139967335447648 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12562] ppid=12496 vsize=13978600 memory=140536500704896 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12562/stat : 12562 (java) S 12496 12499 3242 0 -1 1077944384 1 12645 0 0 0 0 5 3 20 0 15 0 97918894 14314086400 9840 33554432000 4194304 4196468 140725656248816 139967334394160 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13978600 KiB
Current children cumulated memory: 39360 KiB
[startup+0.310469 s]*
/proc/loadavg: 1.41 1.75 1.82 3/216 12562
/proc/meminfo: memFree=26778132/32770624 swapFree=67108860/67108860
[pid=12499] ppid=12496 vsize=13979028 memory=50184 CPUtime=0.39 cores=1,3,5,7
/proc/12499/stat : 12499 (java) S 12496 12499 3242 0 -1 1077944320 11107 12645 0 0 29 2 5 3 20 0 15 0 97918879 14314524672 12546 33554432000 4194304 4196468 140725656248816 140725656231360 139967869456119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
/proc/12499/statm: 3494757 12546 3078 1 0 3482967 0
[pid=12499/tid=12549] ppid=12496 vsize=13979028 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/12499/task/12549/stat : 12549 (java) R 12496 12499 3242 0 -1 4202560 7615 12645 0 0 20 1 5 3 20 0 15 0 97918888 14314524672 12546 33554432000 4194304 4196468 140725656248816 139967873666144 139967852642928 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12550] ppid=12496 vsize=13979028 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12550/stat : 12550 (java) S 12496 12499 3242 0 -1 1077944384 1 12645 0 0 0 0 5 3 20 0 15 0 97918889 14314524672 12546 33554432000 4194304 4196468 140725656248816 139967822076688 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12551] ppid=12496 vsize=13979028 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12551/stat : 12551 (java) S 12496 12499 3242 0 -1 1077944384 2 12645 0 0 0 0 5 3 20 0 15 0 97918889 14314524672 12546 33554432000 4194304 4196468 140725656248816 139967821024144 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12552] ppid=12496 vsize=13979028 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12552/stat : 12552 (java) S 12496 12499 3242 0 -1 1077944384 1 12645 0 0 0 0 5 3 20 0 15 0 97918889 14314524672 12546 33554432000 4194304 4196468 140725656248816 139967819971600 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12553] ppid=12496 vsize=13979028 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12553/stat : 12553 (java) S 12496 12499 3242 0 -1 1077944384 2 12645 0 0 0 0 5 3 20 0 15 0 97918889 14314524672 12546 33554432000 4194304 4196468 140725656248816 139967818919056 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12554] ppid=12496 vsize=13979028 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12554/stat : 12554 (java) S 12496 12499 3242 0 -1 1077944384 2 12645 0 0 0 0 5 3 20 0 15 0 97918890 14314524672 12546 33554432000 4194304 4196468 140725656248816 139967342815216 139967869467266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12555] ppid=12496 vsize=13979028 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12555/stat : 12555 (java) S 12496 12499 3242 0 -1 1077944384 33 12645 0 0 0 0 5 3 20 0 15 0 97918891 14314524672 12546 33554432000 4194304 4196468 140725656248816 139967341761440 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12556] ppid=12496 vsize=13979028 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12556/stat : 12556 (java) S 12496 12499 3242 0 -1 1077944384 21 12645 0 0 0 0 5 3 20 0 15 0 97918891 14314524672 12546 33554432000 4194304 4196468 140725656248816 139967340708848 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12557] ppid=12496 vsize=13979028 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12557/stat : 12557 (java) S 12496 12499 3242 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 97918893 14314524672 12546 33554432000 4194304 4196468 140725656248816 139967339657424 139967869474715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12558] ppid=12496 vsize=13979028 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12499/task/12558/stat : 12558 (java) S 12496 12499 3242 0 -1 1077944384 436 12645 0 0 1 0 5 3 20 0 15 0 97918893 14314524672 12546 33554432000 4194304 4196468 140725656248816 139967338605040 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12559] ppid=12496 vsize=13979028 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/12499/task/12559/stat : 12559 (java) S 12496 12499 3242 0 -1 1077944384 340 12645 0 0 1 0 5 3 20 0 15 0 97918893 14314524672 12546 33554432000 4194304 4196468 140725656248816 139967337552496 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12560] ppid=12496 vsize=13979028 memory=140536500704896 CPUtime=0.13 cores=1,3,5,7
/proc/12499/task/12560/stat : 12560 (java) S 12496 12499 3242 0 -1 1077944384 503 12645 0 0 5 0 5 3 20 0 15 0 97918894 14314524672 12546 33554432000 4194304 4196468 140725656248816 139967336499952 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12561] ppid=12496 vsize=13979028 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12561/stat : 12561 (java) S 12496 12499 3242 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 97918894 14314524672 12546 33554432000 4194304 4196468 140725656248816 139967335447648 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12562] ppid=12496 vsize=13979028 memory=140536500704896 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12562/stat : 12562 (java) S 12496 12499 3242 0 -1 1077944384 1 12645 0 0 0 0 5 3 20 0 15 0 97918894 14314524672 12546 33554432000 4194304 4196468 140725656248816 139967334394160 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 13979028 KiB
Current children cumulated memory: 50184 KiB
[startup+0.700669 s]
/proc/loadavg: 1.41 1.75 1.82 3/216 12562
/proc/meminfo: memFree=26771432/32770624 swapFree=67108860/67108860
[pid=12499] ppid=12496 vsize=13979176 memory=81240 CPUtime=0.97 cores=1,3,5,7
/proc/12499/stat : 12499 (java) S 12496 12499 3242 0 -1 1077944320 16974 12645 0 0 85 4 5 3 20 0 15 0 97918879 14314676224 20310 33554432000 4194304 4196468 140725656248816 140725656231360 139967869456119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
/proc/12499/statm: 3494794 20310 3262 1 0 3482967 0
[pid=12499/tid=12549] ppid=12496 vsize=13979176 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/12499/task/12549/stat : 12549 (java) R 12496 12499 3242 0 -1 4202560 12829 12645 0 0 56 3 5 3 20 0 15 0 97918888 14314676224 20310 33554432000 4194304 4196468 140725656248816 139967873675184 139967853536606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12550] ppid=12496 vsize=13979176 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12550/stat : 12550 (java) S 12496 12499 3242 0 -1 1077944384 1 12645 0 0 0 0 5 3 20 0 15 0 97918889 14314676224 20310 33554432000 4194304 4196468 140725656248816 139967822076688 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12551] ppid=12496 vsize=13979176 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12551/stat : 12551 (java) S 12496 12499 3242 0 -1 1077944384 2 12645 0 0 0 0 5 3 20 0 15 0 97918889 14314676224 20310 33554432000 4194304 4196468 140725656248816 139967821024144 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12552] ppid=12496 vsize=13979176 memory=140536363238000 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12552/stat : 12552 (java) S 12496 12499 3242 0 -1 1077944384 1 12645 0 0 0 0 5 3 20 0 15 0 97918889 14314676224 20310 33554432000 4194304 4196468 140725656248816 139967819971600 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12553] ppid=12496 vsize=13979176 memory=140539919860324 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12553/stat : 12553 (java) S 12496 12499 3242 0 -1 1077944384 2 12645 0 0 0 0 5 3 20 0 15 0 97918889 14314676224 20310 33554432000 4194304 4196468 140725656248816 139967818919056 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12554] ppid=12496 vsize=13979176 memory=1196 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12554/stat : 12554 (java) S 12496 12499 3242 0 -1 1077944384 6 12645 0 0 0 0 5 3 20 0 15 0 97918890 14314676224 20310 33554432000 4194304 4196468 140725656248816 139967342815216 139967869467266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12555] ppid=12496 vsize=13979176 memory=7014751519583131217 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12555/stat : 12555 (java) S 12496 12499 3242 0 -1 1077944384 33 12645 0 0 0 0 5 3 20 0 15 0 97918891 14314676224 20310 33554432000 4194304 4196468 140725656248816 139967341761440 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12556] ppid=12496 vsize=13979176 memory=18476 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12556/stat : 12556 (java) S 12496 12499 3242 0 -1 1077944384 21 12645 0 0 0 0 5 3 20 0 15 0 97918891 14314676224 20310 33554432000 4194304 4196468 140725656248816 139967340708848 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12557] ppid=12496 vsize=13979176 memory=16960 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12557/stat : 12557 (java) S 12496 12499 3242 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 97918893 14314676224 20310 33554432000 4194304 4196468 140725656248816 139967339657424 139967869474715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12558] ppid=12496 vsize=13979176 memory=4048 CPUtime=0.17 cores=1,3,5,7
/proc/12499/task/12558/stat : 12558 (java) S 12496 12499 3242 0 -1 1077944384 727 12645 0 0 9 0 5 3 20 0 15 0 97918893 14314676224 20310 33554432000 4194304 4196468 140725656248816 139967338605040 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12559] ppid=12496 vsize=13979176 memory=1792 CPUtime=0.14 cores=1,3,5,7
/proc/12499/task/12559/stat : 12559 (java) S 12496 12499 3242 0 -1 1077944384 638 12645 0 0 6 0 5 3 20 0 15 0 97918893 14314676224 20310 33554432000 4194304 4196468 140725656248816 139967337552496 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12560] ppid=12496 vsize=13979176 memory=648 CPUtime=0.21 cores=1,3,5,7
/proc/12499/task/12560/stat : 12560 (java) S 12496 12499 3242 0 -1 1077944384 566 12645 0 0 13 0 5 3 20 0 15 0 97918894 14314676224 20310 33554432000 4194304 4196468 140725656248816 139967336499952 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12561] ppid=12496 vsize=13979176 memory=1240 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12561/stat : 12561 (java) S 12496 12499 3242 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 97918894 14314676224 20310 33554432000 4194304 4196468 140725656248816 139967335447648 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12562] ppid=12496 vsize=13979176 memory=960 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12562/stat : 12562 (java) S 12496 12499 3242 0 -1 1077944384 1 12645 0 0 0 0 5 3 20 0 15 0 97918894 14314676224 20310 33554432000 4194304 4196468 140725656248816 139967334394160 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 13979176 KiB
Current children cumulated memory: 81240 KiB
[startup+1.50073 s]
/proc/loadavg: 1.41 1.75 1.82 3/216 12562
/proc/meminfo: memFree=26714056/32770624 swapFree=67108860/67108860
[pid=12499] ppid=12496 vsize=13991700 memory=173104 CPUtime=2.21 cores=1,3,5,7
/proc/12499/stat : 12499 (java) S 12496 12499 3242 0 -1 1077944320 27970 12645 0 0 203 10 5 3 20 0 15 0 97918879 14327500800 43276 33554432000 4194304 4196468 140725656248816 140725656231360 139967869456119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
/proc/12499/statm: 3497925 43276 3414 1 0 3486039 0
[pid=12499/tid=12549] ppid=12496 vsize=13991700 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/12499/task/12549/stat : 12549 (java) R 12496 12499 3242 0 -1 4202560 20084 12645 0 0 130 6 5 3 20 0 15 0 97918888 14327500800 43276 33554432000 4194304 4196468 140725656248816 139967873693312 139967853499749 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12550] ppid=12496 vsize=13991700 memory=281072726524352 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12550/stat : 12550 (java) S 12496 12499 3242 0 -1 1077944384 200 12645 0 0 0 0 5 3 20 0 15 0 97918889 14327500800 43276 33554432000 4194304 4196468 140725656248816 139967822076688 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12551] ppid=12496 vsize=13991700 memory=281072726533664 CPUtime=0.09 cores=1,3,5,7
/proc/12499/task/12551/stat : 12551 (java) S 12496 12499 3242 0 -1 1077944384 45 12645 0 0 1 0 5 3 20 0 15 0 97918889 14327500800 43276 33554432000 4194304 4196468 140725656248816 139967821024144 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12552] ppid=12496 vsize=13991700 memory=140536363272688 CPUtime=0.09 cores=1,3,5,7
/proc/12499/task/12552/stat : 12552 (java) S 12496 12499 3242 0 -1 1077944384 53 12645 0 0 1 0 5 3 20 0 15 0 97918889 14327500800 43276 33554432000 4194304 4196468 140725656248816 139967819971600 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12553] ppid=12496 vsize=13991700 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12499/task/12553/stat : 12553 (java) S 12496 12499 3242 0 -1 1077944384 69 12645 0 0 1 0 5 3 20 0 15 0 97918889 14327500800 43276 33554432000 4194304 4196468 140725656248816 139967818919056 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12554] ppid=12496 vsize=13991700 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12499/task/12554/stat : 12554 (java) S 12496 12499 3242 0 -1 1077944384 1719 12645 0 0 1 0 5 3 20 0 15 0 97918890 14327500800 43276 33554432000 4194304 4196468 140725656248816 139967342815216 139967869467266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12555] ppid=12496 vsize=13991700 memory=13331578489482 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12555/stat : 12555 (java) S 12496 12499 3242 0 -1 1077944384 56 12645 0 0 0 0 5 3 20 0 15 0 97918891 14327500800 43276 33554432000 4194304 4196468 140725656248816 139967341761504 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12556] ppid=12496 vsize=13991700 memory=8026941097143250998 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12556/stat : 12556 (java) S 12496 12499 3242 0 -1 1077944384 44 12645 0 0 0 0 5 3 20 0 15 0 97918891 14327500800 43276 33554432000 4194304 4196468 140725656248816 139967340708864 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12557] ppid=12496 vsize=13991700 memory=8026941098018885740 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12557/stat : 12557 (java) S 12496 12499 3242 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 97918893 14327500800 43276 33554432000 4194304 4196468 140725656248816 139967339657424 139967869474715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12558] ppid=12496 vsize=13991700 memory=-9034923846474767733 CPUtime=0.27 cores=1,3,5,7
/proc/12499/task/12558/stat : 12558 (java) S 12496 12499 3242 0 -1 1077944384 1024 12645 0 0 19 0 5 3 20 0 15 0 97918893 14327500800 43276 33554432000 4194304 4196468 140725656248816 139967338605040 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12559] ppid=12496 vsize=13991700 memory=7523379100374297173 CPUtime=0.23 cores=1,3,5,7
/proc/12499/task/12559/stat : 12559 (java) S 12496 12499 3242 0 -1 1077944384 859 12645 0 0 15 0 5 3 20 0 15 0 97918893 14327500800 43276 33554432000 4194304 4196468 140725656248816 139967337552496 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12560] ppid=12496 vsize=13991700 memory=6655300316396806240 CPUtime=0.4 cores=1,3,5,7
/proc/12499/task/12560/stat : 12560 (java) R 12496 12499 3242 0 -1 4202560 1667 12645 0 0 32 0 5 3 20 0 15 0 97918894 14327500800 43276 33554432000 4194304 4196468 140725656248816 139967336499952 139967869470006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12561] ppid=12496 vsize=13991700 memory=7301286521987424363 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12561/stat : 12561 (java) S 12496 12499 3242 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 97918894 14327500800 43276 33554432000 4194304 4196468 140725656248816 139967335447648 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12562] ppid=12496 vsize=13991700 memory=7018127119098471509 CPUtime=0.08 cores=1,3,5,7
################
# More data... #
################
/proc/12499/task/12549/stat : 12549 (java) R 12496 12499 3242 0 -1 4202560 48425 12645 0 0 16055 25 5 3 20 0 15 0 97918888 14411579392 203190 33554432000 4194304 4196468 140725656248816 139967873690384 139967511919041 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12550] ppid=12496 vsize=14073808 memory=941672 CPUtime=0.82 cores=1,3,5,7
/proc/12499/task/12550/stat : 12550 (java) S 12496 12499 3242 0 -1 1077944384 3031 12645 0 0 69 5 5 3 20 0 15 0 97918889 14411579392 203190 33554432000 4194304 4196468 140725656248816 139967822076688 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12551] ppid=12496 vsize=14073808 memory=854768 CPUtime=0.82 cores=1,3,5,7
/proc/12499/task/12551/stat : 12551 (java) S 12496 12499 3242 0 -1 1077944384 2221 12645 0 0 69 5 5 3 20 0 15 0 97918889 14411579392 203190 33554432000 4194304 4196468 140725656248816 139967821024144 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12552] ppid=12496 vsize=14073808 memory=837848 CPUtime=0.82 cores=1,3,5,7
/proc/12499/task/12552/stat : 12552 (java) S 12496 12499 3242 0 -1 1077944384 3300 12645 0 0 69 5 5 3 20 0 15 0 97918889 14411579392 203190 33554432000 4194304 4196468 140725656248816 139967819971600 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12553] ppid=12496 vsize=14073808 memory=827068 CPUtime=0.81 cores=1,3,5,7
/proc/12499/task/12553/stat : 12553 (java) S 12496 12499 3242 0 -1 1077944384 1621 12645 0 0 68 5 5 3 20 0 15 0 97918889 14411579392 203190 33554432000 4194304 4196468 140725656248816 139967818919056 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12554] ppid=12496 vsize=14073808 memory=3 CPUtime=0.54 cores=1,3,5,7
/proc/12499/task/12554/stat : 12554 (java) S 12496 12499 3242 0 -1 1077944384 4102 12645 0 0 41 5 5 3 20 0 15 0 97918890 14411579392 203190 33554432000 4194304 4196468 140725656248816 139967342815216 139967869467266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12555] ppid=12496 vsize=14073808 memory=817320 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12555/stat : 12555 (java) S 12496 12499 3242 0 -1 1077944384 56 12645 0 0 0 0 5 3 20 0 15 0 97918891 14411579392 203190 33554432000 4194304 4196468 140725656248816 139967341761504 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12556] ppid=12496 vsize=14073808 memory=818860 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12556/stat : 12556 (java) S 12496 12499 3242 0 -1 1077944384 44 12645 0 0 0 0 5 3 20 0 15 0 97918891 14411579392 203190 33554432000 4194304 4196468 140725656248816 139967340708864 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12557] ppid=12496 vsize=14073808 memory=4144 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12557/stat : 12557 (java) S 12496 12499 3242 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 97918893 14411579392 203190 33554432000 4194304 4196468 140725656248816 139967339657424 139967869474715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12558] ppid=12496 vsize=14073808 memory=11044 CPUtime=8.94 cores=1,3,5,7
/proc/12499/task/12558/stat : 12558 (java) S 12496 12499 3242 0 -1 1077944384 19546 12645 0 0 881 5 5 3 20 0 15 0 97918893 14411579392 203190 33554432000 4194304 4196468 140725656248816 139967338605040 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12559] ppid=12496 vsize=14073808 memory=1712 CPUtime=8.6 cores=1,3,5,7
/proc/12499/task/12559/stat : 12559 (java) S 12496 12499 3242 0 -1 1077944384 14224 12645 0 0 846 6 5 3 20 0 15 0 97918893 14411579392 203190 33554432000 4194304 4196468 140725656248816 139967337552496 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12560] ppid=12496 vsize=14073808 memory=813216 CPUtime=3.08 cores=1,3,5,7
/proc/12499/task/12560/stat : 12560 (java) S 12496 12499 3242 0 -1 1077944384 16107 12645 0 0 295 5 5 3 20 0 15 0 97918894 14411579392 203190 33554432000 4194304 4196468 140725656248816 139967336499952 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12561] ppid=12496 vsize=14073808 memory=815784 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12561/stat : 12561 (java) S 12496 12499 3242 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 97918894 14411579392 203190 33554432000 4194304 4196468 140725656248816 139967335447648 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12562] ppid=12496 vsize=14073808 memory=821940 CPUtime=0.16 cores=1,3,5,7
/proc/12499/task/12562/stat : 12562 (java) S 12496 12499 3242 0 -1 1077944384 533 12645 0 0 4 4 5 3 20 0 15 0 97918894 14411579392 203190 33554432000 4194304 4196468 140725656248816 139967334394160 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
Current children cumulated CPU time: 184.85 s
Current children cumulated vsize: 14073808 KiB
Current children cumulated memory: 812760 KiB
[startup+222.301 s]
/proc/loadavg: 1.58 1.75 1.82 3/215 12690
/proc/meminfo: memFree=26140928/32770624 swapFree=67108860/67108860
[pid=12499] ppid=12496 vsize=14073808 memory=724528 CPUtime=246.72 cores=1,3,5,7
/proc/12499/stat : 12499 (java) S 12496 12499 3242 0 -1 1077944320 120106 12645 0 0 24583 81 5 3 20 0 15 0 97918879 14411579392 181132 33554432000 4194304 4196468 140725656248816 140725656231360 139967869456119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
/proc/12499/statm: 3518452 181132 3498 1 0 3506007 0
[pid=12499/tid=12549] ppid=12496 vsize=14073808 memory=726068 CPUtime=220.24 cores=1,3,5,7
/proc/12499/task/12549/stat : 12549 (java) R 12496 12499 3242 0 -1 4202560 49471 12645 0 0 21990 26 5 3 20 0 15 0 97918888 14411579392 181132 33554432000 4194304 4196468 140725656248816 139967873690592 139967512418871 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12550] ppid=12496 vsize=14073808 memory=726580 CPUtime=1.16 cores=1,3,5,7
/proc/12499/task/12550/stat : 12550 (java) S 12496 12499 3242 0 -1 1077944384 4660 12645 0 0 102 6 5 3 20 0 15 0 97918889 14411579392 181132 33554432000 4194304 4196468 140725656248816 139967822076688 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12551] ppid=12496 vsize=14073808 memory=728632 CPUtime=1.15 cores=1,3,5,7
/proc/12499/task/12551/stat : 12551 (java) S 12496 12499 3242 0 -1 1077944384 2469 12645 0 0 100 7 5 3 20 0 15 0 97918889 14411579392 181132 33554432000 4194304 4196468 140725656248816 139967821024144 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12552] ppid=12496 vsize=14073808 memory=727092 CPUtime=1.15 cores=1,3,5,7
/proc/12499/task/12552/stat : 12552 (java) S 12496 12499 3242 0 -1 1077944384 3445 12645 0 0 101 6 5 3 20 0 15 0 97918889 14411579392 181132 33554432000 4194304 4196468 140725656248816 139967819971600 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12553] ppid=12496 vsize=14073808 memory=726580 CPUtime=1.14 cores=1,3,5,7
/proc/12499/task/12553/stat : 12553 (java) S 12496 12499 3242 0 -1 1077944384 1720 12645 0 0 100 6 5 3 20 0 15 0 97918889 14411579392 181132 33554432000 4194304 4196468 140725656248816 139967818919056 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12554] ppid=12496 vsize=14073808 memory=725552 CPUtime=0.77 cores=1,3,5,7
/proc/12499/task/12554/stat : 12554 (java) S 12496 12499 3242 0 -1 1077944384 4459 12645 0 0 61 8 5 3 20 0 15 0 97918890 14411579392 181132 33554432000 4194304 4196468 140725656248816 139967342815216 139967869467266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12555] ppid=12496 vsize=14073808 memory=1952 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12555/stat : 12555 (java) S 12496 12499 3242 0 -1 1077944384 56 12645 0 0 0 0 5 3 20 0 15 0 97918891 14411579392 181132 33554432000 4194304 4196468 140725656248816 139967341761504 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12556] ppid=12496 vsize=14073808 memory=726580 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12556/stat : 12556 (java) S 12496 12499 3242 0 -1 1077944384 44 12645 0 0 0 0 5 3 20 0 15 0 97918891 14411579392 181132 33554432000 4194304 4196468 140725656248816 139967340708864 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12557] ppid=12496 vsize=14073808 memory=4144 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12557/stat : 12557 (java) S 12496 12499 3242 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 97918893 14411579392 181132 33554432000 4194304 4196468 140725656248816 139967339657424 139967869474715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12558] ppid=12496 vsize=14073808 memory=726068 CPUtime=9.28 cores=1,3,5,7
/proc/12499/task/12558/stat : 12558 (java) S 12496 12499 3242 0 -1 1077944384 19552 12645 0 0 915 5 5 3 20 0 15 0 97918893 14411579392 181132 33554432000 4194304 4196468 140725656248816 139967338605040 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12559] ppid=12496 vsize=14073808 memory=8612 CPUtime=8.94 cores=1,3,5,7
/proc/12499/task/12559/stat : 12559 (java) S 12496 12499 3242 0 -1 1077944384 15301 12645 0 0 880 6 5 3 20 0 15 0 97918893 14411579392 181132 33554432000 4194304 4196468 140725656248816 139967337552496 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12560] ppid=12496 vsize=14073808 memory=4144 CPUtime=3.3 cores=1,3,5,7
/proc/12499/task/12560/stat : 12560 (java) S 12496 12499 3242 0 -1 1077944384 16222 12645 0 0 317 5 5 3 20 0 15 0 97918894 14411579392 181132 33554432000 4194304 4196468 140725656248816 139967336499952 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12561] ppid=12496 vsize=14073808 memory=28628 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12561/stat : 12561 (java) S 12496 12499 3242 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 97918894 14411579392 181132 33554432000 4194304 4196468 140725656248816 139967335447648 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12562] ppid=12496 vsize=14073808 memory=727604 CPUtime=0.19 cores=1,3,5,7
/proc/12499/task/12562/stat : 12562 (java) S 12496 12499 3242 0 -1 1077944384 557 12645 0 0 6 5 5 3 20 0 15 0 97918894 14411579392 181132 33554432000 4194304 4196468 140725656248816 139967334394160 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
Current children cumulated CPU time: 246.72 s
Current children cumulated vsize: 14073808 KiB
Current children cumulated memory: 724528 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+227.501 s]
/proc/loadavg: 1.53 1.74 1.81 3/215 12690
/proc/meminfo: memFree=26156672/32770624 swapFree=67108860/67108860
[pid=12499] ppid=12496 vsize=14073808 memory=715288 CPUtime=252.02 cores=1,3,5,7
/proc/12499/stat : 12499 (java) S 12496 12499 3242 0 -1 1077944320 120431 12645 0 0 25112 82 5 3 20 0 15 0 97918879 14411579392 178822 33554432000 4194304 4196468 140725656248816 140725656231360 139967869456119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
/proc/12499/statm: 3518452 178822 3498 1 0 3506007 0
[pid=12499/tid=12549] ppid=12496 vsize=14073808 memory=718368 CPUtime=225.38 cores=1,3,5,7
/proc/12499/task/12549/stat : 12549 (java) R 12496 12499 3242 0 -1 4202560 49769 12645 0 0 22504 26 5 3 20 0 15 0 97918888 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967873690192 139967508652316 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12550] ppid=12496 vsize=14073808 memory=724524 CPUtime=1.19 cores=1,3,5,7
/proc/12499/task/12550/stat : 12550 (java) S 12496 12499 3242 0 -1 1077944384 4669 12645 0 0 105 6 5 3 20 0 15 0 97918889 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967822076688 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12551] ppid=12496 vsize=14073808 memory=726580 CPUtime=1.18 cores=1,3,5,7
/proc/12499/task/12551/stat : 12551 (java) S 12496 12499 3242 0 -1 1077944384 2473 12645 0 0 103 7 5 3 20 0 15 0 97918889 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967821024144 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12552] ppid=12496 vsize=14073808 memory=728632 CPUtime=1.18 cores=1,3,5,7
/proc/12499/task/12552/stat : 12552 (java) S 12496 12499 3242 0 -1 1077944384 3452 12645 0 0 104 6 5 3 20 0 15 0 97918889 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967819971600 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12553] ppid=12496 vsize=14073808 memory=726580 CPUtime=1.17 cores=1,3,5,7
/proc/12499/task/12553/stat : 12553 (java) S 12496 12499 3242 0 -1 1077944384 1725 12645 0 0 103 6 5 3 20 0 15 0 97918889 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967818919056 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12554] ppid=12496 vsize=14073808 memory=720932 CPUtime=0.78 cores=1,3,5,7
/proc/12499/task/12554/stat : 12554 (java) S 12496 12499 3242 0 -1 1077944384 4461 12645 0 0 62 8 5 3 20 0 15 0 97918890 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967342815216 139967869467266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12555] ppid=12496 vsize=14073808 memory=715804 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12555/stat : 12555 (java) S 12496 12499 3242 0 -1 1077944384 56 12645 0 0 0 0 5 3 20 0 15 0 97918891 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967341761504 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12556] ppid=12496 vsize=14073808 memory=2408 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12556/stat : 12556 (java) S 12496 12499 3242 0 -1 1077944384 44 12645 0 0 0 0 5 3 20 0 15 0 97918891 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967340708864 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12557] ppid=12496 vsize=14073808 memory=2208 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12557/stat : 12557 (java) S 12496 12499 3242 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 97918893 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967339657424 139967869474715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12558] ppid=12496 vsize=14073808 memory=724524 CPUtime=9.28 cores=1,3,5,7
/proc/12499/task/12558/stat : 12558 (java) S 12496 12499 3242 0 -1 1077944384 19552 12645 0 0 915 5 5 3 20 0 15 0 97918893 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967338605040 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12559] ppid=12496 vsize=14073808 memory=724528 CPUtime=8.94 cores=1,3,5,7
/proc/12499/task/12559/stat : 12559 (java) S 12496 12499 3242 0 -1 1077944384 15301 12645 0 0 880 6 5 3 20 0 15 0 97918893 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967337552496 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12560] ppid=12496 vsize=14073808 memory=4620 CPUtime=3.3 cores=1,3,5,7
/proc/12499/task/12560/stat : 12560 (java) S 12496 12499 3242 0 -1 1077944384 16222 12645 0 0 317 5 5 3 20 0 15 0 97918894 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967336499952 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12561] ppid=12496 vsize=14073808 memory=1196 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12561/stat : 12561 (java) S 12496 12499 3242 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 97918894 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967335447648 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12562] ppid=12496 vsize=14073808 memory=717340 CPUtime=0.19 cores=1,3,5,7
/proc/12499/task/12562/stat : 12562 (java) S 12496 12499 3242 0 -1 1077944384 557 12645 0 0 6 5 5 3 20 0 15 0 97918894 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967334394160 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 14073808 KiB
Current children cumulated memory: 715288 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+227.537 s]
# the end of solver process 12499 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.205 s, system=0.865163 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+227.501 s]
/proc/loadavg: 1.53 1.74 1.81 3/215 12690
/proc/meminfo: memFree=26156672/32770624 swapFree=67108860/67108860
[pid=12499] ppid=12496 vsize=14073808 memory=715288 CPUtime=252.02 cores=1,3,5,7
/proc/12499/stat : 12499 (java) S 12496 12499 3242 0 -1 1077944320 120431 12645 0 0 25112 82 5 3 20 0 15 0 97918879 14411579392 178822 33554432000 4194304 4196468 140725656248816 140725656231360 139967869456119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
/proc/12499/statm: 3518452 178822 3498 1 0 3506007 0
[pid=12499/tid=12549] ppid=12496 vsize=14073808 memory=718368 CPUtime=225.38 cores=1,3,5,7
/proc/12499/task/12549/stat : 12549 (java) R 12496 12499 3242 0 -1 4202560 49769 12645 0 0 22504 26 5 3 20 0 15 0 97918888 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967873690192 139967508652316 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12550] ppid=12496 vsize=14073808 memory=724524 CPUtime=1.19 cores=1,3,5,7
/proc/12499/task/12550/stat : 12550 (java) S 12496 12499 3242 0 -1 1077944384 4669 12645 0 0 105 6 5 3 20 0 15 0 97918889 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967822076688 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12551] ppid=12496 vsize=14073808 memory=726580 CPUtime=1.18 cores=1,3,5,7
/proc/12499/task/12551/stat : 12551 (java) S 12496 12499 3242 0 -1 1077944384 2473 12645 0 0 103 7 5 3 20 0 15 0 97918889 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967821024144 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12552] ppid=12496 vsize=14073808 memory=728632 CPUtime=1.18 cores=1,3,5,7
/proc/12499/task/12552/stat : 12552 (java) S 12496 12499 3242 0 -1 1077944384 3452 12645 0 0 104 6 5 3 20 0 15 0 97918889 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967819971600 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12553] ppid=12496 vsize=14073808 memory=726580 CPUtime=1.17 cores=1,3,5,7
/proc/12499/task/12553/stat : 12553 (java) S 12496 12499 3242 0 -1 1077944384 1725 12645 0 0 103 6 5 3 20 0 15 0 97918889 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967818919056 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12554] ppid=12496 vsize=14073808 memory=720932 CPUtime=0.78 cores=1,3,5,7
/proc/12499/task/12554/stat : 12554 (java) S 12496 12499 3242 0 -1 1077944384 4461 12645 0 0 62 8 5 3 20 0 15 0 97918890 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967342815216 139967869467266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12555] ppid=12496 vsize=14073808 memory=715804 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12555/stat : 12555 (java) S 12496 12499 3242 0 -1 1077944384 56 12645 0 0 0 0 5 3 20 0 15 0 97918891 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967341761504 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12556] ppid=12496 vsize=14073808 memory=2408 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12556/stat : 12556 (java) S 12496 12499 3242 0 -1 1077944384 44 12645 0 0 0 0 5 3 20 0 15 0 97918891 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967340708864 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12557] ppid=12496 vsize=14073808 memory=2208 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12557/stat : 12557 (java) S 12496 12499 3242 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 97918893 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967339657424 139967869474715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12558] ppid=12496 vsize=14073808 memory=724524 CPUtime=9.28 cores=1,3,5,7
/proc/12499/task/12558/stat : 12558 (java) S 12496 12499 3242 0 -1 1077944384 19552 12645 0 0 915 5 5 3 20 0 15 0 97918893 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967338605040 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12559] ppid=12496 vsize=14073808 memory=724528 CPUtime=8.94 cores=1,3,5,7
/proc/12499/task/12559/stat : 12559 (java) S 12496 12499 3242 0 -1 1077944384 15301 12645 0 0 880 6 5 3 20 0 15 0 97918893 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967337552496 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12560] ppid=12496 vsize=14073808 memory=4620 CPUtime=3.3 cores=1,3,5,7
/proc/12499/task/12560/stat : 12560 (java) S 12496 12499 3242 0 -1 1077944384 16222 12645 0 0 317 5 5 3 20 0 15 0 97918894 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967336499952 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12561] ppid=12496 vsize=14073808 memory=1196 CPUtime=0.08 cores=1,3,5,7
/proc/12499/task/12561/stat : 12561 (java) S 12496 12499 3242 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 97918894 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967335447648 139967869466325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
[pid=12499/tid=12562] ppid=12496 vsize=14073808 memory=717340 CPUtime=0.19 cores=1,3,5,7
/proc/12499/task/12562/stat : 12562 (java) S 12496 12499 3242 0 -1 1077944384 557 12645 0 0 6 5 5 3 20 0 15 0 97918894 14411579392 178822 33554432000 4194304 4196468 140725656248816 139967334394160 139967869467266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140725656255126 140725656257911 140725656257911 140725656260559 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 14073808 KiB
Current children cumulated memory: 715288 KiB
Child status: 143
Real time (s): 227.537
CPU time (s): 252.07
CPU user time (s): 251.205
CPU system time (s): 0.865163
CPU usage (%): 110.782
Max. virtual memory (cumulated for all children) (KiB): 14073808
Max. memory (cumulated for all children) (KiB): 1051608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.205
system time used= 0.865163
maximum resident set size= 1053656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136162
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34000
involuntary context switches= 677
# summary of solver processes directly reported to runsolver:
# pid: 12499
# total CPU time (s): 252.07
# total CPU user time (s): 251.205
# total CPU system time (s): 0.865163
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.42523 second user time and 2.17036 second system time
The end