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 (6800 MiB free)
memory of node 1: 16384 MiB (8606 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294970-1532506204/watcher-4294970-1532506204 -o /tmp/evaluation-result-4294970-1532506204/solver-4294970-1532506204 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532498695-4223 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=2003029688 -superng HOME/instance-4294970-1532506204.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=5632, runsolver pid=5629
Current StackSize limit: 8192 KiB
[startup+0.100163 s]*
/proc/loadavg: 1.78 1.65 1.60 3/210 5689
/proc/meminfo: memFree=15771364/32770624 swapFree=67108860/67108860
[pid=5632] ppid=5629 vsize=9972712 memory=18328 CPUtime=0.08 cores=0,2,4,6
/proc/5632/stat : 5632 (java) S 5629 5632 4192 0 -1 1077944320 4248 12876 0 0 1 0 4 3 20 0 6 0 68183586 10212057088 4582 33554432000 4194304 4196468 140724045912416 140724045894960 140425339686647 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
/proc/5632/statm: 2493178 4582 1930 1 0 2481616 0
[pid=5632/tid=5685] ppid=5629 vsize=9972712 memory=4718545630382498451 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5685/stat : 5685 (java) R 5629 5632 4192 0 -1 4202560 2065 12876 0 0 0 0 4 3 20 0 6 0 68183595 10212057088 4648 33554432000 4194304 4196468 140724045912416 140425311523408 140425339708573 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5686] ppid=5629 vsize=9972712 memory=5793855497810909625 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5686/stat : 5686 (java) S 5629 5632 4192 0 -1 1077944384 1 12876 0 0 0 0 4 3 20 0 6 0 68183596 10212057088 4648 33554432000 4194304 4196468 140724045912416 140425343929488 140425339696853 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5687] ppid=5629 vsize=9972712 memory=140246801016448 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5687/stat : 5687 (java) S 5629 5632 4192 0 -1 1077944384 1 12876 0 0 0 0 4 3 20 0 6 0 68183596 10212057088 4648 33554432000 4194304 4196468 140724045912416 140425232202768 140425339696853 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5688] ppid=5629 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5688/stat : 5688 (java) S 5629 5632 4192 0 -1 1077944384 1 12876 0 0 0 0 4 3 20 0 6 0 68183596 10212057088 4648 33554432000 4194304 4196468 140724045912416 140424912038800 140425339696853 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5689] ppid=5629 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5689/stat : 5689 (java) S 5629 5632 4192 0 -1 1077944384 2 12876 0 0 0 0 4 3 20 0 6 0 68183596 10212057088 4648 33554432000 4194304 4196468 140724045912416 140424910986000 140425339696853 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB
[startup+0.210237 s]*
/proc/loadavg: 1.78 1.65 1.60 4/219 5698
/proc/meminfo: memFree=15748204/32770624 swapFree=67108860/67108860
[pid=5632] ppid=5629 vsize=10818856 memory=42392 CPUtime=0.25 cores=0,2,4,6
/proc/5632/stat : 5632 (java) S 5629 5632 4192 0 -1 1077944320 8483 12876 0 0 17 1 4 3 20 0 15 0 68183586 11078508544 10532 33554432000 4194304 4196468 140724045912416 140724045894960 140425339686647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
/proc/5632/statm: 2704714 10532 2948 1 0 2667149 0
[pid=5632/tid=5685] ppid=5629 vsize=10818856 memory=-2899909650764262549 CPUtime=0.18 cores=0,2,4,6
/proc/5632/task/5685/stat : 5685 (java) R 5629 5632 4192 0 -1 4202560 5267 12876 0 0 10 1 4 3 20 0 15 0 68183595 11078508544 10730 33554432000 4194304 4196468 140724045912416 140425311484304 140425319962407 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5686] ppid=5629 vsize=10818856 memory=4211973973005806986 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5686/stat : 5686 (java) S 5629 5632 4192 0 -1 1077944384 1 12876 0 0 0 0 4 3 20 0 15 0 68183596 11078508544 10730 33554432000 4194304 4196468 140724045912416 140425343929488 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5687] ppid=5629 vsize=10818856 memory=140246801016448 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5687/stat : 5687 (java) S 5629 5632 4192 0 -1 1077944384 1 12876 0 0 0 0 4 3 20 0 15 0 68183596 11078508544 10730 33554432000 4194304 4196468 140724045912416 140425232202768 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5688] ppid=5629 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5688/stat : 5688 (java) S 5629 5632 4192 0 -1 1077944384 1 12876 0 0 0 0 4 3 20 0 15 0 68183596 11078508544 10730 33554432000 4194304 4196468 140724045912416 140424912038800 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5689] ppid=5629 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5689/stat : 5689 (java) S 5629 5632 4192 0 -1 1077944384 2 12876 0 0 0 0 4 3 20 0 15 0 68183596 11078508544 10730 33554432000 4194304 4196468 140724045912416 140424910986000 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5690] ppid=5629 vsize=10818856 memory=140246801016448 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5690/stat : 5690 (java) S 5629 5632 4192 0 -1 1077944384 2 12876 0 0 0 0 4 3 20 0 15 0 68183598 11078508544 10796 33554432000 4194304 4196468 140724045912416 140424799189360 140425339697794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5691] ppid=5629 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5691/stat : 5691 (java) S 5629 5632 4192 0 -1 1077944384 33 12876 0 0 0 0 4 3 20 0 15 0 68183598 11078508544 10796 33554432000 4194304 4196468 140724045912416 140424798135328 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5692] ppid=5629 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5692/stat : 5692 (java) S 5629 5632 4192 0 -1 1077944384 1 12876 0 0 0 0 4 3 20 0 15 0 68183598 11078508544 10796 33554432000 4194304 4196468 140724045912416 140424224170864 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5693] ppid=5629 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5693/stat : 5693 (java) S 5629 5632 4192 0 -1 1077944384 3 12876 0 0 0 0 4 3 20 0 15 0 68183601 11078508544 10796 33554432000 4194304 4196468 140724045912416 140423916771152 140425339705243 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5694] ppid=5629 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5632/task/5694/stat : 5694 (java) S 5629 5632 4192 0 -1 1077944384 506 12876 0 0 1 0 4 3 20 0 15 0 68183601 11078508544 10796 33554432000 4194304 4196468 140724045912416 140424764578672 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5695] ppid=5629 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5632/task/5695/stat : 5695 (java) S 5629 5632 4192 0 -1 1077944384 89 12876 0 0 1 0 4 3 20 0 15 0 68183601 11078508544 10796 33554432000 4194304 4196468 140724045912416 140424763525872 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5696] ppid=5629 vsize=10818856 memory=140246801016448 CPUtime=0.1 cores=0,2,4,6
/proc/5632/task/5696/stat : 5696 (java) S 5629 5632 4192 0 -1 1077944384 560 12876 0 0 3 0 4 3 20 0 15 0 68183601 11078508544 10796 33554432000 4194304 4196468 140724045912416 140424762473072 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5697] ppid=5629 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5697/stat : 5697 (java) S 5629 5632 4192 0 -1 1077944384 3 12876 0 0 0 0 4 3 20 0 15 0 68183601 11078508544 10796 33554432000 4194304 4196468 140724045912416 140423883213536 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5698] ppid=5629 vsize=10818856 memory=140246801016448 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5698/stat : 5698 (java) S 5629 5632 4192 0 -1 1077944384 1 12876 0 0 0 0 4 3 20 0 15 0 68183601 11078508544 10796 33554432000 4194304 4196468 140724045912416 140424439130800 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 42392 KiB
[startup+0.310516 s]*
/proc/loadavg: 1.78 1.65 1.60 3/219 5698
/proc/meminfo: memFree=15737908/32770624 swapFree=67108860/67108860
[pid=5632] ppid=5629 vsize=10819352 memory=53216 CPUtime=0.38 cores=0,2,4,6
/proc/5632/stat : 5632 (java) S 5629 5632 4192 0 -1 1077944320 10425 12876 0 0 28 3 4 3 20 0 15 0 68183586 11079016448 13304 33554432000 4194304 4196468 140724045912416 140724045894960 140425339686647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
/proc/5632/statm: 2704838 13304 3079 1 0 2667149 0
[pid=5632/tid=5685] ppid=5629 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/5632/task/5685/stat : 5685 (java) R 5629 5632 4192 0 -1 4202560 7013 12876 0 0 19 2 4 3 20 0 15 0 68183595 11079016448 13304 33554432000 4194304 4196468 140724045912416 140425311498656 140425339707994 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5686] ppid=5629 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5686/stat : 5686 (java) S 5629 5632 4192 0 -1 1077944384 1 12876 0 0 0 0 4 3 20 0 15 0 68183596 11079016448 13304 33554432000 4194304 4196468 140724045912416 140425343929488 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5687] ppid=5629 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5687/stat : 5687 (java) S 5629 5632 4192 0 -1 1077944384 1 12876 0 0 0 0 4 3 20 0 15 0 68183596 11079016448 13304 33554432000 4194304 4196468 140724045912416 140425232202768 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5688] ppid=5629 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5688/stat : 5688 (java) S 5629 5632 4192 0 -1 1077944384 1 12876 0 0 0 0 4 3 20 0 15 0 68183596 11079016448 13304 33554432000 4194304 4196468 140724045912416 140424912038800 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5689] ppid=5629 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5689/stat : 5689 (java) S 5629 5632 4192 0 -1 1077944384 2 12876 0 0 0 0 4 3 20 0 15 0 68183596 11079016448 13304 33554432000 4194304 4196468 140724045912416 140424910986000 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5690] ppid=5629 vsize=10819352 memory=140246801016447 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5690/stat : 5690 (java) S 5629 5632 4192 0 -1 1077944384 2 12876 0 0 0 0 4 3 20 0 15 0 68183598 11079016448 13304 33554432000 4194304 4196468 140724045912416 140424799189360 140425339697794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5691] ppid=5629 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5691/stat : 5691 (java) S 5629 5632 4192 0 -1 1077944384 33 12876 0 0 0 0 4 3 20 0 15 0 68183598 11079016448 13304 33554432000 4194304 4196468 140724045912416 140424798135328 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5692] ppid=5629 vsize=10819352 memory=140246801016448 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5692/stat : 5692 (java) S 5629 5632 4192 0 -1 1077944384 1 12876 0 0 0 0 4 3 20 0 15 0 68183598 11079016448 13304 33554432000 4194304 4196468 140724045912416 140424224170864 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5693] ppid=5629 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5693/stat : 5693 (java) S 5629 5632 4192 0 -1 1077944384 3 12876 0 0 0 0 4 3 20 0 15 0 68183601 11079016448 13304 33554432000 4194304 4196468 140724045912416 140423916771152 140425339705243 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5694] ppid=5629 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5632/task/5694/stat : 5694 (java) S 5629 5632 4192 0 -1 1077944384 506 12876 0 0 1 0 4 3 20 0 15 0 68183601 11079016448 13304 33554432000 4194304 4196468 140724045912416 140424764578672 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5695] ppid=5629 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5632/task/5695/stat : 5695 (java) S 5629 5632 4192 0 -1 1077944384 90 12876 0 0 1 0 4 3 20 0 15 0 68183601 11079016448 13304 33554432000 4194304 4196468 140724045912416 140424763525872 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5696] ppid=5629 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5632/task/5696/stat : 5696 (java) S 5629 5632 4192 0 -1 1077944384 578 12876 0 0 5 0 4 3 20 0 15 0 68183601 11079016448 13304 33554432000 4194304 4196468 140724045912416 140424762473072 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5697] ppid=5629 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5697/stat : 5697 (java) S 5629 5632 4192 0 -1 1077944384 3 12876 0 0 0 0 4 3 20 0 15 0 68183601 11079016448 13304 33554432000 4194304 4196468 140724045912416 140423883213536 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5698] ppid=5629 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5698/stat : 5698 (java) S 5629 5632 4192 0 -1 1077944384 1 12876 0 0 0 0 4 3 20 0 15 0 68183601 11079016448 13304 33554432000 4194304 4196468 140724045912416 140424439130800 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53216 KiB
[startup+0.700798 s]
/proc/loadavg: 1.80 1.66 1.60 3/219 5698
/proc/meminfo: memFree=15727412/32770624 swapFree=67108860/67108860
[pid=5632] ppid=5629 vsize=10819352 memory=86740 CPUtime=0.99 cores=0,2,4,6
/proc/5632/stat : 5632 (java) S 5629 5632 4192 0 -1 1077944320 16865 12876 0 0 86 6 4 3 20 0 15 0 68183586 11079016448 21685 33554432000 4194304 4196468 140724045912416 140724045894960 140425339686647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
/proc/5632/statm: 2704838 21685 3240 1 0 2667149 0
[pid=5632/tid=5685] ppid=5629 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/5632/task/5685/stat : 5685 (java) R 5629 5632 4192 0 -1 4202560 12456 12876 0 0 55 4 4 3 20 0 15 0 68183595 11079016448 21685 33554432000 4194304 4196468 140724045912416 140425311507472 140425321250176 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5686] ppid=5629 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5686/stat : 5686 (java) S 5629 5632 4192 0 -1 1077944384 1 12876 0 0 0 0 4 3 20 0 15 0 68183596 11079016448 21685 33554432000 4194304 4196468 140724045912416 140425343929488 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5687] ppid=5629 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5687/stat : 5687 (java) S 5629 5632 4192 0 -1 1077944384 1 12876 0 0 0 0 4 3 20 0 15 0 68183596 11079016448 21685 33554432000 4194304 4196468 140724045912416 140425232202768 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5688] ppid=5629 vsize=10819352 memory=4132 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5688/stat : 5688 (java) S 5629 5632 4192 0 -1 1077944384 1 12876 0 0 0 0 4 3 20 0 15 0 68183596 11079016448 21685 33554432000 4194304 4196468 140724045912416 140424912038800 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5689] ppid=5629 vsize=10819352 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5689/stat : 5689 (java) S 5629 5632 4192 0 -1 1077944384 2 12876 0 0 0 0 4 3 20 0 15 0 68183596 11079016448 21685 33554432000 4194304 4196468 140724045912416 140424910986000 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5690] ppid=5629 vsize=10819352 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5690/stat : 5690 (java) S 5629 5632 4192 0 -1 1077944384 5 12876 0 0 0 0 4 3 20 0 15 0 68183598 11079016448 21685 33554432000 4194304 4196468 140724045912416 140424799189360 140425339697794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5691] ppid=5629 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5691/stat : 5691 (java) S 5629 5632 4192 0 -1 1077944384 33 12876 0 0 0 0 4 3 20 0 15 0 68183598 11079016448 21685 33554432000 4194304 4196468 140724045912416 140424798135328 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5692] ppid=5629 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5692/stat : 5692 (java) S 5629 5632 4192 0 -1 1077944384 1 12876 0 0 0 0 4 3 20 0 15 0 68183598 11079016448 21685 33554432000 4194304 4196468 140724045912416 140424224170864 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5693] ppid=5629 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5693/stat : 5693 (java) S 5629 5632 4192 0 -1 1077944384 3 12876 0 0 0 0 4 3 20 0 15 0 68183601 11079016448 21685 33554432000 4194304 4196468 140724045912416 140423916771152 140425339705243 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5694] ppid=5629 vsize=10819352 memory=30305 CPUtime=0.14 cores=0,2,4,6
/proc/5632/task/5694/stat : 5694 (java) S 5629 5632 4192 0 -1 1077944384 777 12876 0 0 7 0 4 3 20 0 15 0 68183601 11079016448 21685 33554432000 4194304 4196468 140724045912416 140424764578672 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5695] ppid=5629 vsize=10819352 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/5632/task/5695/stat : 5695 (java) S 5629 5632 4192 0 -1 1077944384 730 12876 0 0 8 0 4 3 20 0 15 0 68183601 11079016448 21685 33554432000 4194304 4196468 140724045912416 140424763525872 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5696] ppid=5629 vsize=10819352 memory=3533419649945857444 CPUtime=0.2 cores=0,2,4,6
/proc/5632/task/5696/stat : 5696 (java) S 5629 5632 4192 0 -1 1077944384 660 12876 0 0 13 0 4 3 20 0 15 0 68183601 11079016448 21685 33554432000 4194304 4196468 140724045912416 140424762473072 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5697] ppid=5629 vsize=10819352 memory=-6305716113545715328 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5697/stat : 5697 (java) S 5629 5632 4192 0 -1 1077944384 3 12876 0 0 0 0 4 3 20 0 15 0 68183601 11079016448 21685 33554432000 4194304 4196468 140724045912416 140423883213536 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5698] ppid=5629 vsize=10819352 memory=-7094132109863559211 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5698/stat : 5698 (java) S 5629 5632 4192 0 -1 1077944384 1 12876 0 0 0 0 4 3 20 0 15 0 68183601 11079016448 21685 33554432000 4194304 4196468 140724045912416 140424439130800 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86740 KiB
[startup+1.5008 s]
/proc/loadavg: 1.80 1.66 1.60 3/219 5698
/proc/meminfo: memFree=15680444/32770624 swapFree=67108860/67108860
[pid=5632] ppid=5629 vsize=10834252 memory=194156 CPUtime=2.87 cores=0,2,4,6
/proc/5632/stat : 5632 (java) S 5629 5632 4192 0 -1 1077944320 25106 12876 0 0 269 11 4 3 20 0 15 0 68183586 11094274048 48539 33554432000 4194304 4196468 140724045912416 140724045894960 140425339686647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
/proc/5632/statm: 2708563 48539 3482 1 0 2670221 0
[pid=5632/tid=5685] ppid=5629 vsize=10834252 memory=240 CPUtime=1.41 cores=0,2,4,6
/proc/5632/task/5685/stat : 5685 (java) R 5629 5632 4192 0 -1 4202560 17277 12876 0 0 127 7 4 3 20 0 15 0 68183595 11094274048 48539 33554432000 4194304 4196468 140724045912416 140425311494512 140425339708573 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5686] ppid=5629 vsize=10834252 memory=119 CPUtime=0.09 cores=0,2,4,6
/proc/5632/task/5686/stat : 5686 (java) S 5629 5632 4192 0 -1 1077944384 21 12876 0 0 2 0 4 3 20 0 15 0 68183596 11094274048 48539 33554432000 4194304 4196468 140724045912416 140425343929488 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5687] ppid=5629 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5632/task/5687/stat : 5687 (java) S 5629 5632 4192 0 -1 1077944384 22 12876 0 0 2 0 4 3 20 0 15 0 68183596 11094274048 48539 33554432000 4194304 4196468 140724045912416 140425232202768 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5688] ppid=5629 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5632/task/5688/stat : 5688 (java) S 5629 5632 4192 0 -1 1077944384 160 12876 0 0 2 0 4 3 20 0 15 0 68183596 11094274048 48539 33554432000 4194304 4196468 140724045912416 140424912038800 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5689] ppid=5629 vsize=10834252 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/5632/task/5689/stat : 5689 (java) S 5629 5632 4192 0 -1 1077944384 61 12876 0 0 1 0 4 3 20 0 15 0 68183596 11094274048 48539 33554432000 4194304 4196468 140724045912416 140424910986000 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5690] ppid=5629 vsize=10834252 memory=3533419649945857444 CPUtime=0.08 cores=0,2,4,6
/proc/5632/task/5690/stat : 5690 (java) S 5629 5632 4192 0 -1 1077944384 50 12876 0 0 1 0 4 3 20 0 15 0 68183598 11094274048 48539 33554432000 4194304 4196468 140724045912416 140424799189360 140425339697794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5691] ppid=5629 vsize=10834252 memory=280493308293184 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5691/stat : 5691 (java) S 5629 5632 4192 0 -1 1077944384 34 12876 0 0 0 0 4 3 20 0 15 0 68183598 11094274048 48539 33554432000 4194304 4196468 140724045912416 140424798135392 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5692] ppid=5629 vsize=10834252 memory=280493308297632 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5692/stat : 5692 (java) S 5629 5632 4192 0 -1 1077944384 1 12876 0 0 0 0 4 3 20 0 15 0 68183598 11094274048 48539 33554432000 4194304 4196468 140724045912416 140424224170880 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5693] ppid=5629 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5693/stat : 5693 (java) S 5629 5632 4192 0 -1 1077944384 3 12876 0 0 0 0 4 3 20 0 15 0 68183601 11094274048 48539 33554432000 4194304 4196468 140724045912416 140423916771152 140425339705243 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5694] ppid=5629 vsize=10834252 memory=6944656575208382560 CPUtime=0.46 cores=0,2,4,6
/proc/5632/task/5694/stat : 5694 (java) S 5629 5632 4192 0 -1 1077944384 1357 12876 0 0 39 0 4 3 20 0 15 0 68183601 11094274048 48539 33554432000 4194304 4196468 140724045912416 140424764578672 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5695] ppid=5629 vsize=10834252 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/5632/task/5695/stat : 5695 (java) S 5629 5632 4192 0 -1 1077944384 2351 12876 0 0 48 0 4 3 20 0 15 0 68183601 11094274048 48539 33554432000 4194304 4196468 140724045912416 140424763525872 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5696] ppid=5629 vsize=10834252 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/5632/task/5696/stat : 5696 (java) S 5629 5632 4192 0 -1 1077944384 1573 12876 0 0 43 0 4 3 20 0 15 0 68183601 11094274048 48539 33554432000 4194304 4196468 140724045912416 140424762473072 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5697] ppid=5629 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5697/stat : 5697 (java) S 5629 5632 4192 0 -1 1077944384 3 12876 0 0 0 0 4 3 20 0 15 0 68183601 11094274048 48539 33554432000 4194304 4196468 140724045912416 140423883213536 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5698] ppid=5629 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5698/stat : 5698 (java) S 5629 5632 4192 0 -1 1077944384 2 12876 0 0 0 0 4 3 20 0 15 0 68183601 11094274048 48539 33554432000 4194304 4196468 140724045912416 140424439130800 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/5632/task/5685/stat : 5685 (java) R 5629 5632 4192 0 -1 4202560 256245 12876 0 0 213538 48 4 3 20 0 15 0 68183595 11113168896 1295676 33554432000 4194304 4196468 140724045912416 140425311520304 140424913190819 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5686] ppid=5629 vsize=10852704 memory=5222208 CPUtime=64.61 cores=0,2,4,6
/proc/5632/task/5686/stat : 5686 (java) S 5629 5632 4192 0 -1 1077944384 60910 12876 0 0 6262 192 4 3 20 0 15 0 68183596 11113168896 1295676 33554432000 4194304 4196468 140724045912416 140425343929488 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5687] ppid=5629 vsize=10852704 memory=5222208 CPUtime=64.56 cores=0,2,4,6
/proc/5632/task/5687/stat : 5687 (java) S 5629 5632 4192 0 -1 1077944384 67899 12876 0 0 6252 197 4 3 20 0 15 0 68183596 11113168896 1295676 33554432000 4194304 4196468 140724045912416 140425232202768 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5688] ppid=5629 vsize=10852704 memory=5205792 CPUtime=64.38 cores=0,2,4,6
/proc/5632/task/5688/stat : 5688 (java) S 5629 5632 4192 0 -1 1077944384 69323 12876 0 0 6236 195 4 3 20 0 15 0 68183596 11113168896 1295676 33554432000 4194304 4196468 140724045912416 140424912038800 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5689] ppid=5629 vsize=10852704 memory=452 CPUtime=64.74 cores=0,2,4,6
/proc/5632/task/5689/stat : 5689 (java) S 5629 5632 4192 0 -1 1077944384 74084 12876 0 0 6276 191 4 3 20 0 15 0 68183596 11113168896 1295676 33554432000 4194304 4196468 140724045912416 140424910986000 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5690] ppid=5629 vsize=10852704 memory=5261196 CPUtime=1.08 cores=0,2,4,6
/proc/5632/task/5690/stat : 5690 (java) S 5629 5632 4192 0 -1 1077944384 73454 12876 0 0 90 11 4 3 20 0 15 0 68183598 11113168896 1295676 33554432000 4194304 4196468 140724045912416 140424799189360 140425339697794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5691] ppid=5629 vsize=10852704 memory=5205792 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5691/stat : 5691 (java) S 5629 5632 4192 0 -1 1077944384 47 12876 0 0 0 0 4 3 20 0 15 0 68183598 11113168896 1295676 33554432000 4194304 4196468 140724045912416 140424798135392 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5692] ppid=5629 vsize=10852704 memory=5245292 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5692/stat : 5692 (java) S 5629 5632 4192 0 -1 1077944384 25 12876 0 0 0 0 4 3 20 0 15 0 68183598 11113168896 1295676 33554432000 4194304 4196468 140724045912416 140424224170880 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5693] ppid=5629 vsize=10852704 memory=4132 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5693/stat : 5693 (java) S 5629 5632 4192 0 -1 1077944384 3 12876 0 0 0 0 4 3 20 0 15 0 68183601 11113168896 1295676 33554432000 4194304 4196468 140724045912416 140423916771152 140425339705243 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5694] ppid=5629 vsize=10852704 memory=5261196 CPUtime=13.95 cores=0,2,4,6
/proc/5632/task/5694/stat : 5694 (java) S 5629 5632 4192 0 -1 1077944384 71754 12876 0 0 1379 9 4 3 20 0 15 0 68183601 11113168896 1295676 33554432000 4194304 4196468 140724045912416 140424764578672 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5695] ppid=5629 vsize=10852704 memory=5285304 CPUtime=14.18 cores=0,2,4,6
/proc/5632/task/5695/stat : 5695 (java) S 5629 5632 4192 0 -1 1077944384 83493 12876 0 0 1401 10 4 3 20 0 15 0 68183601 11113168896 1295676 33554432000 4194304 4196468 140724045912416 140424763525872 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5696] ppid=5629 vsize=10852704 memory=5182704 CPUtime=4.59 cores=0,2,4,6
/proc/5632/task/5696/stat : 5696 (java) S 5629 5632 4192 0 -1 1077944384 60713 12876 0 0 443 9 4 3 20 0 15 0 68183601 11113168896 1295676 33554432000 4194304 4196468 140724045912416 140424762473072 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5697] ppid=5629 vsize=10852704 memory=5182704 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5697/stat : 5697 (java) S 5629 5632 4192 0 -1 1077944384 3 12876 0 0 0 0 4 3 20 0 15 0 68183601 11113168896 1295676 33554432000 4194304 4196468 140724045912416 140423883213536 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5698] ppid=5629 vsize=10852704 memory=8112282956445269571 CPUtime=1.34 cores=0,2,4,6
/proc/5632/task/5698/stat : 5698 (java) S 5629 5632 4192 0 -1 1077944384 3195 12876 0 0 60 67 4 3 20 0 15 0 68183601 11113168896 1295676 33554432000 4194304 4196468 140724045912416 140424439130800 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
Current children cumulated CPU time: 2428.83 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 5182704 KiB
[startup+2262.3 s]
/proc/loadavg: 2.13 1.96 1.89 3/219 5892
/proc/meminfo: memFree=10694632/32770624 swapFree=67108860/67108860
[pid=5632] ppid=5629 vsize=10852704 memory=5083696 CPUtime=2488.99 cores=0,2,4,6
/proc/5632/stat : 5632 (java) S 5629 5632 4192 0 -1 1077944320 835837 12876 0 0 247977 915 4 3 20 0 15 0 68183586 11113168896 1270924 33554432000 4194304 4196468 140724045912416 140724045894960 140425339686647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
/proc/5632/statm: 2713176 1270924 3534 1 0 2674829 0
[pid=5632/tid=5685] ppid=5629 vsize=10852704 memory=5083696 CPUtime=2195.88 cores=0,2,4,6
/proc/5632/task/5685/stat : 5685 (java) R 5629 5632 4192 0 -1 4202560 262885 12876 0 0 219532 49 4 3 20 0 15 0 68183595 11113168896 1270924 33554432000 4194304 4196468 140724045912416 140425311520464 140424913190548 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5686] ppid=5629 vsize=10852704 memory=5113452 CPUtime=64.65 cores=0,2,4,6
/proc/5632/task/5686/stat : 5686 (java) S 5629 5632 4192 0 -1 1077944384 62157 12876 0 0 6266 192 4 3 20 0 15 0 68183596 11113168896 1270924 33554432000 4194304 4196468 140724045912416 140425343929488 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5687] ppid=5629 vsize=10852704 memory=5101140 CPUtime=64.6 cores=0,2,4,6
/proc/5632/task/5687/stat : 5687 (java) S 5629 5632 4192 0 -1 1077944384 69010 12876 0 0 6256 197 4 3 20 0 15 0 68183596 11113168896 1270924 33554432000 4194304 4196468 140724045912416 140425232202768 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5688] ppid=5629 vsize=10852704 memory=5083696 CPUtime=64.42 cores=0,2,4,6
/proc/5632/task/5688/stat : 5688 (java) S 5629 5632 4192 0 -1 1077944384 69799 12876 0 0 6240 195 4 3 20 0 15 0 68183596 11113168896 1270924 33554432000 4194304 4196468 140724045912416 140424912038800 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5689] ppid=5629 vsize=10852704 memory=5083696 CPUtime=64.78 cores=0,2,4,6
/proc/5632/task/5689/stat : 5689 (java) S 5629 5632 4192 0 -1 1077944384 76718 12876 0 0 6280 191 4 3 20 0 15 0 68183596 11113168896 1270924 33554432000 4194304 4196468 140724045912416 140424910986000 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5690] ppid=5629 vsize=10852704 memory=5083696 CPUtime=1.08 cores=0,2,4,6
/proc/5632/task/5690/stat : 5690 (java) S 5629 5632 4192 0 -1 1077944384 73786 12876 0 0 90 11 4 3 20 0 15 0 68183598 11113168896 1270924 33554432000 4194304 4196468 140724045912416 140424799189360 140425339697794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5691] ppid=5629 vsize=10852704 memory=5083696 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5691/stat : 5691 (java) S 5629 5632 4192 0 -1 1077944384 47 12876 0 0 0 0 4 3 20 0 15 0 68183598 11113168896 1270924 33554432000 4194304 4196468 140724045912416 140424798135392 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5692] ppid=5629 vsize=10852704 memory=2600 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5692/stat : 5692 (java) S 5629 5632 4192 0 -1 1077944384 25 12876 0 0 0 0 4 3 20 0 15 0 68183598 11113168896 1270924 33554432000 4194304 4196468 140724045912416 140424224170880 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5693] ppid=5629 vsize=10852704 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5693/stat : 5693 (java) S 5629 5632 4192 0 -1 1077944384 3 12876 0 0 0 0 4 3 20 0 15 0 68183601 11113168896 1270924 33554432000 4194304 4196468 140724045912416 140423916771152 140425339705243 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5694] ppid=5629 vsize=10852704 memory=916 CPUtime=13.95 cores=0,2,4,6
/proc/5632/task/5694/stat : 5694 (java) S 5629 5632 4192 0 -1 1077944384 71760 12876 0 0 1379 9 4 3 20 0 15 0 68183601 11113168896 1270924 33554432000 4194304 4196468 140724045912416 140424764578672 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5695] ppid=5629 vsize=10852704 memory=5083696 CPUtime=14.18 cores=0,2,4,6
/proc/5632/task/5695/stat : 5695 (java) S 5629 5632 4192 0 -1 1077944384 83496 12876 0 0 1401 10 4 3 20 0 15 0 68183601 11113168896 1270924 33554432000 4194304 4196468 140724045912416 140424763525872 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5696] ppid=5629 vsize=10852704 memory=5083696 CPUtime=4.59 cores=0,2,4,6
/proc/5632/task/5696/stat : 5696 (java) S 5629 5632 4192 0 -1 1077944384 60720 12876 0 0 443 9 4 3 20 0 15 0 68183601 11113168896 1270924 33554432000 4194304 4196468 140724045912416 140424762473072 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5697] ppid=5629 vsize=10852704 memory=5083696 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5697/stat : 5697 (java) S 5629 5632 4192 0 -1 1077944384 3 12876 0 0 0 0 4 3 20 0 15 0 68183601 11113168896 1270924 33554432000 4194304 4196468 140724045912416 140423883213536 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5698] ppid=5629 vsize=10852704 memory=5083696 CPUtime=1.38 cores=0,2,4,6
/proc/5632/task/5698/stat : 5698 (java) S 5629 5632 4192 0 -1 1077944384 3237 12876 0 0 62 69 4 3 20 0 15 0 68183601 11113168896 1270924 33554432000 4194304 4196468 140724045912416 140424439130800 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
Current children cumulated CPU time: 2488.99 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 5083696 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2293.3 s]
/proc/loadavg: 2.00 1.95 1.89 3/219 5893
/proc/meminfo: memFree=10743116/32770624 swapFree=67108860/67108860
[pid=5632] ppid=5629 vsize=10852704 memory=5034448 CPUtime=2520.09 cores=0,2,4,6
/proc/5632/stat : 5632 (java) S 5629 5632 4192 0 -1 1077944320 844155 12876 0 0 251085 917 4 3 20 0 15 0 68183586 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140724045894960 140425339686647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
/proc/5632/statm: 2713176 1258612 3534 1 0 2674829 0
[pid=5632/tid=5685] ppid=5629 vsize=10852704 memory=5034448 CPUtime=2226.84 cores=0,2,4,6
/proc/5632/task/5685/stat : 5685 (java) R 5629 5632 4192 0 -1 4202560 265419 12876 0 0 222627 50 4 3 20 0 15 0 68183595 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140425311520592 140424934361841 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5686] ppid=5629 vsize=10852704 memory=5034448 CPUtime=64.68 cores=0,2,4,6
/proc/5632/task/5686/stat : 5686 (java) S 5629 5632 4192 0 -1 1077944384 63520 12876 0 0 6269 192 4 3 20 0 15 0 68183596 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140425343929488 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5687] ppid=5629 vsize=10852704 memory=5047788 CPUtime=64.63 cores=0,2,4,6
/proc/5632/task/5687/stat : 5687 (java) S 5629 5632 4192 0 -1 1077944384 69702 12876 0 0 6259 197 4 3 20 0 15 0 68183596 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140425232202768 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5688] ppid=5629 vsize=10852704 memory=5057020 CPUtime=64.46 cores=0,2,4,6
/proc/5632/task/5688/stat : 5688 (java) S 5629 5632 4192 0 -1 1077944384 70847 12876 0 0 6243 196 4 3 20 0 15 0 68183596 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140424912038800 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5689] ppid=5629 vsize=10852704 memory=5101140 CPUtime=64.81 cores=0,2,4,6
/proc/5632/task/5689/stat : 5689 (java) S 5629 5632 4192 0 -1 1077944384 79052 12876 0 0 6283 191 4 3 20 0 15 0 68183596 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140424910986000 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5690] ppid=5629 vsize=10852704 memory=5113452 CPUtime=1.08 cores=0,2,4,6
/proc/5632/task/5690/stat : 5690 (java) S 5629 5632 4192 0 -1 1077944384 74113 12876 0 0 90 11 4 3 20 0 15 0 68183598 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140424799189360 140425339697794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5691] ppid=5629 vsize=10852704 memory=5034448 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5691/stat : 5691 (java) S 5629 5632 4192 0 -1 1077944384 47 12876 0 0 0 0 4 3 20 0 15 0 68183598 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140424798135392 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5692] ppid=5629 vsize=10852704 memory=5034448 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5692/stat : 5692 (java) S 5629 5632 4192 0 -1 1077944384 25 12876 0 0 0 0 4 3 20 0 15 0 68183598 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140424224170880 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5693] ppid=5629 vsize=10852704 memory=5072412 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5693/stat : 5693 (java) S 5629 5632 4192 0 -1 1077944384 3 12876 0 0 0 0 4 3 20 0 15 0 68183601 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140423916771152 140425339705243 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5694] ppid=5629 vsize=10852704 memory=140246654278721 CPUtime=13.95 cores=0,2,4,6
/proc/5632/task/5694/stat : 5694 (java) S 5629 5632 4192 0 -1 1077944384 71768 12876 0 0 1379 9 4 3 20 0 15 0 68183601 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140424764578672 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5695] ppid=5629 vsize=10852704 memory=20808 CPUtime=14.18 cores=0,2,4,6
/proc/5632/task/5695/stat : 5695 (java) S 5629 5632 4192 0 -1 1077944384 83499 12876 0 0 1401 10 4 3 20 0 15 0 68183601 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140424763525872 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5696] ppid=5629 vsize=10852704 memory=1292 CPUtime=4.59 cores=0,2,4,6
/proc/5632/task/5696/stat : 5696 (java) S 5629 5632 4192 0 -1 1077944384 60725 12876 0 0 443 9 4 3 20 0 15 0 68183601 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140424762473072 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5697] ppid=5629 vsize=10852704 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5697/stat : 5697 (java) S 5629 5632 4192 0 -1 1077944384 3 12876 0 0 0 0 4 3 20 0 15 0 68183601 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140423883213536 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5698] ppid=5629 vsize=10852704 memory=3848 CPUtime=1.39 cores=0,2,4,6
/proc/5632/task/5698/stat : 5698 (java) S 5629 5632 4192 0 -1 1077944384 3241 12876 0 0 63 69 4 3 20 0 15 0 68183601 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140424439130800 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 5034448 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2293.36 s]
# the end of solver process 5632 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.93 s, system=9.24992 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2293.3 s]
/proc/loadavg: 2.00 1.95 1.89 3/219 5893
/proc/meminfo: memFree=10743116/32770624 swapFree=67108860/67108860
[pid=5632] ppid=5629 vsize=10852704 memory=5034448 CPUtime=2520.09 cores=0,2,4,6
/proc/5632/stat : 5632 (java) S 5629 5632 4192 0 -1 1077944320 844155 12876 0 0 251085 917 4 3 20 0 15 0 68183586 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140724045894960 140425339686647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
/proc/5632/statm: 2713176 1258612 3534 1 0 2674829 0
[pid=5632/tid=5685] ppid=5629 vsize=10852704 memory=5034448 CPUtime=2226.84 cores=0,2,4,6
/proc/5632/task/5685/stat : 5685 (java) R 5629 5632 4192 0 -1 4202560 265419 12876 0 0 222627 50 4 3 20 0 15 0 68183595 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140425311520592 140424934361841 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5686] ppid=5629 vsize=10852704 memory=5034448 CPUtime=64.68 cores=0,2,4,6
/proc/5632/task/5686/stat : 5686 (java) S 5629 5632 4192 0 -1 1077944384 63520 12876 0 0 6269 192 4 3 20 0 15 0 68183596 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140425343929488 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5687] ppid=5629 vsize=10852704 memory=5047788 CPUtime=64.63 cores=0,2,4,6
/proc/5632/task/5687/stat : 5687 (java) S 5629 5632 4192 0 -1 1077944384 69702 12876 0 0 6259 197 4 3 20 0 15 0 68183596 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140425232202768 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5688] ppid=5629 vsize=10852704 memory=5057020 CPUtime=64.46 cores=0,2,4,6
/proc/5632/task/5688/stat : 5688 (java) S 5629 5632 4192 0 -1 1077944384 70847 12876 0 0 6243 196 4 3 20 0 15 0 68183596 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140424912038800 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5689] ppid=5629 vsize=10852704 memory=5101140 CPUtime=64.81 cores=0,2,4,6
/proc/5632/task/5689/stat : 5689 (java) S 5629 5632 4192 0 -1 1077944384 79052 12876 0 0 6283 191 4 3 20 0 15 0 68183596 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140424910986000 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5690] ppid=5629 vsize=10852704 memory=5113452 CPUtime=1.08 cores=0,2,4,6
/proc/5632/task/5690/stat : 5690 (java) S 5629 5632 4192 0 -1 1077944384 74113 12876 0 0 90 11 4 3 20 0 15 0 68183598 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140424799189360 140425339697794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5691] ppid=5629 vsize=10852704 memory=5034448 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5691/stat : 5691 (java) S 5629 5632 4192 0 -1 1077944384 47 12876 0 0 0 0 4 3 20 0 15 0 68183598 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140424798135392 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5692] ppid=5629 vsize=10852704 memory=5034448 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5692/stat : 5692 (java) S 5629 5632 4192 0 -1 1077944384 25 12876 0 0 0 0 4 3 20 0 15 0 68183598 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140424224170880 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5693] ppid=5629 vsize=10852704 memory=5072412 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5693/stat : 5693 (java) S 5629 5632 4192 0 -1 1077944384 3 12876 0 0 0 0 4 3 20 0 15 0 68183601 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140423916771152 140425339705243 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5694] ppid=5629 vsize=10852704 memory=140246654278721 CPUtime=13.95 cores=0,2,4,6
/proc/5632/task/5694/stat : 5694 (java) S 5629 5632 4192 0 -1 1077944384 71768 12876 0 0 1379 9 4 3 20 0 15 0 68183601 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140424764578672 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5695] ppid=5629 vsize=10852704 memory=20808 CPUtime=14.18 cores=0,2,4,6
/proc/5632/task/5695/stat : 5695 (java) S 5629 5632 4192 0 -1 1077944384 83499 12876 0 0 1401 10 4 3 20 0 15 0 68183601 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140424763525872 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5696] ppid=5629 vsize=10852704 memory=1292 CPUtime=4.59 cores=0,2,4,6
/proc/5632/task/5696/stat : 5696 (java) S 5629 5632 4192 0 -1 1077944384 60725 12876 0 0 443 9 4 3 20 0 15 0 68183601 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140424762473072 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5697] ppid=5629 vsize=10852704 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/5632/task/5697/stat : 5697 (java) S 5629 5632 4192 0 -1 1077944384 3 12876 0 0 0 0 4 3 20 0 15 0 68183601 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140423883213536 140425339696853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
[pid=5632/tid=5698] ppid=5629 vsize=10852704 memory=3848 CPUtime=1.39 cores=0,2,4,6
/proc/5632/task/5698/stat : 5698 (java) S 5629 5632 4192 0 -1 1077944384 3241 12876 0 0 63 69 4 3 20 0 15 0 68183601 11113168896 1258612 33554432000 4194304 4196468 140724045912416 140424439130800 140425339697794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140724045916331 140724045919580 140724045919580 140724045922255 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 5034448 KiB
Child status: 143
Real time (s): 2293.36
CPU time (s): 2520.18
CPU user time (s): 2510.93
CPU system time (s): 9.24992
CPU usage (%): 109.89
Max. virtual memory (cumulated for all children) (KiB): 10852704
Max. memory (cumulated for all children) (KiB): 5750056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.93
system time used= 9.24992
maximum resident set size= 5750072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 861496
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73226
involuntary context switches= 5494
# summary of solver processes directly reported to runsolver:
# pid: 5632
# total CPU time (s): 2520.18
# total CPU user time (s): 2510.93
# total CPU system time (s): 9.24992
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8284 second user time and 19.3432 second system time
The end