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 (10589 MiB free)
memory of node 1: 16384 MiB (15668 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398970-1568698229/watcher-4398970-1568698229 -o /tmp/evaluation-result-4398970-1568698229/solver-4398970-1568698229 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568690084-23429 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1060364031 HOME/instance-4398970-1568698229.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=29618, runsolver pid=29615
[startup+0.100398 s]*
/proc/loadavg: 7.52 8.31 8.26 6/229 29634
/proc/meminfo: memFree=26868312/32770624 swapFree=66977408/67108860
[pid=29618] ppid=29615 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29618/stat : 29618 (xcsp3-exec) S 29615 29618 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446079919 115843072 362 33554432000 4194304 5098028 140726457003312 140726457001416 140351769903740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36970496 140726457004922 140726457005165 140726457005165 140726457008074 0
/proc/29618/statm: 28282 362 304 221 0 87 0
[pid=29620] ppid=29618 vsize=15144776 memory=29632 CPUtime=0.13 cores=1,3,5,7
/proc/29620/stat : 29620 (java) S 29618 29618 23397 0 -1 1077944320 5833 0 0 0 12 1 0 0 20 0 15 0 446079919 15508250624 7408 33554432000 4194304 4196468 140729642439744 140729642422288 139903307599607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
/proc/29620/statm: 3786194 7408 3186 1 0 3748377 0
[pid=29620/tid=29621] ppid=29618 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/29620/task/29621/stat : 29621 (java) R 29618 29618 23397 0 -1 4202560 3732 0 0 0 8 1 0 0 20 0 15 0 446079920 15508250624 7408 33554432000 4194304 4196468 140729642439744 139903311831856 139903307621533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29622] ppid=29618 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29622/stat : 29622 (java) S 29618 29618 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446079920 15508250624 7408 33554432000 4194304 4196468 140729642439744 139903260220048 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29623] ppid=29618 vsize=15144776 memory=140672825075884 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29623/stat : 29623 (java) S 29618 29618 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446079920 15508250624 7408 33554432000 4194304 4196468 140729642439744 139903259167248 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29624] ppid=29618 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29624/stat : 29624 (java) S 29618 29618 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446079920 15508250624 7408 33554432000 4194304 4196468 140729642439744 139902898330000 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29625] ppid=29618 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29625/stat : 29625 (java) S 29618 29618 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446079920 15508250624 7408 33554432000 4194304 4196468 140729642439744 139902897277200 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29626] ppid=29618 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29626/stat : 29626 (java) S 29618 29618 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446079922 15508250624 7408 33554432000 4194304 4196468 140729642439744 139902641961840 139903307610754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29627] ppid=29618 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29627/stat : 29627 (java) S 29618 29618 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446079922 15508250624 7408 33554432000 4194304 4196468 140729642439744 139902640907808 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29628] ppid=29618 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29628/stat : 29628 (java) S 29618 29618 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446079922 15508250624 7408 33554432000 4194304 4196468 140729642439744 139902639854960 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29629] ppid=29618 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29629/stat : 29629 (java) S 29618 29618 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446079925 15508250624 7408 33554432000 4194304 4196468 140729642439744 139902638803280 139903307618203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29630] ppid=29618 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29630/stat : 29630 (java) R 29618 29618 23397 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 446079925 15508250624 7408 33554432000 4194304 4196468 140729642439744 139902637750640 139903307610754 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29631] ppid=29618 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29631/stat : 29631 (java) R 29618 29618 23397 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 15 0 446079925 15508250624 7408 33554432000 4194304 4196468 140729642439744 139902636689488 139903285530208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29632] ppid=29618 vsize=15144776 memory=140672821909120 CPUtime=0.02 cores=1,3,5,7
/proc/29620/task/29632/stat : 29632 (java) R 29618 29618 23397 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 15 0 446079925 15508250624 7408 33554432000 4194304 4196468 140729642439744 139902635645040 139903292737800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29633] ppid=29618 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29633/stat : 29633 (java) S 29618 29618 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446079925 15508250624 7408 33554432000 4194304 4196468 140729642439744 139902634592480 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29634] ppid=29618 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29634/stat : 29634 (java) S 29618 29618 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446079925 15508250624 7408 33554432000 4194304 4196468 140729642439744 139902633540784 139903307610754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31080 KiB
[startup+0.210961 s]*
/proc/loadavg: 7.52 8.31 8.26 6/229 29634
/proc/meminfo: memFree=26849776/32770624 swapFree=66977408/67108860
[pid=29618] ppid=29615 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29618/stat : 29618 (xcsp3-exec) S 29615 29618 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446079919 115843072 362 33554432000 4194304 5098028 140726457003312 140726457001416 140351769903740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36970496 140726457004922 140726457005165 140726457005165 140726457008074 0
/proc/29618/statm: 28282 362 304 221 0 87 0
[pid=29620] ppid=29618 vsize=15144776 memory=41032 CPUtime=0.35 cores=1,3,5,7
/proc/29620/stat : 29620 (java) S 29618 29618 23397 0 -1 1077944320 9456 0 0 0 32 3 0 0 20 0 15 0 446079919 15508250624 10258 33554432000 4194304 4196468 140729642439744 140729642422288 139903307599607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
/proc/29620/statm: 3786194 10258 3318 1 0 3748377 0
[pid=29620/tid=29621] ppid=29618 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/29620/task/29621/stat : 29621 (java) R 29618 29618 23397 0 -1 4202560 6652 0 0 0 18 2 0 0 20 0 15 0 446079920 15508250624 10258 33554432000 4194304 4196468 140729642439744 139903311836304 139903287825928 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29622] ppid=29618 vsize=15144776 memory=1898158 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29622/stat : 29622 (java) S 29618 29618 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446079920 15508250624 10258 33554432000 4194304 4196468 140729642439744 139903260220048 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29623] ppid=29618 vsize=15144776 memory=3472752655965116064 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29623/stat : 29623 (java) S 29618 29618 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446079920 15508250624 10258 33554432000 4194304 4196468 140729642439744 139903259167248 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29624] ppid=29618 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29624/stat : 29624 (java) S 29618 29618 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446079920 15508250624 10258 33554432000 4194304 4196468 140729642439744 139902898330000 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29625] ppid=29618 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29625/stat : 29625 (java) S 29618 29618 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446079920 15508250624 10258 33554432000 4194304 4196468 140729642439744 139902897277200 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29626] ppid=29618 vsize=15144776 memory=140672821909120 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29626/stat : 29626 (java) S 29618 29618 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446079922 15508250624 10258 33554432000 4194304 4196468 140729642439744 139902641961840 139903307610754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29627] ppid=29618 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29627/stat : 29627 (java) S 29618 29618 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446079922 15508250624 10258 33554432000 4194304 4196468 140729642439744 139902640907808 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29628] ppid=29618 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29628/stat : 29628 (java) S 29618 29618 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446079922 15508250624 10258 33554432000 4194304 4196468 140729642439744 139902639854960 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29629] ppid=29618 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29629/stat : 29629 (java) S 29618 29618 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446079925 15508250624 10258 33554432000 4194304 4196468 140729642439744 139902638803280 139903307618203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29630] ppid=29618 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29620/task/29630/stat : 29630 (java) S 29618 29618 23397 0 -1 1077944384 472 0 0 0 2 0 0 0 20 0 15 0 446079925 15508250624 10258 33554432000 4194304 4196468 140729642439744 139902637750640 139903307610754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29631] ppid=29618 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29620/task/29631/stat : 29631 (java) S 29618 29618 23397 0 -1 1077944384 262 0 0 0 2 0 0 0 20 0 15 0 446079925 15508250624 10258 33554432000 4194304 4196468 140729642439744 139902636697840 139903307610754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29632] ppid=29618 vsize=15144776 memory=140672821909120 CPUtime=0.08 cores=1,3,5,7
/proc/29620/task/29632/stat : 29632 (java) R 29618 29618 23397 0 -1 4202560 765 0 0 0 8 0 0 0 20 0 15 0 446079925 15508250624 10258 33554432000 4194304 4196468 140729642439744 139902635645040 139903291680094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29633] ppid=29618 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29633/stat : 29633 (java) S 29618 29618 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446079925 15508250624 10258 33554432000 4194304 4196468 140729642439744 139902634592480 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29634] ppid=29618 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29634/stat : 29634 (java) S 29618 29618 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446079925 15508250624 10258 33554432000 4194304 4196468 140729642439744 139902633540784 139903307610754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42480 KiB
[startup+0.310831 s]*
/proc/loadavg: 7.52 8.31 8.26 7/229 29634
/proc/meminfo: memFree=26840768/32770624 swapFree=66977408/67108860
[pid=29618] ppid=29615 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29618/stat : 29618 (xcsp3-exec) S 29615 29618 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446079919 115843072 362 33554432000 4194304 5098028 140726457003312 140726457001416 140351769903740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36970496 140726457004922 140726457005165 140726457005165 140726457008074 0
/proc/29618/statm: 28282 362 304 221 0 87 0
[pid=29620] ppid=29618 vsize=15149032 memory=50188 CPUtime=0.54 cores=1,3,5,7
/proc/29620/stat : 29620 (java) S 29618 29618 23397 0 -1 1077944320 10869 0 0 0 50 4 0 0 20 0 15 0 446079919 15512608768 12547 33554432000 4194304 4196468 140729642439744 140729642422288 139903307599607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
/proc/29620/statm: 3787258 12547 3368 1 0 3748377 0
[pid=29620/tid=29621] ppid=29618 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/29620/task/29621/stat : 29621 (java) R 29618 29618 23397 0 -1 4202560 7827 0 0 0 27 3 0 0 20 0 15 0 446079920 15512608768 12547 33554432000 4194304 4196468 140729642439744 139903311830720 139903287174473 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29622] ppid=29618 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29622/stat : 29622 (java) S 29618 29618 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446079920 15512608768 12547 33554432000 4194304 4196468 140729642439744 139903260220048 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29623] ppid=29618 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29623/stat : 29623 (java) S 29618 29618 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446079920 15512608768 12547 33554432000 4194304 4196468 140729642439744 139903259167248 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29624] ppid=29618 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29624/stat : 29624 (java) S 29618 29618 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446079920 15512608768 12547 33554432000 4194304 4196468 140729642439744 139902898330000 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29625] ppid=29618 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29625/stat : 29625 (java) S 29618 29618 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446079920 15512608768 12547 33554432000 4194304 4196468 140729642439744 139902897277200 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29626] ppid=29618 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29626/stat : 29626 (java) S 29618 29618 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446079922 15512608768 12547 33554432000 4194304 4196468 140729642439744 139902641961840 139903307610754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29627] ppid=29618 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29627/stat : 29627 (java) S 29618 29618 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446079922 15512608768 12547 33554432000 4194304 4196468 140729642439744 139902640907808 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29628] ppid=29618 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29628/stat : 29628 (java) S 29618 29618 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446079922 15512608768 12547 33554432000 4194304 4196468 140729642439744 139902639854960 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29629] ppid=29618 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29629/stat : 29629 (java) S 29618 29618 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446079925 15512608768 12547 33554432000 4194304 4196468 140729642439744 139902638803280 139903307618203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29630] ppid=29618 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/29620/task/29630/stat : 29630 (java) R 29618 29618 23397 0 -1 4202560 597 0 0 0 5 0 0 0 20 0 15 0 446079925 15512608768 12547 33554432000 4194304 4196468 140729642439744 139902637741024 139903287289594 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29631] ppid=29618 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/29620/task/29631/stat : 29631 (java) S 29618 29618 23397 0 -1 1077944384 270 0 0 0 4 0 0 0 20 0 15 0 446079925 15512608768 12547 33554432000 4194304 4196468 140729642439744 139902636697840 139903307610754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29632] ppid=29618 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/29620/task/29632/stat : 29632 (java) S 29618 29618 23397 0 -1 1077944384 871 0 0 0 13 0 0 0 20 0 15 0 446079925 15512608768 12547 33554432000 4194304 4196468 140729642439744 139902635645040 139903307610754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29633] ppid=29618 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29633/stat : 29633 (java) S 29618 29618 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446079925 15512608768 12547 33554432000 4194304 4196468 140729642439744 139902634592480 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29634] ppid=29618 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29634/stat : 29634 (java) S 29618 29618 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446079925 15512608768 12612 33554432000 4194304 4196468 140729642439744 139902633540784 139903307610754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51636 KiB
[startup+0.70083 s]
/proc/loadavg: 7.52 8.31 8.26 12/229 29634
/proc/meminfo: memFree=26593208/32770624 swapFree=66977408/67108860
[pid=29618] ppid=29615 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29618/stat : 29618 (xcsp3-exec) S 29615 29618 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446079919 115843072 362 33554432000 4194304 5098028 140726457003312 140726457001416 140351769903740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36970496 140726457004922 140726457005165 140726457005165 140726457008074 0
/proc/29618/statm: 28282 362 304 221 0 87 0
[pid=29620] ppid=29618 vsize=15151156 memory=111716 CPUtime=1.57 cores=1,3,5,7
/proc/29620/stat : 29620 (java) S 29618 29618 23397 0 -1 1077944320 14512 0 0 0 150 7 0 0 20 0 15 0 446079919 15514783744 27929 33554432000 4194304 4196468 140729642439744 140729642422288 139903307599607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
/proc/29620/statm: 3787789 27929 3454 1 0 3748889 0
[pid=29620/tid=29621] ppid=29618 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=1,3,5,7
/proc/29620/task/29621/stat : 29621 (java) R 29618 29618 23397 0 -1 4202560 9059 0 0 0 63 4 0 0 20 0 15 0 446079920 15514783744 27929 33554432000 4194304 4196468 140729642439744 139903311837584 139902939392743 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29622] ppid=29618 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29622/stat : 29622 (java) S 29618 29618 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446079920 15514783744 27929 33554432000 4194304 4196468 140729642439744 139903260220048 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29623] ppid=29618 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29623/stat : 29623 (java) S 29618 29618 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446079920 15514783744 27929 33554432000 4194304 4196468 140729642439744 139903259167248 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29624] ppid=29618 vsize=15151156 memory=692 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29624/stat : 29624 (java) S 29618 29618 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446079920 15514783744 27929 33554432000 4194304 4196468 140729642439744 139902898330000 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29625] ppid=29618 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29625/stat : 29625 (java) S 29618 29618 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446079920 15514783744 27929 33554432000 4194304 4196468 140729642439744 139902897277200 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29626] ppid=29618 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29626/stat : 29626 (java) S 29618 29618 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446079922 15514783744 27929 33554432000 4194304 4196468 140729642439744 139902641961840 139903307610754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29627] ppid=29618 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29627/stat : 29627 (java) S 29618 29618 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446079922 15514783744 27929 33554432000 4194304 4196468 140729642439744 139902640907808 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29628] ppid=29618 vsize=15151156 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29628/stat : 29628 (java) S 29618 29618 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446079922 15514783744 27929 33554432000 4194304 4196468 140729642439744 139902639854960 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29629] ppid=29618 vsize=15151156 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29629/stat : 29629 (java) S 29618 29618 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446079925 15514783744 27929 33554432000 4194304 4196468 140729642439744 139902638803280 139903307618203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29630] ppid=29618 vsize=15151156 memory=6048 CPUtime=0.26 cores=1,3,5,7
/proc/29620/task/29630/stat : 29630 (java) S 29618 29618 23397 0 -1 1077944384 1236 0 0 0 26 0 0 0 20 0 15 0 446079925 15514783744 27929 33554432000 4194304 4196468 140729642439744 139902637750640 139903307610754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29631] ppid=29618 vsize=15151156 memory=7552 CPUtime=0.26 cores=1,3,5,7
/proc/29620/task/29631/stat : 29631 (java) R 29618 29618 23397 0 -1 4202560 1207 0 0 0 26 0 0 0 20 0 15 0 446079925 15514783744 27929 33554432000 4194304 4196468 140729642439744 139902636697840 139903291096395 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29632] ppid=29618 vsize=15151156 memory=2832 CPUtime=0.34 cores=1,3,5,7
/proc/29620/task/29632/stat : 29632 (java) S 29618 29618 23397 0 -1 1077944384 1704 0 0 0 34 0 0 0 20 0 15 0 446079925 15514783744 27929 33554432000 4194304 4196468 140729642439744 139902635645040 139903307610754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29633] ppid=29618 vsize=15151156 memory=1084 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29633/stat : 29633 (java) S 29618 29618 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446079925 15514783744 27929 33554432000 4194304 4196468 140729642439744 139902634592480 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29634] ppid=29618 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29634/stat : 29634 (java) S 29618 29618 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446079925 15514783744 27929 33554432000 4194304 4196468 140729642439744 139902633540784 139903307610754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 113164 KiB
[startup+1.50096 s]
/proc/loadavg: 7.52 8.31 8.26 4/229 29634
/proc/meminfo: memFree=25681360/32770624 swapFree=66977408/67108860
[pid=29618] ppid=29615 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29618/stat : 29618 (xcsp3-exec) S 29615 29618 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446079919 115843072 362 33554432000 4194304 5098028 140726457003312 140726457001416 140351769903740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36970496 140726457004922 140726457005165 140726457005165 140726457008074 0
/proc/29618/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/29620/task/29634/stat : 29634 (java) S 29618 29618 23397 0 -1 1077944384 451 0 0 0 0 0 0 0 20 0 19 0 446079925 15787429888 415557 33554432000 4194304 4196468 140729642439744 139902633540784 139903307610754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29639] ppid=29618 vsize=15417412 memory=2004 CPUtime=4.29 cores=1,3,5,7
/proc/29620/task/29639/stat : 29639 (java) R 29618 29618 23397 0 -1 4202560 8782 0 0 0 429 0 0 0 20 0 19 0 446080255 15787429888 415557 33554432000 4194304 4196468 140729642439744 139902624323400 139902945520393 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29640] ppid=29618 vsize=15417412 memory=281345323425216 CPUtime=4.39 cores=1,3,5,7
/proc/29620/task/29640/stat : 29640 (java) R 29618 29618 23397 0 -1 4202560 1000 0 0 0 439 0 0 0 20 0 19 0 446080256 15787429888 415557 33554432000 4194304 4196468 140729642439744 139902623269688 139902945572374 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29641] ppid=29618 vsize=15417412 memory=8257237230052613020 CPUtime=4.56 cores=1,3,5,7
/proc/29620/task/29641/stat : 29641 (java) R 29618 29618 23397 0 -1 4202560 2035 0 0 0 456 0 0 0 20 0 19 0 446080256 15787429888 415557 33554432000 4194304 4196468 140729642439744 139902622217064 139902945520197 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29642] ppid=29618 vsize=15417412 memory=0 CPUtime=4.4 cores=1,3,5,7
/proc/29620/task/29642/stat : 29642 (java) R 29618 29618 23397 0 -1 4202560 304 0 0 0 440 0 0 0 20 0 19 0 446080256 15787429888 415557 33554432000 4194304 4196468 140729642439744 139902621163864 139902945572448 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
Current children cumulated CPU time: 27.85 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1663676 KiB
[startup+9.60091 s]
/proc/loadavg: 7.52 8.28 8.25 8/230 29671
/proc/meminfo: memFree=29508312/32770624 swapFree=66977408/67108860
[pid=29618] ppid=29615 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29618/stat : 29618 (xcsp3-exec) S 29615 29618 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446079919 115843072 362 33554432000 4194304 5098028 140726457003312 140726457001416 140351769903740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36970496 140726457004922 140726457005165 140726457005165 140726457008074 0
/proc/29618/statm: 28282 362 304 221 0 87 0
[pid=29620] ppid=29618 vsize=15417412 memory=1668772 CPUtime=33.2 cores=1,3,5,7
/proc/29620/stat : 29620 (java) S 29618 29618 23397 0 -1 1077944320 69863 0 0 0 3166 154 0 0 20 0 19 0 446079919 15787429888 417193 33554432000 4194304 4196468 140729642439744 140729642422288 139903307599607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
/proc/29620/statm: 3854353 417193 3522 1 0 3815453 0
[pid=29620/tid=29621] ppid=29618 vsize=15417412 memory=1448 CPUtime=1.92 cores=1,3,5,7
/proc/29620/task/29621/stat : 29621 (java) S 29618 29618 23397 0 -1 1077944384 9697 0 0 0 181 11 0 0 20 0 19 0 446079920 15787429888 417193 33554432000 4194304 4196468 140729642439744 139903311840384 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29622] ppid=29618 vsize=15417412 memory=1660840 CPUtime=1.36 cores=1,3,5,7
/proc/29620/task/29622/stat : 29622 (java) S 29618 29618 23397 0 -1 1077944384 6107 0 0 0 103 33 0 0 20 0 19 0 446079920 15787429888 417193 33554432000 4194304 4196468 140729642439744 139903260220048 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29623] ppid=29618 vsize=15417412 memory=6791534058613427641 CPUtime=1.34 cores=1,3,5,7
/proc/29620/task/29623/stat : 29623 (java) S 29618 29618 23397 0 -1 1077944384 7014 0 0 0 100 34 0 0 20 0 19 0 446079920 15787429888 417193 33554432000 4194304 4196468 140729642439744 139903259167248 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29624] ppid=29618 vsize=15417412 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/29620/task/29624/stat : 29624 (java) S 29618 29618 23397 0 -1 1077944384 6835 0 0 0 102 33 0 0 20 0 19 0 446079920 15787429888 417193 33554432000 4194304 4196468 140729642439744 139902898330000 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29625] ppid=29618 vsize=15417412 memory=281345322805400 CPUtime=1.35 cores=1,3,5,7
/proc/29620/task/29625/stat : 29625 (java) S 29618 29618 23397 0 -1 1077944384 7305 0 0 0 101 34 0 0 20 0 19 0 446079920 15787429888 417193 33554432000 4194304 4196468 140729642439744 139902897277200 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29626] ppid=29618 vsize=15417412 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/29620/task/29626/stat : 29626 (java) S 29618 29618 23397 0 -1 1077944384 1602 0 0 0 3 0 0 0 20 0 19 0 446079922 15787429888 417193 33554432000 4194304 4196468 140729642439744 139902641961840 139903307610754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29627] ppid=29618 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29627/stat : 29627 (java) S 29618 29618 23397 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446079922 15787429888 417193 33554432000 4194304 4196468 140729642439744 139902640907872 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29628] ppid=29618 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29628/stat : 29628 (java) S 29618 29618 23397 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446079922 15787429888 417193 33554432000 4194304 4196468 140729642439744 139902639854976 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29629] ppid=29618 vsize=15417412 memory=7013340846366745708 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29629/stat : 29629 (java) S 29618 29618 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446079925 15787429888 417193 33554432000 4194304 4196468 140729642439744 139902638803280 139903307618203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29630] ppid=29618 vsize=15417412 memory=5788930165031592000 CPUtime=1.14 cores=1,3,5,7
/proc/29620/task/29630/stat : 29630 (java) S 29618 29618 23397 0 -1 1077944384 3753 0 0 0 114 0 0 0 20 0 19 0 446079925 15787429888 417193 33554432000 4194304 4196468 140729642439744 139902637750640 139903307610754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29631] ppid=29618 vsize=15417412 memory=7588684550706915689 CPUtime=1.6 cores=1,3,5,7
/proc/29620/task/29631/stat : 29631 (java) S 29618 29618 23397 0 -1 1077944384 6343 0 0 0 158 2 0 0 20 0 19 0 446079925 15787429888 417193 33554432000 4194304 4196468 140729642439744 139902636697840 139903307610754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29632] ppid=29618 vsize=15417412 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/29620/task/29632/stat : 29632 (java) S 29618 29618 23397 0 -1 1077944384 3041 0 0 0 57 0 0 0 20 0 19 0 446079925 15787429888 417193 33554432000 4194304 4196468 140729642439744 139902635645040 139903307610754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29633] ppid=29618 vsize=15417412 memory=15526306778019 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29633/stat : 29633 (java) S 29618 29618 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446079925 15787429888 417193 33554432000 4194304 4196468 140729642439744 139902634592480 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29634] ppid=29618 vsize=15417412 memory=301741420686082359 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29634/stat : 29634 (java) S 29618 29618 23397 0 -1 1077944384 472 0 0 0 0 0 0 0 20 0 19 0 446079925 15787429888 417193 33554432000 4194304 4196468 140729642439744 139902633540784 139903307610754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29639] ppid=29618 vsize=15417412 memory=16105866206120578 CPUtime=5.02 cores=1,3,5,7
/proc/29620/task/29639/stat : 29639 (java) S 29618 29618 23397 0 -1 1077944384 10214 0 0 0 502 0 0 0 20 0 19 0 446080255 15787429888 417193 33554432000 4194304 4196468 140729642439744 139902624325696 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29640] ppid=29618 vsize=15417412 memory=6944652177228980320 CPUtime=5.35 cores=1,3,5,7
/proc/29620/task/29640/stat : 29640 (java) S 29618 29618 23397 0 -1 1077944384 1686 0 0 0 535 0 0 0 20 0 19 0 446080256 15787429888 417193 33554432000 4194304 4196468 140729642439744 139902623274320 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29641] ppid=29618 vsize=15417412 memory=6944652177228980320 CPUtime=6.12 cores=1,3,5,7
/proc/29620/task/29641/stat : 29641 (java) R 29618 29618 23397 0 -1 4202560 3904 0 0 0 611 1 0 0 20 0 19 0 446080256 15787429888 417193 33554432000 4194304 4196468 140729642439744 139902622216664 139902945893910 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29642] ppid=29618 vsize=15417412 memory=6944656592455359580 CPUtime=5.92 cores=1,3,5,7
/proc/29620/task/29642/stat : 29642 (java) R 29618 29618 23397 0 -1 4202560 592 0 0 0 592 0 0 0 20 0 19 0 446080256 15787429888 417193 33554432000 4194304 4196468 140729642439744 139902621163264 139902945572357 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
Current children cumulated CPU time: 33.2 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1670220 KiB
[startup+10.001 s]*
/proc/loadavg: 7.52 8.28 8.25 9/233 29674
/proc/meminfo: memFree=29216852/32770624 swapFree=66977408/67108860
[pid=29618] ppid=29615 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29618/stat : 29618 (xcsp3-exec) S 29615 29618 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446079919 115843072 362 33554432000 4194304 5098028 140726457003312 140726457001416 140351769903740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36970496 140726457004922 140726457005165 140726457005165 140726457008074 0
/proc/29618/statm: 28282 362 304 221 0 87 0
[pid=29620] ppid=29618 vsize=15417412 memory=1668912 CPUtime=34.16 cores=1,3,5,7
/proc/29620/stat : 29620 (java) S 29618 29618 23397 0 -1 1077944320 70325 0 0 0 3262 154 0 0 20 0 19 0 446079919 15787429888 417228 33554432000 4194304 4196468 140729642439744 140729642422288 139903307599607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
/proc/29620/statm: 3854353 417228 3522 1 0 3815453 0
[pid=29620/tid=29621] ppid=29618 vsize=15417412 memory=8317482817917895235 CPUtime=1.92 cores=1,3,5,7
/proc/29620/task/29621/stat : 29621 (java) S 29618 29618 23397 0 -1 1077944384 9697 0 0 0 181 11 0 0 20 0 19 0 446079920 15787429888 417228 33554432000 4194304 4196468 140729642439744 139903311840384 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29622] ppid=29618 vsize=15417412 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/29620/task/29622/stat : 29622 (java) S 29618 29618 23397 0 -1 1077944384 6107 0 0 0 103 33 0 0 20 0 19 0 446079920 15787429888 417228 33554432000 4194304 4196468 140729642439744 139903260220048 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29623] ppid=29618 vsize=15417412 memory=0 CPUtime=1.34 cores=1,3,5,7
/proc/29620/task/29623/stat : 29623 (java) S 29618 29618 23397 0 -1 1077944384 7014 0 0 0 100 34 0 0 20 0 19 0 446079920 15787429888 417228 33554432000 4194304 4196468 140729642439744 139903259167248 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29624] ppid=29618 vsize=15417412 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/29620/task/29624/stat : 29624 (java) S 29618 29618 23397 0 -1 1077944384 6835 0 0 0 102 33 0 0 20 0 19 0 446079920 15787429888 417228 33554432000 4194304 4196468 140729642439744 139902898330000 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29625] ppid=29618 vsize=15417412 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/29620/task/29625/stat : 29625 (java) S 29618 29618 23397 0 -1 1077944384 7305 0 0 0 101 34 0 0 20 0 19 0 446079920 15787429888 417228 33554432000 4194304 4196468 140729642439744 139902897277200 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29626] ppid=29618 vsize=15417412 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/29620/task/29626/stat : 29626 (java) S 29618 29618 23397 0 -1 1077944384 1602 0 0 0 3 0 0 0 20 0 19 0 446079922 15787429888 417228 33554432000 4194304 4196468 140729642439744 139902641961840 139903307610754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29627] ppid=29618 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29627/stat : 29627 (java) S 29618 29618 23397 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446079922 15787429888 417228 33554432000 4194304 4196468 140729642439744 139902640907872 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29628] ppid=29618 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29628/stat : 29628 (java) S 29618 29618 23397 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446079922 15787429888 417228 33554432000 4194304 4196468 140729642439744 139902639854976 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29629] ppid=29618 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29629/stat : 29629 (java) S 29618 29618 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446079925 15787429888 417228 33554432000 4194304 4196468 140729642439744 139902638803280 139903307618203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29630] ppid=29618 vsize=15417412 memory=0 CPUtime=1.2 cores=1,3,5,7
/proc/29620/task/29630/stat : 29630 (java) R 29618 29618 23397 0 -1 4202560 3959 0 0 0 120 0 0 0 20 0 19 0 446079925 15787429888 417228 33554432000 4194304 4196468 140729642439744 139902637732208 139903292714742 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29631] ppid=29618 vsize=15417412 memory=0 CPUtime=1.67 cores=1,3,5,7
/proc/29620/task/29631/stat : 29631 (java) R 29618 29618 23397 0 -1 4202560 6437 0 0 0 165 2 0 0 20 0 19 0 446079925 15787429888 417228 33554432000 4194304 4196468 140729642439744 139902636684128 139903292724672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29632] ppid=29618 vsize=15417412 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/29620/task/29632/stat : 29632 (java) S 29618 29618 23397 0 -1 1077944384 3166 0 0 0 57 0 0 0 20 0 19 0 446079925 15787429888 417228 33554432000 4194304 4196468 140729642439744 139902635645040 139903307610754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29633] ppid=29618 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29633/stat : 29633 (java) S 29618 29618 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446079925 15787429888 417228 33554432000 4194304 4196468 140729642439744 139902634592480 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29634] ppid=29618 vsize=15417412 memory=4224824512609080096 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29634/stat : 29634 (java) S 29618 29618 23397 0 -1 1077944384 472 0 0 0 0 0 0 0 20 0 19 0 446079925 15787429888 417228 33554432000 4194304 4196468 140729642439744 139902633540784 139903307610754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29639] ppid=29618 vsize=15417412 memory=-7384994778349281184 CPUtime=5.02 cores=1,3,5,7
/proc/29620/task/29639/stat : 29639 (java) S 29618 29618 23397 0 -1 1077944384 10214 0 0 0 502 0 0 0 20 0 19 0 446080255 15787429888 417228 33554432000 4194304 4196468 140729642439744 139902624325696 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29640] ppid=29618 vsize=15417412 memory=4137293581110450563 CPUtime=5.35 cores=1,3,5,7
/proc/29620/task/29640/stat : 29640 (java) S 29618 29618 23397 0 -1 1077944384 1686 0 0 0 535 0 0 0 20 0 19 0 446080256 15787429888 417228 33554432000 4194304 4196468 140729642439744 139902623274320 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29641] ppid=29618 vsize=15417412 memory=8761640388318109335 CPUtime=6.53 cores=1,3,5,7
/proc/29620/task/29641/stat : 29641 (java) R 29618 29618 23397 0 -1 4202560 3938 0 0 0 652 1 0 0 20 0 19 0 446080256 15787429888 417228 33554432000 4194304 4196468 140729642439744 139902622218104 139902945572485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29642] ppid=29618 vsize=15417412 memory=7016714190785702558 CPUtime=6.33 cores=1,3,5,7
/proc/29620/task/29642/stat : 29642 (java) R 29618 29618 23397 0 -1 4202560 595 0 0 0 633 0 0 0 20 0 19 0 446080256 15787429888 417228 33554432000 4194304 4196468 140729642439744 139902621163264 139902945894203 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
Current children cumulated CPU time: 34.16 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1670360 KiB
[startup+10.201 s]
/proc/loadavg: 7.52 8.28 8.25 9/233 29674
/proc/meminfo: memFree=29216852/32770624 swapFree=66977408/67108860
[pid=29618] ppid=29615 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29618/stat : 29618 (xcsp3-exec) S 29615 29618 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446079919 115843072 362 33554432000 4194304 5098028 140726457003312 140726457001416 140351769903740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36970496 140726457004922 140726457005165 140726457005165 140726457008074 0
/proc/29618/statm: 28282 362 304 221 0 87 0
[pid=29620] ppid=29618 vsize=15417412 memory=1669860 CPUtime=34.83 cores=1,3,5,7
/proc/29620/stat : 29620 (java) S 29618 29618 23397 0 -1 1077944320 71165 0 0 0 3329 154 0 0 20 0 19 0 446079919 15787429888 417465 33554432000 4194304 4196468 140729642439744 140729642422288 139903307599607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
/proc/29620/statm: 3854353 417465 3522 1 0 3815453 0
[pid=29620/tid=29621] ppid=29618 vsize=15417412 memory=16105866206120578 CPUtime=1.92 cores=1,3,5,7
/proc/29620/task/29621/stat : 29621 (java) S 29618 29618 23397 0 -1 1077944384 9697 0 0 0 181 11 0 0 20 0 19 0 446079920 15787429888 417465 33554432000 4194304 4196468 140729642439744 139903311840384 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29622] ppid=29618 vsize=15417412 memory=1768 CPUtime=1.36 cores=1,3,5,7
/proc/29620/task/29622/stat : 29622 (java) S 29618 29618 23397 0 -1 1077944384 6107 0 0 0 103 33 0 0 20 0 19 0 446079920 15787429888 417465 33554432000 4194304 4196468 140729642439744 139903260220048 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29623] ppid=29618 vsize=15417412 memory=111632 CPUtime=1.34 cores=1,3,5,7
/proc/29620/task/29623/stat : 29623 (java) S 29618 29618 23397 0 -1 1077944384 7014 0 0 0 100 34 0 0 20 0 19 0 446079920 15787429888 417465 33554432000 4194304 4196468 140729642439744 139903259167248 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29624] ppid=29618 vsize=15417412 memory=796 CPUtime=1.35 cores=1,3,5,7
/proc/29620/task/29624/stat : 29624 (java) S 29618 29618 23397 0 -1 1077944384 6835 0 0 0 102 33 0 0 20 0 19 0 446079920 15787429888 417465 33554432000 4194304 4196468 140729642439744 139902898330000 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29625] ppid=29618 vsize=15417412 memory=4104 CPUtime=1.35 cores=1,3,5,7
/proc/29620/task/29625/stat : 29625 (java) S 29618 29618 23397 0 -1 1077944384 7305 0 0 0 101 34 0 0 20 0 19 0 446079920 15787429888 417465 33554432000 4194304 4196468 140729642439744 139902897277200 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29626] ppid=29618 vsize=15417412 memory=1808 CPUtime=0.03 cores=1,3,5,7
/proc/29620/task/29626/stat : 29626 (java) S 29618 29618 23397 0 -1 1077944384 1603 0 0 0 3 0 0 0 20 0 19 0 446079922 15787429888 417465 33554432000 4194304 4196468 140729642439744 139902641961840 139903307610754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29627] ppid=29618 vsize=15417412 memory=920 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29627/stat : 29627 (java) S 29618 29618 23397 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446079922 15787429888 417465 33554432000 4194304 4196468 140729642439744 139902640907872 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29628] ppid=29618 vsize=15417412 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29628/stat : 29628 (java) S 29618 29618 23397 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446079922 15787429888 417465 33554432000 4194304 4196468 140729642439744 139902639854976 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29629] ppid=29618 vsize=15417412 memory=6009032533035543148 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29629/stat : 29629 (java) S 29618 29618 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446079925 15787429888 417465 33554432000 4194304 4196468 140729642439744 139902638803280 139903307618203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29630] ppid=29618 vsize=15417412 memory=6083046308315747941 CPUtime=1.4 cores=1,3,5,7
/proc/29620/task/29630/stat : 29630 (java) R 29618 29618 23397 0 -1 4202560 4531 0 0 0 139 1 0 0 20 0 19 0 446079925 15787429888 417465 33554432000 4194304 4196468 140729642439744 139902637743128 139903291099813 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29631] ppid=29618 vsize=15417412 memory=7524788644215154025 CPUtime=1.83 cores=1,3,5,7
/proc/29620/task/29631/stat : 29631 (java) S 29618 29618 23397 0 -1 1077944384 6671 0 0 0 181 2 0 0 20 0 19 0 446079925 15787429888 417465 33554432000 4194304 4196468 140729642439744 139902636697840 139903307610754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29632] ppid=29618 vsize=15417412 memory=7440060183353512016 CPUtime=0.57 cores=1,3,5,7
/proc/29620/task/29632/stat : 29632 (java) S 29618 29618 23397 0 -1 1077944384 3166 0 0 0 57 0 0 0 20 0 19 0 446079925 15787429888 417465 33554432000 4194304 4196468 140729642439744 139902635645040 139903307610754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29633] ppid=29618 vsize=15417412 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29633/stat : 29633 (java) S 29618 29618 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446079925 15787429888 417465 33554432000 4194304 4196468 140729642439744 139902634592480 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29634] ppid=29618 vsize=15417412 memory=-7522837583129307271 CPUtime=0 cores=1,3,5,7
/proc/29620/task/29634/stat : 29634 (java) S 29618 29618 23397 0 -1 1077944384 472 0 0 0 0 0 0 0 20 0 19 0 446079925 15787429888 417465 33554432000 4194304 4196468 140729642439744 139902633540784 139903307610754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29639] ppid=29618 vsize=15417412 memory=-7385037615309293161 CPUtime=5.02 cores=1,3,5,7
/proc/29620/task/29639/stat : 29639 (java) S 29618 29618 23397 0 -1 1077944384 10214 0 0 0 502 0 0 0 20 0 19 0 446080255 15787429888 417465 33554432000 4194304 4196468 140729642439744 139902624325696 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29640] ppid=29618 vsize=15417412 memory=3047711592160142215 CPUtime=5.35 cores=1,3,5,7
/proc/29620/task/29640/stat : 29640 (java) S 29618 29618 23397 0 -1 1077944384 1686 0 0 0 535 0 0 0 20 0 19 0 446080256 15787429888 417465 33554432000 4194304 4196468 140729642439744 139902623274320 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29641] ppid=29618 vsize=15417412 memory=6154282490091891024 CPUtime=6.67 cores=1,3,5,7
/proc/29620/task/29641/stat : 29641 (java) S 29618 29618 23397 0 -1 1077944384 3969 0 0 0 666 1 0 0 20 0 19 0 446080256 15787429888 417465 33554432000 4194304 4196468 140729642439744 139902622221520 139903307609813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
[pid=29620/tid=29642] ppid=29618 vsize=15417412 memory=5787219359317645668 CPUtime=6.52 cores=1,3,5,7
/proc/29620/task/29642/stat : 29642 (java) R 29618 29618 23397 0 -1 4202560 597 0 0 0 652 0 0 0 20 0 19 0 446080256 15787429888 417465 33554432000 4194304 4196468 140729642439744 139902621163264 139902945894038 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140729642447855 140729642448026 140729642448026 140729642450895 0
Current children cumulated CPU time: 34.83 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1671308 KiB
Child status: 0
Real time (s): 10.2974
CPU time (s): 34.9682
CPU user time (s): 33.4054
CPU system time (s): 1.56285
CPU usage (%): 339.584
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 1671308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.4054
system time used= 1.56285
maximum resident set size= 1670380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72283
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= 2990
involuntary context switches= 703
# summary of solver processes directly reported to runsolver:
# pid: 29618
# total CPU time (s): 34.9682
# total CPU user time (s): 33.4054
# total CPU system time (s): 1.56285
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.081745 second user time and 0.167322 second system time
The end