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 (3200 MiB free)
memory of node 1: 16384 MiB (9975 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306903-1534119586/watcher-4306903-1534119586 -o /tmp/evaluation-result-4306903-1534119586/solver-4306903-1534119586 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534096899-2741 --watchdog 2580 HOME/xcsp3-exec -seed 897394635 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306903-1534119586.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6862, runsolver pid=6859
Current StackSize limit: 8192 KiB
[startup+0.100996 s]*
/proc/loadavg: 2.48 2.05 1.87 3/217 6878
/proc/meminfo: memFree=13475500/32770624 swapFree=67108792/67108860
[pid=6862] ppid=6859 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6862/stat : 6862 (xcsp3-exec) S 6859 6862 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229521848 115843072 363 33554432000 4194304 5098028 140736974787488 140736974785592 139779969688188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13418496 140736974791739 140736974791940 140736974791940 140736974794698 0
/proc/6862/statm: 28282 363 305 221 0 87 0
[pid=6864] ppid=6862 vsize=14082940 memory=28716 CPUtime=0.11 cores=1,3,5,7
/proc/6864/stat : 6864 (java) S 6862 6862 2709 0 -1 1077944320 5519 0 0 0 10 1 0 0 20 0 15 0 229521848 14420930560 7179 33554432000 4194304 4196468 140725113950896 140725113933440 140266156121847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
/proc/6864/statm: 3520735 7179 3036 1 0 3483012 0
[pid=6864/tid=6865] ppid=6862 vsize=14082940 memory=-8976644418600983157 CPUtime=0.09 cores=1,3,5,7
/proc/6864/task/6865/stat : 6865 (java) R 6862 6862 2709 0 -1 4202560 3537 0 0 0 8 1 0 0 20 0 15 0 229521848 14420930560 7179 33554432000 4194304 4196468 140725113950896 140266160355120 140266140202334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6866] ppid=6862 vsize=14082940 memory=3472468713258087632 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6866/stat : 6866 (java) S 6862 6862 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229521849 14420930560 7179 33554432000 4194304 4196468 140725113950896 140266117082256 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6867] ppid=6862 vsize=14082940 memory=140584362935936 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6867/stat : 6867 (java) S 6862 6862 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229521849 14420930560 7179 33554432000 4194304 4196468 140725113950896 140265751030800 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6868] ppid=6862 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6868/stat : 6868 (java) S 6862 6862 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229521849 14420930560 7179 33554432000 4194304 4196468 140725113950896 140265749978000 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6869] ppid=6862 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6869/stat : 6869 (java) S 6862 6862 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229521849 14420930560 7179 33554432000 4194304 4196468 140725113950896 140265748925200 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6870] ppid=6862 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6870/stat : 6870 (java) S 6862 6862 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229521850 14420930560 7179 33554432000 4194304 4196468 140725113950896 140265068530032 140266156132994 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6871] ppid=6862 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6871/stat : 6871 (java) S 6862 6862 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229521851 14420930560 7179 33554432000 4194304 4196468 140725113950896 140265067476000 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6872] ppid=6862 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6872/stat : 6872 (java) S 6862 6862 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229521851 14420930560 7179 33554432000 4194304 4196468 140725113950896 140265066423152 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6873] ppid=6862 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6873/stat : 6873 (java) S 6862 6862 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229521853 14420930560 7179 33554432000 4194304 4196468 140725113950896 140265065371472 140266156140443 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6874] ppid=6862 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6874/stat : 6874 (java) S 6862 6862 2709 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 229521853 14420930560 7179 33554432000 4194304 4196468 140725113950896 140265064319856 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6875] ppid=6862 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6875/stat : 6875 (java) S 6862 6862 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229521853 14420930560 7179 33554432000 4194304 4196468 140725113950896 140265063267056 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6876] ppid=6862 vsize=14082940 memory=140584362935936 CPUtime=0.01 cores=1,3,5,7
/proc/6864/task/6876/stat : 6876 (java) S 6862 6862 2709 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 15 0 229521853 14420930560 7179 33554432000 4194304 4196468 140725113950896 140265062214256 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6877] ppid=6862 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6877/stat : 6877 (java) S 6862 6862 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229521854 14420930560 7179 33554432000 4194304 4196468 140725113950896 140265061161696 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6878] ppid=6862 vsize=14082940 memory=140584362935936 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6878/stat : 6878 (java) S 6862 6862 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229521854 14420930560 7179 33554432000 4194304 4196468 140725113950896 140265060108976 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30168 KiB
[startup+0.210512 s]*
/proc/loadavg: 2.48 2.05 1.87 4/217 6878
/proc/meminfo: memFree=13464092/32770624 swapFree=67108792/67108860
[pid=6862] ppid=6859 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6862/stat : 6862 (xcsp3-exec) S 6859 6862 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229521848 115843072 363 33554432000 4194304 5098028 140736974787488 140736974785592 139779969688188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13418496 140736974791739 140736974791940 140736974791940 140736974794698 0
/proc/6862/statm: 28282 363 305 221 0 87 0
[pid=6864] ppid=6862 vsize=14082940 memory=40660 CPUtime=0.33 cores=1,3,5,7
/proc/6864/stat : 6864 (java) S 6862 6862 2709 0 -1 1077944320 8202 0 0 0 32 1 0 0 20 0 15 0 229521848 14420930560 10165 33554432000 4194304 4196468 140725113950896 140725113933440 140266156121847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
/proc/6864/statm: 3520735 10165 3206 1 0 3483012 0
[pid=6864/tid=6865] ppid=6862 vsize=14082940 memory=4500115623978573208 CPUtime=0.2 cores=1,3,5,7
/proc/6864/task/6865/stat : 6865 (java) R 6862 6862 2709 0 -1 4202560 5407 0 0 0 19 1 0 0 20 0 15 0 229521848 14420930560 10165 33554432000 4194304 4196468 140725113950896 140266160353088 140266140202334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6866] ppid=6862 vsize=14082940 memory=3472468713258087632 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6866/stat : 6866 (java) S 6862 6862 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229521849 14420930560 10165 33554432000 4194304 4196468 140725113950896 140266117082256 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6867] ppid=6862 vsize=14082940 memory=140584362935936 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6867/stat : 6867 (java) S 6862 6862 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229521849 14420930560 10165 33554432000 4194304 4196468 140725113950896 140265751030800 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6868] ppid=6862 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6868/stat : 6868 (java) S 6862 6862 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229521849 14420930560 10165 33554432000 4194304 4196468 140725113950896 140265749978000 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6869] ppid=6862 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6869/stat : 6869 (java) S 6862 6862 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229521849 14420930560 10165 33554432000 4194304 4196468 140725113950896 140265748925200 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6870] ppid=6862 vsize=14082940 memory=140584362935936 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6870/stat : 6870 (java) S 6862 6862 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229521850 14420930560 10165 33554432000 4194304 4196468 140725113950896 140265068530032 140266156132994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6871] ppid=6862 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6871/stat : 6871 (java) S 6862 6862 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229521851 14420930560 10165 33554432000 4194304 4196468 140725113950896 140265067476000 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6872] ppid=6862 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6872/stat : 6872 (java) S 6862 6862 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229521851 14420930560 10165 33554432000 4194304 4196468 140725113950896 140265066423152 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6873] ppid=6862 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6873/stat : 6873 (java) S 6862 6862 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229521853 14420930560 10165 33554432000 4194304 4196468 140725113950896 140265065371472 140266156140443 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6874] ppid=6862 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6864/task/6874/stat : 6874 (java) S 6862 6862 2709 0 -1 1077944384 614 0 0 0 2 0 0 0 20 0 15 0 229521853 14420930560 10165 33554432000 4194304 4196468 140725113950896 140265064319856 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6875] ppid=6862 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6864/task/6875/stat : 6875 (java) S 6862 6862 2709 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 15 0 229521853 14420930560 10165 33554432000 4194304 4196468 140725113950896 140265063267056 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6876] ppid=6862 vsize=14082940 memory=140584362935936 CPUtime=0.08 cores=1,3,5,7
/proc/6864/task/6876/stat : 6876 (java) S 6862 6862 2709 0 -1 1077944384 778 0 0 0 8 0 0 0 20 0 15 0 229521853 14420930560 10165 33554432000 4194304 4196468 140725113950896 140265062214256 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6877] ppid=6862 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6877/stat : 6877 (java) S 6862 6862 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229521854 14420930560 10165 33554432000 4194304 4196468 140725113950896 140265061161696 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6878] ppid=6862 vsize=14082940 memory=140584362935936 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6878/stat : 6878 (java) S 6862 6862 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229521854 14420930560 10165 33554432000 4194304 4196468 140725113950896 140265060108976 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42112 KiB
[startup+0.318764 s]*
/proc/loadavg: 2.48 2.05 1.87 4/217 6878
/proc/meminfo: memFree=13457524/32770624 swapFree=67108792/67108860
[pid=6862] ppid=6859 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6862/stat : 6862 (xcsp3-exec) S 6859 6862 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229521848 115843072 363 33554432000 4194304 5098028 140736974787488 140736974785592 139779969688188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13418496 140736974791739 140736974791940 140736974791940 140736974794698 0
/proc/6862/statm: 28282 363 305 221 0 87 0
[pid=6864] ppid=6862 vsize=14087196 memory=48212 CPUtime=0.53 cores=1,3,5,7
/proc/6864/stat : 6864 (java) S 6862 6862 2709 0 -1 1077944320 9223 0 0 0 51 2 0 0 20 0 15 0 229521848 14425288704 12053 33554432000 4194304 4196468 140725113950896 140725113933440 140266156121847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
/proc/6864/statm: 3521799 12053 3259 1 0 3483012 0
[pid=6864/tid=6865] ppid=6862 vsize=14087196 memory=-8976644418600983157 CPUtime=0.3 cores=1,3,5,7
/proc/6864/task/6865/stat : 6865 (java) R 6862 6862 2709 0 -1 4202560 6192 0 0 0 29 1 0 0 20 0 15 0 229521848 14425288704 12053 33554432000 4194304 4196468 140725113950896 140266160352960 140266140202334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6866] ppid=6862 vsize=14087196 memory=3472468713258087632 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6866/stat : 6866 (java) S 6862 6862 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229521849 14425288704 12053 33554432000 4194304 4196468 140725113950896 140266117082256 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6867] ppid=6862 vsize=14087196 memory=140584362935936 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6867/stat : 6867 (java) S 6862 6862 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229521849 14425288704 12053 33554432000 4194304 4196468 140725113950896 140265751030800 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6868] ppid=6862 vsize=14087196 memory=13 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6868/stat : 6868 (java) S 6862 6862 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229521849 14425288704 12053 33554432000 4194304 4196468 140725113950896 140265749978000 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6869] ppid=6862 vsize=14087196 memory=140584211851295 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6869/stat : 6869 (java) S 6862 6862 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229521849 14425288704 12053 33554432000 4194304 4196468 140725113950896 140265748925200 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6870] ppid=6862 vsize=14087196 memory=281168423681824 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6870/stat : 6870 (java) S 6862 6862 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229521850 14425288704 12053 33554432000 4194304 4196468 140725113950896 140265068530032 140266156132994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6871] ppid=6862 vsize=14087196 memory=140584211828239 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6871/stat : 6871 (java) S 6862 6862 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229521851 14425288704 12053 33554432000 4194304 4196468 140725113950896 140265067476000 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6872] ppid=6862 vsize=14087196 memory=281168574647304 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6872/stat : 6872 (java) S 6862 6862 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229521851 14425288704 12053 33554432000 4194304 4196468 140725113950896 140265066423152 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6873] ppid=6862 vsize=14087196 memory=140584211851295 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6873/stat : 6873 (java) S 6862 6862 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229521853 14425288704 12053 33554432000 4194304 4196468 140725113950896 140265065371472 140266156140443 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6874] ppid=6862 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/6864/task/6874/stat : 6874 (java) S 6862 6862 2709 0 -1 1077944384 625 0 0 0 4 0 0 0 20 0 15 0 229521853 14425288704 12053 33554432000 4194304 4196468 140725113950896 140265064319856 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6875] ppid=6862 vsize=14087196 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/6864/task/6875/stat : 6875 (java) S 6862 6862 2709 0 -1 1077944384 197 0 0 0 4 0 0 0 20 0 15 0 229521853 14425288704 12053 33554432000 4194304 4196468 140725113950896 140265063267056 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6876] ppid=6862 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6864/task/6876/stat : 6876 (java) S 6862 6862 2709 0 -1 1077944384 911 0 0 0 12 0 0 0 20 0 15 0 229521853 14425288704 12053 33554432000 4194304 4196468 140725113950896 140265062214256 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6877] ppid=6862 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6877/stat : 6877 (java) S 6862 6862 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229521854 14425288704 12053 33554432000 4194304 4196468 140725113950896 140265061161696 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6878] ppid=6862 vsize=14087196 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6878/stat : 6878 (java) S 6862 6862 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229521854 14425288704 12053 33554432000 4194304 4196468 140725113950896 140265060108976 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49664 KiB
[startup+0.700802 s]
/proc/loadavg: 2.60 2.08 1.88 6/217 6878
/proc/meminfo: memFree=13440652/32770624 swapFree=67108792/67108860
[pid=6862] ppid=6859 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6862/stat : 6862 (xcsp3-exec) S 6859 6862 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229521848 115843072 363 33554432000 4194304 5098028 140736974787488 140736974785592 139779969688188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13418496 140736974791739 140736974791940 140736974791940 140736974794698 0
/proc/6862/statm: 28282 363 305 221 0 87 0
[pid=6864] ppid=6862 vsize=14089320 memory=80276 CPUtime=1.52 cores=1,3,5,7
/proc/6864/stat : 6864 (java) S 6862 6862 2709 0 -1 1077944320 11763 0 0 0 148 4 0 0 20 0 15 0 229521848 14427463680 20069 33554432000 4194304 4196468 140725113950896 140725113933440 140266156121847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
/proc/6864/statm: 3522330 20069 3346 1 0 3483524 0
[pid=6864/tid=6865] ppid=6862 vsize=14089320 memory=7372786582024121444 CPUtime=0.66 cores=1,3,5,7
/proc/6864/task/6865/stat : 6865 (java) R 6862 6862 2709 0 -1 4202560 6961 0 0 0 64 2 0 0 20 0 15 0 229521848 14427463680 20069 33554432000 4194304 4196468 140725113950896 140266160360768 140266140202334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6866] ppid=6862 vsize=14089320 memory=7007712420471858773 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6866/stat : 6866 (java) S 6862 6862 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229521849 14427463680 20069 33554432000 4194304 4196468 140725113950896 140266117082256 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6867] ppid=6862 vsize=14089320 memory=5859271421084390760 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6867/stat : 6867 (java) S 6862 6862 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229521849 14427463680 20069 33554432000 4194304 4196468 140725113950896 140265751030800 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6868] ppid=6862 vsize=14089320 memory=-6168368575958768251 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6868/stat : 6868 (java) S 6862 6862 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229521849 14427463680 20069 33554432000 4194304 4196468 140725113950896 140265749978000 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6869] ppid=6862 vsize=14089320 memory=8326441112149131689 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6869/stat : 6869 (java) S 6862 6862 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229521849 14427463680 20069 33554432000 4194304 4196468 140725113950896 140265748925200 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6870] ppid=6862 vsize=14089320 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6870/stat : 6870 (java) S 6862 6862 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229521850 14427463680 20069 33554432000 4194304 4196468 140725113950896 140265068530032 140266156132994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6871] ppid=6862 vsize=14089320 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6871/stat : 6871 (java) S 6862 6862 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229521851 14427463680 20069 33554432000 4194304 4196468 140725113950896 140265067476000 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6872] ppid=6862 vsize=14089320 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6872/stat : 6872 (java) S 6862 6862 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229521851 14427463680 20069 33554432000 4194304 4196468 140725113950896 140265066423152 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6873] ppid=6862 vsize=14089320 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6873/stat : 6873 (java) S 6862 6862 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229521853 14427463680 20069 33554432000 4194304 4196468 140725113950896 140265065371472 140266156140443 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6874] ppid=6862 vsize=14089320 memory=62408 CPUtime=0.27 cores=1,3,5,7
/proc/6864/task/6874/stat : 6874 (java) R 6862 6862 2709 0 -1 4202560 1255 0 0 0 27 0 0 0 20 0 15 0 229521853 14427463680 20069 33554432000 4194304 4196468 140725113950896 140265064311312 140266135838983 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6875] ppid=6862 vsize=14089320 memory=1220 CPUtime=0.22 cores=1,3,5,7
/proc/6864/task/6875/stat : 6875 (java) R 6862 6862 2709 0 -1 1077944384 598 0 0 0 22 0 0 0 20 0 15 0 229521853 14427463680 20069 33554432000 4194304 4196468 140725113950896 140265063267056 140266156132994 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6876] ppid=6862 vsize=14089320 memory=2380 CPUtime=0.33 cores=1,3,5,7
/proc/6864/task/6876/stat : 6876 (java) R 6862 6862 2709 0 -1 4202560 1642 0 0 0 33 0 0 0 20 0 15 0 229521853 14427463680 20069 33554432000 4194304 4196468 140725113950896 140265062214256 140266156143194 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6877] ppid=6862 vsize=14089320 memory=7163890427858739792 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6877/stat : 6877 (java) S 6862 6862 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229521854 14427463680 20072 33554432000 4194304 4196468 140725113950896 140265061161696 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6878] ppid=6862 vsize=14089320 memory=7595156207412209490 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6878/stat : 6878 (java) S 6862 6862 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229521854 14427463680 20072 33554432000 4194304 4196468 140725113950896 140265060108976 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 81728 KiB
[startup+1.5008 s]
/proc/loadavg: 2.60 2.08 1.88 5/217 6878
/proc/meminfo: memFree=13409264/32770624 swapFree=67108792/67108860
[pid=6862] ppid=6859 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6862/stat : 6862 (xcsp3-exec) S 6859 6862 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229521848 115843072 363 33554432000 4194304 5098028 140736974787488 140736974785592 139779969688188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13418496 140736974791739 140736974791940 140736974791940 140736974794698 0
/proc/6862/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
[pid=6864/tid=6870] ppid=6862 vsize=14089320 memory=1452 CPUtime=0.29 cores=1,3,5,7
/proc/6864/task/6870/stat : 6870 (java) S 6862 6862 2709 0 -1 1077944384 3774 0 0 0 25 4 0 0 20 0 15 0 229521850 14427463680 41038 33554432000 4194304 4196468 140725113950896 140265068530032 140266156132994 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6871] ppid=6862 vsize=14089320 memory=164152 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6871/stat : 6871 (java) S 6862 6862 2709 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 229521851 14427463680 41038 33554432000 4194304 4196468 140725113950896 140265067476000 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6872] ppid=6862 vsize=14089320 memory=164152 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6872/stat : 6872 (java) S 6862 6862 2709 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 229521851 14427463680 41038 33554432000 4194304 4196468 140725113950896 140265066423152 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6873] ppid=6862 vsize=14089320 memory=55 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6873/stat : 6873 (java) S 6862 6862 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229521853 14427463680 41038 33554432000 4194304 4196468 140725113950896 140265065371472 140266156140443 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6874] ppid=6862 vsize=14089320 memory=1452 CPUtime=1.77 cores=1,3,5,7
/proc/6864/task/6874/stat : 6874 (java) S 6862 6862 2709 0 -1 1077944384 12683 0 0 0 176 1 0 0 20 0 15 0 229521853 14427463680 41038 33554432000 4194304 4196468 140725113950896 140265064319856 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6875] ppid=6862 vsize=14089320 memory=1452 CPUtime=1.93 cores=1,3,5,7
/proc/6864/task/6875/stat : 6875 (java) S 6862 6862 2709 0 -1 1077944384 15023 0 0 0 192 1 0 0 20 0 15 0 229521853 14427463680 41038 33554432000 4194304 4196468 140725113950896 140265063267056 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6876] ppid=6862 vsize=14089320 memory=924 CPUtime=0.55 cores=1,3,5,7
/proc/6864/task/6876/stat : 6876 (java) S 6862 6862 2709 0 -1 1077944384 11010 0 0 0 54 1 0 0 20 0 15 0 229521853 14427463680 41038 33554432000 4194304 4196468 140725113950896 140265062214256 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6877] ppid=6862 vsize=14089320 memory=2192 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6877/stat : 6877 (java) S 6862 6862 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229521854 14427463680 41038 33554432000 4194304 4196468 140725113950896 140265061161696 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6878] ppid=6862 vsize=14089320 memory=164152 CPUtime=0.47 cores=1,3,5,7
/proc/6864/task/6878/stat : 6878 (java) S 6862 6862 2709 0 -1 1077944384 941 0 0 0 17 30 0 0 20 0 15 0 229521854 14427463680 41038 33554432000 4194304 4196468 140725113950896 140265060108976 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
Current children cumulated CPU time: 2387.65 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 165604 KiB
[startup+2442.3 s]
/proc/loadavg: 1.52 1.53 1.60 3/218 7115
/proc/meminfo: memFree=15258904/32770624 swapFree=67108792/67108860
[pid=6862] ppid=6859 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6862/stat : 6862 (xcsp3-exec) S 6859 6862 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229521848 115843072 363 33554432000 4194304 5098028 140736974787488 140736974785592 139779969688188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13418496 140736974791739 140736974791940 140736974791940 140736974794698 0
/proc/6862/statm: 28282 363 305 221 0 87 0
[pid=6864] ppid=6862 vsize=14089320 memory=164152 CPUtime=2447.7 cores=1,3,5,7
/proc/6864/stat : 6864 (java) S 6862 6862 2709 0 -1 1077944320 73384 0 0 0 244725 45 0 0 20 0 15 0 229521848 14427463680 41038 33554432000 4194304 4196468 140725113950896 140725113933440 140266156121847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
/proc/6864/statm: 3522330 41038 3414 1 0 3483524 0
[pid=6864/tid=6865] ppid=6862 vsize=14089320 memory=164152 CPUtime=2441.52 cores=1,3,5,7
/proc/6864/task/6865/stat : 6865 (java) R 6862 6862 2709 0 -1 4202560 18631 0 0 0 244147 5 0 0 20 0 15 0 229521848 14427463680 41038 33554432000 4194304 4196468 140725113950896 140266160361312 140265796888593 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6866] ppid=6862 vsize=14089320 memory=164152 CPUtime=0.26 cores=1,3,5,7
/proc/6864/task/6866/stat : 6866 (java) S 6862 6862 2709 0 -1 1077944384 886 0 0 0 25 1 0 0 20 0 15 0 229521849 14427463680 41038 33554432000 4194304 4196468 140725113950896 140266117082256 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6867] ppid=6862 vsize=14089320 memory=164152 CPUtime=0.27 cores=1,3,5,7
/proc/6864/task/6867/stat : 6867 (java) S 6862 6862 2709 0 -1 1077944384 3827 0 0 0 25 2 0 0 20 0 15 0 229521849 14427463680 41038 33554432000 4194304 4196468 140725113950896 140265751030800 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6868] ppid=6862 vsize=14089320 memory=164152 CPUtime=0.26 cores=1,3,5,7
/proc/6864/task/6868/stat : 6868 (java) S 6862 6862 2709 0 -1 1077944384 2906 0 0 0 23 3 0 0 20 0 15 0 229521849 14427463680 41038 33554432000 4194304 4196468 140725113950896 140265749978000 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6869] ppid=6862 vsize=14089320 memory=164152 CPUtime=0.26 cores=1,3,5,7
/proc/6864/task/6869/stat : 6869 (java) S 6862 6862 2709 0 -1 1077944384 2196 0 0 0 24 2 0 0 20 0 15 0 229521849 14427463680 41038 33554432000 4194304 4196468 140725113950896 140265748925200 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6870] ppid=6862 vsize=14089320 memory=164152 CPUtime=0.3 cores=1,3,5,7
/proc/6864/task/6870/stat : 6870 (java) S 6862 6862 2709 0 -1 1077944384 3779 0 0 0 26 4 0 0 20 0 15 0 229521850 14427463680 41038 33554432000 4194304 4196468 140725113950896 140265068530032 140266156132994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6871] ppid=6862 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6871/stat : 6871 (java) S 6862 6862 2709 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 229521851 14427463680 41038 33554432000 4194304 4196468 140725113950896 140265067476000 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6872] ppid=6862 vsize=14089320 memory=164152 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6872/stat : 6872 (java) S 6862 6862 2709 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 229521851 14427463680 41038 33554432000 4194304 4196468 140725113950896 140265066423152 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6873] ppid=6862 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6873/stat : 6873 (java) S 6862 6862 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229521853 14427463680 41038 33554432000 4194304 4196468 140725113950896 140265065371472 140266156140443 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6874] ppid=6862 vsize=14089320 memory=1452 CPUtime=1.77 cores=1,3,5,7
/proc/6864/task/6874/stat : 6874 (java) S 6862 6862 2709 0 -1 1077944384 12683 0 0 0 176 1 0 0 20 0 15 0 229521853 14427463680 41038 33554432000 4194304 4196468 140725113950896 140265064319856 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6875] ppid=6862 vsize=14089320 memory=164152 CPUtime=1.94 cores=1,3,5,7
/proc/6864/task/6875/stat : 6875 (java) S 6862 6862 2709 0 -1 1077944384 15165 0 0 0 193 1 0 0 20 0 15 0 229521853 14427463680 41038 33554432000 4194304 4196468 140725113950896 140265063267056 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6876] ppid=6862 vsize=14089320 memory=288230574492221466 CPUtime=0.55 cores=1,3,5,7
/proc/6864/task/6876/stat : 6876 (java) S 6862 6862 2709 0 -1 1077944384 11010 0 0 0 54 1 0 0 20 0 15 0 229521853 14427463680 41038 33554432000 4194304 4196468 140725113950896 140265062214256 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6877] ppid=6862 vsize=14089320 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6877/stat : 6877 (java) S 6862 6862 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229521854 14427463680 41038 33554432000 4194304 4196468 140725113950896 140265061161696 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6878] ppid=6862 vsize=14089320 memory=1452 CPUtime=0.48 cores=1,3,5,7
/proc/6864/task/6878/stat : 6878 (java) S 6862 6862 2709 0 -1 1077944384 945 0 0 0 17 31 0 0 20 0 15 0 229521854 14427463680 41038 33554432000 4194304 4196468 140725113950896 140265060108976 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
Current children cumulated CPU time: 2447.7 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 165604 KiB
[startup+2502.3 s]
/proc/loadavg: 1.67 1.56 1.60 3/219 7138
/proc/meminfo: memFree=15255772/32770624 swapFree=67108792/67108860
[pid=6862] ppid=6859 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6862/stat : 6862 (xcsp3-exec) S 6859 6862 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229521848 115843072 363 33554432000 4194304 5098028 140736974787488 140736974785592 139779969688188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13418496 140736974791739 140736974791940 140736974791940 140736974794698 0
/proc/6862/statm: 28282 363 305 221 0 87 0
[pid=6864] ppid=6862 vsize=14089320 memory=166200 CPUtime=2507.75 cores=1,3,5,7
/proc/6864/stat : 6864 (java) S 6862 6862 2709 0 -1 1077944320 74119 0 0 0 250728 47 0 0 20 0 15 0 229521848 14427463680 41550 33554432000 4194304 4196468 140725113950896 140725113933440 140266156121847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
/proc/6864/statm: 3522330 41550 3414 1 0 3483524 0
[pid=6864/tid=6865] ppid=6862 vsize=14089320 memory=166200 CPUtime=2501.5 cores=1,3,5,7
/proc/6864/task/6865/stat : 6865 (java) R 6862 6862 2709 0 -1 4202560 18847 0 0 0 250144 6 0 0 20 0 15 0 229521848 14427463680 41550 33554432000 4194304 4196468 140725113950896 140266160361328 140265796888540 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6866] ppid=6862 vsize=14089320 memory=166200 CPUtime=0.27 cores=1,3,5,7
/proc/6864/task/6866/stat : 6866 (java) S 6862 6862 2709 0 -1 1077944384 892 0 0 0 26 1 0 0 20 0 15 0 229521849 14427463680 41550 33554432000 4194304 4196468 140725113950896 140266117082256 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6867] ppid=6862 vsize=14089320 memory=166200 CPUtime=0.28 cores=1,3,5,7
/proc/6864/task/6867/stat : 6867 (java) S 6862 6862 2709 0 -1 1077944384 3850 0 0 0 26 2 0 0 20 0 15 0 229521849 14427463680 41550 33554432000 4194304 4196468 140725113950896 140265751030800 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6868] ppid=6862 vsize=14089320 memory=166200 CPUtime=0.26 cores=1,3,5,7
/proc/6864/task/6868/stat : 6868 (java) S 6862 6862 2709 0 -1 1077944384 2965 0 0 0 23 3 0 0 20 0 15 0 229521849 14427463680 41550 33554432000 4194304 4196468 140725113950896 140265749978000 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6869] ppid=6862 vsize=14089320 memory=166200 CPUtime=0.27 cores=1,3,5,7
/proc/6864/task/6869/stat : 6869 (java) S 6862 6862 2709 0 -1 1077944384 2475 0 0 0 25 2 0 0 20 0 15 0 229521849 14427463680 41550 33554432000 4194304 4196468 140725113950896 140265748925200 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6870] ppid=6862 vsize=14089320 memory=166200 CPUtime=0.31 cores=1,3,5,7
/proc/6864/task/6870/stat : 6870 (java) S 6862 6862 2709 0 -1 1077944384 3919 0 0 0 27 4 0 0 20 0 15 0 229521850 14427463680 41550 33554432000 4194304 4196468 140725113950896 140265068530032 140266156132994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6871] ppid=6862 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6871/stat : 6871 (java) S 6862 6862 2709 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 229521851 14427463680 41550 33554432000 4194304 4196468 140725113950896 140265067476000 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6872] ppid=6862 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6872/stat : 6872 (java) S 6862 6862 2709 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 229521851 14427463680 41550 33554432000 4194304 4196468 140725113950896 140265066423152 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6873] ppid=6862 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6873/stat : 6873 (java) S 6862 6862 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229521853 14427463680 41550 33554432000 4194304 4196468 140725113950896 140265065371472 140266156140443 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6874] ppid=6862 vsize=14089320 memory=1452 CPUtime=1.77 cores=1,3,5,7
/proc/6864/task/6874/stat : 6874 (java) S 6862 6862 2709 0 -1 1077944384 12685 0 0 0 176 1 0 0 20 0 15 0 229521853 14427463680 41550 33554432000 4194304 4196468 140725113950896 140265064319856 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6875] ppid=6862 vsize=14089320 memory=166200 CPUtime=1.94 cores=1,3,5,7
/proc/6864/task/6875/stat : 6875 (java) S 6862 6862 2709 0 -1 1077944384 15167 0 0 0 193 1 0 0 20 0 15 0 229521853 14427463680 41550 33554432000 4194304 4196468 140725113950896 140265063267056 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6876] ppid=6862 vsize=14089320 memory=1452 CPUtime=0.55 cores=1,3,5,7
/proc/6864/task/6876/stat : 6876 (java) S 6862 6862 2709 0 -1 1077944384 11012 0 0 0 54 1 0 0 20 0 15 0 229521853 14427463680 41550 33554432000 4194304 4196468 140725113950896 140265062214256 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6877] ppid=6862 vsize=14089320 memory=166200 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6877/stat : 6877 (java) S 6862 6862 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229521854 14427463680 41550 33554432000 4194304 4196468 140725113950896 140265061161696 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6878] ppid=6862 vsize=14089320 memory=166200 CPUtime=0.49 cores=1,3,5,7
/proc/6864/task/6878/stat : 6878 (java) S 6862 6862 2709 0 -1 1077944384 951 0 0 0 18 31 0 0 20 0 15 0 229521854 14427463680 41550 33554432000 4194304 4196468 140725113950896 140265060108976 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
Current children cumulated CPU time: 2507.75 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 167652 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514.6 s]
/proc/loadavg: 1.72 1.57 1.61 3/219 7139
/proc/meminfo: memFree=15256132/32770624 swapFree=67108792/67108860
[pid=6862] ppid=6859 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6862/stat : 6862 (xcsp3-exec) S 6859 6862 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229521848 115843072 363 33554432000 4194304 5098028 140736974787488 140736974785592 139779969688188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13418496 140736974791739 140736974791940 140736974791940 140736974794698 0
/proc/6862/statm: 28282 363 305 221 0 87 0
[pid=6864] ppid=6862 vsize=14089320 memory=166200 CPUtime=2520.06 cores=1,3,5,7
/proc/6864/stat : 6864 (java) S 6862 6862 2709 0 -1 1077944320 74136 0 0 0 251959 47 0 0 20 0 15 0 229521848 14427463680 41550 33554432000 4194304 4196468 140725113950896 140725113933440 140266156121847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
/proc/6864/statm: 3522330 41550 3414 1 0 3483524 0
[pid=6864/tid=6865] ppid=6862 vsize=14089320 memory=14976667764394579 CPUtime=2513.79 cores=1,3,5,7
/proc/6864/task/6865/stat : 6865 (java) R 6862 6862 2709 0 -1 4202560 18860 0 0 0 251373 6 0 0 20 0 15 0 229521848 14427463680 41550 33554432000 4194304 4196468 140725113950896 140266160361328 140265796914552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6866] ppid=6862 vsize=14089320 memory=808 CPUtime=0.27 cores=1,3,5,7
/proc/6864/task/6866/stat : 6866 (java) S 6862 6862 2709 0 -1 1077944384 892 0 0 0 26 1 0 0 20 0 15 0 229521849 14427463680 41550 33554432000 4194304 4196468 140725113950896 140266117082256 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6867] ppid=6862 vsize=14089320 memory=1696 CPUtime=0.28 cores=1,3,5,7
/proc/6864/task/6867/stat : 6867 (java) S 6862 6862 2709 0 -1 1077944384 3854 0 0 0 26 2 0 0 20 0 15 0 229521849 14427463680 41550 33554432000 4194304 4196468 140725113950896 140265751030800 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6868] ppid=6862 vsize=14089320 memory=920 CPUtime=0.27 cores=1,3,5,7
/proc/6864/task/6868/stat : 6868 (java) S 6862 6862 2709 0 -1 1077944384 2965 0 0 0 24 3 0 0 20 0 15 0 229521849 14427463680 41550 33554432000 4194304 4196468 140725113950896 140265749978000 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6869] ppid=6862 vsize=14089320 memory=3848 CPUtime=0.27 cores=1,3,5,7
/proc/6864/task/6869/stat : 6869 (java) S 6862 6862 2709 0 -1 1077944384 2475 0 0 0 25 2 0 0 20 0 15 0 229521849 14427463680 41550 33554432000 4194304 4196468 140725113950896 140265748925200 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6870] ppid=6862 vsize=14089320 memory=1620 CPUtime=0.31 cores=1,3,5,7
/proc/6864/task/6870/stat : 6870 (java) S 6862 6862 2709 0 -1 1077944384 3919 0 0 0 27 4 0 0 20 0 15 0 229521850 14427463680 41550 33554432000 4194304 4196468 140725113950896 140265068530032 140266156132994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6871] ppid=6862 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6871/stat : 6871 (java) S 6862 6862 2709 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 229521851 14427463680 41550 33554432000 4194304 4196468 140725113950896 140265067476000 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6872] ppid=6862 vsize=14089320 memory=166200 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6872/stat : 6872 (java) S 6862 6862 2709 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 229521851 14427463680 41550 33554432000 4194304 4196468 140725113950896 140265066423152 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6873] ppid=6862 vsize=14089320 memory=7668954370464627011 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6873/stat : 6873 (java) S 6862 6862 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229521853 14427463680 41550 33554432000 4194304 4196468 140725113950896 140265065371472 140266156140443 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6874] ppid=6862 vsize=14089320 memory=-7003737579269690708 CPUtime=1.77 cores=1,3,5,7
/proc/6864/task/6874/stat : 6874 (java) S 6862 6862 2709 0 -1 1077944384 12685 0 0 0 176 1 0 0 20 0 15 0 229521853 14427463680 41550 33554432000 4194304 4196468 140725113950896 140265064319856 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6875] ppid=6862 vsize=14089320 memory=1572 CPUtime=1.94 cores=1,3,5,7
/proc/6864/task/6875/stat : 6875 (java) S 6862 6862 2709 0 -1 1077944384 15167 0 0 0 193 1 0 0 20 0 15 0 229521853 14427463680 41550 33554432000 4194304 4196468 140725113950896 140265063267056 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6876] ppid=6862 vsize=14089320 memory=924 CPUtime=0.55 cores=1,3,5,7
/proc/6864/task/6876/stat : 6876 (java) S 6862 6862 2709 0 -1 1077944384 11012 0 0 0 54 1 0 0 20 0 15 0 229521853 14427463680 41550 33554432000 4194304 4196468 140725113950896 140265062214256 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6877] ppid=6862 vsize=14089320 memory=2192 CPUtime=0 cores=1,3,5,7
/proc/6864/task/6877/stat : 6877 (java) S 6862 6862 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229521854 14427463680 41550 33554432000 4194304 4196468 140725113950896 140265061161696 140266156132053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
[pid=6864/tid=6878] ppid=6862 vsize=14089320 memory=1452 CPUtime=0.5 cores=1,3,5,7
/proc/6864/task/6878/stat : 6878 (java) S 6862 6862 2709 0 -1 1077944384 951 0 0 0 18 32 0 0 20 0 15 0 229521854 14427463680 41550 33554432000 4194304 4196468 140725113950896 140265060108976 140266156132994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 25677824 140725113959558 140725113959729 140725113959729 140725113962447 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 167652 KiB
Sending SIGTERM to process tree (bottom up)
[startup+2514.61 s]
# the end of solver process 6862 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.6 s, system=0.479163 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2514.61
CPU time (s): 2520.08
CPU user time (s): 2519.6
CPU system time (s): 0.479163
CPU usage (%): 100.217
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 204564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.6
system time used= 0.479163
maximum resident set size= 207716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74908
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64701
involuntary context switches= 938
# summary of solver processes directly reported to runsolver:
# pid: 6862
# total CPU time (s): 2520.08
# total CPU user time (s): 2519.6
# total CPU system time (s): 0.479163
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0807 second user time and 24.305 second system time
The end