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 (9902 MiB free)
memory of node 1: 16384 MiB (6996 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304786-1534153205/watcher-4304786-1534153205 -o /tmp/evaluation-result-4304786-1534153205/solver-4304786-1534153205 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534138334-16508 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1958807035 -superng HOME/instance-4304786-1534153205.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18994, runsolver pid=18991
[startup+0.101344 s]*
/proc/loadavg: 1.66 1.63 1.69 2/211 19051
/proc/meminfo: memFree=17295560/32770624 swapFree=67108688/67108860
[pid=18994] ppid=18991 vsize=10005480 memory=16552 CPUtime=0.08 cores=1,3,5,7
/proc/18994/stat : 18994 (java) S 18991 18994 15790 0 -1 1077944320 4305 13178 0 0 1 0 4 3 20 0 6 0 232883714 10245611520 4138 33554432000 4194304 4196468 140732473261312 140732473243856 140113126514423 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
/proc/18994/statm: 2501370 4138 1932 1 0 2489808 0
[pid=18994/tid=19047] ppid=18991 vsize=10005480 memory=4279135703946723981 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19047/stat : 19047 (java) R 18991 18994 15790 0 -1 4202560 2148 13178 0 0 0 0 4 3 20 0 6 0 232883723 10245611520 4204 33554432000 4194304 4196468 140732473261312 140113098351184 140113110594910 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19048] ppid=18991 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19048/stat : 19048 (java) S 18991 18994 15790 0 -1 1077944384 2 13178 0 0 0 0 4 3 20 0 6 0 232883724 10245611520 4204 33554432000 4194304 4196468 140732473261312 140113130757008 140113126524629 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19049] ppid=18991 vsize=10005480 memory=140658226042496 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19049/stat : 19049 (java) S 18991 18994 15790 0 -1 1077944384 1 13178 0 0 0 0 4 3 20 0 6 0 232883724 10245611520 4204 33554432000 4194304 4196468 140732473261312 140112985475856 140113126524629 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19050] ppid=18991 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19050/stat : 19050 (java) S 18991 18994 15790 0 -1 1077944384 1 13178 0 0 0 0 4 3 20 0 6 0 232883724 10245611520 4204 33554432000 4194304 4196468 140732473261312 140112984423568 140113126524629 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19051] ppid=18991 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19051/stat : 19051 (java) S 18991 18994 15790 0 -1 1077944384 2 13178 0 0 0 0 4 3 20 0 6 0 232883724 10245611520 4204 33554432000 4194304 4196468 140732473261312 140112983370768 140113126524629 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16552 KiB
[startup+0.210335 s]*
/proc/loadavg: 1.66 1.63 1.69 3/220 19060
/proc/meminfo: memFree=17274380/32770624 swapFree=67108688/67108860
[pid=18994] ppid=18991 vsize=10982744 memory=42444 CPUtime=0.24 cores=1,3,5,7
/proc/18994/stat : 18994 (java) S 18991 18994 15790 0 -1 1077944320 7299 13178 0 0 16 1 4 3 20 0 15 0 232883714 11246329856 10611 33554432000 4194304 4196468 140732473261312 140732473243856 140113126514423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
/proc/18994/statm: 2745686 10611 2951 1 0 2708109 0
[pid=18994/tid=19047] ppid=18991 vsize=10982744 memory=7022364594140610616 CPUtime=0.17 cores=1,3,5,7
/proc/18994/task/19047/stat : 19047 (java) R 18991 18994 15790 0 -1 4202560 4015 13178 0 0 10 0 4 3 20 0 15 0 232883723 11246329856 10743 33554432000 4194304 4196468 140732473261312 140113098327432 140113106790183 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19048] ppid=18991 vsize=10982744 memory=365 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19048/stat : 19048 (java) S 18991 18994 15790 0 -1 1077944384 2 13178 0 0 0 0 4 3 20 0 15 0 232883724 11246329856 10743 33554432000 4194304 4196468 140732473261312 140113130757008 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19049] ppid=18991 vsize=10982744 memory=3545660179353507488 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19049/stat : 19049 (java) S 18991 18994 15790 0 -1 1077944384 1 13178 0 0 0 0 4 3 20 0 15 0 232883724 11246329856 10743 33554432000 4194304 4196468 140732473261312 140112985475856 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19050] ppid=18991 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19050/stat : 19050 (java) S 18991 18994 15790 0 -1 1077944384 1 13178 0 0 0 0 4 3 20 0 15 0 232883724 11246329856 10743 33554432000 4194304 4196468 140732473261312 140112984423568 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19051] ppid=18991 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19051/stat : 19051 (java) S 18991 18994 15790 0 -1 1077944384 2 13178 0 0 0 0 4 3 20 0 15 0 232883724 11246329856 10743 33554432000 4194304 4196468 140732473261312 140112983370768 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19052] ppid=18991 vsize=10982744 memory=140658226042496 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19052/stat : 19052 (java) S 18991 18994 15790 0 -1 1077944384 2 13178 0 0 0 0 4 3 20 0 15 0 232883726 11246329856 10743 33554432000 4194304 4196468 140732473261312 140112096344176 140113126525570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19053] ppid=18991 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19053/stat : 19053 (java) S 18991 18994 15790 0 -1 1077944384 13 13178 0 0 0 0 4 3 20 0 15 0 232883726 11246329856 10809 33554432000 4194304 4196468 140732473261312 140111966626592 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19054] ppid=18991 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19054/stat : 19054 (java) S 18991 18994 15790 0 -1 1077944384 1 13178 0 0 0 0 4 3 20 0 15 0 232883726 11246329856 10809 33554432000 4194304 4196468 140732473261312 140111765300336 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19055] ppid=18991 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19055/stat : 19055 (java) S 18991 18994 15790 0 -1 1077944384 3 13178 0 0 0 0 4 3 20 0 15 0 232883729 11246329856 10809 33554432000 4194304 4196468 140732473261312 140111457900624 140113126533019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19056] ppid=18991 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18994/task/19056/stat : 19056 (java) S 18991 18994 15790 0 -1 1077944384 431 13178 0 0 1 0 4 3 20 0 15 0 232883729 11246329856 10809 33554432000 4194304 4196468 140732473261312 140112095292016 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19057] ppid=18991 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18994/task/19057/stat : 19057 (java) S 18991 18994 15790 0 -1 1077944384 193 13178 0 0 1 0 4 3 20 0 15 0 232883729 11246329856 10809 33554432000 4194304 4196468 140732473261312 140112094239216 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19058] ppid=18991 vsize=10982744 memory=140658226042496 CPUtime=0.1 cores=1,3,5,7
/proc/18994/task/19058/stat : 19058 (java) S 18991 18994 15790 0 -1 1077944384 599 13178 0 0 3 0 4 3 20 0 15 0 232883729 11246329856 10809 33554432000 4194304 4196468 140732473261312 140112093186928 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19059] ppid=18991 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19059/stat : 19059 (java) S 18991 18994 15790 0 -1 1077944384 3 13178 0 0 0 0 4 3 20 0 15 0 232883729 11246329856 10809 33554432000 4194304 4196468 140732473261312 140111027104736 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19060] ppid=18991 vsize=10982744 memory=140658226042496 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19060/stat : 19060 (java) S 18991 18994 15790 0 -1 1077944384 1 13178 0 0 0 0 4 3 20 0 15 0 232883730 11246329856 10809 33554432000 4194304 4196468 140732473261312 140112092133808 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42444 KiB
[startup+0.310426 s]*
/proc/loadavg: 1.66 1.63 1.69 3/220 19060
/proc/meminfo: memFree=17261728/32770624 swapFree=67108688/67108860
[pid=18994] ppid=18991 vsize=10983192 memory=56148 CPUtime=0.37 cores=1,3,5,7
/proc/18994/stat : 18994 (java) S 18991 18994 15790 0 -1 1077944320 10610 13178 0 0 28 2 4 3 20 0 15 0 232883714 11246788608 14037 33554432000 4194304 4196468 140732473261312 140732473243856 140113126514423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
/proc/18994/statm: 2745798 14037 3070 1 0 2708109 0
[pid=18994/tid=19047] ppid=18991 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/18994/task/19047/stat : 19047 (java) R 18991 18994 15790 0 -1 4202560 7163 13178 0 0 19 1 4 3 20 0 15 0 232883723 11246788608 14037 33554432000 4194304 4196468 140732473261312 140113098326432 140113106790144 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19048] ppid=18991 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19048/stat : 19048 (java) S 18991 18994 15790 0 -1 1077944384 2 13178 0 0 0 0 4 3 20 0 15 0 232883724 11246788608 14037 33554432000 4194304 4196468 140732473261312 140113130757008 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19049] ppid=18991 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19049/stat : 19049 (java) S 18991 18994 15790 0 -1 1077944384 1 13178 0 0 0 0 4 3 20 0 15 0 232883724 11246788608 14037 33554432000 4194304 4196468 140732473261312 140112985475856 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19050] ppid=18991 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19050/stat : 19050 (java) S 18991 18994 15790 0 -1 1077944384 1 13178 0 0 0 0 4 3 20 0 15 0 232883724 11246788608 14037 33554432000 4194304 4196468 140732473261312 140112984423568 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19051] ppid=18991 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19051/stat : 19051 (java) S 18991 18994 15790 0 -1 1077944384 2 13178 0 0 0 0 4 3 20 0 15 0 232883724 11246788608 14037 33554432000 4194304 4196468 140732473261312 140112983370768 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19052] ppid=18991 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19052/stat : 19052 (java) S 18991 18994 15790 0 -1 1077944384 2 13178 0 0 0 0 4 3 20 0 15 0 232883726 11246788608 14037 33554432000 4194304 4196468 140732473261312 140112096344176 140113126525570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19053] ppid=18991 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19053/stat : 19053 (java) S 18991 18994 15790 0 -1 1077944384 13 13178 0 0 0 0 4 3 20 0 15 0 232883726 11246788608 14037 33554432000 4194304 4196468 140732473261312 140111966626592 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19054] ppid=18991 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19054/stat : 19054 (java) S 18991 18994 15790 0 -1 1077944384 1 13178 0 0 0 0 4 3 20 0 15 0 232883726 11246788608 14037 33554432000 4194304 4196468 140732473261312 140111765300336 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19055] ppid=18991 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19055/stat : 19055 (java) S 18991 18994 15790 0 -1 1077944384 3 13178 0 0 0 0 4 3 20 0 15 0 232883729 11246788608 14037 33554432000 4194304 4196468 140732473261312 140111457900624 140113126533019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19056] ppid=18991 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18994/task/19056/stat : 19056 (java) S 18991 18994 15790 0 -1 1077944384 434 13178 0 0 1 0 4 3 20 0 15 0 232883729 11246788608 14037 33554432000 4194304 4196468 140732473261312 140112095292016 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19057] ppid=18991 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18994/task/19057/stat : 19057 (java) S 18991 18994 15790 0 -1 1077944384 195 13178 0 0 1 0 4 3 20 0 15 0 232883729 11246788608 14037 33554432000 4194304 4196468 140732473261312 140112094239216 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19058] ppid=18991 vsize=10983192 memory=140658226042496 CPUtime=0.11 cores=1,3,5,7
/proc/18994/task/19058/stat : 19058 (java) S 18991 18994 15790 0 -1 1077944384 605 13178 0 0 4 0 4 3 20 0 15 0 232883729 11246788608 14037 33554432000 4194304 4196468 140732473261312 140112093186928 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19059] ppid=18991 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19059/stat : 19059 (java) S 18991 18994 15790 0 -1 1077944384 3 13178 0 0 0 0 4 3 20 0 15 0 232883729 11246788608 14037 33554432000 4194304 4196468 140732473261312 140111027104736 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19060] ppid=18991 vsize=10983192 memory=140658226042496 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19060/stat : 19060 (java) S 18991 18994 15790 0 -1 1077944384 1 13178 0 0 0 0 4 3 20 0 15 0 232883730 11246788608 14037 33554432000 4194304 4196468 140732473261312 140112092133808 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56148 KiB
[startup+0.700796 s]
/proc/loadavg: 1.66 1.63 1.69 3/220 19060
/proc/meminfo: memFree=17251052/32770624 swapFree=67108688/67108860
[pid=18994] ppid=18991 vsize=10983192 memory=88404 CPUtime=0.98 cores=1,3,5,7
/proc/18994/stat : 18994 (java) S 18991 18994 15790 0 -1 1077944320 16765 13178 0 0 88 3 4 3 20 0 15 0 232883714 11246788608 22101 33554432000 4194304 4196468 140732473261312 140732473243856 140113126514423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
/proc/18994/statm: 2745798 22101 3239 1 0 2708109 0
[pid=18994/tid=19047] ppid=18991 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/18994/task/19047/stat : 19047 (java) R 18991 18994 15790 0 -1 4202560 12273 13178 0 0 56 2 4 3 20 0 15 0 232883723 11246788608 22101 33554432000 4194304 4196468 140732473261312 140113098337424 140113110594910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19048] ppid=18991 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19048/stat : 19048 (java) S 18991 18994 15790 0 -1 1077944384 2 13178 0 0 0 0 4 3 20 0 15 0 232883724 11246788608 22101 33554432000 4194304 4196468 140732473261312 140113130757008 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19049] ppid=18991 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19049/stat : 19049 (java) S 18991 18994 15790 0 -1 1077944384 1 13178 0 0 0 0 4 3 20 0 15 0 232883724 11246788608 22101 33554432000 4194304 4196468 140732473261312 140112985475856 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19050] ppid=18991 vsize=10983192 memory=140658098713360 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19050/stat : 19050 (java) S 18991 18994 15790 0 -1 1077944384 1 13178 0 0 0 0 4 3 20 0 15 0 232883724 11246788608 22101 33554432000 4194304 4196468 140732473261312 140112984423568 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19051] ppid=18991 vsize=10983192 memory=140660178944623 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19051/stat : 19051 (java) S 18991 18994 15790 0 -1 1077944384 2 13178 0 0 0 0 4 3 20 0 15 0 232883724 11246788608 22101 33554432000 4194304 4196468 140732473261312 140112983370768 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19052] ppid=18991 vsize=10983192 memory=1832 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19052/stat : 19052 (java) S 18991 18994 15790 0 -1 1077944384 5 13178 0 0 0 0 4 3 20 0 15 0 232883726 11246788608 22101 33554432000 4194304 4196468 140732473261312 140112096344176 140113126525570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19053] ppid=18991 vsize=10983192 memory=7161944214934349376 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19053/stat : 19053 (java) S 18991 18994 15790 0 -1 1077944384 13 13178 0 0 0 0 4 3 20 0 15 0 232883726 11246788608 22101 33554432000 4194304 4196468 140732473261312 140111966626592 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19054] ppid=18991 vsize=10983192 memory=6082220498227391592 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19054/stat : 19054 (java) S 18991 18994 15790 0 -1 1077944384 1 13178 0 0 0 0 4 3 20 0 15 0 232883726 11246788608 22101 33554432000 4194304 4196468 140732473261312 140111765300336 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19055] ppid=18991 vsize=10983192 memory=16348 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19055/stat : 19055 (java) S 18991 18994 15790 0 -1 1077944384 3 13178 0 0 0 0 4 3 20 0 15 0 232883729 11246788608 22101 33554432000 4194304 4196468 140732473261312 140111457900624 140113126533019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19056] ppid=18991 vsize=10983192 memory=1176 CPUtime=0.16 cores=1,3,5,7
/proc/18994/task/19056/stat : 19056 (java) S 18991 18994 15790 0 -1 1077944384 1042 13178 0 0 9 0 4 3 20 0 15 0 232883729 11246788608 22101 33554432000 4194304 4196468 140732473261312 140112095292016 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19057] ppid=18991 vsize=10983192 memory=35008 CPUtime=0.14 cores=1,3,5,7
/proc/18994/task/19057/stat : 19057 (java) R 18991 18994 15790 0 -1 1077944384 558 13178 0 0 7 0 4 3 20 0 15 0 232883729 11246788608 22101 33554432000 4194304 4196468 140732473261312 140112094239216 140113126525570 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19058] ppid=18991 vsize=10983192 memory=4048 CPUtime=0.2 cores=1,3,5,7
/proc/18994/task/19058/stat : 19058 (java) S 18991 18994 15790 0 -1 1077944384 664 13178 0 0 13 0 4 3 20 0 15 0 232883729 11246788608 22101 33554432000 4194304 4196468 140732473261312 140112093186928 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19059] ppid=18991 vsize=10983192 memory=508 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19059/stat : 19059 (java) S 18991 18994 15790 0 -1 1077944384 3 13178 0 0 0 0 4 3 20 0 15 0 232883729 11246788608 22101 33554432000 4194304 4196468 140732473261312 140111027104736 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19060] ppid=18991 vsize=10983192 memory=1728 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19060/stat : 19060 (java) S 18991 18994 15790 0 -1 1077944384 1 13178 0 0 0 0 4 3 20 0 15 0 232883730 11246788608 22101 33554432000 4194304 4196468 140732473261312 140112092133808 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88404 KiB
[startup+1.50133 s]
/proc/loadavg: 1.66 1.63 1.69 3/220 19060
/proc/meminfo: memFree=17204844/32770624 swapFree=67108688/67108860
[pid=18994] ppid=18991 vsize=10998092 memory=197836 CPUtime=3.02 cores=1,3,5,7
/proc/18994/stat : 18994 (java) S 18991 18994 15790 0 -1 1077944320 27375 13178 0 0 286 9 4 3 20 0 15 0 232883714 11262046208 49459 33554432000 4194304 4196468 140732473261312 140732473243856 140113126514423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
/proc/18994/statm: 2749523 49459 3475 1 0 2711181 0
[pid=18994/tid=19047] ppid=18991 vsize=10998092 memory=65180 CPUtime=1.41 cores=1,3,5,7
/proc/18994/task/19047/stat : 19047 (java) R 18991 18994 15790 0 -1 4202560 17307 13178 0 0 129 5 4 3 20 0 15 0 232883723 11262046208 49459 33554432000 4194304 4196468 140732473261312 140113098331264 140113126536349 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19048] ppid=18991 vsize=10998092 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19048/stat : 19048 (java) S 18991 18994 15790 0 -1 1077944384 138 13178 0 0 0 0 4 3 20 0 15 0 232883724 11262046208 49459 33554432000 4194304 4196468 140732473261312 140113130757008 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19049] ppid=18991 vsize=10998092 memory=281316197458080 CPUtime=0.08 cores=1,3,5,7
/proc/18994/task/19049/stat : 19049 (java) S 18991 18994 15790 0 -1 1077944384 87 13178 0 0 1 0 4 3 20 0 15 0 232883724 11262046208 49459 33554432000 4194304 4196468 140732473261312 140112985475856 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19050] ppid=18991 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18994/task/19050/stat : 19050 (java) S 18991 18994 15790 0 -1 1077944384 5 13178 0 0 1 0 4 3 20 0 15 0 232883724 11262046208 49459 33554432000 4194304 4196468 140732473261312 140112984423568 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19051] ppid=18991 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18994/task/19051/stat : 19051 (java) S 18991 18994 15790 0 -1 1077944384 55 13178 0 0 1 0 4 3 20 0 15 0 232883724 11262046208 49459 33554432000 4194304 4196468 140732473261312 140112983370768 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19052] ppid=18991 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18994/task/19052/stat : 19052 (java) S 18991 18994 15790 0 -1 1077944384 69 13178 0 0 1 0 4 3 20 0 15 0 232883726 11262046208 49459 33554432000 4194304 4196468 140732473261312 140112096344176 140113126525570 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19053] ppid=18991 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19053/stat : 19053 (java) S 18991 18994 15790 0 -1 1077944384 14 13178 0 0 0 0 4 3 20 0 15 0 232883726 11262046208 49459 33554432000 4194304 4196468 140732473261312 140111966626592 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19054] ppid=18991 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19054/stat : 19054 (java) S 18991 18994 15790 0 -1 1077944384 1 13178 0 0 0 0 4 3 20 0 15 0 232883726 11262046208 49459 33554432000 4194304 4196468 140732473261312 140111765300336 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19055] ppid=18991 vsize=10998092 memory=-2746958450906831424 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19055/stat : 19055 (java) S 18991 18994 15790 0 -1 1077944384 3 13178 0 0 0 0 4 3 20 0 15 0 232883729 11262046208 49459 33554432000 4194304 4196468 140732473261312 140111457900624 140113126533019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19056] ppid=18991 vsize=10998092 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/18994/task/19056/stat : 19056 (java) R 18991 18994 15790 0 -1 4202560 3126 13178 0 0 55 0 4 3 20 0 15 0 232883729 11262046208 49459 33554432000 4194304 4196468 140732473261312 140112095277776 140113111433306 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19057] ppid=18991 vsize=10998092 memory=10 CPUtime=0.57 cores=1,3,5,7
/proc/18994/task/19057/stat : 19057 (java) R 18991 18994 15790 0 -1 4202560 2425 13178 0 0 50 0 4 3 20 0 15 0 232883729 11262046208 49459 33554432000 4194304 4196468 140732473261312 140112094229328 140113107213956 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19058] ppid=18991 vsize=10998092 memory=6791534058613427641 CPUtime=0.5 cores=1,3,5,7
/proc/18994/task/19058/stat : 19058 (java) S 18991 18994 15790 0 -1 1077944384 1946 13178 0 0 43 0 4 3 20 0 15 0 232883729 11262046208 49459 33554432000 4194304 4196468 140732473261312 140112093186928 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19059] ppid=18991 vsize=10998092 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19059/stat : 19059 (java) S 18991 18994 15790 0 -1 1077944384 3 13178 0 0 0 0 4 3 20 0 15 0 232883729 11262046208 49459 33554432000 4194304 4196468 140732473261312 140111027104736 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19060] ppid=18991 vsize=10998092 memory=281316197702528 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19060/stat : 19060 (java) S 18991 18994 15790 0 -1 1077944384 1 13178 0 0 0 0 4 3 20 0 15 0 232883730 11262046208 49459 33554432000 4194304 4196468 140732473261312 140112092133808 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/18994/task/19047/stat : 19047 (java) R 18991 18994 15790 0 -1 4202560 254920 13178 0 0 237457 82 4 3 20 0 15 0 232883723 11280941056 813293 33554432000 4194304 4196468 140732473261312 140113098348480 140112679892439 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19048] ppid=18991 vsize=11016544 memory=35044 CPUtime=5.69 cores=1,3,5,7
/proc/18994/task/19048/stat : 19048 (java) S 18991 18994 15790 0 -1 1077944384 21558 13178 0 0 504 58 4 3 20 0 15 0 232883724 11280941056 813293 33554432000 4194304 4196468 140732473261312 140113130757008 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19049] ppid=18991 vsize=11016544 memory=3253172 CPUtime=5.7 cores=1,3,5,7
/proc/18994/task/19049/stat : 19049 (java) S 18991 18994 15790 0 -1 1077944384 26160 13178 0 0 504 59 4 3 20 0 15 0 232883724 11280941056 813293 33554432000 4194304 4196468 140732473261312 140112985475856 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19050] ppid=18991 vsize=11016544 memory=3240884 CPUtime=5.69 cores=1,3,5,7
/proc/18994/task/19050/stat : 19050 (java) S 18991 18994 15790 0 -1 1077944384 21829 13178 0 0 504 58 4 3 20 0 15 0 232883724 11280941056 813293 33554432000 4194304 4196468 140732473261312 140112984423568 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19051] ppid=18991 vsize=11016544 memory=3253172 CPUtime=5.7 cores=1,3,5,7
/proc/18994/task/19051/stat : 19051 (java) S 18991 18994 15790 0 -1 1077944384 22415 13178 0 0 506 57 4 3 20 0 15 0 232883724 11280941056 813293 33554432000 4194304 4196468 140732473261312 140112983370768 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19052] ppid=18991 vsize=11016544 memory=59 CPUtime=0.85 cores=1,3,5,7
/proc/18994/task/19052/stat : 19052 (java) S 18991 18994 15790 0 -1 1077944384 28666 13178 0 0 64 14 4 3 20 0 15 0 232883726 11280941056 813293 33554432000 4194304 4196468 140732473261312 140112096344176 140113126525570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19053] ppid=18991 vsize=11016544 memory=3253172 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19053/stat : 19053 (java) S 18991 18994 15790 0 -1 1077944384 15 13178 0 0 0 0 4 3 20 0 15 0 232883726 11280941056 813293 33554432000 4194304 4196468 140732473261312 140111966626656 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19054] ppid=18991 vsize=11016544 memory=3253172 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19054/stat : 19054 (java) S 18991 18994 15790 0 -1 1077944384 1 13178 0 0 0 0 4 3 20 0 15 0 232883726 11280941056 813293 33554432000 4194304 4196468 140732473261312 140111765300352 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19055] ppid=18991 vsize=11016544 memory=3253172 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19055/stat : 19055 (java) S 18991 18994 15790 0 -1 1077944384 3 13178 0 0 0 0 4 3 20 0 15 0 232883729 11280941056 813293 33554432000 4194304 4196468 140732473261312 140111457900624 140113126533019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19056] ppid=18991 vsize=11016544 memory=3253172 CPUtime=13.45 cores=1,3,5,7
/proc/18994/task/19056/stat : 19056 (java) S 18991 18994 15790 0 -1 1077944384 86143 13178 0 0 1328 10 4 3 20 0 15 0 232883729 11280941056 813293 33554432000 4194304 4196468 140732473261312 140112095292016 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19057] ppid=18991 vsize=11016544 memory=3253172 CPUtime=13.5 cores=1,3,5,7
/proc/18994/task/19057/stat : 19057 (java) S 18991 18994 15790 0 -1 1077944384 86415 13178 0 0 1332 11 4 3 20 0 15 0 232883729 11280941056 813293 33554432000 4194304 4196468 140732473261312 140112094239216 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19058] ppid=18991 vsize=11016544 memory=4048 CPUtime=4.54 cores=1,3,5,7
/proc/18994/task/19058/stat : 19058 (java) S 18991 18994 15790 0 -1 1077944384 77063 13178 0 0 436 11 4 3 20 0 15 0 232883729 11280941056 813293 33554432000 4194304 4196468 140732473261312 140112093186928 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19059] ppid=18991 vsize=11016544 memory=3253172 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19059/stat : 19059 (java) S 18991 18994 15790 0 -1 1077944384 3 13178 0 0 0 0 4 3 20 0 15 0 232883729 11280941056 813293 33554432000 4194304 4196468 140732473261312 140111027104736 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19060] ppid=18991 vsize=11016544 memory=3824 CPUtime=1.41 cores=1,3,5,7
/proc/18994/task/19060/stat : 19060 (java) S 18991 18994 15790 0 -1 1077944384 3102 13178 0 0 66 68 4 3 20 0 15 0 232883730 11280941056 813293 33554432000 4194304 4196468 140732473261312 140112092133808 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
Current children cumulated CPU time: 2431.47 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3253172 KiB
[startup+2442.3 s]
/proc/loadavg: 2.11 1.79 1.67 3/220 19293
/proc/meminfo: memFree=14160028/32770624 swapFree=67108688/67108860
[pid=18994] ppid=18991 vsize=11016544 memory=3259336 CPUtime=2491.55 cores=1,3,5,7
/proc/18994/stat : 18994 (java) S 18991 18994 15790 0 -1 1077944320 636534 13178 0 0 248729 419 4 3 20 0 15 0 232883714 11280941056 814834 33554432000 4194304 4196468 140732473261312 140732473243856 140113126514423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
/proc/18994/statm: 2754136 814834 3531 1 0 2715789 0
[pid=18994/tid=19047] ppid=18991 vsize=11016544 memory=3197708 CPUtime=2435.43 cores=1,3,5,7
/proc/18994/task/19047/stat : 19047 (java) R 18991 18994 15790 0 -1 4202560 258422 13178 0 0 243453 83 4 3 20 0 15 0 232883723 11280941056 814834 33554432000 4194304 4196468 140732473261312 140113098350224 140112655615320 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19048] ppid=18991 vsize=11016544 memory=3253172 CPUtime=5.71 cores=1,3,5,7
/proc/18994/task/19048/stat : 19048 (java) S 18991 18994 15790 0 -1 1077944384 21739 13178 0 0 506 58 4 3 20 0 15 0 232883724 11280941056 814834 33554432000 4194304 4196468 140732473261312 140113130757008 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19049] ppid=18991 vsize=11016544 memory=3240884 CPUtime=5.72 cores=1,3,5,7
/proc/18994/task/19049/stat : 19049 (java) S 18991 18994 15790 0 -1 1077944384 26285 13178 0 0 506 59 4 3 20 0 15 0 232883724 11280941056 814834 33554432000 4194304 4196468 140732473261312 140112985475856 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19050] ppid=18991 vsize=11016544 memory=3253172 CPUtime=5.71 cores=1,3,5,7
/proc/18994/task/19050/stat : 19050 (java) S 18991 18994 15790 0 -1 1077944384 22961 13178 0 0 506 58 4 3 20 0 15 0 232883724 11280941056 814834 33554432000 4194304 4196468 140732473261312 140112984423568 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19051] ppid=18991 vsize=11016544 memory=3253172 CPUtime=5.72 cores=1,3,5,7
/proc/18994/task/19051/stat : 19051 (java) S 18991 18994 15790 0 -1 1077944384 23158 13178 0 0 508 57 4 3 20 0 15 0 232883724 11280941056 814834 33554432000 4194304 4196468 140732473261312 140112983370768 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19052] ppid=18991 vsize=11016544 memory=0 CPUtime=0.86 cores=1,3,5,7
/proc/18994/task/19052/stat : 19052 (java) S 18991 18994 15790 0 -1 1077944384 28987 13178 0 0 65 14 4 3 20 0 15 0 232883726 11280941056 814834 33554432000 4194304 4196468 140732473261312 140112096344176 140113126525570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19053] ppid=18991 vsize=11016544 memory=3259340 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19053/stat : 19053 (java) S 18991 18994 15790 0 -1 1077944384 15 13178 0 0 0 0 4 3 20 0 15 0 232883726 11280941056 814834 33554432000 4194304 4196468 140732473261312 140111966626656 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19054] ppid=18991 vsize=11016544 memory=3259336 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19054/stat : 19054 (java) S 18991 18994 15790 0 -1 1077944384 1 13178 0 0 0 0 4 3 20 0 15 0 232883726 11280941056 814834 33554432000 4194304 4196468 140732473261312 140111765300352 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19055] ppid=18991 vsize=11016544 memory=3259336 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19055/stat : 19055 (java) S 18991 18994 15790 0 -1 1077944384 3 13178 0 0 0 0 4 3 20 0 15 0 232883729 11280941056 814834 33554432000 4194304 4196468 140732473261312 140111457900624 140113126533019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19056] ppid=18991 vsize=11016544 memory=3259336 CPUtime=13.45 cores=1,3,5,7
/proc/18994/task/19056/stat : 19056 (java) S 18991 18994 15790 0 -1 1077944384 86146 13178 0 0 1328 10 4 3 20 0 15 0 232883729 11280941056 814834 33554432000 4194304 4196468 140732473261312 140112095292016 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19057] ppid=18991 vsize=11016544 memory=3259336 CPUtime=13.5 cores=1,3,5,7
/proc/18994/task/19057/stat : 19057 (java) S 18991 18994 15790 0 -1 1077944384 86423 13178 0 0 1332 11 4 3 20 0 15 0 232883729 11280941056 814834 33554432000 4194304 4196468 140732473261312 140112094239216 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19058] ppid=18991 vsize=11016544 memory=3824 CPUtime=4.54 cores=1,3,5,7
/proc/18994/task/19058/stat : 19058 (java) S 18991 18994 15790 0 -1 1077944384 77067 13178 0 0 436 11 4 3 20 0 15 0 232883729 11280941056 814834 33554432000 4194304 4196468 140732473261312 140112093186928 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19059] ppid=18991 vsize=11016544 memory=3259336 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19059/stat : 19059 (java) S 18991 18994 15790 0 -1 1077944384 3 13178 0 0 0 0 4 3 20 0 15 0 232883729 11280941056 814834 33554432000 4194304 4196468 140732473261312 140111027104736 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19060] ppid=18991 vsize=11016544 memory=3259336 CPUtime=1.44 cores=1,3,5,7
/proc/18994/task/19060/stat : 19060 (java) S 18991 18994 15790 0 -1 1077944384 3128 13178 0 0 67 70 4 3 20 0 15 0 232883730 11280941056 814834 33554432000 4194304 4196468 140732473261312 140112092133808 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
Current children cumulated CPU time: 2491.55 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3259336 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2470.7 s]
/proc/loadavg: 1.89 1.76 1.67 3/220 19293
/proc/meminfo: memFree=14157552/32770624 swapFree=67108688/67108860
[pid=18994] ppid=18991 vsize=11016544 memory=3267528 CPUtime=2520.01 cores=1,3,5,7
/proc/18994/stat : 18994 (java) S 18991 18994 15790 0 -1 1077944320 641354 13178 0 0 251574 420 4 3 20 0 15 0 232883714 11280941056 816882 33554432000 4194304 4196468 140732473261312 140732473243856 140113126514423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
/proc/18994/statm: 2754136 816882 3531 1 0 2715789 0
[pid=18994/tid=19047] ppid=18991 vsize=11016544 memory=3263432 CPUtime=2463.82 cores=1,3,5,7
/proc/18994/task/19047/stat : 19047 (java) R 18991 18994 15790 0 -1 4202560 260695 13178 0 0 246291 84 4 3 20 0 15 0 232883723 11280941056 816882 33554432000 4194304 4196468 140732473261312 140113098349088 140112661023951 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19048] ppid=18991 vsize=11016544 memory=3263432 CPUtime=5.72 cores=1,3,5,7
/proc/18994/task/19048/stat : 19048 (java) S 18991 18994 15790 0 -1 1077944384 22501 13178 0 0 507 58 4 3 20 0 15 0 232883724 11280941056 816882 33554432000 4194304 4196468 140732473261312 140113130757008 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19049] ppid=18991 vsize=11016544 memory=3263432 CPUtime=5.73 cores=1,3,5,7
/proc/18994/task/19049/stat : 19049 (java) S 18991 18994 15790 0 -1 1077944384 26453 13178 0 0 507 59 4 3 20 0 15 0 232883724 11280941056 816882 33554432000 4194304 4196468 140732473261312 140112985475856 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19050] ppid=18991 vsize=11016544 memory=3263432 CPUtime=5.72 cores=1,3,5,7
/proc/18994/task/19050/stat : 19050 (java) S 18991 18994 15790 0 -1 1077944384 23100 13178 0 0 507 58 4 3 20 0 15 0 232883724 11280941056 816882 33554432000 4194304 4196468 140732473261312 140112984423568 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19051] ppid=18991 vsize=11016544 memory=3267528 CPUtime=5.73 cores=1,3,5,7
/proc/18994/task/19051/stat : 19051 (java) S 18991 18994 15790 0 -1 1077944384 24281 13178 0 0 509 57 4 3 20 0 15 0 232883724 11280941056 816882 33554432000 4194304 4196468 140732473261312 140112983370768 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19052] ppid=18991 vsize=11016544 memory=3267528 CPUtime=0.86 cores=1,3,5,7
/proc/18994/task/19052/stat : 19052 (java) S 18991 18994 15790 0 -1 1077944384 29303 13178 0 0 65 14 4 3 20 0 15 0 232883726 11280941056 816882 33554432000 4194304 4196468 140732473261312 140112096344176 140113126525570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19053] ppid=18991 vsize=11016544 memory=3263432 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19053/stat : 19053 (java) S 18991 18994 15790 0 -1 1077944384 15 13178 0 0 0 0 4 3 20 0 15 0 232883726 11280941056 816882 33554432000 4194304 4196468 140732473261312 140111966626656 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19054] ppid=18991 vsize=11016544 memory=3263432 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19054/stat : 19054 (java) S 18991 18994 15790 0 -1 1077944384 1 13178 0 0 0 0 4 3 20 0 15 0 232883726 11280941056 816882 33554432000 4194304 4196468 140732473261312 140111765300352 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19055] ppid=18991 vsize=11016544 memory=3255244 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19055/stat : 19055 (java) S 18991 18994 15790 0 -1 1077944384 3 13178 0 0 0 0 4 3 20 0 15 0 232883729 11280941056 816882 33554432000 4194304 4196468 140732473261312 140111457900624 140113126533019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19056] ppid=18991 vsize=11016544 memory=3240884 CPUtime=13.45 cores=1,3,5,7
/proc/18994/task/19056/stat : 19056 (java) S 18991 18994 15790 0 -1 1077944384 86149 13178 0 0 1328 10 4 3 20 0 15 0 232883729 11280941056 816882 33554432000 4194304 4196468 140732473261312 140112095292016 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19057] ppid=18991 vsize=11016544 memory=3238836 CPUtime=13.5 cores=1,3,5,7
/proc/18994/task/19057/stat : 19057 (java) S 18991 18994 15790 0 -1 1077944384 86431 13178 0 0 1332 11 4 3 20 0 15 0 232883729 11280941056 816882 33554432000 4194304 4196468 140732473261312 140112094239216 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19058] ppid=18991 vsize=11016544 memory=3263432 CPUtime=4.54 cores=1,3,5,7
/proc/18994/task/19058/stat : 19058 (java) S 18991 18994 15790 0 -1 1077944384 77071 13178 0 0 436 11 4 3 20 0 15 0 232883729 11280941056 816882 33554432000 4194304 4196468 140732473261312 140112093186928 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19059] ppid=18991 vsize=11016544 memory=3263432 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19059/stat : 19059 (java) S 18991 18994 15790 0 -1 1077944384 3 13178 0 0 0 0 4 3 20 0 15 0 232883729 11280941056 816882 33554432000 4194304 4196468 140732473261312 140111027104736 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19060] ppid=18991 vsize=11016544 memory=3263432 CPUtime=1.45 cores=1,3,5,7
/proc/18994/task/19060/stat : 19060 (java) S 18991 18994 15790 0 -1 1077944384 3152 13178 0 0 68 70 4 3 20 0 15 0 232883730 11280941056 816882 33554432000 4194304 4196468 140732473261312 140112092133808 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3267528 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2470.75 s]
# the end of solver process 18994 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.81 s, system=4.273 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2470.7 s]
/proc/loadavg: 1.89 1.76 1.67 3/220 19293
/proc/meminfo: memFree=14157552/32770624 swapFree=67108688/67108860
[pid=18994] ppid=18991 vsize=11016544 memory=3267528 CPUtime=2520.01 cores=1,3,5,7
/proc/18994/stat : 18994 (java) S 18991 18994 15790 0 -1 1077944320 641354 13178 0 0 251574 420 4 3 20 0 15 0 232883714 11280941056 816882 33554432000 4194304 4196468 140732473261312 140732473243856 140113126514423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
/proc/18994/statm: 2754136 816882 3531 1 0 2715789 0
[pid=18994/tid=19047] ppid=18991 vsize=11016544 memory=3263432 CPUtime=2463.82 cores=1,3,5,7
/proc/18994/task/19047/stat : 19047 (java) R 18991 18994 15790 0 -1 4202560 260695 13178 0 0 246291 84 4 3 20 0 15 0 232883723 11280941056 816882 33554432000 4194304 4196468 140732473261312 140113098349088 140112661023951 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19048] ppid=18991 vsize=11016544 memory=3263432 CPUtime=5.72 cores=1,3,5,7
/proc/18994/task/19048/stat : 19048 (java) S 18991 18994 15790 0 -1 1077944384 22501 13178 0 0 507 58 4 3 20 0 15 0 232883724 11280941056 816882 33554432000 4194304 4196468 140732473261312 140113130757008 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19049] ppid=18991 vsize=11016544 memory=3263432 CPUtime=5.73 cores=1,3,5,7
/proc/18994/task/19049/stat : 19049 (java) S 18991 18994 15790 0 -1 1077944384 26453 13178 0 0 507 59 4 3 20 0 15 0 232883724 11280941056 816882 33554432000 4194304 4196468 140732473261312 140112985475856 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19050] ppid=18991 vsize=11016544 memory=3263432 CPUtime=5.72 cores=1,3,5,7
/proc/18994/task/19050/stat : 19050 (java) S 18991 18994 15790 0 -1 1077944384 23100 13178 0 0 507 58 4 3 20 0 15 0 232883724 11280941056 816882 33554432000 4194304 4196468 140732473261312 140112984423568 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19051] ppid=18991 vsize=11016544 memory=3267528 CPUtime=5.73 cores=1,3,5,7
/proc/18994/task/19051/stat : 19051 (java) S 18991 18994 15790 0 -1 1077944384 24281 13178 0 0 509 57 4 3 20 0 15 0 232883724 11280941056 816882 33554432000 4194304 4196468 140732473261312 140112983370768 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19052] ppid=18991 vsize=11016544 memory=3267528 CPUtime=0.86 cores=1,3,5,7
/proc/18994/task/19052/stat : 19052 (java) S 18991 18994 15790 0 -1 1077944384 29303 13178 0 0 65 14 4 3 20 0 15 0 232883726 11280941056 816882 33554432000 4194304 4196468 140732473261312 140112096344176 140113126525570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19053] ppid=18991 vsize=11016544 memory=3263432 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19053/stat : 19053 (java) S 18991 18994 15790 0 -1 1077944384 15 13178 0 0 0 0 4 3 20 0 15 0 232883726 11280941056 816882 33554432000 4194304 4196468 140732473261312 140111966626656 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19054] ppid=18991 vsize=11016544 memory=3263432 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19054/stat : 19054 (java) S 18991 18994 15790 0 -1 1077944384 1 13178 0 0 0 0 4 3 20 0 15 0 232883726 11280941056 816882 33554432000 4194304 4196468 140732473261312 140111765300352 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19055] ppid=18991 vsize=11016544 memory=3255244 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19055/stat : 19055 (java) S 18991 18994 15790 0 -1 1077944384 3 13178 0 0 0 0 4 3 20 0 15 0 232883729 11280941056 816882 33554432000 4194304 4196468 140732473261312 140111457900624 140113126533019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19056] ppid=18991 vsize=11016544 memory=3240884 CPUtime=13.45 cores=1,3,5,7
/proc/18994/task/19056/stat : 19056 (java) S 18991 18994 15790 0 -1 1077944384 86149 13178 0 0 1328 10 4 3 20 0 15 0 232883729 11280941056 816882 33554432000 4194304 4196468 140732473261312 140112095292016 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19057] ppid=18991 vsize=11016544 memory=3238836 CPUtime=13.5 cores=1,3,5,7
/proc/18994/task/19057/stat : 19057 (java) S 18991 18994 15790 0 -1 1077944384 86431 13178 0 0 1332 11 4 3 20 0 15 0 232883729 11280941056 816882 33554432000 4194304 4196468 140732473261312 140112094239216 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19058] ppid=18991 vsize=11016544 memory=3263432 CPUtime=4.54 cores=1,3,5,7
/proc/18994/task/19058/stat : 19058 (java) S 18991 18994 15790 0 -1 1077944384 77071 13178 0 0 436 11 4 3 20 0 15 0 232883729 11280941056 816882 33554432000 4194304 4196468 140732473261312 140112093186928 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19059] ppid=18991 vsize=11016544 memory=3263432 CPUtime=0.07 cores=1,3,5,7
/proc/18994/task/19059/stat : 19059 (java) S 18991 18994 15790 0 -1 1077944384 3 13178 0 0 0 0 4 3 20 0 15 0 232883729 11280941056 816882 33554432000 4194304 4196468 140732473261312 140111027104736 140113126524629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
[pid=18994/tid=19060] ppid=18991 vsize=11016544 memory=3263432 CPUtime=1.45 cores=1,3,5,7
/proc/18994/task/19060/stat : 19060 (java) S 18991 18994 15790 0 -1 1077944384 3152 13178 0 0 68 70 4 3 20 0 15 0 232883730 11280941056 816882 33554432000 4194304 4196468 140732473261312 140112092133808 140113126525570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30801920 140732473268835 140732473271644 140732473271644 140732473274319 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3267528 KiB
Child status: 143
Real time (s): 2470.75
CPU time (s): 2520.08
CPU user time (s): 2515.81
CPU system time (s): 4.273
CPU usage (%): 101.996
Max. virtual memory (cumulated for all children) (KiB): 11016544
Max. memory (cumulated for all children) (KiB): 3267528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.81
system time used= 4.273
maximum resident set size= 3271936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 656902
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78522
involuntary context switches= 2436
# summary of solver processes directly reported to runsolver:
# pid: 18994
# total CPU time (s): 2520.08
# total CPU user time (s): 2515.81
# total CPU system time (s): 4.273
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.069 second user time and 21.7155 second system time
The end