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 (4629 MiB free)
memory of node 1: 16384 MiB (9018 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294296-1532449449/watcher-4294296-1532449449 -o /tmp/evaluation-result-4294296-1532449449/solver-4294296-1532449449 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532446978-19795 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=278302733 HOME/instance-4294296-1532449449.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20752, runsolver pid=20749
Current StackSize limit: 8192 KiB
[startup+0.100512 s]*
/proc/loadavg: 1.93 1.49 1.43 2/206 20809
/proc/meminfo: memFree=13967376/32770624 swapFree=67108852/67108860
[pid=20752] ppid=20749 vsize=9972712 memory=17072 CPUtime=0.08 cores=0,2,4,6
/proc/20752/stat : 20752 (java) S 20749 20752 13949 0 -1 1077944320 4444 12890 0 0 1 0 5 2 20 0 6 0 62508087 10212057088 4268 33554432000 4194304 4196468 140735201014272 140735200996816 140303605014263 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
/proc/20752/statm: 2493178 4268 1934 1 0 2481616 0
[pid=20752/tid=20805] ppid=20749 vsize=9972712 memory=4279135703946853774 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20805/stat : 20805 (java) R 20749 20752 13949 0 -1 4202560 2250 12890 0 0 0 0 5 2 20 0 6 0 62508096 10212057088 4268 33554432000 4194304 4196468 140735201014272 140303576851024 140303590137200 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20806] ppid=20749 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20806/stat : 20806 (java) S 20749 20752 13949 0 -1 1077944384 1 12890 0 0 0 0 5 2 20 0 6 0 62508097 10212057088 4268 33554432000 4194304 4196468 140735201014272 140303609257104 140303605024469 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20807] ppid=20749 vsize=9972712 memory=140007572207232 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20807/stat : 20807 (java) S 20749 20752 13949 0 -1 1077944384 1 12890 0 0 0 0 5 2 20 0 6 0 62508097 10212057088 4268 33554432000 4194304 4196468 140735201014272 140303497530384 140303605024469 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20808] ppid=20749 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20808/stat : 20808 (java) S 20749 20752 13949 0 -1 1077944384 2 12890 0 0 0 0 5 2 20 0 6 0 62508097 10212057088 4268 33554432000 4194304 4196468 140735201014272 140303496477584 140303605024469 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20809] ppid=20749 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20809/stat : 20809 (java) S 20749 20752 13949 0 -1 1077944384 2 12890 0 0 0 0 5 2 20 0 6 0 62508097 10212057088 4268 33554432000 4194304 4196468 140735201014272 140303176559376 140303605024469 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17072 KiB
[startup+0.210301 s]*
/proc/loadavg: 1.93 1.49 1.43 2/215 20818
/proc/meminfo: memFree=13946748/32770624 swapFree=67108852/67108860
[pid=20752] ppid=20749 vsize=10818856 memory=40328 CPUtime=0.26 cores=0,2,4,6
/proc/20752/stat : 20752 (java) S 20749 20752 13949 0 -1 1077944320 8513 12890 0 0 17 2 5 2 20 0 15 0 62508087 11078508544 10082 33554432000 4194304 4196468 140735201014272 140735200996816 140303605014263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
/proc/20752/statm: 2704714 10082 2934 1 0 2667149 0
[pid=20752/tid=20805] ppid=20749 vsize=10818856 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/20752/task/20805/stat : 20805 (java) R 20749 20752 13949 0 -1 4202560 5034 12890 0 0 10 1 5 2 20 0 15 0 62508096 11078508544 10082 33554432000 4194304 4196468 140735201014272 140303576811920 140303585290009 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20806] ppid=20749 vsize=10818856 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20806/stat : 20806 (java) S 20749 20752 13949 0 -1 1077944384 1 12890 0 0 0 0 5 2 20 0 15 0 62508097 11078508544 10082 33554432000 4194304 4196468 140735201014272 140303609257104 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20807] ppid=20749 vsize=10818856 memory=140007572538933 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20807/stat : 20807 (java) S 20749 20752 13949 0 -1 1077944384 1 12890 0 0 0 0 5 2 20 0 15 0 62508097 11078508544 10082 33554432000 4194304 4196468 140735201014272 140303497530384 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20808] ppid=20749 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20808/stat : 20808 (java) S 20749 20752 13949 0 -1 1077944384 2 12890 0 0 0 0 5 2 20 0 15 0 62508097 11078508544 10082 33554432000 4194304 4196468 140735201014272 140303496477584 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20809] ppid=20749 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20809/stat : 20809 (java) S 20749 20752 13949 0 -1 1077944384 2 12890 0 0 0 0 5 2 20 0 15 0 62508097 11078508544 10082 33554432000 4194304 4196468 140735201014272 140303176559376 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20810] ppid=20749 vsize=10818856 memory=140007572207232 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20810/stat : 20810 (java) S 20749 20752 13949 0 -1 1077944384 2 12890 0 0 0 0 5 2 20 0 15 0 62508098 11078508544 10082 33554432000 4194304 4196468 140735201014272 140303064492400 140303605025410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20811] ppid=20749 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20811/stat : 20811 (java) S 20749 20752 13949 0 -1 1077944384 33 12890 0 0 0 0 5 2 20 0 15 0 62508099 11078508544 10082 33554432000 4194304 4196468 140735201014272 140303063438368 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20812] ppid=20749 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20812/stat : 20812 (java) S 20749 20752 13949 0 -1 1077944384 1 12890 0 0 0 0 5 2 20 0 15 0 62508099 11078508544 10082 33554432000 4194304 4196468 140735201014272 140302488691568 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20813] ppid=20749 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20813/stat : 20813 (java) S 20749 20752 13949 0 -1 1077944384 3 12890 0 0 0 0 5 2 20 0 15 0 62508102 11078508544 10082 33554432000 4194304 4196468 140735201014272 140302181291856 140303605032859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20814] ppid=20749 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20814/stat : 20814 (java) S 20749 20752 13949 0 -1 1077944384 424 12890 0 0 0 0 5 2 20 0 15 0 62508102 11078508544 10082 33554432000 4194304 4196468 140735201014272 140303029881712 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20815] ppid=20749 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20752/task/20815/stat : 20815 (java) S 20749 20752 13949 0 -1 1077944384 193 12890 0 0 1 0 5 2 20 0 15 0 62508102 11078508544 10082 33554432000 4194304 4196468 140735201014272 140303028828912 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20816] ppid=20749 vsize=10818856 memory=140007572207232 CPUtime=0.1 cores=0,2,4,6
/proc/20752/task/20816/stat : 20816 (java) S 20749 20752 13949 0 -1 1077944384 625 12890 0 0 3 0 5 2 20 0 15 0 62508102 11078508544 10082 33554432000 4194304 4196468 140735201014272 140303027776112 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20817] ppid=20749 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20817/stat : 20817 (java) S 20749 20752 13949 0 -1 1077944384 3 12890 0 0 0 0 5 2 20 0 15 0 62508102 11078508544 10082 33554432000 4194304 4196468 140735201014272 140302147734240 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20818] ppid=20749 vsize=10818856 memory=140007572207232 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20818/stat : 20818 (java) S 20749 20752 13949 0 -1 1077944384 1 12890 0 0 0 0 5 2 20 0 15 0 62508102 11078508544 10082 33554432000 4194304 4196468 140735201014272 140303026723504 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 40328 KiB
[startup+0.310315 s]*
/proc/loadavg: 1.93 1.49 1.43 3/215 20818
/proc/meminfo: memFree=13939056/32770624 swapFree=67108852/67108860
[pid=20752] ppid=20749 vsize=10819352 memory=51668 CPUtime=0.38 cores=0,2,4,6
/proc/20752/stat : 20752 (java) S 20749 20752 13949 0 -1 1077944320 10534 12890 0 0 28 3 5 2 20 0 15 0 62508087 11079016448 12917 33554432000 4194304 4196468 140735201014272 140735200996816 140303605014263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
/proc/20752/statm: 2704838 12917 3065 1 0 2667149 0
[pid=20752/tid=20805] ppid=20749 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/20752/task/20805/stat : 20805 (java) R 20749 20752 13949 0 -1 4202560 7048 12890 0 0 19 2 5 2 20 0 15 0 62508096 11079016448 12917 33554432000 4194304 4196468 140735201014272 140303576826048 140303585290066 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20806] ppid=20749 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20806/stat : 20806 (java) S 20749 20752 13949 0 -1 1077944384 1 12890 0 0 0 0 5 2 20 0 15 0 62508097 11079016448 12917 33554432000 4194304 4196468 140735201014272 140303609257104 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20807] ppid=20749 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20807/stat : 20807 (java) S 20749 20752 13949 0 -1 1077944384 1 12890 0 0 0 0 5 2 20 0 15 0 62508097 11079016448 12917 33554432000 4194304 4196468 140735201014272 140303497530384 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20808] ppid=20749 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20808/stat : 20808 (java) S 20749 20752 13949 0 -1 1077944384 2 12890 0 0 0 0 5 2 20 0 15 0 62508097 11079016448 12917 33554432000 4194304 4196468 140735201014272 140303496477584 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20809] ppid=20749 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20809/stat : 20809 (java) S 20749 20752 13949 0 -1 1077944384 2 12890 0 0 0 0 5 2 20 0 15 0 62508097 11079016448 12917 33554432000 4194304 4196468 140735201014272 140303176559376 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20810] ppid=20749 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20810/stat : 20810 (java) S 20749 20752 13949 0 -1 1077944384 2 12890 0 0 0 0 5 2 20 0 15 0 62508098 11079016448 12917 33554432000 4194304 4196468 140735201014272 140303064492400 140303605025410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20811] ppid=20749 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20811/stat : 20811 (java) S 20749 20752 13949 0 -1 1077944384 33 12890 0 0 0 0 5 2 20 0 15 0 62508099 11079016448 12917 33554432000 4194304 4196468 140735201014272 140303063438368 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20812] ppid=20749 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20812/stat : 20812 (java) S 20749 20752 13949 0 -1 1077944384 1 12890 0 0 0 0 5 2 20 0 15 0 62508099 11079016448 12917 33554432000 4194304 4196468 140735201014272 140302488691568 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20813] ppid=20749 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20813/stat : 20813 (java) S 20749 20752 13949 0 -1 1077944384 3 12890 0 0 0 0 5 2 20 0 15 0 62508102 11079016448 12917 33554432000 4194304 4196468 140735201014272 140302181291856 140303605032859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20814] ppid=20749 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20752/task/20814/stat : 20814 (java) S 20749 20752 13949 0 -1 1077944384 426 12890 0 0 1 0 5 2 20 0 15 0 62508102 11079016448 12917 33554432000 4194304 4196468 140735201014272 140303029881712 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20815] ppid=20749 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20752/task/20815/stat : 20815 (java) S 20749 20752 13949 0 -1 1077944384 193 12890 0 0 1 0 5 2 20 0 15 0 62508102 11079016448 12917 33554432000 4194304 4196468 140735201014272 140303028828912 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20816] ppid=20749 vsize=10819352 memory=140007572207232 CPUtime=0.12 cores=0,2,4,6
/proc/20752/task/20816/stat : 20816 (java) S 20749 20752 13949 0 -1 1077944384 630 12890 0 0 5 0 5 2 20 0 15 0 62508102 11079016448 12917 33554432000 4194304 4196468 140735201014272 140303027776112 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20817] ppid=20749 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20817/stat : 20817 (java) S 20749 20752 13949 0 -1 1077944384 3 12890 0 0 0 0 5 2 20 0 15 0 62508102 11079016448 12917 33554432000 4194304 4196468 140735201014272 140302147734240 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20818] ppid=20749 vsize=10819352 memory=140007572207232 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20818/stat : 20818 (java) S 20749 20752 13949 0 -1 1077944384 1 12890 0 0 0 0 5 2 20 0 15 0 62508102 11079016448 12917 33554432000 4194304 4196468 140735201014272 140303026723504 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51668 KiB
[startup+0.700751 s]
/proc/loadavg: 1.93 1.49 1.43 3/215 20818
/proc/meminfo: memFree=13927976/32770624 swapFree=67108852/67108860
[pid=20752] ppid=20749 vsize=10819352 memory=84660 CPUtime=0.98 cores=0,2,4,6
/proc/20752/stat : 20752 (java) S 20749 20752 13949 0 -1 1077944320 16824 12890 0 0 87 4 5 2 20 0 15 0 62508087 11079016448 21165 33554432000 4194304 4196468 140735201014272 140735200996816 140303605014263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
/proc/20752/statm: 2704838 21165 3237 1 0 2667149 0
[pid=20752/tid=20805] ppid=20749 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/20752/task/20805/stat : 20805 (java) R 20749 20752 13949 0 -1 4202560 12348 12890 0 0 56 3 5 2 20 0 15 0 62508096 11079016448 21165 33554432000 4194304 4196468 140735201014272 140303576835088 140303582238416 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20806] ppid=20749 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20806/stat : 20806 (java) S 20749 20752 13949 0 -1 1077944384 1 12890 0 0 0 0 5 2 20 0 15 0 62508097 11079016448 21165 33554432000 4194304 4196468 140735201014272 140303609257104 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20807] ppid=20749 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20807/stat : 20807 (java) S 20749 20752 13949 0 -1 1077944384 1 12890 0 0 0 0 5 2 20 0 15 0 62508097 11079016448 21165 33554432000 4194304 4196468 140735201014272 140303497530384 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20808] ppid=20749 vsize=10819352 memory=140007411168048 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20808/stat : 20808 (java) S 20749 20752 13949 0 -1 1077944384 2 12890 0 0 0 0 5 2 20 0 15 0 62508097 11079016448 21165 33554432000 4194304 4196468 140735201014272 140303496477584 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20809] ppid=20749 vsize=10819352 memory=140011638882892 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20809/stat : 20809 (java) S 20749 20752 13949 0 -1 1077944384 2 12890 0 0 0 0 5 2 20 0 15 0 62508097 11079016448 21165 33554432000 4194304 4196468 140735201014272 140303176559376 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20810] ppid=20749 vsize=10819352 memory=4612 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20810/stat : 20810 (java) S 20749 20752 13949 0 -1 1077944384 5 12890 0 0 0 0 5 2 20 0 15 0 62508098 11079016448 21165 33554432000 4194304 4196468 140735201014272 140303064492400 140303605025410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20811] ppid=20749 vsize=10819352 memory=4639098309541128813 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20811/stat : 20811 (java) S 20749 20752 13949 0 -1 1077944384 33 12890 0 0 0 0 5 2 20 0 15 0 62508099 11079016448 21165 33554432000 4194304 4196468 140735201014272 140303063438368 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20812] ppid=20749 vsize=10819352 memory=7885635084775281010 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20812/stat : 20812 (java) S 20749 20752 13949 0 -1 1077944384 1 12890 0 0 0 0 5 2 20 0 15 0 62508099 11079016448 21165 33554432000 4194304 4196468 140735201014272 140302488691568 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20813] ppid=20749 vsize=10819352 memory=4044 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20813/stat : 20813 (java) S 20749 20752 13949 0 -1 1077944384 3 12890 0 0 0 0 5 2 20 0 15 0 62508102 11079016448 21165 33554432000 4194304 4196468 140735201014272 140302181291856 140303605032859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20814] ppid=20749 vsize=10819352 memory=11564 CPUtime=0.17 cores=0,2,4,6
/proc/20752/task/20814/stat : 20814 (java) S 20749 20752 13949 0 -1 1077944384 1111 12890 0 0 10 0 5 2 20 0 15 0 62508102 11079016448 21165 33554432000 4194304 4196468 140735201014272 140303029881712 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20815] ppid=20749 vsize=10819352 memory=16432 CPUtime=0.13 cores=0,2,4,6
/proc/20752/task/20815/stat : 20815 (java) S 20749 20752 13949 0 -1 1077944384 421 12890 0 0 6 0 5 2 20 0 15 0 62508102 11079016448 21165 33554432000 4194304 4196468 140735201014272 140303028828912 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20816] ppid=20749 vsize=10819352 memory=1792 CPUtime=0.2 cores=0,2,4,6
/proc/20752/task/20816/stat : 20816 (java) S 20749 20752 13949 0 -1 1077944384 704 12890 0 0 13 0 5 2 20 0 15 0 62508102 11079016448 21165 33554432000 4194304 4196468 140735201014272 140303027776112 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20817] ppid=20749 vsize=10819352 memory=644 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20817/stat : 20817 (java) S 20749 20752 13949 0 -1 1077944384 3 12890 0 0 0 0 5 2 20 0 15 0 62508102 11079016448 21165 33554432000 4194304 4196468 140735201014272 140302147734240 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20818] ppid=20749 vsize=10819352 memory=956 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20818/stat : 20818 (java) S 20749 20752 13949 0 -1 1077944384 1 12890 0 0 0 0 5 2 20 0 15 0 62508102 11079016448 21165 33554432000 4194304 4196468 140735201014272 140303026723504 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84660 KiB
[startup+1.50077 s]
/proc/loadavg: 1.93 1.49 1.43 3/215 20818
/proc/meminfo: memFree=13848508/32770624 swapFree=67108852/67108860
[pid=20752] ppid=20749 vsize=10836300 memory=175872 CPUtime=2.22 cores=0,2,4,6
/proc/20752/stat : 20752 (java) S 20749 20752 13949 0 -1 1077944320 24157 12890 0 0 206 9 5 2 20 0 15 0 62508087 11096371200 43968 33554432000 4194304 4196468 140735201014272 140735200996816 140303605014263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
/proc/20752/statm: 2709075 43968 3469 1 0 2670733 0
[pid=20752/tid=20805] ppid=20749 vsize=10836300 memory=60892 CPUtime=1.43 cores=0,2,4,6
/proc/20752/task/20805/stat : 20805 (java) R 20749 20752 13949 0 -1 4202560 18188 12890 0 0 131 5 5 2 20 0 15 0 62508096 11096371200 43968 33554432000 4194304 4196468 140735201014272 140303576844752 140303605036189 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20806] ppid=20749 vsize=10836300 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/20752/task/20806/stat : 20806 (java) S 20749 20752 13949 0 -1 1077944384 23 12890 0 0 1 0 5 2 20 0 15 0 62508097 11096371200 43968 33554432000 4194304 4196468 140735201014272 140303609257104 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20807] ppid=20749 vsize=10836300 memory=280014822367392 CPUtime=0.08 cores=0,2,4,6
/proc/20752/task/20807/stat : 20807 (java) S 20749 20752 13949 0 -1 1077944384 25 12890 0 0 1 0 5 2 20 0 15 0 62508097 11096371200 43968 33554432000 4194304 4196468 140735201014272 140303497530384 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20808] ppid=20749 vsize=10836300 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20752/task/20808/stat : 20808 (java) S 20749 20752 13949 0 -1 1077944384 71 12890 0 0 1 0 5 2 20 0 15 0 62508097 11096371200 43968 33554432000 4194304 4196468 140735201014272 140303496477584 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20809] ppid=20749 vsize=10836300 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20752/task/20809/stat : 20809 (java) S 20749 20752 13949 0 -1 1077944384 263 12890 0 0 1 0 5 2 20 0 15 0 62508097 11096371200 43968 33554432000 4194304 4196468 140735201014272 140303176559376 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20810] ppid=20749 vsize=10836300 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20752/task/20810/stat : 20810 (java) S 20749 20752 13949 0 -1 1077944384 59 12890 0 0 1 0 5 2 20 0 15 0 62508098 11096371200 43968 33554432000 4194304 4196468 140735201014272 140303064492400 140303605025410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20811] ppid=20749 vsize=10836300 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20811/stat : 20811 (java) S 20749 20752 13949 0 -1 1077944384 34 12890 0 0 0 0 5 2 20 0 15 0 62508099 11096371200 43968 33554432000 4194304 4196468 140735201014272 140303063438432 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20812] ppid=20749 vsize=10836300 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20812/stat : 20812 (java) S 20749 20752 13949 0 -1 1077944384 1 12890 0 0 0 0 5 2 20 0 15 0 62508099 11096371200 43968 33554432000 4194304 4196468 140735201014272 140302488691584 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20813] ppid=20749 vsize=10836300 memory=-5921431000321636112 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20813/stat : 20813 (java) S 20749 20752 13949 0 -1 1077944384 3 12890 0 0 0 0 5 2 20 0 15 0 62508102 11096371200 43968 33554432000 4194304 4196468 140735201014272 140302181291856 140303605032859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20814] ppid=20749 vsize=10836300 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/20752/task/20814/stat : 20814 (java) S 20749 20752 13949 0 -1 1077944384 1578 12890 0 0 23 0 5 2 20 0 15 0 62508102 11096371200 43968 33554432000 4194304 4196468 140735201014272 140303029881712 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20815] ppid=20749 vsize=10836300 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/20752/task/20815/stat : 20815 (java) S 20749 20752 13949 0 -1 1077944384 519 12890 0 0 16 0 5 2 20 0 15 0 62508102 11096371200 43968 33554432000 4194304 4196468 140735201014272 140303028828912 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20816] ppid=20749 vsize=10836300 memory=6791534058613427641 CPUtime=0.36 cores=0,2,4,6
/proc/20752/task/20816/stat : 20816 (java) S 20749 20752 13949 0 -1 1077944384 1201 12890 0 0 29 0 5 2 20 0 15 0 62508102 11096371200 43968 33554432000 4194304 4196468 140735201014272 140303027776112 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20817] ppid=20749 vsize=10836300 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20817/stat : 20817 (java) S 20749 20752 13949 0 -1 1077944384 3 12890 0 0 0 0 5 2 20 0 15 0 62508102 11096371200 43968 33554432000 4194304 4196468 140735201014272 140302147734240 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20818] ppid=20749 vsize=10836300 memory=280014822611840 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20818/stat : 20818 (java) S 20749 20752 13949 0 -1 1077944384 1 12890 0 0 0 0 5 2 20 0 15 0 62508102 11096371200 43968 33554432000 4194304 4196468 140735201014272 140303026723504 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
Current children cumulated CPU time: 2.22 s
Current children cumulated vsize: 10836300 KiB
################
# More data... #
################
[pid=20752/tid=20815] ppid=20749 vsize=10844512 memory=280014822180576 CPUtime=0.78 cores=0,2,4,6
/proc/20752/task/20815/stat : 20815 (java) S 20749 20752 13949 0 -1 1077944384 1248 12890 0 0 71 0 5 2 20 0 15 0 62508102 11104780288 68389 33554432000 4194304 4196468 140735201014272 140303028828912 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20816] ppid=20749 vsize=10844512 memory=280014822187296 CPUtime=1.06 cores=0,2,4,6
/proc/20752/task/20816/stat : 20816 (java) S 20749 20752 13949 0 -1 1077944384 2984 12890 0 0 98 1 5 2 20 0 15 0 62508102 11104780288 68389 33554432000 4194304 4196468 140735201014272 140303027776112 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20817] ppid=20749 vsize=10844512 memory=56 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20817/stat : 20817 (java) S 20749 20752 13949 0 -1 1077944384 3 12890 0 0 0 0 5 2 20 0 15 0 62508102 11104780288 68389 33554432000 4194304 4196468 140735201014272 140302147734240 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20818] ppid=20749 vsize=10844512 memory=4132668566627442752 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20818/stat : 20818 (java) S 20749 20752 13949 0 -1 1077944384 3 12890 0 0 0 0 5 2 20 0 15 0 62508102 11104780288 68389 33554432000 4194304 4196468 140735201014272 140303026723504 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 273556 KiB
[startup+4.64427 s]
# the end of solver process 20752 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.43057 s, system=0.233585 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20083 s]
/proc/loadavg: 1.93 1.49 1.43 3/215 20818
/proc/meminfo: memFree=13701548/32770624 swapFree=67108852/67108860
[pid=20752] ppid=20749 vsize=10844512 memory=274840 CPUtime=6.23 cores=0,2,4,6
/proc/20752/stat : 20752 (java) S 20749 20752 13949 0 -1 1077944320 42972 12890 0 0 601 15 5 2 20 0 15 0 62508087 11104780288 68710 33554432000 4194304 4196468 140735201014272 140735200996816 140303605014263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
/proc/20752/statm: 2711128 68710 3496 1 0 2672781 0
[pid=20752/tid=20805] ppid=20749 vsize=10844512 memory=-9123011406873206402 CPUtime=3.07 cores=0,2,4,6
/proc/20752/task/20805/stat : 20805 (java) R 20749 20752 13949 0 -1 4202560 30363 12890 0 0 292 8 5 2 20 0 15 0 62508096 11104780288 68710 33554432000 4194304 4196468 140735201014272 140303576846880 140303605026198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20806] ppid=20749 vsize=10844512 memory=6935649255759568960 CPUtime=0.09 cores=0,2,4,6
/proc/20752/task/20806/stat : 20806 (java) S 20749 20752 13949 0 -1 1077944384 62 12890 0 0 2 0 5 2 20 0 15 0 62508097 11104780288 68710 33554432000 4194304 4196468 140735201014272 140303609257104 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20807] ppid=20749 vsize=10844512 memory=4132775673715122240 CPUtime=0.1 cores=0,2,4,6
/proc/20752/task/20807/stat : 20807 (java) S 20749 20752 13949 0 -1 1077944384 47 12890 0 0 3 0 5 2 20 0 15 0 62508097 11104780288 68710 33554432000 4194304 4196468 140735201014272 140303497530384 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20808] ppid=20749 vsize=10844512 memory=2867664571609120 CPUtime=0.09 cores=0,2,4,6
/proc/20752/task/20808/stat : 20808 (java) S 20749 20752 13949 0 -1 1077944384 79 12890 0 0 2 0 5 2 20 0 15 0 62508097 11104780288 68710 33554432000 4194304 4196468 140735201014272 140303496477584 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20809] ppid=20749 vsize=10844512 memory=6154282490091891024 CPUtime=0.1 cores=0,2,4,6
/proc/20752/task/20809/stat : 20809 (java) S 20749 20752 13949 0 -1 1077944384 275 12890 0 0 3 0 5 2 20 0 15 0 62508097 11104780288 68710 33554432000 4194304 4196468 140735201014272 140303176559376 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20810] ppid=20749 vsize=10844512 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/20752/task/20810/stat : 20810 (java) S 20749 20752 13949 0 -1 1077944384 1220 12890 0 0 3 0 5 2 20 0 15 0 62508098 11104780288 68710 33554432000 4194304 4196468 140735201014272 140303064492400 140303605025410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20811] ppid=20749 vsize=10844512 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20811/stat : 20811 (java) S 20749 20752 13949 0 -1 1077944384 37 12890 0 0 0 0 5 2 20 0 15 0 62508099 11104780288 68710 33554432000 4194304 4196468 140735201014272 140303063438432 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20812] ppid=20749 vsize=10844512 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20812/stat : 20812 (java) S 20749 20752 13949 0 -1 1077944384 1 12890 0 0 0 0 5 2 20 0 15 0 62508099 11104780288 68710 33554432000 4194304 4196468 140735201014272 140302488691584 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20813] ppid=20749 vsize=10844512 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20813/stat : 20813 (java) S 20749 20752 13949 0 -1 1077944384 3 12890 0 0 0 0 5 2 20 0 15 0 62508102 11104780288 68710 33554432000 4194304 4196468 140735201014272 140302181291856 140303605032859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20814] ppid=20749 vsize=10844512 memory=0 CPUtime=1.18 cores=0,2,4,6
/proc/20752/task/20814/stat : 20814 (java) S 20749 20752 13949 0 -1 1077944384 3752 12890 0 0 110 1 5 2 20 0 15 0 62508102 11104780288 68710 33554432000 4194304 4196468 140735201014272 140303029881712 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20815] ppid=20749 vsize=10844512 memory=0 CPUtime=0.82 cores=0,2,4,6
/proc/20752/task/20815/stat : 20815 (java) S 20749 20752 13949 0 -1 1077944384 1626 12890 0 0 75 0 5 2 20 0 15 0 62508102 11104780288 68710 33554432000 4194304 4196468 140735201014272 140303028828912 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20816] ppid=20749 vsize=10844512 memory=0 CPUtime=1.13 cores=0,2,4,6
/proc/20752/task/20816/stat : 20816 (java) S 20749 20752 13949 0 -1 1077944384 3314 12890 0 0 105 1 5 2 20 0 15 0 62508102 11104780288 68710 33554432000 4194304 4196468 140735201014272 140303027776112 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20817] ppid=20749 vsize=10844512 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20817/stat : 20817 (java) S 20749 20752 13949 0 -1 1077944384 3 12890 0 0 0 0 5 2 20 0 15 0 62508102 11104780288 68710 33554432000 4194304 4196468 140735201014272 140302147734240 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20818] ppid=20749 vsize=10844512 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20818/stat : 20818 (java) S 20749 20752 13949 0 -1 1077944384 3 12890 0 0 0 0 5 2 20 0 15 0 62508102 11104780288 68710 33554432000 4194304 4196468 140735201014272 140303026723504 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 274840 KiB
[startup+4.00284 s]*
/proc/loadavg: 1.93 1.49 1.43 5/215 20818
/proc/meminfo: memFree=13597896/32770624 swapFree=67108852/67108860
[pid=20752] ppid=20749 vsize=10919008 memory=324028 CPUtime=8.47 cores=0,2,4,6
/proc/20752/stat : 20752 (java) S 20749 20752 13949 0 -1 1077944320 69465 12890 0 0 822 18 5 2 20 0 15 0 62508087 11181064192 81007 33554432000 4194304 4196468 140735201014272 140735200996816 140303605014263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
/proc/20752/statm: 2729752 81007 3496 1 0 2691405 0
[pid=20752/tid=20805] ppid=20749 vsize=10919008 memory=6791534058613427641 CPUtime=3.88 cores=0,2,4,6
/proc/20752/task/20805/stat : 20805 (java) R 20749 20752 13949 0 -1 4202560 50371 12890 0 0 371 10 5 2 20 0 15 0 62508096 11181064192 81007 33554432000 4194304 4196468 140735201014272 140303576844512 140303586420558 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20806] ppid=20749 vsize=10919008 memory=4126316290023845779 CPUtime=0.09 cores=0,2,4,6
/proc/20752/task/20806/stat : 20806 (java) S 20749 20752 13949 0 -1 1077944384 62 12890 0 0 2 0 5 2 20 0 15 0 62508097 11181064192 81007 33554432000 4194304 4196468 140735201014272 140303609257104 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20807] ppid=20749 vsize=10919008 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/20752/task/20807/stat : 20807 (java) S 20749 20752 13949 0 -1 1077944384 47 12890 0 0 3 0 5 2 20 0 15 0 62508097 11181064192 81007 33554432000 4194304 4196468 140735201014272 140303497530384 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20808] ppid=20749 vsize=10919008 memory=-2746958450906831424 CPUtime=0.09 cores=0,2,4,6
/proc/20752/task/20808/stat : 20808 (java) S 20749 20752 13949 0 -1 1077944384 79 12890 0 0 2 0 5 2 20 0 15 0 62508097 11181064192 81007 33554432000 4194304 4196468 140735201014272 140303496477584 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20809] ppid=20749 vsize=10919008 memory=6944652177228980320 CPUtime=0.1 cores=0,2,4,6
/proc/20752/task/20809/stat : 20809 (java) S 20749 20752 13949 0 -1 1077944384 275 12890 0 0 3 0 5 2 20 0 15 0 62508097 11181064192 81007 33554432000 4194304 4196468 140735201014272 140303176559376 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20810] ppid=20749 vsize=10919008 memory=6944656575208382560 CPUtime=0.1 cores=0,2,4,6
/proc/20752/task/20810/stat : 20810 (java) S 20749 20752 13949 0 -1 1077944384 1243 12890 0 0 3 0 5 2 20 0 15 0 62508098 11181064192 81007 33554432000 4194304 4196468 140735201014272 140303064492400 140303605025410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20811] ppid=20749 vsize=10919008 memory=6944656592385698452 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20811/stat : 20811 (java) S 20749 20752 13949 0 -1 1077944384 37 12890 0 0 0 0 5 2 20 0 15 0 62508099 11181064192 81007 33554432000 4194304 4196468 140735201014272 140303063438432 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20812] ppid=20749 vsize=10919008 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20812/stat : 20812 (java) S 20749 20752 13949 0 -1 1077944384 1 12890 0 0 0 0 5 2 20 0 15 0 62508099 11181064192 81007 33554432000 4194304 4196468 140735201014272 140302488691584 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20813] ppid=20749 vsize=10919008 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20813/stat : 20813 (java) S 20749 20752 13949 0 -1 1077944384 3 12890 0 0 0 0 5 2 20 0 15 0 62508102 11181064192 81007 33554432000 4194304 4196468 140735201014272 140302181291856 140303605032859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20814] ppid=20749 vsize=10919008 memory=0 CPUtime=1.91 cores=0,2,4,6
/proc/20752/task/20814/stat : 20814 (java) R 20749 20752 13949 0 -1 4202560 7818 12890 0 0 182 2 5 2 20 0 15 0 62508102 11181064192 81007 33554432000 4194304 4196468 140735201014272 140303029867872 140303586558467 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20815] ppid=20749 vsize=10919008 memory=0 CPUtime=1.21 cores=0,2,4,6
/proc/20752/task/20815/stat : 20815 (java) S 20749 20752 13949 0 -1 1077944384 2678 12890 0 0 114 0 5 2 20 0 15 0 62508102 11181064192 81007 33554432000 4194304 4196468 140735201014272 140303028828912 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20816] ppid=20749 vsize=10919008 memory=4785954429024149535 CPUtime=1.45 cores=0,2,4,6
/proc/20752/task/20816/stat : 20816 (java) S 20749 20752 13949 0 -1 1077944384 4654 12890 0 0 136 2 5 2 20 0 15 0 62508102 11181064192 81007 33554432000 4194304 4196468 140735201014272 140303027776112 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20817] ppid=20749 vsize=10919008 memory=5507152521407963187 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20817/stat : 20817 (java) S 20749 20752 13949 0 -1 1077944384 3 12890 0 0 0 0 5 2 20 0 15 0 62508102 11181064192 81007 33554432000 4194304 4196468 140735201014272 140302147734240 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20818] ppid=20749 vsize=10919008 memory=739271074832719903 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20818/stat : 20818 (java) S 20749 20752 13949 0 -1 1077944384 6 12890 0 0 0 0 5 2 20 0 15 0 62508102 11181064192 81007 33554432000 4194304 4196468 140735201014272 140303026723504 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
Current children cumulated CPU time: 8.47 s
Current children cumulated vsize: 10919008 KiB
Current children cumulated memory: 324028 KiB
[startup+4.40064 s]
/proc/loadavg: 1.93 1.49 1.43 5/215 20818
/proc/meminfo: memFree=13597896/32770624 swapFree=67108852/67108860
[pid=20752] ppid=20749 vsize=10984600 memory=325048 CPUtime=8.63 cores=0,2,4,6
/proc/20752/stat : 20752 (java) S 20749 20752 13949 0 -1 1077944320 70715 12890 0 0 837 19 5 2 20 0 12 0 62508087 11248230400 81262 33554432000 4194304 4196468 140735201014272 140735200996816 140303605014263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
/proc/20752/statm: 2746150 81262 3500 1 0 2707803 0
[pid=20752/tid=20805] ppid=20749 vsize=10984600 memory=6791534058613427641 CPUtime=3.94 cores=0,2,4,6
/proc/20752/task/20805/stat : 20805 (java) D 20749 20752 13949 0 -1 4202560 50609 12890 0 0 377 10 5 2 20 0 12 0 62508096 11248230400 81262 33554432000 4194304 4196468 140735201014272 140303576857912 140303597699895 0 0 0 16800975 18446744072099941509 0 0 -1 4 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20806] ppid=20749 vsize=10984600 memory=178765128835732 CPUtime=0.09 cores=0,2,4,6
/proc/20752/task/20806/stat : 20806 (java) S 20749 20752 13949 0 -1 1077944384 62 12890 0 0 2 0 5 2 20 0 12 0 62508097 11248230400 81262 33554432000 4194304 4196468 140735201014272 140303609257104 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20807] ppid=20749 vsize=10984600 memory=6944656592455097440 CPUtime=0.1 cores=0,2,4,6
/proc/20752/task/20807/stat : 20807 (java) S 20749 20752 13949 0 -1 1077944384 47 12890 0 0 3 0 5 2 20 0 12 0 62508097 11248230400 81262 33554432000 4194304 4196468 140735201014272 140303497530384 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20808] ppid=20749 vsize=10984600 memory=6944652177228980320 CPUtime=0.09 cores=0,2,4,6
/proc/20752/task/20808/stat : 20808 (java) S 20749 20752 13949 0 -1 1077944384 79 12890 0 0 2 0 5 2 20 0 12 0 62508097 11248230400 81262 33554432000 4194304 4196468 140735201014272 140303496477584 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20809] ppid=20749 vsize=10984600 memory=6655300316396806240 CPUtime=0.1 cores=0,2,4,6
/proc/20752/task/20809/stat : 20809 (java) S 20749 20752 13949 0 -1 1077944384 275 12890 0 0 3 0 5 2 20 0 12 0 62508097 11248230400 81262 33554432000 4194304 4196468 140735201014272 140303176559376 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20811] ppid=20749 vsize=10984600 memory=6944656592455359580 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20811/stat : 20811 (java) S 20749 20752 13949 0 -1 1077944384 37 12890 0 0 0 0 5 2 20 0 12 0 62508099 11248230400 81262 33554432000 4194304 4196468 140735201014272 140303063438432 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20812] ppid=20749 vsize=10984600 memory=6944652177228980320 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20812/stat : 20812 (java) S 20749 20752 13949 0 -1 1077944384 1 12890 0 0 0 0 5 2 20 0 12 0 62508099 11248230400 81262 33554432000 4194304 4196468 140735201014272 140302488691584 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20814] ppid=20749 vsize=10984600 memory=6944656592455097440 CPUtime=1.97 cores=0,2,4,6
/proc/20752/task/20814/stat : 20814 (java) S 20749 20752 13949 0 -1 1077944384 8546 12890 0 0 188 2 5 2 20 0 12 0 62508102 11248230400 81262 33554432000 4194304 4196468 140735201014272 140303029866224 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20815] ppid=20749 vsize=10984600 memory=6944652177228980320 CPUtime=1.23 cores=0,2,4,6
/proc/20752/task/20815/stat : 20815 (java) S 20749 20752 13949 0 -1 1077944384 2694 12890 0 0 115 1 5 2 20 0 12 0 62508102 11248230400 81262 33554432000 4194304 4196468 140735201014272 140303028828912 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20816] ppid=20749 vsize=10984600 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/20752/task/20816/stat : 20816 (java) S 20749 20752 13949 0 -1 1077944384 4680 12890 0 0 138 2 5 2 20 0 12 0 62508102 11248230400 81262 33554432000 4194304 4196468 140735201014272 140303027776112 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20817] ppid=20749 vsize=10984600 memory=3521 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20817/stat : 20817 (java) S 20749 20752 13949 0 -1 1077944384 3 12890 0 0 0 0 5 2 20 0 12 0 62508102 11248230400 81262 33554432000 4194304 4196468 140735201014272 140302147734240 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
Current children cumulated CPU time: 8.63 s
Current children cumulated vsize: 10984600 KiB
Current children cumulated memory: 325048 KiB
[startup+4.60063 s]
/proc/loadavg: 1.93 1.49 1.43 5/215 20818
/proc/meminfo: memFree=13597896/32770624 swapFree=67108852/67108860
[pid=20752] ppid=20749 vsize=10984600 memory=325048 CPUtime=8.63 cores=0,2,4,6
/proc/20752/stat : 20752 (java) S 20749 20752 13949 0 -1 1077944320 70715 12890 0 0 837 19 5 2 20 0 12 0 62508087 11248230400 81262 33554432000 4194304 4196468 140735201014272 140735200996816 140303605014263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
/proc/20752/statm: 2746150 81262 3500 1 0 2707803 0
[pid=20752/tid=20805] ppid=20749 vsize=10984600 memory=280014822408712 CPUtime=3.94 cores=0,2,4,6
/proc/20752/task/20805/stat : 20805 (java) D 20749 20752 13949 0 -1 4202560 50609 12890 0 0 377 10 5 2 20 0 12 0 62508096 11248230400 81262 33554432000 4194304 4196468 140735201014272 140303576857912 140303597699895 0 0 0 16800975 18446744072099941509 0 0 -1 4 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20806] ppid=20749 vsize=10984600 memory=9264 CPUtime=0.09 cores=0,2,4,6
/proc/20752/task/20806/stat : 20806 (java) S 20749 20752 13949 0 -1 1077944384 62 12890 0 0 2 0 5 2 20 0 12 0 62508097 11248230400 81262 33554432000 4194304 4196468 140735201014272 140303609257104 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20807] ppid=20749 vsize=10984600 memory=25942 CPUtime=0.1 cores=0,2,4,6
/proc/20752/task/20807/stat : 20807 (java) S 20749 20752 13949 0 -1 1077944384 47 12890 0 0 3 0 5 2 20 0 12 0 62508097 11248230400 81262 33554432000 4194304 4196468 140735201014272 140303497530384 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20808] ppid=20749 vsize=10984600 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/20752/task/20808/stat : 20808 (java) S 20749 20752 13949 0 -1 1077944384 79 12890 0 0 2 0 5 2 20 0 12 0 62508097 11248230400 81262 33554432000 4194304 4196468 140735201014272 140303496477584 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20809] ppid=20749 vsize=10984600 memory=8244211170893589094 CPUtime=0.1 cores=0,2,4,6
/proc/20752/task/20809/stat : 20809 (java) S 20749 20752 13949 0 -1 1077944384 275 12890 0 0 3 0 5 2 20 0 12 0 62508097 11248230400 81262 33554432000 4194304 4196468 140735201014272 140303176559376 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20811] ppid=20749 vsize=10984600 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20811/stat : 20811 (java) S 20749 20752 13949 0 -1 1077944384 37 12890 0 0 0 0 5 2 20 0 12 0 62508099 11248230400 81262 33554432000 4194304 4196468 140735201014272 140303063438432 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20812] ppid=20749 vsize=10984600 memory=140007411274726 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20812/stat : 20812 (java) S 20749 20752 13949 0 -1 1077944384 1 12890 0 0 0 0 5 2 20 0 12 0 62508099 11248230400 81262 33554432000 4194304 4196468 140735201014272 140302488691584 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20814] ppid=20749 vsize=10984600 memory=280014822502224 CPUtime=1.97 cores=0,2,4,6
/proc/20752/task/20814/stat : 20814 (java) S 20749 20752 13949 0 -1 1077944384 8546 12890 0 0 188 2 5 2 20 0 12 0 62508102 11248230400 81262 33554432000 4194304 4196468 140735201014272 140303029866224 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20815] ppid=20749 vsize=10984600 memory=7588711883697663377 CPUtime=1.23 cores=0,2,4,6
/proc/20752/task/20815/stat : 20815 (java) S 20749 20752 13949 0 -1 1077944384 2694 12890 0 0 115 1 5 2 20 0 12 0 62508102 11248230400 81262 33554432000 4194304 4196468 140735201014272 140303028828912 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20816] ppid=20749 vsize=10984600 memory=280014822525616 CPUtime=1.47 cores=0,2,4,6
/proc/20752/task/20816/stat : 20816 (java) S 20749 20752 13949 0 -1 1077944384 4680 12890 0 0 138 2 5 2 20 0 12 0 62508102 11248230400 81262 33554432000 4194304 4196468 140735201014272 140303027776112 140303605025410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
[pid=20752/tid=20817] ppid=20749 vsize=10984600 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20752/task/20817/stat : 20817 (java) S 20749 20752 13949 0 -1 1077944384 3 12890 0 0 0 0 5 2 20 0 12 0 62508102 11248230400 81262 33554432000 4194304 4196468 140735201014272 140302147734240 140303605024469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25444352 140735201016431 140735201019228 140735201019228 140735201021903 0
Current children cumulated CPU time: 8.63 s
Current children cumulated vsize: 10984600 KiB
Current children cumulated memory: 325048 KiB
Child status: 0
Real time (s): 4.64433
CPU time (s): 8.66415
CPU user time (s): 8.43057
CPU system time (s): 0.233585
CPU usage (%): 186.553
Max. virtual memory (cumulated for all children) (KiB): 10984600
Max. memory (cumulated for all children) (KiB): 325048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.43057
system time used= 0.233585
maximum resident set size= 327032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83634
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6767
involuntary context switches= 40
# summary of solver processes directly reported to runsolver:
# pid: 20752
# total CPU time (s): 8.66415
# total CPU user time (s): 8.43057
# total CPU system time (s): 0.233585
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.054363 second user time and 0.081112 second system time
The end