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 (14241 MiB free)
memory of node 1: 16384 MiB (12916 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272540-1502814685/watcher-4272540-1502814685 -o /tmp/evaluation-result-4272540-1502814685/solver-4272540-1502814685 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502793297-5949 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 670443125 HOME/instance-4272540-1502814685.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
Current StackSize limit: 8192 KiB
solver pid=10008, runsolver pid=10005
[startup+0.100167 s]*
/proc/loadavg: 1.98 1.91 1.89 4/217 10024
/proc/meminfo: memFree=27792660/32770624 swapFree=67108860/67108860
[pid=10008] ppid=10005 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10008/stat : 10008 (xcsp3-exec) S 10005 10008 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114556579 9740288 346 33554432000 4194304 5098028 140722707374848 140722707372952 140256777577084 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16527360 140722707379311 140722707379515 140722707379515 140722707382251 0
/proc/10008/statm: 2378 346 289 221 0 87 0
[pid=10010] ppid=10008 vsize=13978596 memory=28296 CPUtime=0.12 cores=0,2,4,6
/proc/10010/stat : 10010 (java) S 10008 10008 5918 0 -1 1077944320 5373 0 0 0 11 1 0 0 20 0 15 0 114556580 14314082304 7074 33554432000 4194304 4196468 140725177913680 140725177896224 140046898196215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
/proc/10010/statm: 3494649 7074 2894 1 0 3482966 0
[pid=10010/tid=10011] ppid=10008 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/10010/task/10011/stat : 10011 (java) R 10008 10008 5918 0 -1 4202560 3378 0 0 0 8 0 0 0 20 0 15 0 114556580 14314082304 7074 33554432000 4194304 4196468 140725177913680 140046902421936 140046898208150 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10012] ppid=10008 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10012/stat : 10012 (java) S 10008 10008 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114556581 14314082304 7074 33554432000 4194304 4196468 140725177913680 140046813264784 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10013] ppid=10008 vsize=13978596 memory=140011769669248 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10013/stat : 10013 (java) S 10008 10008 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114556581 14314082304 7074 33554432000 4194304 4196468 140725177913680 140046812211984 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10014] ppid=10008 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10014/stat : 10014 (java) S 10008 10008 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114556581 14314082304 7074 33554432000 4194304 4196468 140725177913680 140046811159696 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10015] ppid=10008 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10015/stat : 10015 (java) S 10008 10008 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114556581 14314082304 7074 33554432000 4194304 4196468 140725177913680 140046810106896 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10016] ppid=10008 vsize=13978596 memory=140011769669248 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10016/stat : 10016 (java) S 10008 10008 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114556582 14314082304 7074 33554432000 4194304 4196468 140725177913680 140046079051888 140046898207362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10017] ppid=10008 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10017/stat : 10017 (java) S 10008 10008 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114556583 14314082304 7074 33554432000 4194304 4196468 140725177913680 140046077997856 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10018] ppid=10008 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10018/stat : 10018 (java) S 10008 10008 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114556583 14314082304 7074 33554432000 4194304 4196468 140725177913680 140046076945520 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10019] ppid=10008 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10019/stat : 10019 (java) S 10008 10008 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114556585 14314082304 7074 33554432000 4194304 4196468 140725177913680 140046075893840 140046898214811 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10020] ppid=10008 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10020/stat : 10020 (java) S 10008 10008 5918 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 114556585 14314082304 7074 33554432000 4194304 4196468 140725177913680 140046074841712 140046898207362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10021] ppid=10008 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10021/stat : 10021 (java) S 10008 10008 5918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114556585 14314082304 7074 33554432000 4194304 4196468 140725177913680 140046073788912 140046898207362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10022] ppid=10008 vsize=13978596 memory=140011769669248 CPUtime=0.01 cores=0,2,4,6
/proc/10010/task/10022/stat : 10022 (java) R 10008 10008 5918 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 15 0 114556585 14314082304 7074 33554432000 4194304 4196468 140725177913680 140046072736624 140046883361761 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10023] ppid=10008 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10023/stat : 10023 (java) S 10008 10008 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114556585 14314082304 7074 33554432000 4194304 4196468 140725177913680 140046071684064 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10024] ppid=10008 vsize=13978596 memory=140011769669248 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10024/stat : 10024 (java) S 10008 10008 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114556586 14314082304 7074 33554432000 4194304 4196468 140725177913680 140046070630832 140046898207362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29680 KiB
[startup+0.210769 s]*
/proc/loadavg: 1.98 1.91 1.89 3/217 10024
/proc/meminfo: memFree=27782024/32770624 swapFree=67108860/67108860
[pid=10008] ppid=10005 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10008/stat : 10008 (xcsp3-exec) S 10005 10008 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114556579 9740288 346 33554432000 4194304 5098028 140722707374848 140722707372952 140256777577084 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16527360 140722707379311 140722707379515 140722707379515 140722707382251 0
/proc/10008/statm: 2378 346 289 221 0 87 0
[pid=10010] ppid=10008 vsize=13982884 memory=40296 CPUtime=0.35 cores=0,2,4,6
/proc/10010/stat : 10010 (java) S 10008 10008 5918 0 -1 1077944320 8139 0 0 0 33 2 0 0 20 0 15 0 114556580 14318473216 10074 33554432000 4194304 4196468 140725177913680 140725177896224 140046898196215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
/proc/10010/statm: 3495721 10074 3039 1 0 3482974 0
[pid=10010/tid=10011] ppid=10008 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/10010/task/10011/stat : 10011 (java) D 10008 10008 5918 0 -1 1077944384 5348 0 0 0 18 1 0 0 20 0 15 0 114556580 14318440448 10074 33554432000 4194304 4196468 140725177913680 140046902397936 140046890875437 0 4 0 16800975 18446744072101617188 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10012] ppid=10008 vsize=13982852 memory=12474 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10012/stat : 10012 (java) S 10008 10008 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114556581 14318440448 10074 33554432000 4194304 4196468 140725177913680 140046813264784 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10013] ppid=10008 vsize=13982852 memory=140011770233258 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10013/stat : 10013 (java) S 10008 10008 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114556581 14318440448 10074 33554432000 4194304 4196468 140725177913680 140046812211984 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10014] ppid=10008 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10014/stat : 10014 (java) S 10008 10008 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114556581 14318473216 10074 33554432000 4194304 4196468 140725177913680 140046811159696 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10015] ppid=10008 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10015/stat : 10015 (java) S 10008 10008 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114556581 14318473216 10074 33554432000 4194304 4196468 140725177913680 140046810106896 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10016] ppid=10008 vsize=13982852 memory=140011769669248 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10016/stat : 10016 (java) S 10008 10008 5918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114556582 14318440448 10074 33554432000 4194304 4196468 140725177913680 140046079051888 140046898207362 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10017] ppid=10008 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10017/stat : 10017 (java) S 10008 10008 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114556583 14318440448 10074 33554432000 4194304 4196468 140725177913680 140046077997856 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10018] ppid=10008 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10018/stat : 10018 (java) S 10008 10008 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114556583 14318440448 10074 33554432000 4194304 4196468 140725177913680 140046076945520 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10019] ppid=10008 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10019/stat : 10019 (java) S 10008 10008 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114556585 14318440448 10074 33554432000 4194304 4196468 140725177913680 140046075893840 140046898214811 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10020] ppid=10008 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10010/task/10020/stat : 10020 (java) S 10008 10008 5918 0 -1 1077944384 524 0 0 0 2 0 0 0 20 0 15 0 114556585 14318440448 10074 33554432000 4194304 4196468 140725177913680 140046074841712 140046898207362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10021] ppid=10008 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10010/task/10021/stat : 10021 (java) S 10008 10008 5918 0 -1 1077944384 240 0 0 0 2 0 0 0 20 0 15 0 114556585 14318440448 10074 33554432000 4194304 4196468 140725177913680 140046073788912 140046898207362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10022] ppid=10008 vsize=13982852 memory=140011769669248 CPUtime=0.08 cores=0,2,4,6
/proc/10010/task/10022/stat : 10022 (java) S 10008 10008 5918 0 -1 1077944384 728 0 0 0 8 0 0 0 20 0 15 0 114556585 14318440448 10074 33554432000 4194304 4196468 140725177913680 140046072736624 140046898207362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10023] ppid=10008 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10023/stat : 10023 (java) S 10008 10008 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114556585 14318473216 10074 33554432000 4194304 4196468 140725177913680 140046071684064 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10024] ppid=10008 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10024/stat : 10024 (java) S 10008 10008 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114556586 14318473216 10074 33554432000 4194304 4196468 140725177913680 140046070630832 140046898207362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 13992396 KiB
Current children cumulated memory: 41680 KiB
[startup+0.318447 s]*
/proc/loadavg: 1.98 1.91 1.89 4/217 10024
/proc/meminfo: memFree=27773340/32770624 swapFree=67108860/67108860
[pid=10008] ppid=10005 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10008/stat : 10008 (xcsp3-exec) S 10005 10008 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114556579 9740288 346 33554432000 4194304 5098028 140722707374848 140722707372952 140256777577084 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16527360 140722707379311 140722707379515 140722707379515 140722707382251 0
/proc/10008/statm: 2378 346 289 221 0 87 0
[pid=10010] ppid=10008 vsize=13982928 memory=48528 CPUtime=0.52 cores=0,2,4,6
/proc/10010/stat : 10010 (java) S 10008 10008 5918 0 -1 1077944320 9260 0 0 0 50 2 0 0 20 0 15 0 114556580 14318518272 12132 33554432000 4194304 4196468 140725177913680 140725177896224 140046898196215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
/proc/10010/statm: 3495732 12132 3137 1 0 3482966 0
[pid=10010/tid=10011] ppid=10008 vsize=13982928 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/10010/task/10011/stat : 10011 (java) R 10008 10008 5918 0 -1 4202560 6115 0 0 0 28 2 0 0 20 0 15 0 114556580 14318518272 12143 33554432000 4194304 4196468 140725177913680 140046902428544 140046882276702 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10012] ppid=10008 vsize=13982928 memory=12804 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10012/stat : 10012 (java) S 10008 10008 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114556581 14318518272 12143 33554432000 4194304 4196468 140725177913680 140046813264784 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10013] ppid=10008 vsize=13982928 memory=571526 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10013/stat : 10013 (java) S 10008 10008 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114556581 14318518272 12143 33554432000 4194304 4196468 140725177913680 140046812211984 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10014] ppid=10008 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10014/stat : 10014 (java) S 10008 10008 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114556581 14318518272 12143 33554432000 4194304 4196468 140725177913680 140046811159696 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10015] ppid=10008 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10015/stat : 10015 (java) S 10008 10008 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114556581 14318518272 12143 33554432000 4194304 4196468 140725177913680 140046810106896 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10016] ppid=10008 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10016/stat : 10016 (java) S 10008 10008 5918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114556582 14318518272 12143 33554432000 4194304 4196468 140725177913680 140046079051888 140046898207362 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10017] ppid=10008 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10017/stat : 10017 (java) S 10008 10008 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114556583 14318518272 12143 33554432000 4194304 4196468 140725177913680 140046077997856 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10018] ppid=10008 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10018/stat : 10018 (java) S 10008 10008 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114556583 14318518272 12143 33554432000 4194304 4196468 140725177913680 140046076945520 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10019] ppid=10008 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10019/stat : 10019 (java) S 10008 10008 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114556585 14318518272 12143 33554432000 4194304 4196468 140725177913680 140046075893840 140046898214811 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10020] ppid=10008 vsize=13982928 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/10010/task/10020/stat : 10020 (java) S 10008 10008 5918 0 -1 1077944384 631 0 0 0 3 0 0 0 20 0 15 0 114556585 14318518272 12143 33554432000 4194304 4196468 140725177913680 140046074841712 140046898207362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10021] ppid=10008 vsize=13982928 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10010/task/10021/stat : 10021 (java) S 10008 10008 5918 0 -1 1077944384 346 0 0 0 4 0 0 0 20 0 15 0 114556585 14318518272 12143 33554432000 4194304 4196468 140725177913680 140046073788912 140046898207362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10022] ppid=10008 vsize=13982928 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/10010/task/10022/stat : 10022 (java) S 10008 10008 5918 0 -1 1077944384 866 0 0 0 14 0 0 0 20 0 15 0 114556585 14318518272 12143 33554432000 4194304 4196468 140725177913680 140046072736624 140046898207362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10023] ppid=10008 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10023/stat : 10023 (java) S 10008 10008 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114556585 14318518272 12143 33554432000 4194304 4196468 140725177913680 140046071684064 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10024] ppid=10008 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10024/stat : 10024 (java) S 10008 10008 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114556586 14318518272 12143 33554432000 4194304 4196468 140725177913680 140046070630832 140046898207362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49912 KiB
[startup+0.701847 s]
/proc/loadavg: 1.98 1.91 1.89 3/217 10024
/proc/meminfo: memFree=27761676/32770624 swapFree=67108860/67108860
[pid=10008] ppid=10005 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10008/stat : 10008 (xcsp3-exec) S 10005 10008 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114556579 9740288 346 33554432000 4194304 5098028 140722707374848 140722707372952 140256777577084 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16527360 140722707379311 140722707379515 140722707379515 140722707382251 0
/proc/10008/statm: 2378 346 289 221 0 87 0
[pid=10010] ppid=10008 vsize=13984976 memory=85532 CPUtime=1.44 cores=0,2,4,6
/proc/10010/stat : 10010 (java) S 10008 10008 5918 0 -1 1077944320 11486 0 0 0 140 4 0 0 20 0 15 0 114556580 14320615424 21383 33554432000 4194304 4196468 140725177913680 140725177896224 140046898196215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
/proc/10010/statm: 3496244 21383 3199 1 0 3483478 0
[pid=10010/tid=10011] ppid=10008 vsize=13984976 memory=4044 CPUtime=0.68 cores=0,2,4,6
/proc/10010/task/10011/stat : 10011 (java) R 10008 10008 5918 0 -1 4202560 6573 0 0 0 65 3 0 0 20 0 15 0 114556580 14320615424 21383 33554432000 4194304 4196468 140725177913680 140046902432784 140046485450238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10012] ppid=10008 vsize=13984976 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10012/stat : 10012 (java) S 10008 10008 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114556581 14320615424 21383 33554432000 4194304 4196468 140725177913680 140046813264784 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10013] ppid=10008 vsize=13984976 memory=636 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10013/stat : 10013 (java) S 10008 10008 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114556581 14320615424 21383 33554432000 4194304 4196468 140725177913680 140046812211984 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10014] ppid=10008 vsize=13984976 memory=956 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10014/stat : 10014 (java) S 10008 10008 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114556581 14320615424 21383 33554432000 4194304 4196468 140725177913680 140046811159696 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10015] ppid=10008 vsize=13984976 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10015/stat : 10015 (java) S 10008 10008 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114556581 14320615424 21383 33554432000 4194304 4196468 140725177913680 140046810106896 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10016] ppid=10008 vsize=13984976 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10016/stat : 10016 (java) S 10008 10008 5918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114556582 14320615424 21383 33554432000 4194304 4196468 140725177913680 140046079051888 140046898207362 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10017] ppid=10008 vsize=13984976 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10017/stat : 10017 (java) S 10008 10008 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114556583 14320615424 21383 33554432000 4194304 4196468 140725177913680 140046077997856 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10018] ppid=10008 vsize=13984976 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10018/stat : 10018 (java) S 10008 10008 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114556583 14320615424 21383 33554432000 4194304 4196468 140725177913680 140046076945520 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10019] ppid=10008 vsize=13984976 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10019/stat : 10019 (java) S 10008 10008 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114556585 14320615424 21383 33554432000 4194304 4196468 140725177913680 140046075893840 140046898214811 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10020] ppid=10008 vsize=13984976 memory=932 CPUtime=0.21 cores=0,2,4,6
/proc/10010/task/10020/stat : 10020 (java) R 10008 10008 5918 0 -1 4202560 1208 0 0 0 21 0 0 0 20 0 15 0 114556585 14320615424 21383 33554432000 4194304 4196468 140725177913680 140046074822728 140046898217562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10021] ppid=10008 vsize=13984976 memory=2200 CPUtime=0.23 cores=0,2,4,6
/proc/10010/task/10021/stat : 10021 (java) R 10008 10008 5918 0 -1 1077944384 831 0 0 0 23 0 0 0 20 0 15 0 114556585 14320615424 21383 33554432000 4194304 4196468 140725177913680 140046073775760 140046898206421 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10022] ppid=10008 vsize=13984976 memory=6504 CPUtime=0.3 cores=0,2,4,6
/proc/10010/task/10022/stat : 10022 (java) R 10008 10008 5918 0 -1 4202560 1566 0 0 0 30 0 0 0 20 0 15 0 114556585 14320615424 21383 33554432000 4194304 4196468 140725177913680 140046072736624 140046876184571 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10023] ppid=10008 vsize=13984976 memory=840 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10023/stat : 10023 (java) S 10008 10008 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114556585 14320615424 21383 33554432000 4194304 4196468 140725177913680 140046071684064 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10024] ppid=10008 vsize=13984976 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10024/stat : 10024 (java) S 10008 10008 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114556586 14320615424 21383 33554432000 4194304 4196468 140725177913680 140046070630832 140046898207362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 86916 KiB
[startup+1.50081 s]
/proc/loadavg: 1.98 1.91 1.89 5/217 10024
/proc/meminfo: memFree=27709104/32770624 swapFree=67108860/67108860
[pid=10008] ppid=10005 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10008/stat : 10008 (xcsp3-exec) S 10005 10008 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114556579 9740288 346 33554432000 4194304 5098028 140722707374848 140722707372952 140256777577084 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16527360 140722707379311 140722707379515 140722707379515 140722707382251 0
/proc/10008/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/10008/stat : 10008 (xcsp3-exec) S 10005 10008 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114556579 9740288 346 33554432000 4194304 5098028 140722707374848 140722707372952 140256777577084 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16527360 140722707379311 140722707379515 140722707379515 140722707382251 0
/proc/10008/statm: 2378 346 289 221 0 87 0
[pid=10010] ppid=10008 vsize=13984976 memory=180872 CPUtime=4.27 cores=0,2,4,6
/proc/10010/stat : 10010 (java) S 10008 10008 5918 0 -1 1077944320 26704 0 0 0 419 8 0 0 20 0 15 0 114556580 14320615424 45218 33554432000 4194304 4196468 140725177913680 140725177896224 140046898196215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
/proc/10010/statm: 3496244 45218 3213 1 0 3483478 0
[pid=10010/tid=10011] ppid=10008 vsize=13984976 memory=0 CPUtime=1.57 cores=0,2,4,6
/proc/10010/task/10011/stat : 10011 (java) R 10008 10008 5918 0 -1 4202560 7195 0 0 0 154 3 0 0 20 0 15 0 114556580 14320615424 45218 33554432000 4194304 4196468 140725177913680 140046902434696 140046879759771 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10012] ppid=10008 vsize=13984976 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10012/stat : 10012 (java) S 10008 10008 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114556581 14320615424 45218 33554432000 4194304 4196468 140725177913680 140046813264784 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10013] ppid=10008 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10013/stat : 10013 (java) S 10008 10008 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114556581 14320615424 45218 33554432000 4194304 4196468 140725177913680 140046812211984 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10014] ppid=10008 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10014/stat : 10014 (java) S 10008 10008 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114556581 14320615424 45218 33554432000 4194304 4196468 140725177913680 140046811159696 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10015] ppid=10008 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10015/stat : 10015 (java) S 10008 10008 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114556581 14320615424 45218 33554432000 4194304 4196468 140725177913680 140046810106896 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10016] ppid=10008 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10016/stat : 10016 (java) S 10008 10008 5918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114556582 14320615424 45218 33554432000 4194304 4196468 140725177913680 140046079051888 140046898207362 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10017] ppid=10008 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10017/stat : 10017 (java) S 10008 10008 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114556583 14320615424 45218 33554432000 4194304 4196468 140725177913680 140046077997856 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10018] ppid=10008 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10018/stat : 10018 (java) S 10008 10008 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114556583 14320615424 45218 33554432000 4194304 4196468 140725177913680 140046076945520 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10019] ppid=10008 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10019/stat : 10019 (java) S 10008 10008 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114556585 14320615424 45218 33554432000 4194304 4196468 140725177913680 140046075893840 140046898214811 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10020] ppid=10008 vsize=13984976 memory=0 CPUtime=1.07 cores=0,2,4,6
/proc/10010/task/10020/stat : 10020 (java) R 10008 10008 5918 0 -1 4202560 10580 0 0 0 105 2 0 0 20 0 15 0 114556585 14320615424 45218 33554432000 4194304 4196468 140725177913680 140046074822728 140046881695165 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10021] ppid=10008 vsize=13984976 memory=280023277904048 CPUtime=1.07 cores=0,2,4,6
/proc/10010/task/10021/stat : 10021 (java) R 10008 10008 5918 0 -1 4202560 4571 0 0 0 107 0 0 0 20 0 15 0 114556585 14320615424 45218 33554432000 4194304 4196468 140725177913680 140046073775760 140046882855351 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10022] ppid=10008 vsize=13984976 memory=12695 CPUtime=0.52 cores=0,2,4,6
/proc/10010/task/10022/stat : 10022 (java) S 10008 10008 5918 0 -1 1077944384 3048 0 0 0 51 1 0 0 20 0 15 0 114556585 14320615424 45218 33554432000 4194304 4196468 140725177913680 140046072736624 140046898207362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10023] ppid=10008 vsize=13984976 memory=24307 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10023/stat : 10023 (java) S 10008 10008 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114556585 14320615424 45218 33554432000 4194304 4196468 140725177913680 140046071684064 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10024] ppid=10008 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10024/stat : 10024 (java) S 10008 10008 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114556586 14320615424 45218 33554432000 4194304 4196468 140725177913680 140046070630832 140046898207362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
Current children cumulated CPU time: 4.27 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 182256 KiB
[startup+2.40151 s]
/proc/loadavg: 1.98 1.91 1.89 3/217 10024
/proc/meminfo: memFree=27598164/32770624 swapFree=67108860/67108860
[pid=10008] ppid=10005 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10008/stat : 10008 (xcsp3-exec) S 10005 10008 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114556579 9740288 346 33554432000 4194304 5098028 140722707374848 140722707372952 140256777577084 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16527360 140722707379311 140722707379515 140722707379515 140722707382251 0
/proc/10008/statm: 2378 346 289 221 0 87 0
[pid=10010] ppid=10008 vsize=13984976 memory=222996 CPUtime=5.75 cores=0,2,4,6
/proc/10010/stat : 10010 (java) S 10008 10008 5918 0 -1 1077944320 29080 0 0 0 566 9 0 0 20 0 15 0 114556580 14320615424 55749 33554432000 4194304 4196468 140725177913680 140725177896224 140046898196215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
/proc/10010/statm: 3496244 55749 3222 1 0 3483478 0
[pid=10010/tid=10011] ppid=10008 vsize=13984976 memory=-7449382998787278238 CPUtime=2.35 cores=0,2,4,6
/proc/10010/task/10011/stat : 10011 (java) R 10008 10008 5918 0 -1 4202560 7617 0 0 0 232 3 0 0 20 0 15 0 114556580 14320615424 55749 33554432000 4194304 4196468 140725177913680 140046902433464 140046490547989 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10012] ppid=10008 vsize=13984976 memory=-7457052372387209120 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10012/stat : 10012 (java) S 10008 10008 5918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114556581 14320615424 55749 33554432000 4194304 4196468 140725177913680 140046813264784 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10013] ppid=10008 vsize=13984976 memory=1384 CPUtime=0.01 cores=0,2,4,6
/proc/10010/task/10013/stat : 10013 (java) S 10008 10008 5918 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 15 0 114556581 14320615424 55749 33554432000 4194304 4196468 140725177913680 140046812211984 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10014] ppid=10008 vsize=13984976 memory=144312 CPUtime=0.01 cores=0,2,4,6
/proc/10010/task/10014/stat : 10014 (java) S 10008 10008 5918 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 15 0 114556581 14320615424 55749 33554432000 4194304 4196468 140725177913680 140046811159696 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10015] ppid=10008 vsize=13984976 memory=920 CPUtime=0.01 cores=0,2,4,6
/proc/10010/task/10015/stat : 10015 (java) S 10008 10008 5918 0 -1 1077944384 226 0 0 0 1 0 0 0 20 0 15 0 114556581 14320615424 55749 33554432000 4194304 4196468 140725177913680 140046810106896 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10016] ppid=10008 vsize=13984976 memory=3836 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10016/stat : 10016 (java) S 10008 10008 5918 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 114556582 14320615424 55749 33554432000 4194304 4196468 140725177913680 140046079051888 140046898207362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10017] ppid=10008 vsize=13984976 memory=2572 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10017/stat : 10017 (java) S 10008 10008 5918 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 114556583 14320615424 55749 33554432000 4194304 4196468 140725177913680 140046077997856 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10018] ppid=10008 vsize=13984976 memory=2656 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10018/stat : 10018 (java) S 10008 10008 5918 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 114556583 14320615424 55749 33554432000 4194304 4196468 140725177913680 140046076945520 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10019] ppid=10008 vsize=13984976 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10019/stat : 10019 (java) S 10008 10008 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114556585 14320615424 55749 33554432000 4194304 4196468 140725177913680 140046075893840 140046898214811 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10020] ppid=10008 vsize=13984976 memory=1160 CPUtime=1.4 cores=0,2,4,6
/proc/10010/task/10020/stat : 10020 (java) S 10008 10008 5918 0 -1 1077944384 10908 0 0 0 138 2 0 0 20 0 15 0 114556585 14320615424 55749 33554432000 4194304 4196468 140725177913680 140046074841712 140046898207362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10021] ppid=10008 vsize=13984976 memory=2776 CPUtime=1.31 cores=0,2,4,6
/proc/10010/task/10021/stat : 10021 (java) R 10008 10008 5918 0 -1 4202560 4835 0 0 0 131 0 0 0 20 0 15 0 114556585 14320615424 55749 33554432000 4194304 4196468 140725177913680 140046073789208 140046879569708 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10022] ppid=10008 vsize=13984976 memory=1384 CPUtime=0.59 cores=0,2,4,6
/proc/10010/task/10022/stat : 10022 (java) S 10008 10008 5918 0 -1 1077944384 3980 0 0 0 58 1 0 0 20 0 15 0 114556585 14320615424 55749 33554432000 4194304 4196468 140725177913680 140046072736624 140046898207362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10023] ppid=10008 vsize=13984976 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10023/stat : 10023 (java) S 10008 10008 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114556585 14320615424 55749 33554432000 4194304 4196468 140725177913680 140046071684064 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10024] ppid=10008 vsize=13984976 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10024/stat : 10024 (java) S 10008 10008 5918 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 114556586 14320615424 55749 33554432000 4194304 4196468 140725177913680 140046070630832 140046898207362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
Current children cumulated CPU time: 5.75 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 224380 KiB
[startup+2.60556 s]
/proc/loadavg: 1.98 1.91 1.89 3/217 10024
/proc/meminfo: memFree=27598164/32770624 swapFree=67108860/67108860
[pid=10008] ppid=10005 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10008/stat : 10008 (xcsp3-exec) S 10005 10008 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114556579 9740288 346 33554432000 4194304 5098028 140722707374848 140722707372952 140256777577084 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16527360 140722707379311 140722707379515 140722707379515 140722707382251 0
/proc/10008/statm: 2378 346 289 221 0 87 0
[pid=10010] ppid=10008 vsize=13984976 memory=223132 CPUtime=6.09 cores=0,2,4,6
/proc/10010/stat : 10010 (java) S 10008 10008 5918 0 -1 1077944320 29224 0 0 0 600 9 0 0 20 0 15 0 114556580 14320615424 55783 33554432000 4194304 4196468 140725177913680 140725177896224 140046898196215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
/proc/10010/statm: 3496244 55783 3224 1 0 3483478 0
[pid=10010/tid=10011] ppid=10008 vsize=13984976 memory=280023278117552 CPUtime=2.55 cores=0,2,4,6
/proc/10010/task/10011/stat : 10011 (java) R 10008 10008 5918 0 -1 4202560 7639 0 0 0 252 3 0 0 20 0 15 0 114556580 14320615424 55783 33554432000 4194304 4196468 140725177913680 140046902433464 140046490184890 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10012] ppid=10008 vsize=13984976 memory=301793952498188576 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10012/stat : 10012 (java) S 10008 10008 5918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114556581 14320615424 55783 33554432000 4194304 4196468 140725177913680 140046813264784 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10013] ppid=10008 vsize=13984976 memory=222804 CPUtime=0.01 cores=0,2,4,6
/proc/10010/task/10013/stat : 10013 (java) S 10008 10008 5918 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 15 0 114556581 14320615424 55783 33554432000 4194304 4196468 140725177913680 140046812211984 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10014] ppid=10008 vsize=13984976 memory=1384 CPUtime=0.01 cores=0,2,4,6
/proc/10010/task/10014/stat : 10014 (java) S 10008 10008 5918 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 15 0 114556581 14320615424 55783 33554432000 4194304 4196468 140725177913680 140046811159696 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10015] ppid=10008 vsize=13984976 memory=201776 CPUtime=0.01 cores=0,2,4,6
/proc/10010/task/10015/stat : 10015 (java) S 10008 10008 5918 0 -1 1077944384 226 0 0 0 1 0 0 0 20 0 15 0 114556581 14320615424 55783 33554432000 4194304 4196468 140725177913680 140046810106896 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10016] ppid=10008 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10016/stat : 10016 (java) S 10008 10008 5918 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 114556582 14320615424 55783 33554432000 4194304 4196468 140725177913680 140046079051888 140046898207362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10017] ppid=10008 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10017/stat : 10017 (java) S 10008 10008 5918 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 114556583 14320615424 55783 33554432000 4194304 4196468 140725177913680 140046077997856 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10018] ppid=10008 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10018/stat : 10018 (java) S 10008 10008 5918 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 114556583 14320615424 55783 33554432000 4194304 4196468 140725177913680 140046076945520 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10019] ppid=10008 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10019/stat : 10019 (java) S 10008 10008 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114556585 14320615424 55783 33554432000 4194304 4196468 140725177913680 140046075893840 140046898214811 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10020] ppid=10008 vsize=13984976 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/10010/task/10020/stat : 10020 (java) S 10008 10008 5918 0 -1 1077944384 10948 0 0 0 144 2 0 0 20 0 15 0 114556585 14320615424 55783 33554432000 4194304 4196468 140725177913680 140046074841712 140046898207362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10021] ppid=10008 vsize=13984976 memory=3834025922853823597 CPUtime=1.38 cores=0,2,4,6
/proc/10010/task/10021/stat : 10021 (java) R 10008 10008 5918 0 -1 4202560 4895 0 0 0 138 0 0 0 20 0 15 0 114556585 14320615424 55783 33554432000 4194304 4196468 140725177913680 140046073789208 140046881694849 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10022] ppid=10008 vsize=13984976 memory=7163656261998503506 CPUtime=0.6 cores=0,2,4,6
/proc/10010/task/10022/stat : 10022 (java) S 10008 10008 5918 0 -1 1077944384 4002 0 0 0 59 1 0 0 20 0 15 0 114556585 14320615424 55783 33554432000 4194304 4196468 140725177913680 140046072736624 140046898207362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10023] ppid=10008 vsize=13984976 memory=6298683641520809317 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10023/stat : 10023 (java) S 10008 10008 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114556585 14320615424 55783 33554432000 4194304 4196468 140725177913680 140046071684064 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10024] ppid=10008 vsize=13984976 memory=4640204396461838434 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10024/stat : 10024 (java) S 10008 10008 5918 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 114556586 14320615424 55783 33554432000 4194304 4196468 140725177913680 140046070630832 140046898207362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
Current children cumulated CPU time: 6.09 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 224516 KiB
[startup+2.70081 s]
/proc/loadavg: 1.98 1.91 1.89 3/217 10024
/proc/meminfo: memFree=27598164/32770624 swapFree=67108860/67108860
[pid=10008] ppid=10005 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10008/stat : 10008 (xcsp3-exec) S 10005 10008 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114556579 9740288 346 33554432000 4194304 5098028 140722707374848 140722707372952 140256777577084 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16527360 140722707379311 140722707379515 140722707379515 140722707382251 0
/proc/10008/statm: 2378 346 289 221 0 87 0
[pid=10010] ppid=10008 vsize=13984976 memory=223228 CPUtime=6.31 cores=0,2,4,6
/proc/10010/stat : 10010 (java) S 10008 10008 5918 0 -1 1077944320 29274 0 0 0 622 9 0 0 20 0 15 0 114556580 14320615424 55807 33554432000 4194304 4196468 140725177913680 140725177896224 140046898196215 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
/proc/10010/statm: 3496244 55807 3224 1 0 3483478 0
[pid=10010/tid=10011] ppid=10008 vsize=13984976 memory=245 CPUtime=2.65 cores=0,2,4,6
/proc/10010/task/10011/stat : 10011 (java) R 10008 10008 5918 0 -1 4202560 7649 0 0 0 262 3 0 0 20 0 15 0 114556580 14320615424 55807 33554432000 4194304 4196468 140725177913680 140046902433464 140046490445629 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10012] ppid=10008 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10012/stat : 10012 (java) S 10008 10008 5918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114556581 14320615424 55807 33554432000 4194304 4196468 140725177913680 140046813264784 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10013] ppid=10008 vsize=13984976 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/10010/task/10013/stat : 10013 (java) S 10008 10008 5918 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 15 0 114556581 14320615424 55807 33554432000 4194304 4196468 140725177913680 140046812211984 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10014] ppid=10008 vsize=13984976 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10010/task/10014/stat : 10014 (java) S 10008 10008 5918 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 15 0 114556581 14320615424 55807 33554432000 4194304 4196468 140725177913680 140046811159696 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10015] ppid=10008 vsize=13984976 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10010/task/10015/stat : 10015 (java) S 10008 10008 5918 0 -1 1077944384 226 0 0 0 1 0 0 0 20 0 15 0 114556581 14320615424 55807 33554432000 4194304 4196468 140725177913680 140046810106896 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10016] ppid=10008 vsize=13984976 memory=170985786 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10016/stat : 10016 (java) S 10008 10008 5918 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 114556582 14320615424 55807 33554432000 4194304 4196468 140725177913680 140046079051888 140046898207362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10017] ppid=10008 vsize=13984976 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10017/stat : 10017 (java) S 10008 10008 5918 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 114556583 14320615424 55807 33554432000 4194304 4196468 140725177913680 140046077997856 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10018] ppid=10008 vsize=13984976 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10018/stat : 10018 (java) S 10008 10008 5918 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 114556583 14320615424 55807 33554432000 4194304 4196468 140725177913680 140046076945520 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10019] ppid=10008 vsize=13984976 memory=35377 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10019/stat : 10019 (java) S 10008 10008 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114556585 14320615424 55807 33554432000 4194304 4196468 140725177913680 140046075893840 140046898214811 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10020] ppid=10008 vsize=13984976 memory=4420 CPUtime=1.51 cores=0,2,4,6
/proc/10010/task/10020/stat : 10020 (java) R 10008 10008 5918 0 -1 4202560 10955 0 0 0 149 2 0 0 20 0 15 0 114556585 14320615424 55807 33554432000 4194304 4196468 140725177913680 140046074841712 140046882589459 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10021] ppid=10008 vsize=13984976 memory=6628 CPUtime=1.45 cores=0,2,4,6
/proc/10010/task/10021/stat : 10021 (java) S 10008 10008 5918 0 -1 1077944384 4922 0 0 0 145 0 0 0 20 0 15 0 114556585 14320615424 55807 33554432000 4194304 4196468 140725177913680 140046073788912 140046898207362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10022] ppid=10008 vsize=13984976 memory=8836 CPUtime=0.61 cores=0,2,4,6
/proc/10010/task/10022/stat : 10022 (java) S 10008 10008 5918 0 -1 1077944384 4008 0 0 0 60 1 0 0 20 0 15 0 114556585 14320615424 55807 33554432000 4194304 4196468 140725177913680 140046072736624 140046898207362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10023] ppid=10008 vsize=13984976 memory=11044 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10023/stat : 10023 (java) S 10008 10008 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114556585 14320615424 55807 33554432000 4194304 4196468 140725177913680 140046071684064 140046898206421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
[pid=10010/tid=10024] ppid=10008 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10010/task/10024/stat : 10024 (java) S 10008 10008 5918 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 114556586 14320615424 55807 33554432000 4194304 4196468 140725177913680 140046070630832 140046898207362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25853952 140725177922711 140725177922887 140725177922887 140725177925583 0
Current children cumulated CPU time: 6.31 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 224612 KiB
Child status: 0
Real time (s): 2.78457
CPU time (s): 6.54238
CPU user time (s): 6.44127
CPU system time (s): 0.101116
CPU usage (%): 234.951
Max. virtual memory (cumulated for all children) (KiB): 13996516
Max. memory (cumulated for all children) (KiB): 224612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.44127
system time used= 0.101116
maximum resident set size= 223804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30484
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2459
involuntary context switches= 18
# summary of solver processes directly reported to runsolver:
# pid: 10008
# total CPU time (s): 6.54238
# total CPU user time (s): 6.44127
# total CPU system time (s): 0.101116
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037215 second user time and 0.071241 second system time
The end