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 (7511 MiB free)
memory of node 1: 16384 MiB (7679 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293285-1532314194/watcher-4293285-1532314194 -o /tmp/evaluation-result-4293285-1532314194/solver-4293285-1532314194 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532297047-7324 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1530190691 HOME/instance-4293285-1532314194.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=10804, runsolver pid=10801
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 1.88 1.66 1.63 3/202 10857
/proc/meminfo: memFree=15550044/32770624 swapFree=67108860/67108860
[pid=10804] ppid=10801 vsize=9972712 memory=16544 CPUtime=0.1 cores=0,2,4,6
/proc/10804/stat : 10804 (java) S 10801 10804 7293 0 -1 1077944320 4285 13143 0 0 1 1 5 3 20 0 6 0 48982600 10212057088 4136 33554432000 4194304 4196468 140736779124208 140736779106752 140049833828087 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
/proc/10804/statm: 2493178 4136 1932 1 0 2481616 0
[pid=10804/tid=10857] ppid=10801 vsize=9972712 memory=4279135703980212877 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10857/stat : 10857 (java) R 10801 10804 7293 0 -1 4202560 2091 13143 0 0 0 0 5 3 20 0 6 0 48982609 10212057088 4648 33554432000 4194304 4196468 140736779124208 140049805664848 140049833850013 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10858] ppid=10801 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10858/stat : 10858 (java) S 10801 10804 7293 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 6 0 48982610 10212057088 4648 33554432000 4194304 4196468 140736779124208 140049838070416 140049833838293 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10859] ppid=10801 vsize=9972712 memory=140155424552576 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10859/stat : 10859 (java) S 10801 10804 7293 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 6 0 48982610 10212057088 4648 33554432000 4194304 4196468 140736779124208 140049407466000 140049833838293 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10860] ppid=10801 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10860/stat : 10860 (java) S 10801 10804 7293 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 6 0 48982610 10212057088 4648 33554432000 4194304 4196468 140736779124208 140049406413200 140049833838293 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10861] ppid=10801 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10861/stat : 10861 (java) S 10801 10804 7293 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 6 0 48982610 10212057088 4648 33554432000 4194304 4196468 140736779124208 140049405360400 140049833838293 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16544 KiB
[startup+0.210132 s]*
/proc/loadavg: 1.88 1.66 1.63 2/215 10870
/proc/meminfo: memFree=15528836/32770624 swapFree=67108860/67108860
[pid=10804] ppid=10801 vsize=10818856 memory=41712 CPUtime=0.26 cores=0,2,4,6
/proc/10804/stat : 10804 (java) S 10801 10804 7293 0 -1 1077944320 8351 13143 0 0 16 2 5 3 20 0 15 0 48982600 11078508544 10428 33554432000 4194304 4196468 140736779124208 140736779106752 140049833828087 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
/proc/10804/statm: 2704714 10428 2932 1 0 2667149 0
[pid=10804/tid=10857] ppid=10801 vsize=10818856 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/10804/task/10857/stat : 10857 (java) R 10801 10804 7293 0 -1 4202560 4869 13143 0 0 10 1 5 3 20 0 15 0 48982609 11078508544 10428 33554432000 4194304 4196468 140736779124208 140049805625744 140049833841969 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10858] ppid=10801 vsize=10818856 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10858/stat : 10858 (java) S 10801 10804 7293 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 48982610 11078508544 10428 33554432000 4194304 4196468 140736779124208 140049838070416 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10859] ppid=10801 vsize=10818856 memory=4122677846890985120 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10859/stat : 10859 (java) S 10801 10804 7293 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 48982610 11078508544 10428 33554432000 4194304 4196468 140736779124208 140049407466000 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10860] ppid=10801 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10860/stat : 10860 (java) S 10801 10804 7293 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 48982610 11078508544 10428 33554432000 4194304 4196468 140736779124208 140049406413200 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10861] ppid=10801 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10861/stat : 10861 (java) S 10801 10804 7293 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 48982610 11078508544 10428 33554432000 4194304 4196468 140736779124208 140049405360400 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10862] ppid=10801 vsize=10818856 memory=140155424552576 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10862/stat : 10862 (java) S 10801 10804 7293 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 48982612 11078508544 10428 33554432000 4194304 4196468 140736779124208 140049105607536 140049833839234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10863] ppid=10801 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10863/stat : 10863 (java) S 10801 10804 7293 0 -1 1077944384 13 13143 0 0 0 0 5 3 20 0 15 0 48982612 11078508544 10428 33554432000 4194304 4196468 140736779124208 140049018512928 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10864] ppid=10801 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10864/stat : 10864 (java) S 10801 10804 7293 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 48982612 11078508544 10428 33554432000 4194304 4196468 140736779124208 140048884295024 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10865] ppid=10801 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10865/stat : 10865 (java) S 10801 10804 7293 0 -1 1077944384 3 13143 0 0 0 0 5 3 20 0 15 0 48982615 11078508544 10428 33554432000 4194304 4196468 140736779124208 140048375568720 140049833846683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10866] ppid=10801 vsize=10818856 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10804/task/10866/stat : 10866 (java) S 10801 10804 7293 0 -1 1077944384 485 13143 0 0 1 0 5 3 20 0 15 0 48982615 11078508544 10428 33554432000 4194304 4196468 140736779124208 140049104554352 140049833839234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10867] ppid=10801 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10867/stat : 10867 (java) S 10801 10804 7293 0 -1 1077944384 126 13143 0 0 0 0 5 3 20 0 15 0 48982615 11078508544 10428 33554432000 4194304 4196468 140736779124208 140049103501552 140049833839234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10868] ppid=10801 vsize=10818856 memory=140155424552576 CPUtime=0.11 cores=0,2,4,6
/proc/10804/task/10868/stat : 10868 (java) S 10801 10804 7293 0 -1 1077944384 648 13143 0 0 3 0 5 3 20 0 15 0 48982615 11078508544 10428 33554432000 4194304 4196468 140736779124208 140049102448752 140049833839234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10869] ppid=10801 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10869/stat : 10869 (java) S 10801 10804 7293 0 -1 1077944384 3 13143 0 0 0 0 5 3 20 0 15 0 48982615 11078508544 10428 33554432000 4194304 4196468 140736779124208 140048342010080 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10870] ppid=10801 vsize=10818856 memory=140155424552576 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10870/stat : 10870 (java) S 10801 10804 7293 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 48982615 11078508544 10428 33554432000 4194304 4196468 140736779124208 140049101397168 140049833839234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 41712 KiB
[startup+0.310549 s]*
/proc/loadavg: 1.88 1.66 1.63 3/215 10870
/proc/meminfo: memFree=15518060/32770624 swapFree=67108860/67108860
[pid=10804] ppid=10801 vsize=10819352 memory=53044 CPUtime=0.38 cores=0,2,4,6
/proc/10804/stat : 10804 (java) S 10801 10804 7293 0 -1 1077944320 10370 13143 0 0 27 3 5 3 20 0 15 0 48982600 11079016448 13261 33554432000 4194304 4196468 140736779124208 140736779106752 140049833828087 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
/proc/10804/statm: 2704838 13261 3063 1 0 2667149 0
[pid=10804/tid=10857] ppid=10801 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/10804/task/10857/stat : 10857 (java) R 10801 10804 7293 0 -1 4202560 6882 13143 0 0 19 2 5 3 20 0 15 0 48982609 11079016448 13261 33554432000 4194304 4196468 140736779124208 140049805640096 140049817908574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10858] ppid=10801 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10858/stat : 10858 (java) S 10801 10804 7293 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 48982610 11079016448 13261 33554432000 4194304 4196468 140736779124208 140049838070416 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10859] ppid=10801 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10859/stat : 10859 (java) S 10801 10804 7293 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 48982610 11079016448 13261 33554432000 4194304 4196468 140736779124208 140049407466000 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10860] ppid=10801 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10860/stat : 10860 (java) S 10801 10804 7293 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 48982610 11079016448 13261 33554432000 4194304 4196468 140736779124208 140049406413200 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10861] ppid=10801 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10861/stat : 10861 (java) S 10801 10804 7293 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 48982610 11079016448 13261 33554432000 4194304 4196468 140736779124208 140049405360400 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10862] ppid=10801 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10862/stat : 10862 (java) S 10801 10804 7293 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 48982612 11079016448 13261 33554432000 4194304 4196468 140736779124208 140049105607536 140049833839234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10863] ppid=10801 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10863/stat : 10863 (java) S 10801 10804 7293 0 -1 1077944384 13 13143 0 0 0 0 5 3 20 0 15 0 48982612 11079016448 13261 33554432000 4194304 4196468 140736779124208 140049018512928 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10864] ppid=10801 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10864/stat : 10864 (java) S 10801 10804 7293 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 48982612 11079016448 13261 33554432000 4194304 4196468 140736779124208 140048884295024 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10865] ppid=10801 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10865/stat : 10865 (java) S 10801 10804 7293 0 -1 1077944384 3 13143 0 0 0 0 5 3 20 0 15 0 48982615 11079016448 13261 33554432000 4194304 4196468 140736779124208 140048375568720 140049833846683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10866] ppid=10801 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10804/task/10866/stat : 10866 (java) S 10801 10804 7293 0 -1 1077944384 486 13143 0 0 1 0 5 3 20 0 15 0 48982615 11079016448 13261 33554432000 4194304 4196468 140736779124208 140049104554352 140049833839234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10867] ppid=10801 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/10804/task/10867/stat : 10867 (java) S 10801 10804 7293 0 -1 1077944384 126 13143 0 0 1 0 5 3 20 0 15 0 48982615 11079016448 13261 33554432000 4194304 4196468 140736779124208 140049103501552 140049833839234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10868] ppid=10801 vsize=10819352 memory=140155424552576 CPUtime=0.12 cores=0,2,4,6
/proc/10804/task/10868/stat : 10868 (java) S 10801 10804 7293 0 -1 1077944384 659 13143 0 0 4 0 5 3 20 0 15 0 48982615 11079016448 13261 33554432000 4194304 4196468 140736779124208 140049102448752 140049833839234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10869] ppid=10801 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10869/stat : 10869 (java) S 10801 10804 7293 0 -1 1077944384 3 13143 0 0 0 0 5 3 20 0 15 0 48982615 11079016448 13261 33554432000 4194304 4196468 140736779124208 140048342010080 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10870] ppid=10801 vsize=10819352 memory=140155424552576 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10870/stat : 10870 (java) S 10801 10804 7293 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 48982615 11079016448 13261 33554432000 4194304 4196468 140736779124208 140049101397168 140049833839234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53044 KiB
[startup+0.700809 s]
/proc/loadavg: 1.88 1.66 1.63 4/215 10870
/proc/meminfo: memFree=15506048/32770624 swapFree=67108860/67108860
[pid=10804] ppid=10801 vsize=10819352 memory=86880 CPUtime=1 cores=0,2,4,6
/proc/10804/stat : 10804 (java) S 10801 10804 7293 0 -1 1077944320 16833 13143 0 0 86 6 5 3 20 0 15 0 48982600 11079016448 21720 33554432000 4194304 4196468 140736779124208 140736779106752 140049833828087 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
/proc/10804/statm: 2704838 21720 3249 1 0 2667149 0
[pid=10804/tid=10857] ppid=10801 vsize=10819352 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/10804/task/10857/stat : 10857 (java) R 10801 10804 7293 0 -1 4202560 12339 13143 0 0 55 4 5 3 20 0 15 0 48982609 11079016448 21720 33554432000 4194304 4196468 140736779124208 140049805624256 140049833850013 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10858] ppid=10801 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10858/stat : 10858 (java) S 10801 10804 7293 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 48982610 11079016448 21720 33554432000 4194304 4196468 140736779124208 140049838070416 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10859] ppid=10801 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10859/stat : 10859 (java) S 10801 10804 7293 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 48982610 11079016448 21720 33554432000 4194304 4196468 140736779124208 140049407466000 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10860] ppid=10801 vsize=10819352 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10860/stat : 10860 (java) S 10801 10804 7293 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 48982610 11079016448 21720 33554432000 4194304 4196468 140736779124208 140049406413200 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10861] ppid=10801 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10861/stat : 10861 (java) S 10801 10804 7293 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 48982610 11079016448 21720 33554432000 4194304 4196468 140736779124208 140049405360400 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10862] ppid=10801 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10862/stat : 10862 (java) R 10801 10804 7293 0 -1 4202560 5 13143 0 0 0 0 5 3 20 0 15 0 48982612 11079016448 21720 33554432000 4194304 4196468 140736779124208 140049105607536 140049826545239 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10863] ppid=10801 vsize=10819352 memory=140155319104208 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10863/stat : 10863 (java) S 10801 10804 7293 0 -1 1077944384 13 13143 0 0 0 0 5 3 20 0 15 0 48982612 11079016448 21720 33554432000 4194304 4196468 140736779124208 140049018512928 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10864] ppid=10801 vsize=10819352 memory=140157667770979 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10864/stat : 10864 (java) S 10801 10804 7293 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 48982612 11079016448 21720 33554432000 4194304 4196468 140736779124208 140048884295024 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10865] ppid=10801 vsize=10819352 memory=10416 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10865/stat : 10865 (java) S 10801 10804 7293 0 -1 1077944384 3 13143 0 0 0 0 5 3 20 0 15 0 48982615 11079016448 21720 33554432000 4194304 4196468 140736779124208 140048375568720 140049833846683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10866] ppid=10801 vsize=10819352 memory=7234564758908855872 CPUtime=0.15 cores=0,2,4,6
/proc/10804/task/10866/stat : 10866 (java) S 10801 10804 7293 0 -1 1077944384 727 13143 0 0 7 0 5 3 20 0 15 0 48982615 11079016448 21720 33554432000 4194304 4196468 140736779124208 140049104554352 140049833839234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10867] ppid=10801 vsize=10819352 memory=7597685182856913236 CPUtime=0.17 cores=0,2,4,6
/proc/10804/task/10867/stat : 10867 (java) S 10801 10804 7293 0 -1 1077944384 793 13143 0 0 9 0 5 3 20 0 15 0 48982615 11079016448 21720 33554432000 4194304 4196468 140736779124208 140049103501552 140049833839234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10868] ppid=10801 vsize=10819352 memory=5787219346483269989 CPUtime=0.21 cores=0,2,4,6
/proc/10804/task/10868/stat : 10868 (java) S 10801 10804 7293 0 -1 1077944384 748 13143 0 0 13 0 5 3 20 0 15 0 48982615 11079016448 21720 33554432000 4194304 4196468 140736779124208 140049102448752 140049833839234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10869] ppid=10801 vsize=10819352 memory=4128 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10869/stat : 10869 (java) S 10801 10804 7293 0 -1 1077944384 3 13143 0 0 0 0 5 3 20 0 15 0 48982615 11079016448 21720 33554432000 4194304 4196468 140736779124208 140048342010080 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10870] ppid=10801 vsize=10819352 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10870/stat : 10870 (java) S 10801 10804 7293 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 48982615 11079016448 21720 33554432000 4194304 4196468 140736779124208 140049101397168 140049833839234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86880 KiB
[startup+1.50085 s]
/proc/loadavg: 1.88 1.66 1.63 5/215 10870
/proc/meminfo: memFree=15459716/32770624 swapFree=67108860/67108860
[pid=10804] ppid=10801 vsize=10834252 memory=188992 CPUtime=2.46 cores=0,2,4,6
/proc/10804/stat : 10804 (java) S 10801 10804 7293 0 -1 1077944320 23753 13143 0 0 226 12 5 3 20 0 15 0 48982600 11094274048 47248 33554432000 4194304 4196468 140736779124208 140736779106752 140049833828087 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
/proc/10804/statm: 2708563 47248 3480 1 0 2670221 0
[pid=10804/tid=10857] ppid=10801 vsize=10834252 memory=12813 CPUtime=1.43 cores=0,2,4,6
/proc/10804/task/10857/stat : 10857 (java) R 10801 10804 7293 0 -1 4202560 17513 13143 0 0 128 7 5 3 20 0 15 0 48982609 11094274048 47248 33554432000 4194304 4196468 140736779124208 140049805643136 140049833850013 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10858] ppid=10801 vsize=10834252 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/10804/task/10858/stat : 10858 (java) S 10801 10804 7293 0 -1 1077944384 172 13143 0 0 1 0 5 3 20 0 15 0 48982610 11094274048 47248 33554432000 4194304 4196468 140736779124208 140049838070416 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10859] ppid=10801 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10804/task/10859/stat : 10859 (java) S 10801 10804 7293 0 -1 1077944384 9 13143 0 0 1 0 5 3 20 0 15 0 48982610 11094274048 47248 33554432000 4194304 4196468 140736779124208 140049407466000 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10860] ppid=10801 vsize=10834252 memory=1411 CPUtime=0.09 cores=0,2,4,6
/proc/10804/task/10860/stat : 10860 (java) S 10801 10804 7293 0 -1 1077944384 67 13143 0 0 1 0 5 3 20 0 15 0 48982610 11094274048 47248 33554432000 4194304 4196468 140736779124208 140049406413200 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10861] ppid=10801 vsize=10834252 memory=86880 CPUtime=0.09 cores=0,2,4,6
/proc/10804/task/10861/stat : 10861 (java) S 10801 10804 7293 0 -1 1077944384 22 13143 0 0 1 0 5 3 20 0 15 0 48982610 11094274048 47248 33554432000 4194304 4196468 140736779124208 140049405360400 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10862] ppid=10801 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10804/task/10862/stat : 10862 (java) S 10801 10804 7293 0 -1 1077944384 57 13143 0 0 1 0 5 3 20 0 15 0 48982612 11094274048 47248 33554432000 4194304 4196468 140736779124208 140049105607536 140049833839234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10863] ppid=10801 vsize=10834252 memory=280310638150128 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10863/stat : 10863 (java) S 10801 10804 7293 0 -1 1077944384 14 13143 0 0 0 0 5 3 20 0 15 0 48982612 11094274048 47248 33554432000 4194304 4196468 140736779124208 140049018512992 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10864] ppid=10801 vsize=10834252 memory=280310638200928 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10864/stat : 10864 (java) S 10801 10804 7293 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 48982612 11094274048 47248 33554432000 4194304 4196468 140736779124208 140048884295024 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10865] ppid=10801 vsize=10834252 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10865/stat : 10865 (java) S 10801 10804 7293 0 -1 1077944384 3 13143 0 0 0 0 5 3 20 0 15 0 48982615 11094274048 47248 33554432000 4194304 4196468 140736779124208 140048375568720 140049833846683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10866] ppid=10801 vsize=10834252 memory=4638778398332698720 CPUtime=0.34 cores=0,2,4,6
/proc/10804/task/10866/stat : 10866 (java) S 10801 10804 7293 0 -1 1077944384 1230 13143 0 0 26 0 5 3 20 0 15 0 48982615 11094274048 47248 33554432000 4194304 4196468 140736779124208 140049104554352 140049833839234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10867] ppid=10801 vsize=10834252 memory=280310638484352 CPUtime=0.34 cores=0,2,4,6
/proc/10804/task/10867/stat : 10867 (java) S 10801 10804 7293 0 -1 1077944384 1005 13143 0 0 26 0 5 3 20 0 15 0 48982615 11094274048 47248 33554432000 4194304 4196468 140736779124208 140049103501552 140049833839234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10868] ppid=10801 vsize=10834252 memory=-7531822216213012384 CPUtime=0.45 cores=0,2,4,6
/proc/10804/task/10868/stat : 10868 (java) S 10801 10804 7293 0 -1 1077944384 1463 13143 0 0 37 0 5 3 20 0 15 0 48982615 11094274048 47248 33554432000 4194304 4196468 140736779124208 140049102448752 140049833839234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10869] ppid=10801 vsize=10834252 memory=-7531822216213012384 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10869/stat : 10869 (java) S 10801 10804 7293 0 -1 1077944384 3 13143 0 0 0 0 5 3 20 0 15 0 48982615 11094274048 47248 33554432000 4194304 4196468 140736779124208 140048342010080 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10870] ppid=10801 vsize=10834252 memory=1399101730491701635 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10870/stat : 10870 (java) S 10801 10804 7293 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 48982615 11094274048 47248 33554432000 4194304 4196468 140736779124208 140049101397168 140049833839234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
Current children cumulated CPU time: 2.46 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/10804/statm: 2711128 2060605 3514 1 0 2672781 0
[pid=10804/tid=10857] ppid=10801 vsize=10844512 memory=4128 CPUtime=1306.91 cores=0,2,4,6
/proc/10804/task/10857/stat : 10857 (java) S 10801 10804 7293 0 -1 1077944384 104914 13143 0 0 130657 26 5 3 20 0 15 0 48982609 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049805661904 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10858] ppid=10801 vsize=10844512 memory=16180 CPUtime=301.68 cores=0,2,4,6
/proc/10804/task/10858/stat : 10858 (java) R 10801 10804 7293 0 -1 4202560 58534 13143 0 0 29896 264 5 3 20 0 15 0 48982610 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049838070536 140049818528734 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10859] ppid=10801 vsize=10844512 memory=8242420 CPUtime=300.44 cores=0,2,4,6
/proc/10804/task/10859/stat : 10859 (java) R 10801 10804 7293 0 -1 4202560 58799 13143 0 0 29752 284 5 3 20 0 15 0 48982610 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049407466120 140049818527877 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10860] ppid=10801 vsize=10844512 memory=7528 CPUtime=300.94 cores=0,2,4,6
/proc/10804/task/10860/stat : 10860 (java) R 10801 10804 7293 0 -1 4202560 47019 13143 0 0 29816 270 5 3 20 0 15 0 48982610 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049406413320 140049818817730 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10861] ppid=10801 vsize=10844512 memory=4128 CPUtime=303.11 cores=0,2,4,6
/proc/10804/task/10861/stat : 10861 (java) R 10801 10804 7293 0 -1 4202560 42228 13143 0 0 30040 263 5 3 20 0 15 0 48982610 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049405360520 140049818528705 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10862] ppid=10801 vsize=10844512 memory=16180 CPUtime=1.83 cores=0,2,4,6
/proc/10804/task/10862/stat : 10862 (java) S 10801 10804 7293 0 -1 1077944384 192185 13143 0 0 165 10 5 3 20 0 15 0 48982612 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049105606080 140049833838293 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10863] ppid=10801 vsize=10844512 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10863/stat : 10863 (java) S 10801 10804 7293 0 -1 1077944384 18 13143 0 0 0 0 5 3 20 0 15 0 48982612 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049018512992 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10864] ppid=10801 vsize=10844512 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10864/stat : 10864 (java) S 10801 10804 7293 0 -1 1077944384 4 13143 0 0 0 0 5 3 20 0 15 0 48982612 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140048884295040 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10865] ppid=10801 vsize=10844512 memory=7307749472743157346 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10865/stat : 10865 (java) S 10801 10804 7293 0 -1 1077944384 3 13143 0 0 0 0 5 3 20 0 15 0 48982615 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140048375568720 140049833846683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10866] ppid=10801 vsize=10844512 memory=8242420 CPUtime=1.96 cores=0,2,4,6
/proc/10804/task/10866/stat : 10866 (java) S 10801 10804 7293 0 -1 1077944384 11836 13143 0 0 186 2 5 3 20 0 15 0 48982615 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049104554112 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10867] ppid=10801 vsize=10844512 memory=6791534058613427641 CPUtime=1.99 cores=0,2,4,6
/proc/10804/task/10867/stat : 10867 (java) S 10801 10804 7293 0 -1 1077944384 14068 13143 0 0 188 3 5 3 20 0 15 0 48982615 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049103501600 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10868] ppid=10801 vsize=10844512 memory=960 CPUtime=1.41 cores=0,2,4,6
/proc/10804/task/10868/stat : 10868 (java) S 10801 10804 7293 0 -1 1077944384 8390 13143 0 0 131 2 5 3 20 0 15 0 48982615 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049102448800 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10869] ppid=10801 vsize=10844512 memory=1232 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10869/stat : 10869 (java) S 10801 10804 7293 0 -1 1077944384 3 13143 0 0 0 0 5 3 20 0 15 0 48982615 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140048342010080 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10870] ppid=10801 vsize=10844512 memory=2344 CPUtime=0.65 cores=0,2,4,6
/proc/10804/task/10870/stat : 10870 (java) S 10801 10804 7293 0 -1 1077944384 2270 13143 0 0 28 29 5 3 20 0 15 0 48982615 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049101397168 140049833839234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
Current children cumulated CPU time: 2520.31 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 8242420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1619.66 s]
# the end of solver process 10804 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.85 s, system=11.5316 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1618.4 s]
/proc/loadavg: 3.39 2.88 2.44 6/215 11071
/proc/meminfo: memFree=9180732/32770624 swapFree=67108860/67108860
[pid=10804] ppid=10801 vsize=10844512 memory=8242420 CPUtime=2523.49 cores=0,2,4,6
/proc/10804/stat : 10804 (java) S 10801 10804 7293 0 -1 1077944320 542637 13143 0 0 251196 1145 5 3 20 0 15 0 48982600 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140736779106752 140049833828087 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
/proc/10804/statm: 2711128 2060605 3514 1 0 2672781 0
[pid=10804/tid=10857] ppid=10801 vsize=10844512 memory=8242420 CPUtime=1306.91 cores=0,2,4,6
/proc/10804/task/10857/stat : 10857 (java) S 10801 10804 7293 0 -1 1077944384 104914 13143 0 0 130657 26 5 3 20 0 15 0 48982609 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049805661904 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10858] ppid=10801 vsize=10844512 memory=8242420 CPUtime=302.48 cores=0,2,4,6
/proc/10804/task/10858/stat : 10858 (java) R 10801 10804 7293 0 -1 4202560 58580 13143 0 0 29976 264 5 3 20 0 15 0 48982610 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049838070536 140049815437702 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10859] ppid=10801 vsize=10844512 memory=2244 CPUtime=301.22 cores=0,2,4,6
/proc/10804/task/10859/stat : 10859 (java) R 10801 10804 7293 0 -1 4202560 58840 13143 0 0 29830 284 5 3 20 0 15 0 48982610 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049407466120 140049818824148 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10860] ppid=10801 vsize=10844512 memory=6791534058613427641 CPUtime=301.74 cores=0,2,4,6
/proc/10804/task/10860/stat : 10860 (java) R 10801 10804 7293 0 -1 4202560 47057 13143 0 0 29896 270 5 3 20 0 15 0 48982610 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049406413320 140049818528762 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10861] ppid=10801 vsize=10844512 memory=3268 CPUtime=303.91 cores=0,2,4,6
/proc/10804/task/10861/stat : 10861 (java) R 10801 10804 7293 0 -1 4202560 42272 13143 0 0 30120 263 5 3 20 0 15 0 48982610 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049405360520 140049815437720 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10862] ppid=10801 vsize=10844512 memory=8242416 CPUtime=1.83 cores=0,2,4,6
/proc/10804/task/10862/stat : 10862 (java) S 10801 10804 7293 0 -1 1077944384 192185 13143 0 0 165 10 5 3 20 0 15 0 48982612 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049105606080 140049833838293 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10863] ppid=10801 vsize=10844512 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10863/stat : 10863 (java) S 10801 10804 7293 0 -1 1077944384 18 13143 0 0 0 0 5 3 20 0 15 0 48982612 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049018512992 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10864] ppid=10801 vsize=10844512 memory=3296 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10864/stat : 10864 (java) S 10801 10804 7293 0 -1 1077944384 4 13143 0 0 0 0 5 3 20 0 15 0 48982612 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140048884295040 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10865] ppid=10801 vsize=10844512 memory=924804 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10865/stat : 10865 (java) S 10801 10804 7293 0 -1 1077944384 6 13143 0 0 0 0 5 3 20 0 15 0 48982615 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140048375568368 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10866] ppid=10801 vsize=10844512 memory=6791534058613427641 CPUtime=1.96 cores=0,2,4,6
/proc/10804/task/10866/stat : 10866 (java) S 10801 10804 7293 0 -1 1077944384 11836 13143 0 0 186 2 5 3 20 0 15 0 48982615 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049104554112 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10867] ppid=10801 vsize=10844512 memory=1692 CPUtime=1.99 cores=0,2,4,6
/proc/10804/task/10867/stat : 10867 (java) S 10801 10804 7293 0 -1 1077944384 14068 13143 0 0 188 3 5 3 20 0 15 0 48982615 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049103501600 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10868] ppid=10801 vsize=10844512 memory=916 CPUtime=1.41 cores=0,2,4,6
/proc/10804/task/10868/stat : 10868 (java) S 10801 10804 7293 0 -1 1077944384 8390 13143 0 0 131 2 5 3 20 0 15 0 48982615 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049102448800 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10869] ppid=10801 vsize=10844512 memory=3848 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10869/stat : 10869 (java) S 10801 10804 7293 0 -1 1077944384 3 13143 0 0 0 0 5 3 20 0 15 0 48982615 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140048342010080 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10870] ppid=10801 vsize=10844512 memory=2760 CPUtime=0.65 cores=0,2,4,6
/proc/10804/task/10870/stat : 10870 (java) S 10801 10804 7293 0 -1 1077944384 2270 13143 0 0 28 29 5 3 20 0 15 0 48982615 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049101397168 140049833839234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
Current children cumulated CPU time: 2523.49 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 8242420 KiB
[startup+1619.2 s]
/proc/loadavg: 3.39 2.88 2.44 6/215 11071
/proc/meminfo: memFree=9180732/32770624 swapFree=67108860/67108860
[pid=10804] ppid=10801 vsize=10844512 memory=8242420 CPUtime=2526.68 cores=0,2,4,6
/proc/10804/stat : 10804 (java) S 10801 10804 7293 0 -1 1077944320 542649 13143 0 0 251515 1145 5 3 20 0 15 0 48982600 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140736779106752 140049833828087 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
/proc/10804/statm: 2711128 2060605 3514 1 0 2672781 0
[pid=10804/tid=10857] ppid=10801 vsize=10844512 memory=8242416 CPUtime=1306.91 cores=0,2,4,6
/proc/10804/task/10857/stat : 10857 (java) S 10801 10804 7293 0 -1 1077944384 104914 13143 0 0 130657 26 5 3 20 0 15 0 48982609 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049805661904 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10858] ppid=10801 vsize=10844512 memory=1728 CPUtime=303.28 cores=0,2,4,6
/proc/10804/task/10858/stat : 10858 (java) R 10801 10804 7293 0 -1 4202560 58585 13143 0 0 30056 264 5 3 20 0 15 0 48982610 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049838070536 140049818826016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10859] ppid=10801 vsize=10844512 memory=16180 CPUtime=302.01 cores=0,2,4,6
/proc/10804/task/10859/stat : 10859 (java) R 10801 10804 7293 0 -1 4202560 58841 13143 0 0 29909 284 5 3 20 0 15 0 48982610 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049407466120 140049815437835 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10860] ppid=10801 vsize=10844512 memory=1292 CPUtime=302.54 cores=0,2,4,6
/proc/10804/task/10860/stat : 10860 (java) R 10801 10804 7293 0 -1 4202560 47062 13143 0 0 29976 270 5 3 20 0 15 0 48982610 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049406413320 140049818824588 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10861] ppid=10801 vsize=10844512 memory=8242416 CPUtime=304.71 cores=0,2,4,6
/proc/10804/task/10861/stat : 10861 (java) R 10801 10804 7293 0 -1 4202560 42273 13143 0 0 30200 263 5 3 20 0 15 0 48982610 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049405360520 140049818824488 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10862] ppid=10801 vsize=10844512 memory=8242416 CPUtime=1.83 cores=0,2,4,6
/proc/10804/task/10862/stat : 10862 (java) S 10801 10804 7293 0 -1 1077944384 192185 13143 0 0 165 10 5 3 20 0 15 0 48982612 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049105606080 140049833838293 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10863] ppid=10801 vsize=10844512 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10863/stat : 10863 (java) S 10801 10804 7293 0 -1 1077944384 18 13143 0 0 0 0 5 3 20 0 15 0 48982612 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049018512992 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10864] ppid=10801 vsize=10844512 memory=1008 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10864/stat : 10864 (java) S 10801 10804 7293 0 -1 1077944384 4 13143 0 0 0 0 5 3 20 0 15 0 48982612 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140048884295040 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10865] ppid=10801 vsize=10844512 memory=8242416 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10865/stat : 10865 (java) S 10801 10804 7293 0 -1 1077944384 6 13143 0 0 0 0 5 3 20 0 15 0 48982615 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140048375568368 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10866] ppid=10801 vsize=10844512 memory=7528 CPUtime=1.96 cores=0,2,4,6
/proc/10804/task/10866/stat : 10866 (java) S 10801 10804 7293 0 -1 1077944384 11836 13143 0 0 186 2 5 3 20 0 15 0 48982615 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049104554112 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10867] ppid=10801 vsize=10844512 memory=8242416 CPUtime=1.99 cores=0,2,4,6
/proc/10804/task/10867/stat : 10867 (java) S 10801 10804 7293 0 -1 1077944384 14068 13143 0 0 188 3 5 3 20 0 15 0 48982615 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049103501600 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10868] ppid=10801 vsize=10844512 memory=8242416 CPUtime=1.41 cores=0,2,4,6
/proc/10804/task/10868/stat : 10868 (java) S 10801 10804 7293 0 -1 1077944384 8390 13143 0 0 131 2 5 3 20 0 15 0 48982615 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049102448800 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10869] ppid=10801 vsize=10844512 memory=8242416 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10869/stat : 10869 (java) S 10801 10804 7293 0 -1 1077944384 3 13143 0 0 0 0 5 3 20 0 15 0 48982615 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140048342010080 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10870] ppid=10801 vsize=10844512 memory=4128 CPUtime=0.65 cores=0,2,4,6
/proc/10804/task/10870/stat : 10870 (java) S 10801 10804 7293 0 -1 1077944384 2270 13143 0 0 28 29 5 3 20 0 15 0 48982615 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049101397168 140049833839234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
Current children cumulated CPU time: 2526.68 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 8242420 KiB
[startup+1619.6 s]
/proc/loadavg: 3.39 2.88 2.44 6/215 11071
/proc/meminfo: memFree=9180732/32770624 swapFree=67108860/67108860
[pid=10804] ppid=10801 vsize=10844512 memory=8242420 CPUtime=2528.27 cores=0,2,4,6
/proc/10804/stat : 10804 (java) S 10801 10804 7293 0 -1 1077944320 542649 13143 0 0 251674 1145 5 3 20 0 15 0 48982600 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140736779106752 140049833828087 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
/proc/10804/statm: 2711128 2060605 3514 1 0 2672781 0
[pid=10804/tid=10857] ppid=10801 vsize=10844512 memory=4124 CPUtime=1306.91 cores=0,2,4,6
/proc/10804/task/10857/stat : 10857 (java) S 10801 10804 7293 0 -1 1077944384 104914 13143 0 0 130657 26 5 3 20 0 15 0 48982609 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049805661904 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10858] ppid=10801 vsize=10844512 memory=6791534058613427641 CPUtime=303.68 cores=0,2,4,6
/proc/10804/task/10858/stat : 10858 (java) R 10801 10804 7293 0 -1 4202560 58585 13143 0 0 30096 264 5 3 20 0 15 0 48982610 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049838070536 140049818528731 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10859] ppid=10801 vsize=10844512 memory=2416 CPUtime=302.41 cores=0,2,4,6
/proc/10804/task/10859/stat : 10859 (java) R 10801 10804 7293 0 -1 4202560 58841 13143 0 0 29949 284 5 3 20 0 15 0 48982610 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049407466120 140049815437795 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10860] ppid=10801 vsize=10844512 memory=1728 CPUtime=302.94 cores=0,2,4,6
/proc/10804/task/10860/stat : 10860 (java) R 10801 10804 7293 0 -1 4202560 47062 13143 0 0 30016 270 5 3 20 0 15 0 48982610 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049406413320 140049818826032 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10861] ppid=10801 vsize=10844512 memory=1700 CPUtime=305.11 cores=0,2,4,6
/proc/10804/task/10861/stat : 10861 (java) R 10801 10804 7293 0 -1 4202560 42273 13143 0 0 30240 263 5 3 20 0 15 0 48982610 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049405360520 140049818824439 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10862] ppid=10801 vsize=10844512 memory=796 CPUtime=1.83 cores=0,2,4,6
/proc/10804/task/10862/stat : 10862 (java) S 10801 10804 7293 0 -1 1077944384 192185 13143 0 0 165 10 5 3 20 0 15 0 48982612 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049105606080 140049833838293 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10863] ppid=10801 vsize=10844512 memory=8242420 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10863/stat : 10863 (java) S 10801 10804 7293 0 -1 1077944384 18 13143 0 0 0 0 5 3 20 0 15 0 48982612 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049018512992 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10864] ppid=10801 vsize=10844512 memory=1952 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10864/stat : 10864 (java) S 10801 10804 7293 0 -1 1077944384 4 13143 0 0 0 0 5 3 20 0 15 0 48982612 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140048884295040 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10865] ppid=10801 vsize=10844512 memory=1200 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10865/stat : 10865 (java) S 10801 10804 7293 0 -1 1077944384 6 13143 0 0 0 0 5 3 20 0 15 0 48982615 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140048375568368 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10866] ppid=10801 vsize=10844512 memory=10416 CPUtime=1.96 cores=0,2,4,6
/proc/10804/task/10866/stat : 10866 (java) S 10801 10804 7293 0 -1 1077944384 11836 13143 0 0 186 2 5 3 20 0 15 0 48982615 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049104554112 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10867] ppid=10801 vsize=10844512 memory=4616 CPUtime=1.99 cores=0,2,4,6
/proc/10804/task/10867/stat : 10867 (java) S 10801 10804 7293 0 -1 1077944384 14068 13143 0 0 188 3 5 3 20 0 15 0 48982615 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049103501600 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10868] ppid=10801 vsize=10844512 memory=8242420 CPUtime=1.41 cores=0,2,4,6
/proc/10804/task/10868/stat : 10868 (java) S 10801 10804 7293 0 -1 1077944384 8390 13143 0 0 131 2 5 3 20 0 15 0 48982615 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049102448800 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10869] ppid=10801 vsize=10844512 memory=4096 CPUtime=0.08 cores=0,2,4,6
/proc/10804/task/10869/stat : 10869 (java) S 10801 10804 7293 0 -1 1077944384 3 13143 0 0 0 0 5 3 20 0 15 0 48982615 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140048342010080 140049833838293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
[pid=10804/tid=10870] ppid=10801 vsize=10844512 memory=6791534058613427641 CPUtime=0.65 cores=0,2,4,6
/proc/10804/task/10870/stat : 10870 (java) S 10801 10804 7293 0 -1 1077944384 2270 13143 0 0 28 29 5 3 20 0 15 0 48982615 11104780288 2060605 33554432000 4194304 4196468 140736779124208 140049101397168 140049833839234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 7139328 140736779127406 140736779130204 140736779130204 140736779132879 0
Current children cumulated CPU time: 2528.27 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 8242420 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1619.66
CPU time (s): 2528.38
CPU user time (s): 2516.85
CPU system time (s): 11.5316
CPU usage (%): 156.106
Max. virtual memory (cumulated for all children) (KiB): 10844512
Max. memory (cumulated for all children) (KiB): 8242420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.85
system time used= 11.5316
maximum resident set size= 8242596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 555794
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64436
involuntary context switches= 17854
# summary of solver processes directly reported to runsolver:
# pid: 10804
# total CPU time (s): 2528.38
# total CPU user time (s): 2516.85
# total CPU system time (s): 11.5316
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.18113 second user time and 15.3533 second system time
The end