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 (5574 MiB free)
memory of node 1: 16384 MiB (7009 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306961-1534104055/watcher-4306961-1534104055 -o /tmp/evaluation-result-4306961-1534104055/solver-4306961-1534104055 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534096142-24483 --watchdog 2580 HOME/xcsp3-exec -seed 1395410408 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306961-1534104055.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
Current StackSize limit: 8192 KiB
solver pid=25979, runsolver pid=25976
[startup+0.100136 s]*
/proc/loadavg: 1.62 1.51 1.50 3/218 25995
/proc/meminfo: memFree=12869644/32770624 swapFree=67108860/67108860
[pid=25979] ppid=25976 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25979/stat : 25979 (xcsp3-exec) S 25976 25979 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227968681 115843072 363 33554432000 4194304 5098028 140733819019744 140733819017848 140612406071932 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16412672 140733819028538 140733819028740 140733819028740 140733819031498 0
/proc/25979/statm: 28282 363 305 221 0 87 0
[pid=25981] ppid=25979 vsize=14082940 memory=28508 CPUtime=0.12 cores=1,3,5,7
/proc/25981/stat : 25981 (java) S 25979 25979 24451 0 -1 1077944320 5554 0 0 0 10 2 0 0 20 0 15 0 227968681 14420930560 7127 33554432000 4194304 4196468 140733705381920 140733705364464 140202306821879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
/proc/25981/statm: 3520735 7127 2999 1 0 3483012 0
[pid=25981/tid=25982] ppid=25979 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/25981/task/25982/stat : 25982 (java) R 25979 25979 24451 0 -1 4202560 3567 0 0 0 8 1 0 0 20 0 15 0 227968682 14420930560 7127 33554432000 4194304 4196468 140733705381920 140202311054144 140202306833814 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25983] ppid=25979 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25983/stat : 25983 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968683 14420930560 7127 33554432000 4194304 4196468 140733705381920 140202236910096 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25984] ppid=25979 vsize=14082940 memory=140631962293888 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25984/stat : 25984 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968683 14420930560 7127 33554432000 4194304 4196468 140733705381920 140202235857552 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25985] ppid=25979 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25985/stat : 25985 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968683 14420930560 7127 33554432000 4194304 4196468 140733705381920 140202234804496 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25986] ppid=25979 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25986/stat : 25986 (java) S 25979 25979 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227968683 14420930560 7127 33554432000 4194304 4196468 140733705381920 140202233751952 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25987] ppid=25979 vsize=14082940 memory=140631962293888 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25987/stat : 25987 (java) S 25979 25979 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227968684 14420930560 7127 33554432000 4194304 4196468 140733705381920 140201218259696 140202306833026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25988] ppid=25979 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25988/stat : 25988 (java) S 25979 25979 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227968684 14420930560 7127 33554432000 4194304 4196468 140733705381920 140201217205920 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25989] ppid=25979 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25989/stat : 25989 (java) S 25979 25979 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227968684 14420930560 7127 33554432000 4194304 4196468 140733705381920 140201216152816 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25990] ppid=25979 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25990/stat : 25990 (java) S 25979 25979 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227968687 14420930560 7127 33554432000 4194304 4196468 140733705381920 140201215101392 140202306840475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25991] ppid=25979 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25991/stat : 25991 (java) R 25979 25979 24451 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 227968687 14420930560 7127 33554432000 4194304 4196468 140733705381920 140201214048496 140202306833026 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25992] ppid=25979 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25992/stat : 25992 (java) S 25979 25979 24451 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 227968687 14420930560 7127 33554432000 4194304 4196468 140733705381920 140201212995952 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25993] ppid=25979 vsize=14082940 memory=140631962293888 CPUtime=0.01 cores=1,3,5,7
/proc/25981/task/25993/stat : 25993 (java) R 25979 25979 24451 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 15 0 227968687 14420930560 7127 33554432000 4194304 4196468 140733705381920 140201211942896 140202290984288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25994] ppid=25979 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25994/stat : 25994 (java) S 25979 25979 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227968687 14420930560 7127 33554432000 4194304 4196468 140733705381920 140201210890592 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25995] ppid=25979 vsize=14082940 memory=140631962293888 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25995/stat : 25995 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968687 14420930560 7127 33554432000 4194304 4196468 140733705381920 140201209838640 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29960 KiB
[startup+0.210719 s]*
/proc/loadavg: 1.62 1.51 1.50 5/218 25995
/proc/meminfo: memFree=12857612/32770624 swapFree=67108860/67108860
[pid=25979] ppid=25976 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25979/stat : 25979 (xcsp3-exec) S 25976 25979 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227968681 115843072 363 33554432000 4194304 5098028 140733819019744 140733819017848 140612406071932 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16412672 140733819028538 140733819028740 140733819028740 140733819031498 0
/proc/25979/statm: 28282 363 305 221 0 87 0
[pid=25981] ppid=25979 vsize=14082940 memory=41204 CPUtime=0.34 cores=1,3,5,7
/proc/25981/stat : 25981 (java) S 25979 25979 24451 0 -1 1077944320 8322 0 0 0 31 3 0 0 20 0 15 0 227968681 14420930560 10301 33554432000 4194304 4196468 140733705381920 140733705364464 140202306821879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
/proc/25981/statm: 3520735 10301 3181 1 0 3483012 0
[pid=25981/tid=25982] ppid=25979 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/25981/task/25982/stat : 25982 (java) R 25979 25979 24451 0 -1 4202560 5453 0 0 0 18 2 0 0 20 0 15 0 227968682 14420930560 10301 33554432000 4194304 4196468 140733705381920 140202311056416 140202290902366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25983] ppid=25979 vsize=14082940 memory=12591 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25983/stat : 25983 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968683 14420930560 10301 33554432000 4194304 4196468 140733705381920 140202236910096 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25984] ppid=25979 vsize=14082940 memory=140631963514591 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25984/stat : 25984 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968683 14420930560 10301 33554432000 4194304 4196468 140733705381920 140202235857552 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25985] ppid=25979 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25985/stat : 25985 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968683 14420930560 10301 33554432000 4194304 4196468 140733705381920 140202234804496 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25986] ppid=25979 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25986/stat : 25986 (java) S 25979 25979 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227968683 14420930560 10301 33554432000 4194304 4196468 140733705381920 140202233751952 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25987] ppid=25979 vsize=14082940 memory=140631962293888 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25987/stat : 25987 (java) S 25979 25979 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227968684 14420930560 10301 33554432000 4194304 4196468 140733705381920 140201218259696 140202306833026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25988] ppid=25979 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25988/stat : 25988 (java) S 25979 25979 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227968684 14420930560 10301 33554432000 4194304 4196468 140733705381920 140201217205920 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25989] ppid=25979 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25989/stat : 25989 (java) S 25979 25979 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227968684 14420930560 10301 33554432000 4194304 4196468 140733705381920 140201216152816 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25990] ppid=25979 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25990/stat : 25990 (java) S 25979 25979 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227968687 14420930560 10301 33554432000 4194304 4196468 140733705381920 140201215101392 140202306840475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25991] ppid=25979 vsize=14082940 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/25981/task/25991/stat : 25991 (java) S 25979 25979 24451 0 -1 1077944384 636 0 0 0 3 0 0 0 20 0 15 0 227968687 14420930560 10301 33554432000 4194304 4196468 140733705381920 140201214048496 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25992] ppid=25979 vsize=14082940 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/25981/task/25992/stat : 25992 (java) S 25979 25979 24451 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 15 0 227968687 14420930560 10301 33554432000 4194304 4196468 140733705381920 140201212995952 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25993] ppid=25979 vsize=14082940 memory=140631962293888 CPUtime=0.08 cores=1,3,5,7
/proc/25981/task/25993/stat : 25993 (java) S 25979 25979 24451 0 -1 1077944384 765 0 0 0 8 0 0 0 20 0 15 0 227968687 14420930560 10301 33554432000 4194304 4196468 140733705381920 140201211942896 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25994] ppid=25979 vsize=14082972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25994/stat : 25994 (java) S 25979 25979 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227968687 14420963328 10301 33554432000 4194304 4196468 140733705381920 140201210890592 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25995] ppid=25979 vsize=14082972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25995/stat : 25995 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968687 14420963328 10301 33554432000 4194304 4196468 140733705381920 140201209838640 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42656 KiB
[startup+0.310647 s]*
/proc/loadavg: 1.62 1.51 1.50 4/218 25995
/proc/meminfo: memFree=12851284/32770624 swapFree=67108860/67108860
[pid=25979] ppid=25976 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25979/stat : 25979 (xcsp3-exec) S 25976 25979 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227968681 115843072 363 33554432000 4194304 5098028 140733819019744 140733819017848 140612406071932 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16412672 140733819028538 140733819028740 140733819028740 140733819031498 0
/proc/25979/statm: 28282 363 305 221 0 87 0
[pid=25981] ppid=25979 vsize=14087196 memory=47980 CPUtime=0.53 cores=1,3,5,7
/proc/25981/stat : 25981 (java) S 25979 25979 24451 0 -1 1077944320 9211 0 0 0 49 4 0 0 20 0 15 0 227968681 14425288704 11995 33554432000 4194304 4196468 140733705381920 140733705364464 140202306821879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
/proc/25981/statm: 3521799 11995 3259 1 0 3483012 0
[pid=25981/tid=25982] ppid=25979 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/25981/task/25982/stat : 25982 (java) R 25979 25979 24451 0 -1 4202560 6169 0 0 0 27 3 0 0 20 0 15 0 227968682 14425288704 11995 33554432000 4194304 4196468 140733705381920 140202311055664 140202306845469 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25983] ppid=25979 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25983/stat : 25983 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968683 14425288704 11995 33554432000 4194304 4196468 140733705381920 140202236910096 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25984] ppid=25979 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25984/stat : 25984 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968683 14425288704 11995 33554432000 4194304 4196468 140733705381920 140202235857552 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25985] ppid=25979 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25985/stat : 25985 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968683 14425288704 11995 33554432000 4194304 4196468 140733705381920 140202234804496 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25986] ppid=25979 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25986/stat : 25986 (java) S 25979 25979 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227968683 14425288704 11995 33554432000 4194304 4196468 140733705381920 140202233751952 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25987] ppid=25979 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25987/stat : 25987 (java) S 25979 25979 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227968684 14425288704 12004 33554432000 4194304 4196468 140733705381920 140201218259696 140202306833026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25988] ppid=25979 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25988/stat : 25988 (java) S 25979 25979 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227968684 14425288704 12004 33554432000 4194304 4196468 140733705381920 140201217205920 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25989] ppid=25979 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25989/stat : 25989 (java) S 25979 25979 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227968684 14425288704 12004 33554432000 4194304 4196468 140733705381920 140201216152816 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25990] ppid=25979 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25990/stat : 25990 (java) S 25979 25979 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227968687 14425288704 12004 33554432000 4194304 4196468 140733705381920 140201215101392 140202306840475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25991] ppid=25979 vsize=14087196 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/25981/task/25991/stat : 25991 (java) S 25979 25979 24451 0 -1 1077944384 717 0 0 0 5 0 0 0 20 0 15 0 227968687 14425288704 12004 33554432000 4194304 4196468 140733705381920 140201214048496 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25992] ppid=25979 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/25981/task/25992/stat : 25992 (java) S 25979 25979 24451 0 -1 1077944384 178 0 0 0 3 0 0 0 20 0 15 0 227968687 14425288704 12004 33554432000 4194304 4196468 140733705381920 140201212995952 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25993] ppid=25979 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25981/task/25993/stat : 25993 (java) S 25979 25979 24451 0 -1 1077944384 840 0 0 0 12 0 0 0 20 0 15 0 227968687 14425288704 12004 33554432000 4194304 4196468 140733705381920 140201211942896 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25994] ppid=25979 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25994/stat : 25994 (java) S 25979 25979 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227968687 14425288704 12004 33554432000 4194304 4196468 140733705381920 140201210890592 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25995] ppid=25979 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25995/stat : 25995 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968687 14425288704 12004 33554432000 4194304 4196468 140733705381920 140201209838640 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49432 KiB
[startup+0.704276 s]
/proc/loadavg: 1.62 1.51 1.50 6/218 25995
/proc/meminfo: memFree=12824548/32770624 swapFree=67108860/67108860
[pid=25979] ppid=25976 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25979/stat : 25979 (xcsp3-exec) S 25976 25979 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227968681 115843072 363 33554432000 4194304 5098028 140733819019744 140733819017848 140612406071932 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16412672 140733819028538 140733819028740 140733819028740 140733819031498 0
/proc/25979/statm: 28282 363 305 221 0 87 0
[pid=25981] ppid=25979 vsize=14089320 memory=100780 CPUtime=1.77 cores=1,3,5,7
/proc/25981/stat : 25981 (java) S 25979 25979 24451 0 -1 1077944320 13256 0 0 0 171 6 0 0 20 0 15 0 227968681 14427463680 25195 33554432000 4194304 4196468 140733705381920 140733705364464 140202306821879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
/proc/25981/statm: 3522330 25195 3345 1 0 3483524 0
[pid=25981/tid=25982] ppid=25979 vsize=14089320 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/25981/task/25982/stat : 25982 (java) R 25979 25979 24451 0 -1 4202560 6911 0 0 0 64 4 0 0 20 0 15 0 227968682 14427463680 25195 33554432000 4194304 4196468 140733705381920 140202311059344 140201913792865 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25983] ppid=25979 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25983/stat : 25983 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968683 14427463680 25195 33554432000 4194304 4196468 140733705381920 140202236910096 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25984] ppid=25979 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25984/stat : 25984 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968683 14427463680 25195 33554432000 4194304 4196468 140733705381920 140202235857552 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25985] ppid=25979 vsize=14089320 memory=61868 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25985/stat : 25985 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968683 14427463680 25195 33554432000 4194304 4196468 140733705381920 140202234804496 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25986] ppid=25979 vsize=14089320 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25986/stat : 25986 (java) S 25979 25979 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227968683 14427463680 25195 33554432000 4194304 4196468 140733705381920 140202233751952 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25987] ppid=25979 vsize=14089320 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25987/stat : 25987 (java) S 25979 25979 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227968684 14427463680 25195 33554432000 4194304 4196468 140733705381920 140201218259696 140202306833026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25988] ppid=25979 vsize=14089320 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25988/stat : 25988 (java) S 25979 25979 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227968684 14427463680 25195 33554432000 4194304 4196468 140733705381920 140201217205920 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25989] ppid=25979 vsize=14089320 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25989/stat : 25989 (java) S 25979 25979 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227968684 14427463680 25195 33554432000 4194304 4196468 140733705381920 140201216152816 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25990] ppid=25979 vsize=14089320 memory=796 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25990/stat : 25990 (java) S 25979 25979 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227968687 14427463680 25195 33554432000 4194304 4196468 140733705381920 140201215101392 140202306840475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25991] ppid=25979 vsize=14089320 memory=5408 CPUtime=0.37 cores=1,3,5,7
/proc/25981/task/25991/stat : 25991 (java) R 25979 25979 24451 0 -1 4202560 1622 0 0 0 37 0 0 0 20 0 15 0 227968687 14427463680 25195 33554432000 4194304 4196468 140733705381920 140201214028928 140202288366626 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25992] ppid=25979 vsize=14089320 memory=876 CPUtime=0.29 cores=1,3,5,7
/proc/25981/task/25992/stat : 25992 (java) R 25979 25979 24451 0 -1 4202560 1252 0 0 0 29 0 0 0 20 0 15 0 227968687 14427463680 25195 33554432000 4194304 4196468 140733705381920 140201212964544 140202290350699 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25993] ppid=25979 vsize=14089320 memory=10096 CPUtime=0.4 cores=1,3,5,7
/proc/25981/task/25993/stat : 25993 (java) R 25979 25979 24451 0 -1 4202560 2163 0 0 0 40 0 0 0 20 0 15 0 227968687 14427463680 25195 33554432000 4194304 4196468 140733705381920 140201211939832 140202284953358 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25994] ppid=25979 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25994/stat : 25994 (java) S 25979 25979 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227968687 14427463680 25195 33554432000 4194304 4196468 140733705381920 140201210890592 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25995] ppid=25979 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25995/stat : 25995 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968687 14427463680 25195 33554432000 4194304 4196468 140733705381920 140201209838640 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 102232 KiB
[startup+1.50089 s]
/proc/loadavg: 1.62 1.51 1.50 5/218 25995
/proc/meminfo: memFree=12794340/32770624 swapFree=67108860/67108860
[pid=25979] ppid=25976 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25979/stat : 25979 (xcsp3-exec) S 25976 25979 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227968681 115843072 363 33554432000 4194304 5098028 140733819019744 140733819017848 140612406071932 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16412672 140733819028538 140733819028740 140733819028740 140733819031498 0
/proc/25979/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/25979/stat : 25979 (xcsp3-exec) S 25976 25979 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227968681 115843072 363 33554432000 4194304 5098028 140733819019744 140733819017848 140612406071932 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16412672 140733819028538 140733819028740 140733819028740 140733819031498 0
/proc/25979/statm: 28282 363 305 221 0 87 0
[pid=25981] ppid=25979 vsize=14089320 memory=143352 CPUtime=9.41 cores=1,3,5,7
/proc/25981/stat : 25981 (java) S 25979 25979 24451 0 -1 1077944320 24994 0 0 0 932 9 0 0 20 0 15 0 227968681 14427463680 35838 33554432000 4194304 4196468 140733705381920 140733705364464 140202306821879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
/proc/25981/statm: 3522330 35838 3384 1 0 3483524 0
[pid=25981/tid=25982] ppid=25979 vsize=14089320 memory=281263718283488 CPUtime=4.77 cores=1,3,5,7
/proc/25981/task/25982/stat : 25982 (java) R 25979 25979 24451 0 -1 4202560 8071 0 0 0 473 4 0 0 20 0 15 0 227968682 14427463680 35838 33554432000 4194304 4196468 140733705381920 140202311058752 140201916009707 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25983] ppid=25979 vsize=14089320 memory=281263718283680 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25983/stat : 25983 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968683 14427463680 35838 33554432000 4194304 4196468 140733705381920 140202236910096 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25984] ppid=25979 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25984/stat : 25984 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968683 14427463680 35838 33554432000 4194304 4196468 140733705381920 140202235857552 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25985] ppid=25979 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25985/stat : 25985 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968683 14427463680 35838 33554432000 4194304 4196468 140733705381920 140202234804496 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25986] ppid=25979 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25986/stat : 25986 (java) S 25979 25979 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227968683 14427463680 35838 33554432000 4194304 4196468 140733705381920 140202233751952 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25987] ppid=25979 vsize=14089320 memory=203 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25987/stat : 25987 (java) S 25979 25979 24451 0 -1 1077944384 282 0 0 0 0 0 0 0 20 0 15 0 227968684 14427463680 35838 33554432000 4194304 4196468 140733705381920 140201218259696 140202306833026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25988] ppid=25979 vsize=14089320 memory=189 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25988/stat : 25988 (java) S 25979 25979 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227968684 14427463680 35838 33554432000 4194304 4196468 140733705381920 140201217205920 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25989] ppid=25979 vsize=14089320 memory=63 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25989/stat : 25989 (java) S 25979 25979 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227968684 14427463680 35838 33554432000 4194304 4196468 140733705381920 140201216152816 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25990] ppid=25979 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25990/stat : 25990 (java) S 25979 25979 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227968687 14427463680 35838 33554432000 4194304 4196468 140733705381920 140201215101392 140202306840475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25991] ppid=25979 vsize=14089320 memory=0 CPUtime=2.08 cores=1,3,5,7
/proc/25981/task/25991/stat : 25991 (java) S 25979 25979 24451 0 -1 1077944384 6398 0 0 0 207 1 0 0 20 0 15 0 227968687 14427463680 35838 33554432000 4194304 4196468 140733705381920 140201214048496 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25992] ppid=25979 vsize=14089320 memory=4124 CPUtime=1.9 cores=1,3,5,7
/proc/25981/task/25992/stat : 25992 (java) S 25979 25979 24451 0 -1 1077944384 5293 0 0 0 189 1 0 0 20 0 15 0 227968687 14427463680 35838 33554432000 4194304 4196468 140733705381920 140201212995952 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25993] ppid=25979 vsize=14089320 memory=2100 CPUtime=0.63 cores=1,3,5,7
/proc/25981/task/25993/stat : 25993 (java) S 25979 25979 24451 0 -1 1077944384 3634 0 0 0 62 1 0 0 20 0 15 0 227968687 14427463680 35838 33554432000 4194304 4196468 140733705381920 140201211942896 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25994] ppid=25979 vsize=14089320 memory=7528 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25994/stat : 25994 (java) S 25979 25979 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227968687 14427463680 35838 33554432000 4194304 4196468 140733705381920 140201210890592 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25995] ppid=25979 vsize=14089320 memory=840 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25995/stat : 25995 (java) S 25979 25979 24451 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 227968687 14427463680 35838 33554432000 4194304 4196468 140733705381920 140201209838640 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
Current children cumulated CPU time: 9.41 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 144804 KiB
[startup+5.60072 s]
/proc/loadavg: 1.65 1.52 1.50 3/218 25995
/proc/meminfo: memFree=12756752/32770624 swapFree=67108860/67108860
[pid=25979] ppid=25976 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25979/stat : 25979 (xcsp3-exec) S 25976 25979 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227968681 115843072 363 33554432000 4194304 5098028 140733819019744 140733819017848 140612406071932 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16412672 140733819028538 140733819028740 140733819028740 140733819031498 0
/proc/25979/statm: 28282 363 305 221 0 87 0
[pid=25981] ppid=25979 vsize=14089320 memory=146360 CPUtime=10.26 cores=1,3,5,7
/proc/25981/stat : 25981 (java) S 25979 25979 24451 0 -1 1077944320 26739 0 0 0 1017 9 0 0 20 0 15 0 227968681 14427463680 36590 33554432000 4194304 4196468 140733705381920 140733705364464 140202306821879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
/proc/25981/statm: 3522330 36590 3384 1 0 3483524 0
[pid=25981/tid=25982] ppid=25979 vsize=14089320 memory=141304 CPUtime=5.56 cores=1,3,5,7
/proc/25981/task/25982/stat : 25982 (java) R 25979 25979 24451 0 -1 4202560 8343 0 0 0 552 4 0 0 20 0 15 0 227968682 14427463680 36590 33554432000 4194304 4196468 140733705381920 140202311059224 140201915502594 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25983] ppid=25979 vsize=14089320 memory=3160 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25983/stat : 25983 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968683 14427463680 36590 33554432000 4194304 4196468 140733705381920 140202236910096 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25984] ppid=25979 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25984/stat : 25984 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968683 14427463680 36590 33554432000 4194304 4196468 140733705381920 140202235857552 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25985] ppid=25979 vsize=14089320 memory=150700 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25985/stat : 25985 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968683 14427463680 36590 33554432000 4194304 4196468 140733705381920 140202234804496 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25986] ppid=25979 vsize=14089320 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25986/stat : 25986 (java) S 25979 25979 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227968683 14427463680 36590 33554432000 4194304 4196468 140733705381920 140202233751952 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25987] ppid=25979 vsize=14089320 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25987/stat : 25987 (java) S 25979 25979 24451 0 -1 1077944384 282 0 0 0 0 0 0 0 20 0 15 0 227968684 14427463680 36590 33554432000 4194304 4196468 140733705381920 140201218259696 140202306833026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25988] ppid=25979 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25988/stat : 25988 (java) S 25979 25979 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227968684 14427463680 36590 33554432000 4194304 4196468 140733705381920 140201217205920 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25989] ppid=25979 vsize=14089320 memory=121976 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25989/stat : 25989 (java) S 25979 25979 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227968684 14427463680 36590 33554432000 4194304 4196468 140733705381920 140201216152816 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25990] ppid=25979 vsize=14089320 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25990/stat : 25990 (java) S 25979 25979 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227968687 14427463680 36590 33554432000 4194304 4196468 140733705381920 140201215101392 140202306840475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25991] ppid=25979 vsize=14089320 memory=796 CPUtime=2.08 cores=1,3,5,7
/proc/25981/task/25991/stat : 25991 (java) S 25979 25979 24451 0 -1 1077944384 6453 0 0 0 207 1 0 0 20 0 15 0 227968687 14427463680 36590 33554432000 4194304 4196468 140733705381920 140201214048496 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25992] ppid=25979 vsize=14089320 memory=5408 CPUtime=1.94 cores=1,3,5,7
/proc/25981/task/25992/stat : 25992 (java) S 25979 25979 24451 0 -1 1077944384 6030 0 0 0 193 1 0 0 20 0 15 0 227968687 14427463680 36590 33554432000 4194304 4196468 140733705381920 140201212995952 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25993] ppid=25979 vsize=14089320 memory=876 CPUtime=0.64 cores=1,3,5,7
/proc/25981/task/25993/stat : 25993 (java) S 25979 25979 24451 0 -1 1077944384 3920 0 0 0 63 1 0 0 20 0 15 0 227968687 14427463680 36590 33554432000 4194304 4196468 140733705381920 140201211942896 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25994] ppid=25979 vsize=14089320 memory=10096 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25994/stat : 25994 (java) S 25979 25979 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227968687 14427463680 36590 33554432000 4194304 4196468 140733705381920 140201210890592 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25995] ppid=25979 vsize=14089320 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25995/stat : 25995 (java) S 25979 25979 24451 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 15 0 227968687 14427463680 36590 33554432000 4194304 4196468 140733705381920 140201209838640 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
Current children cumulated CPU time: 10.26 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 147812 KiB
[startup+5.80062 s]
/proc/loadavg: 1.65 1.52 1.50 3/218 25995
/proc/meminfo: memFree=12756752/32770624 swapFree=67108860/67108860
[pid=25979] ppid=25976 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25979/stat : 25979 (xcsp3-exec) S 25976 25979 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227968681 115843072 363 33554432000 4194304 5098028 140733819019744 140733819017848 140612406071932 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16412672 140733819028538 140733819028740 140733819028740 140733819031498 0
/proc/25979/statm: 28282 363 305 221 0 87 0
[pid=25981] ppid=25979 vsize=14089320 memory=150456 CPUtime=10.47 cores=1,3,5,7
/proc/25981/stat : 25981 (java) S 25979 25979 24451 0 -1 1077944320 27054 0 0 0 1038 9 0 0 20 0 15 0 227968681 14427463680 37614 33554432000 4194304 4196468 140733705381920 140733705364464 140202306821879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
/proc/25981/statm: 3522330 37614 3384 1 0 3483524 0
[pid=25981/tid=25982] ppid=25979 vsize=14089320 memory=2110982466127316 CPUtime=5.76 cores=1,3,5,7
/proc/25981/task/25982/stat : 25982 (java) R 25979 25979 24451 0 -1 4202560 8372 0 0 0 572 4 0 0 20 0 15 0 227968682 14427463680 37614 33554432000 4194304 4196468 140733705381920 140202311059224 140201916689084 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25983] ppid=25979 vsize=14089320 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25983/stat : 25983 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968683 14427463680 37614 33554432000 4194304 4196468 140733705381920 140202236910096 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25984] ppid=25979 vsize=14089320 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25984/stat : 25984 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968683 14427463680 37614 33554432000 4194304 4196468 140733705381920 140202235857552 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25985] ppid=25979 vsize=14089320 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25985/stat : 25985 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968683 14427463680 37614 33554432000 4194304 4196468 140733705381920 140202234804496 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25986] ppid=25979 vsize=14089320 memory=16228 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25986/stat : 25986 (java) S 25979 25979 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227968683 14427463680 37614 33554432000 4194304 4196468 140733705381920 140202233751952 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25987] ppid=25979 vsize=14089320 memory=34412 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25987/stat : 25987 (java) S 25979 25979 24451 0 -1 1077944384 282 0 0 0 0 0 0 0 20 0 15 0 227968684 14427463680 37614 33554432000 4194304 4196468 140733705381920 140201218259696 140202306833026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25988] ppid=25979 vsize=14089320 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25988/stat : 25988 (java) S 25979 25979 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227968684 14427463680 37614 33554432000 4194304 4196468 140733705381920 140201217205920 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25989] ppid=25979 vsize=14089320 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25989/stat : 25989 (java) S 25979 25979 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227968684 14427463680 37614 33554432000 4194304 4196468 140733705381920 140201216152816 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25990] ppid=25979 vsize=14089320 memory=636 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25990/stat : 25990 (java) S 25979 25979 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227968687 14427463680 37614 33554432000 4194304 4196468 140733705381920 140201215101392 140202306840475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25991] ppid=25979 vsize=14089320 memory=960 CPUtime=2.1 cores=1,3,5,7
/proc/25981/task/25991/stat : 25991 (java) S 25979 25979 24451 0 -1 1077944384 6736 0 0 0 209 1 0 0 20 0 15 0 227968687 14427463680 37614 33554432000 4194304 4196468 140733705381920 140201214048496 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25992] ppid=25979 vsize=14089320 memory=1232 CPUtime=1.94 cores=1,3,5,7
/proc/25981/task/25992/stat : 25992 (java) S 25979 25979 24451 0 -1 1077944384 6030 0 0 0 193 1 0 0 20 0 15 0 227968687 14427463680 37614 33554432000 4194304 4196468 140733705381920 140201212995952 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25993] ppid=25979 vsize=14089320 memory=8128038100524242582 CPUtime=0.64 cores=1,3,5,7
/proc/25981/task/25993/stat : 25993 (java) S 25979 25979 24451 0 -1 1077944384 3923 0 0 0 63 1 0 0 20 0 15 0 227968687 14427463680 37614 33554432000 4194304 4196468 140733705381920 140201211942896 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25994] ppid=25979 vsize=14089320 memory=8259761640030508194 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25994/stat : 25994 (java) S 25979 25979 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227968687 14427463680 37614 33554432000 4194304 4196468 140733705381920 140201210890592 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25995] ppid=25979 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25995/stat : 25995 (java) S 25979 25979 24451 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 15 0 227968687 14427463680 37614 33554432000 4194304 4196468 140733705381920 140201209838640 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
Current children cumulated CPU time: 10.47 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 151908 KiB
[startup+5.90075 s]
/proc/loadavg: 1.65 1.52 1.50 3/218 25995
/proc/meminfo: memFree=12756752/32770624 swapFree=67108860/67108860
[pid=25979] ppid=25976 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25979/stat : 25979 (xcsp3-exec) S 25976 25979 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227968681 115843072 363 33554432000 4194304 5098028 140733819019744 140733819017848 140612406071932 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16412672 140733819028538 140733819028740 140733819028740 140733819031498 0
/proc/25979/statm: 28282 363 305 221 0 87 0
[pid=25981] ppid=25979 vsize=14089320 memory=152520 CPUtime=10.58 cores=1,3,5,7
/proc/25981/stat : 25981 (java) S 25979 25979 24451 0 -1 1077944320 27151 0 0 0 1049 9 0 0 20 0 15 0 227968681 14427463680 38130 33554432000 4194304 4196468 140733705381920 140733705364464 140202306821879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
/proc/25981/statm: 3522330 38130 3384 1 0 3483524 0
[pid=25981/tid=25982] ppid=25979 vsize=14089320 memory=124424 CPUtime=5.86 cores=1,3,5,7
/proc/25981/task/25982/stat : 25982 (java) R 25979 25979 24451 0 -1 4202560 8396 0 0 0 582 4 0 0 20 0 15 0 227968682 14427463680 38130 33554432000 4194304 4196468 140733705381920 140202311058568 140201915405956 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25983] ppid=25979 vsize=14089320 memory=7016714190785702558 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25983/stat : 25983 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968683 14427463680 38130 33554432000 4194304 4196468 140733705381920 140202236910096 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25984] ppid=25979 vsize=14089320 memory=281263718289632 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25984/stat : 25984 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968683 14427463680 38130 33554432000 4194304 4196468 140733705381920 140202235857552 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25985] ppid=25979 vsize=14089320 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25985/stat : 25985 (java) S 25979 25979 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227968683 14427463680 38130 33554432000 4194304 4196468 140733705381920 140202234804496 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25986] ppid=25979 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25986/stat : 25986 (java) S 25979 25979 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227968683 14427463680 38130 33554432000 4194304 4196468 140733705381920 140202233751952 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25987] ppid=25979 vsize=14089320 memory=137080 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25987/stat : 25987 (java) S 25979 25979 24451 0 -1 1077944384 282 0 0 0 0 0 0 0 20 0 15 0 227968684 14427463680 38130 33554432000 4194304 4196468 140733705381920 140201218259696 140202306833026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25988] ppid=25979 vsize=14089320 memory=281263718282912 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25988/stat : 25988 (java) S 25979 25979 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227968684 14427463680 38130 33554432000 4194304 4196468 140733705381920 140201217205920 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25989] ppid=25979 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25989/stat : 25989 (java) S 25979 25979 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227968684 14427463680 38130 33554432000 4194304 4196468 140733705381920 140201216152816 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25990] ppid=25979 vsize=14089320 memory=920 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25990/stat : 25990 (java) S 25979 25979 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227968687 14427463680 38130 33554432000 4194304 4196468 140733705381920 140201215101392 140202306840475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25991] ppid=25979 vsize=14089320 memory=3852 CPUtime=2.1 cores=1,3,5,7
/proc/25981/task/25991/stat : 25991 (java) S 25979 25979 24451 0 -1 1077944384 6739 0 0 0 209 1 0 0 20 0 15 0 227968687 14427463680 38130 33554432000 4194304 4196468 140733705381920 140201214048496 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25992] ppid=25979 vsize=14089320 memory=281263718846464 CPUtime=1.94 cores=1,3,5,7
/proc/25981/task/25992/stat : 25992 (java) S 25979 25979 24451 0 -1 1077944384 6040 0 0 0 193 1 0 0 20 0 15 0 227968687 14427463680 38130 33554432000 4194304 4196468 140733705381920 140201212995952 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25993] ppid=25979 vsize=14089320 memory=252209069607684 CPUtime=0.64 cores=1,3,5,7
/proc/25981/task/25993/stat : 25993 (java) S 25979 25979 24451 0 -1 1077944384 3983 0 0 0 63 1 0 0 20 0 15 0 227968687 14427463680 38130 33554432000 4194304 4196468 140733705381920 140201211942896 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25994] ppid=25979 vsize=14089320 memory=252209069607685 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25994/stat : 25994 (java) S 25979 25979 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227968687 14427463680 38130 33554432000 4194304 4196468 140733705381920 140201210890592 140202306832085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
[pid=25981/tid=25995] ppid=25979 vsize=14089320 memory=252209069607686 CPUtime=0 cores=1,3,5,7
/proc/25981/task/25995/stat : 25995 (java) S 25979 25979 24451 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 15 0 227968687 14427463680 38130 33554432000 4194304 4196468 140733705381920 140201209838640 140202306833026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7192576 140733705389190 140733705389361 140733705389361 140733705392079 0
Current children cumulated CPU time: 10.58 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 153972 KiB
Child status: 0
Real time (s): 5.99591
CPU time (s): 10.7269
CPU user time (s): 10.6233
CPU system time (s): 0.103614
CPU usage (%): 178.903
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 153972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.6233
system time used= 0.103614
maximum resident set size= 154892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28674
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2492
involuntary context switches= 27
# summary of solver processes directly reported to runsolver:
# pid: 25979
# total CPU time (s): 10.7269
# total CPU user time (s): 10.6233
# total CPU system time (s): 0.103614
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057056 second user time and 0.099357 second system time
The end