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 (13467 MiB free)
memory of node 1: 16384 MiB (11830 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406041-1569401802/watcher-4406041-1569401802 -o /var/tmp/evaluation-result-4406041-1569401802/solver-4406041-1569401802 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1569392969-18883 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1898939242 HOME/instance-4406041-1569401802.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20273, runsolver pid=20270
Current StackSize limit: 8192 KiB
[startup+0.100448 s]*
/proc/loadavg: 1.90 1.85 1.84 3/229 20290
/proc/meminfo: memFree=25888612/32770624 swapFree=66956948/67108860
[pid=20273] ppid=20270 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/20273/stat : 20273 (xcsp3-exec) S 20270 20273 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516437946 115843072 364 33554432000 4194304 5098028 140723764861152 140723764859256 140003370566268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23732224 140723764863830 140723764864089 140723764864089 140723764867014 0
/proc/20273/statm: 28282 364 305 221 0 87 0
[pid=20275] ppid=20273 vsize=15144776 memory=29860 CPUtime=0.12 cores=0,2,4,6
/proc/20275/stat : 20275 (java) S 20273 20273 18852 0 -1 1077944320 5427 0 0 0 10 2 0 0 20 0 15 0 516437946 15508250624 7465 33554432000 4194304 4196468 140724141517232 140724141499776 140665381543671 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
/proc/20275/statm: 3786194 7465 3119 1 0 3748377 0
[pid=20275/tid=20276] ppid=20273 vsize=15144776 memory=-2698085374278620574 CPUtime=0.09 cores=0,2,4,6
/proc/20275/task/20276/stat : 20276 (java) R 20273 20273 18852 0 -1 4202560 3378 0 0 0 8 1 0 0 20 0 15 0 516437946 15508250624 7465 33554432000 4194304 4196468 140724141517232 140665385772848 140665018907872 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20277] ppid=20273 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20277/stat : 20277 (java) S 20273 20273 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516437947 15508250624 7465 33554432000 4194304 4196468 140724141517232 140664973929232 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20278] ppid=20273 vsize=15144776 memory=139943936456320 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20278/stat : 20278 (java) S 20273 20273 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516437947 15508250624 7465 33554432000 4194304 4196468 140724141517232 140664972876688 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20279] ppid=20273 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20279/stat : 20279 (java) S 20273 20273 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516437947 15508250624 7465 33554432000 4194304 4196468 140724141517232 140664971824144 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20280] ppid=20273 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20280/stat : 20280 (java) S 20273 20273 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516437947 15508250624 7465 33554432000 4194304 4196468 140724141517232 140664970771600 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20281] ppid=20273 vsize=15144776 memory=139943936456320 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20281/stat : 20281 (java) S 20273 20273 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516437949 15508250624 7465 33554432000 4194304 4196468 140724141517232 140664850171888 140665381554818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20282] ppid=20273 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20282/stat : 20282 (java) S 20273 20273 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516437949 15508250624 7465 33554432000 4194304 4196468 140724141517232 140664849118112 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20284] ppid=20273 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20284/stat : 20284 (java) S 20273 20273 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516437949 15508250624 7465 33554432000 4194304 4196468 140724141517232 140664848065520 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20285] ppid=20273 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20285/stat : 20285 (java) S 20273 20273 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516437952 15508250624 7465 33554432000 4194304 4196468 140724141517232 140664847014096 140665381562267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20286] ppid=20273 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20286/stat : 20286 (java) S 20273 20273 18852 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 516437952 15508250624 7465 33554432000 4194304 4196468 140724141517232 140664845961712 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20287] ppid=20273 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20287/stat : 20287 (java) S 20273 20273 18852 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 516437952 15508250624 7465 33554432000 4194304 4196468 140724141517232 140664844909168 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20288] ppid=20273 vsize=15144776 memory=139943936456320 CPUtime=0.01 cores=0,2,4,6
/proc/20275/task/20288/stat : 20288 (java) R 20273 20273 18852 0 -1 4202560 323 0 0 0 1 0 0 0 20 0 15 0 516437952 15508250624 7465 33554432000 4194304 4196468 140724141517232 140664843856624 140665360169924 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20289] ppid=20273 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20289/stat : 20289 (java) S 20273 20273 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516437952 15508250624 7465 33554432000 4194304 4196468 140724141517232 140664842804320 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20290] ppid=20273 vsize=15144776 memory=139943936456320 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20290/stat : 20290 (java) S 20273 20273 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516437952 15508250624 7465 33554432000 4194304 4196468 140724141517232 140664841750832 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31316 KiB
[startup+0.211856 s]*
/proc/loadavg: 1.90 1.85 1.84 3/229 20290
/proc/meminfo: memFree=25875584/32770624 swapFree=66956948/67108860
[pid=20273] ppid=20270 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/20273/stat : 20273 (xcsp3-exec) S 20270 20273 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516437946 115843072 364 33554432000 4194304 5098028 140723764861152 140723764859256 140003370566268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23732224 140723764863830 140723764864089 140723764864089 140723764867014 0
/proc/20273/statm: 28282 364 305 221 0 87 0
[pid=20275] ppid=20273 vsize=15144776 memory=41488 CPUtime=0.35 cores=0,2,4,6
/proc/20275/stat : 20275 (java) S 20273 20273 18852 0 -1 1077944320 9048 0 0 0 31 4 0 0 20 0 15 0 516437946 15508250624 10372 33554432000 4194304 4196468 140724141517232 140724141499776 140665381543671 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
/proc/20275/statm: 3786194 10372 3310 1 0 3748377 0
[pid=20275/tid=20276] ppid=20273 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/20275/task/20276/stat : 20276 (java) R 20273 20273 18852 0 -1 4202560 6201 0 0 0 17 3 0 0 20 0 15 0 516437946 15508250624 10372 33554432000 4194304 4196468 140724141517232 140665385773392 140665381555606 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20277] ppid=20273 vsize=15144776 memory=1899191 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20277/stat : 20277 (java) S 20273 20273 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516437947 15508250624 10372 33554432000 4194304 4196468 140724141517232 140664973929232 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20278] ppid=20273 vsize=15144776 memory=288370320088168064 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20278/stat : 20278 (java) S 20273 20273 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516437947 15508250624 10372 33554432000 4194304 4196468 140724141517232 140664972876688 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20279] ppid=20273 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20279/stat : 20279 (java) S 20273 20273 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516437947 15508250624 10372 33554432000 4194304 4196468 140724141517232 140664971824144 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20280] ppid=20273 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20280/stat : 20280 (java) S 20273 20273 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516437947 15508250624 10372 33554432000 4194304 4196468 140724141517232 140664970771600 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20281] ppid=20273 vsize=15144776 memory=139943936456320 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20281/stat : 20281 (java) S 20273 20273 18852 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516437949 15508250624 10372 33554432000 4194304 4196468 140724141517232 140664850171888 140665381554818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20282] ppid=20273 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20282/stat : 20282 (java) S 20273 20273 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516437949 15508250624 10372 33554432000 4194304 4196468 140724141517232 140664849118112 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20284] ppid=20273 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20284/stat : 20284 (java) S 20273 20273 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516437949 15508250624 10372 33554432000 4194304 4196468 140724141517232 140664848065520 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20285] ppid=20273 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20285/stat : 20285 (java) S 20273 20273 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516437952 15508250624 10372 33554432000 4194304 4196468 140724141517232 140664847014096 140665381562267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20286] ppid=20273 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20275/task/20286/stat : 20286 (java) S 20273 20273 18852 0 -1 1077944384 629 0 0 0 2 0 0 0 20 0 15 0 516437952 15508250624 10372 33554432000 4194304 4196468 140724141517232 140664845961712 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20287] ppid=20273 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/20275/task/20287/stat : 20287 (java) S 20273 20273 18852 0 -1 1077944384 166 0 0 0 2 0 0 0 20 0 15 0 516437952 15508250624 10372 33554432000 4194304 4196468 140724141517232 140664844909168 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20288] ppid=20273 vsize=15144776 memory=139943936456320 CPUtime=0.08 cores=0,2,4,6
/proc/20275/task/20288/stat : 20288 (java) R 20273 20273 18852 0 -1 4202560 741 0 0 0 8 0 0 0 20 0 15 0 516437952 15508250624 10372 33554432000 4194304 4196468 140724141517232 140664843856624 140665360340845 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20289] ppid=20273 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20289/stat : 20289 (java) S 20273 20273 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516437952 15508250624 10372 33554432000 4194304 4196468 140724141517232 140664842804320 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20290] ppid=20273 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20290/stat : 20290 (java) S 20273 20273 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516437952 15508250624 10372 33554432000 4194304 4196468 140724141517232 140664841750832 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42944 KiB
[startup+0.310689 s]*
/proc/loadavg: 1.90 1.85 1.84 6/229 20290
/proc/meminfo: memFree=25871260/32770624 swapFree=66956948/67108860
[pid=20273] ppid=20270 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/20273/stat : 20273 (xcsp3-exec) S 20270 20273 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516437946 115843072 364 33554432000 4194304 5098028 140723764861152 140723764859256 140003370566268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23732224 140723764863830 140723764864089 140723764864089 140723764867014 0
/proc/20273/statm: 28282 364 305 221 0 87 0
[pid=20275] ppid=20273 vsize=15149032 memory=49756 CPUtime=0.52 cores=0,2,4,6
/proc/20275/stat : 20275 (java) S 20273 20273 18852 0 -1 1077944320 10274 0 0 0 48 4 0 0 20 0 15 0 516437946 15512608768 12439 33554432000 4194304 4196468 140724141517232 140724141499776 140665381543671 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
/proc/20275/statm: 3787258 12439 3352 1 0 3748377 0
[pid=20275/tid=20276] ppid=20273 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/20275/task/20276/stat : 20276 (java) R 20273 20273 18852 0 -1 4202560 7277 0 0 0 26 3 0 0 20 0 15 0 516437946 15512608768 12467 33554432000 4194304 4196468 140724141517232 140665385782240 140665365624158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20277] ppid=20273 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20277/stat : 20277 (java) S 20273 20273 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516437947 15512608768 12467 33554432000 4194304 4196468 140724141517232 140664973929232 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20278] ppid=20273 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20278/stat : 20278 (java) S 20273 20273 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516437947 15512608768 12467 33554432000 4194304 4196468 140724141517232 140664972876688 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20279] ppid=20273 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20279/stat : 20279 (java) S 20273 20273 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516437947 15512608768 12467 33554432000 4194304 4196468 140724141517232 140664971824144 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20280] ppid=20273 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20280/stat : 20280 (java) S 20273 20273 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516437947 15512608768 12467 33554432000 4194304 4196468 140724141517232 140664970771600 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20281] ppid=20273 vsize=15149032 memory=-7305852742256935071 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20281/stat : 20281 (java) S 20273 20273 18852 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516437949 15512608768 12467 33554432000 4194304 4196468 140724141517232 140664850171888 140665381554818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20282] ppid=20273 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20282/stat : 20282 (java) S 20273 20273 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516437949 15512608768 12467 33554432000 4194304 4196468 140724141517232 140664849118112 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20284] ppid=20273 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20284/stat : 20284 (java) S 20273 20273 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516437949 15512608768 12467 33554432000 4194304 4196468 140724141517232 140664848065520 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20285] ppid=20273 vsize=15149032 memory=8514701219781834910 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20285/stat : 20285 (java) S 20273 20273 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516437952 15512608768 12467 33554432000 4194304 4196468 140724141517232 140664847014096 140665381562267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20286] ppid=20273 vsize=15149032 memory=6576575808606939556 CPUtime=0.05 cores=0,2,4,6
/proc/20275/task/20286/stat : 20286 (java) R 20273 20273 18852 0 -1 4202560 721 0 0 0 5 0 0 0 20 0 15 0 516437952 15512608768 12467 33554432000 4194304 4196468 140724141517232 140664845961712 140665359195536 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20287] ppid=20273 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20275/task/20287/stat : 20287 (java) S 20273 20273 18852 0 -1 1077944384 183 0 0 0 3 0 0 0 20 0 15 0 516437952 15512608768 12467 33554432000 4194304 4196468 140724141517232 140664844909168 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20288] ppid=20273 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/20275/task/20288/stat : 20288 (java) S 20273 20273 18852 0 -1 1077944384 800 0 0 0 12 0 0 0 20 0 15 0 516437952 15512608768 12467 33554432000 4194304 4196468 140724141517232 140664843856624 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20289] ppid=20273 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20289/stat : 20289 (java) S 20273 20273 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516437952 15512608768 12467 33554432000 4194304 4196468 140724141517232 140664842804320 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20290] ppid=20273 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20290/stat : 20290 (java) S 20273 20273 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516437952 15512608768 12467 33554432000 4194304 4196468 140724141517232 140664841750832 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51212 KiB
[startup+0.705425 s]
/proc/loadavg: 1.90 1.85 1.84 6/229 20290
/proc/meminfo: memFree=25858728/32770624 swapFree=66956948/67108860
[pid=20273] ppid=20270 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/20273/stat : 20273 (xcsp3-exec) S 20270 20273 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516437946 115843072 364 33554432000 4194304 5098028 140723764861152 140723764859256 140003370566268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23732224 140723764863830 140723764864089 140723764864089 140723764867014 0
/proc/20273/statm: 28282 364 305 221 0 87 0
[pid=20275] ppid=20273 vsize=15151156 memory=70576 CPUtime=1.57 cores=0,2,4,6
/proc/20275/stat : 20275 (java) S 20273 20273 18852 0 -1 1077944320 13933 0 0 0 150 7 0 0 20 0 15 0 516437946 15514783744 17644 33554432000 4194304 4196468 140724141517232 140724141499776 140665381543671 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
/proc/20275/statm: 3787789 17644 3456 1 0 3748889 0
[pid=20275/tid=20276] ppid=20273 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/20275/task/20276/stat : 20276 (java) R 20273 20273 18852 0 -1 4202560 8751 0 0 0 63 4 0 0 20 0 15 0 516437946 15514783744 17644 33554432000 4194304 4196468 140724141517232 140665385782608 140665022770921 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20277] ppid=20273 vsize=15151156 memory=55192 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20277/stat : 20277 (java) S 20273 20273 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516437947 15514783744 17644 33554432000 4194304 4196468 140724141517232 140664973929232 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20278] ppid=20273 vsize=15151156 memory=984 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20278/stat : 20278 (java) S 20273 20273 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516437947 15514783744 17644 33554432000 4194304 4196468 140724141517232 140664972876688 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20279] ppid=20273 vsize=15151156 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20279/stat : 20279 (java) S 20273 20273 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516437947 15514783744 17644 33554432000 4194304 4196468 140724141517232 140664971824144 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20280] ppid=20273 vsize=15151156 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20280/stat : 20280 (java) S 20273 20273 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516437947 15514783744 17644 33554432000 4194304 4196468 140724141517232 140664970771600 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20281] ppid=20273 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20281/stat : 20281 (java) S 20273 20273 18852 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516437949 15514783744 17644 33554432000 4194304 4196468 140724141517232 140664850171888 140665381554818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20282] ppid=20273 vsize=15151156 memory=7552 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20282/stat : 20282 (java) S 20273 20273 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516437949 15514783744 17644 33554432000 4194304 4196468 140724141517232 140664849118112 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20284] ppid=20273 vsize=15151156 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20284/stat : 20284 (java) S 20273 20273 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516437949 15514783744 17644 33554432000 4194304 4196468 140724141517232 140664848065520 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20285] ppid=20273 vsize=15151156 memory=616 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20285/stat : 20285 (java) S 20273 20273 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516437952 15514783744 17644 33554432000 4194304 4196468 140724141517232 140664847014096 140665381562267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20286] ppid=20273 vsize=15151156 memory=2832 CPUtime=0.25 cores=0,2,4,6
/proc/20275/task/20286/stat : 20286 (java) R 20273 20273 18852 0 -1 4202560 1219 0 0 0 25 0 0 0 20 0 15 0 516437952 15514783744 17644 33554432000 4194304 4196468 140724141517232 140664845951504 140665366654317 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20287] ppid=20273 vsize=15151156 memory=1620 CPUtime=0.26 cores=0,2,4,6
/proc/20275/task/20287/stat : 20287 (java) R 20273 20273 18852 0 -1 4202560 1029 0 0 0 26 0 0 0 20 0 15 0 516437952 15514783744 17644 33554432000 4194304 4196468 140724141517232 140664844898656 140665366431545 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20288] ppid=20273 vsize=15151156 memory=1136 CPUtime=0.34 cores=0,2,4,6
/proc/20275/task/20288/stat : 20288 (java) S 20273 20273 18852 0 -1 1077944384 1623 0 0 0 34 0 0 0 20 0 15 0 516437952 15514783744 17644 33554432000 4194304 4196468 140724141517232 140664843856624 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20289] ppid=20273 vsize=15151156 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20289/stat : 20289 (java) S 20273 20273 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516437952 15514783744 17644 33554432000 4194304 4196468 140724141517232 140664842804320 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20290] ppid=20273 vsize=15151156 memory=6196 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20290/stat : 20290 (java) S 20273 20273 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516437952 15514783744 17644 33554432000 4194304 4196468 140724141517232 140664841750832 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 72032 KiB
[startup+1.50147 s]
/proc/loadavg: 1.90 1.85 1.84 4/228 20290
/proc/meminfo: memFree=25845892/32770624 swapFree=66956948/67108860
[pid=20273] ppid=20270 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/20273/stat : 20273 (xcsp3-exec) S 20270 20273 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516437946 115843072 364 33554432000 4194304 5098028 140723764861152 140723764859256 140003370566268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23732224 140723764863830 140723764864089 140723764864089 140723764867014 0
/proc/20273/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/20273/stat : 20273 (xcsp3-exec) S 20270 20273 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516437946 115843072 364 33554432000 4194304 5098028 140723764861152 140723764859256 140003370566268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23732224 140723764863830 140723764864089 140723764864089 140723764867014 0
/proc/20273/statm: 28282 364 305 221 0 87 0
[pid=20275] ppid=20273 vsize=15151156 memory=144360 CPUtime=24.99 cores=0,2,4,6
/proc/20275/stat : 20275 (java) S 20273 20273 18852 0 -1 1077944320 39708 0 0 0 2489 10 0 0 20 0 15 0 516437946 15514783744 36090 33554432000 4194304 4196468 140724141517232 140724141499776 140665381543671 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
/proc/20275/statm: 3787789 36090 3481 1 0 3748889 0
[pid=20275/tid=20276] ppid=20273 vsize=15151156 memory=6944656592455360608 CPUtime=20.76 cores=0,2,4,6
/proc/20275/task/20276/stat : 20276 (java) R 20273 20273 18852 0 -1 4202560 12170 0 0 0 2071 5 0 0 20 0 15 0 516437946 15514783744 36090 33554432000 4194304 4196468 140724141517232 140665385780376 140665023327439 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20277] ppid=20273 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20277/stat : 20277 (java) S 20273 20273 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516437947 15514783744 36090 33554432000 4194304 4196468 140724141517232 140664973929232 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20278] ppid=20273 vsize=15151156 memory=138196 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20278/stat : 20278 (java) S 20273 20273 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516437947 15514783744 36090 33554432000 4194304 4196468 140724141517232 140664972876688 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20279] ppid=20273 vsize=15151156 memory=139943792469776 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20279/stat : 20279 (java) S 20273 20273 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516437947 15514783744 36090 33554432000 4194304 4196468 140724141517232 140664971824144 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20280] ppid=20273 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20280/stat : 20280 (java) S 20273 20273 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516437947 15514783744 36090 33554432000 4194304 4196468 140724141517232 140664970771600 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20281] ppid=20273 vsize=15151156 memory=132044 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20281/stat : 20281 (java) S 20273 20273 18852 0 -1 1077944384 376 0 0 0 0 0 0 0 20 0 15 0 516437949 15514783744 36090 33554432000 4194304 4196468 140724141517232 140664850171888 140665381554818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20282] ppid=20273 vsize=15151156 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20282/stat : 20282 (java) S 20273 20273 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516437949 15514783744 36090 33554432000 4194304 4196468 140724141517232 140664849118112 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20284] ppid=20273 vsize=15151156 memory=616 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20284/stat : 20284 (java) S 20273 20273 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516437949 15514783744 36090 33554432000 4194304 4196468 140724141517232 140664848065520 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20285] ppid=20273 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20285/stat : 20285 (java) S 20273 20273 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516437952 15514783744 36090 33554432000 4194304 4196468 140724141517232 140664847014096 140665381562267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20286] ppid=20273 vsize=15151156 memory=1620 CPUtime=1.67 cores=0,2,4,6
/proc/20275/task/20286/stat : 20286 (java) S 20273 20273 18852 0 -1 1077944384 7994 0 0 0 166 1 0 0 20 0 15 0 516437952 15514783744 36090 33554432000 4194304 4196468 140724141517232 140664845961712 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20287] ppid=20273 vsize=15151156 memory=1136 CPUtime=2.03 cores=0,2,4,6
/proc/20275/task/20287/stat : 20287 (java) S 20273 20273 18852 0 -1 1077944384 14029 0 0 0 202 1 0 0 20 0 15 0 516437952 15514783744 36090 33554432000 4194304 4196468 140724141517232 140664844909168 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20288] ppid=20273 vsize=15151156 memory=129996 CPUtime=0.47 cores=0,2,4,6
/proc/20275/task/20288/stat : 20288 (java) S 20273 20273 18852 0 -1 1077944384 3288 0 0 0 47 0 0 0 20 0 15 0 516437952 15514783744 36090 33554432000 4194304 4196468 140724141517232 140664843856624 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20289] ppid=20273 vsize=15151156 memory=125876 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20289/stat : 20289 (java) S 20273 20273 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516437952 15514783744 36090 33554432000 4194304 4196468 140724141517232 140664842804320 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20290] ppid=20273 vsize=15151156 memory=125876 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20290/stat : 20290 (java) S 20273 20273 18852 0 -1 1077944384 547 0 0 0 0 0 0 0 20 0 15 0 516437952 15514783744 36090 33554432000 4194304 4196468 140724141517232 140664841750832 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
Current children cumulated CPU time: 24.99 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 145816 KiB
[startup+22.4007 s]
/proc/loadavg: 2.05 1.89 1.85 3/228 20290
/proc/meminfo: memFree=25774144/32770624 swapFree=66956948/67108860
[pid=20273] ppid=20270 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/20273/stat : 20273 (xcsp3-exec) S 20270 20273 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516437946 115843072 364 33554432000 4194304 5098028 140723764861152 140723764859256 140003370566268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23732224 140723764863830 140723764864089 140723764864089 140723764867014 0
/proc/20273/statm: 28282 364 305 221 0 87 0
[pid=20275] ppid=20273 vsize=15151156 memory=148464 CPUtime=26.59 cores=0,2,4,6
/proc/20275/stat : 20275 (java) S 20273 20273 18852 0 -1 1077944320 39738 0 0 0 2649 10 0 0 20 0 15 0 516437946 15514783744 37116 33554432000 4194304 4196468 140724141517232 140724141499776 140665381543671 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
/proc/20275/statm: 3787789 37116 3481 1 0 3748889 0
[pid=20275/tid=20276] ppid=20273 vsize=15151156 memory=279887583641840 CPUtime=22.36 cores=0,2,4,6
/proc/20275/task/20276/stat : 20276 (java) R 20273 20273 18852 0 -1 4202560 12179 0 0 0 2231 5 0 0 20 0 15 0 516437946 15514783744 37116 33554432000 4194304 4196468 140724141517232 140665385780568 140665024646787 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20277] ppid=20273 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20277/stat : 20277 (java) S 20273 20273 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516437947 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664973929232 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20278] ppid=20273 vsize=15151156 memory=139943792172559 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20278/stat : 20278 (java) S 20273 20273 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516437947 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664972876688 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20279] ppid=20273 vsize=15151156 memory=139943792060409 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20279/stat : 20279 (java) S 20273 20273 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516437947 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664971824144 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20280] ppid=20273 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20280/stat : 20280 (java) S 20273 20273 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516437947 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664970771600 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20281] ppid=20273 vsize=15151156 memory=55192 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20281/stat : 20281 (java) S 20273 20273 18852 0 -1 1077944384 376 0 0 0 0 0 0 0 20 0 15 0 516437949 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664850171888 140665381554818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20282] ppid=20273 vsize=15151156 memory=984 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20282/stat : 20282 (java) S 20273 20273 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516437949 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664849118112 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20284] ppid=20273 vsize=15151156 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20284/stat : 20284 (java) S 20273 20273 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516437949 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664848065520 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20285] ppid=20273 vsize=15151156 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20285/stat : 20285 (java) S 20273 20273 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516437952 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664847014096 140665381562267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20286] ppid=20273 vsize=15151156 memory=1456 CPUtime=1.67 cores=0,2,4,6
/proc/20275/task/20286/stat : 20286 (java) S 20273 20273 18852 0 -1 1077944384 8015 0 0 0 166 1 0 0 20 0 15 0 516437952 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664845961712 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20287] ppid=20273 vsize=15151156 memory=125876 CPUtime=2.03 cores=0,2,4,6
/proc/20275/task/20287/stat : 20287 (java) S 20273 20273 18852 0 -1 1077944384 14029 0 0 0 202 1 0 0 20 0 15 0 516437952 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664844909168 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20288] ppid=20273 vsize=15151156 memory=15825482151102897 CPUtime=0.47 cores=0,2,4,6
/proc/20275/task/20288/stat : 20288 (java) S 20273 20273 18852 0 -1 1077944384 3288 0 0 0 47 0 0 0 20 0 15 0 516437952 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664843856624 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20289] ppid=20273 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20289/stat : 20289 (java) S 20273 20273 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516437952 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664842804320 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20290] ppid=20273 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20290/stat : 20290 (java) S 20273 20273 18852 0 -1 1077944384 547 0 0 0 0 0 0 0 20 0 15 0 516437952 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664841750832 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
Current children cumulated CPU time: 26.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 149920 KiB
[startup+22.8007 s]
/proc/loadavg: 2.05 1.89 1.85 3/228 20290
/proc/meminfo: memFree=25774144/32770624 swapFree=66956948/67108860
[pid=20273] ppid=20270 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/20273/stat : 20273 (xcsp3-exec) S 20270 20273 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516437946 115843072 364 33554432000 4194304 5098028 140723764861152 140723764859256 140003370566268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23732224 140723764863830 140723764864089 140723764864089 140723764867014 0
/proc/20273/statm: 28282 364 305 221 0 87 0
[pid=20275] ppid=20273 vsize=15151156 memory=148464 CPUtime=26.99 cores=0,2,4,6
/proc/20275/stat : 20275 (java) S 20273 20273 18852 0 -1 1077944320 39738 0 0 0 2689 10 0 0 20 0 15 0 516437946 15514783744 37116 33554432000 4194304 4196468 140724141517232 140724141499776 140665381543671 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
/proc/20275/statm: 3787789 37116 3481 1 0 3748889 0
[pid=20275/tid=20276] ppid=20273 vsize=15151156 memory=1072 CPUtime=22.76 cores=0,2,4,6
/proc/20275/task/20276/stat : 20276 (java) R 20273 20273 18852 0 -1 4202560 12179 0 0 0 2271 5 0 0 20 0 15 0 516437946 15514783744 37116 33554432000 4194304 4196468 140724141517232 140665385780568 140665023327189 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20277] ppid=20273 vsize=15151156 memory=6196 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20277/stat : 20277 (java) S 20273 20273 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516437947 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664973929232 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20278] ppid=20273 vsize=15151156 memory=784 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20278/stat : 20278 (java) S 20273 20273 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516437947 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664972876688 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20279] ppid=20273 vsize=15151156 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20279/stat : 20279 (java) S 20273 20273 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516437947 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664971824144 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20280] ppid=20273 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20280/stat : 20280 (java) S 20273 20273 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516437947 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664970771600 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20281] ppid=20273 vsize=15151156 memory=33 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20281/stat : 20281 (java) S 20273 20273 18852 0 -1 1077944384 376 0 0 0 0 0 0 0 20 0 15 0 516437949 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664850171888 140665381554818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20282] ppid=20273 vsize=15151156 memory=7449632604667602274 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20282/stat : 20282 (java) S 20273 20273 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516437949 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664849118112 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20284] ppid=20273 vsize=15151156 memory=7090744343078920549 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20284/stat : 20284 (java) S 20273 20273 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516437949 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664848065520 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20285] ppid=20273 vsize=15151156 memory=7812733168801771884 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20285/stat : 20285 (java) S 20273 20273 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516437952 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664847014096 140665381562267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20286] ppid=20273 vsize=15151156 memory=7300704776819335744 CPUtime=1.67 cores=0,2,4,6
/proc/20275/task/20286/stat : 20286 (java) S 20273 20273 18852 0 -1 1077944384 8015 0 0 0 166 1 0 0 20 0 15 0 516437952 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664845961712 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20287] ppid=20273 vsize=15151156 memory=1456 CPUtime=2.03 cores=0,2,4,6
/proc/20275/task/20287/stat : 20287 (java) S 20273 20273 18852 0 -1 1077944384 14029 0 0 0 202 1 0 0 20 0 15 0 516437952 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664844909168 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20288] ppid=20273 vsize=15151156 memory=146408 CPUtime=0.47 cores=0,2,4,6
/proc/20275/task/20288/stat : 20288 (java) S 20273 20273 18852 0 -1 1077944384 3288 0 0 0 47 0 0 0 20 0 15 0 516437952 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664843856624 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20289] ppid=20273 vsize=15151156 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20289/stat : 20289 (java) S 20273 20273 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516437952 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664842804320 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20290] ppid=20273 vsize=15151156 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20290/stat : 20290 (java) S 20273 20273 18852 0 -1 1077944384 547 0 0 0 0 0 0 0 20 0 15 0 516437952 15514783744 37116 33554432000 4194304 4196468 140724141517232 140664841750832 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
Current children cumulated CPU time: 26.99 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 149920 KiB
[startup+23.2007 s]
/proc/loadavg: 2.05 1.89 1.85 3/228 20290
/proc/meminfo: memFree=25774144/32770624 swapFree=66956948/67108860
[pid=20273] ppid=20270 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/20273/stat : 20273 (xcsp3-exec) S 20270 20273 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516437946 115843072 364 33554432000 4194304 5098028 140723764861152 140723764859256 140003370566268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23732224 140723764863830 140723764864089 140723764864089 140723764867014 0
/proc/20273/statm: 28282 364 305 221 0 87 0
[pid=20275] ppid=20273 vsize=15151156 memory=150512 CPUtime=27.39 cores=0,2,4,6
/proc/20275/stat : 20275 (java) S 20273 20273 18852 0 -1 1077944320 39740 0 0 0 2729 10 0 0 20 0 15 0 516437946 15514783744 37628 33554432000 4194304 4196468 140724141517232 140724141499776 140665381543671 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
/proc/20275/statm: 3787789 37628 3481 1 0 3748889 0
[pid=20275/tid=20276] ppid=20273 vsize=15151156 memory=6791534058613427641 CPUtime=23.17 cores=0,2,4,6
/proc/20275/task/20276/stat : 20276 (java) R 20273 20273 18852 0 -1 4202560 12181 0 0 0 2311 6 0 0 20 0 15 0 516437946 15514783744 37628 33554432000 4194304 4196468 140724141517232 140665385780568 140665023327330 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20277] ppid=20273 vsize=15151156 memory=-2605811476043407915 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20277/stat : 20277 (java) S 20273 20273 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516437947 15514783744 37628 33554432000 4194304 4196468 140724141517232 140664973929232 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20278] ppid=20273 vsize=15151156 memory=-3255422371651459150 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20278/stat : 20278 (java) S 20273 20273 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516437947 15514783744 37628 33554432000 4194304 4196468 140724141517232 140664972876688 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20279] ppid=20273 vsize=15151156 memory=-4051592751533505334 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20279/stat : 20279 (java) S 20273 20273 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516437947 15514783744 37628 33554432000 4194304 4196468 140724141517232 140664971824144 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20280] ppid=20273 vsize=15151156 memory=5495740422247797458 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20280/stat : 20280 (java) S 20273 20273 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516437947 15514783744 37628 33554432000 4194304 4196468 140724141517232 140664970771600 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20281] ppid=20273 vsize=15151156 memory=5495740422247797458 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20281/stat : 20281 (java) S 20273 20273 18852 0 -1 1077944384 376 0 0 0 0 0 0 0 20 0 15 0 516437949 15514783744 37628 33554432000 4194304 4196468 140724141517232 140664850171888 140665381554818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20282] ppid=20273 vsize=15151156 memory=984 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20282/stat : 20282 (java) S 20273 20273 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516437949 15514783744 37628 33554432000 4194304 4196468 140724141517232 140664849118112 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20284] ppid=20273 vsize=15151156 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20284/stat : 20284 (java) S 20273 20273 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516437949 15514783744 37628 33554432000 4194304 4196468 140724141517232 140664848065520 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20285] ppid=20273 vsize=15151156 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20285/stat : 20285 (java) S 20273 20273 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516437952 15514783744 37628 33554432000 4194304 4196468 140724141517232 140664847014096 140665381562267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20286] ppid=20273 vsize=15151156 memory=1548 CPUtime=1.67 cores=0,2,4,6
/proc/20275/task/20286/stat : 20286 (java) S 20273 20273 18852 0 -1 1077944384 8015 0 0 0 166 1 0 0 20 0 15 0 516437952 15514783744 37628 33554432000 4194304 4196468 140724141517232 140664845961712 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20287] ppid=20273 vsize=15151156 memory=7552 CPUtime=2.03 cores=0,2,4,6
/proc/20275/task/20287/stat : 20287 (java) S 20273 20273 18852 0 -1 1077944384 14029 0 0 0 202 1 0 0 20 0 15 0 516437952 15514783744 37628 33554432000 4194304 4196468 140724141517232 140664844909168 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20288] ppid=20273 vsize=15151156 memory=3608 CPUtime=0.47 cores=0,2,4,6
/proc/20275/task/20288/stat : 20288 (java) S 20273 20273 18852 0 -1 1077944384 3288 0 0 0 47 0 0 0 20 0 15 0 516437952 15514783744 37628 33554432000 4194304 4196468 140724141517232 140664843856624 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20289] ppid=20273 vsize=15151156 memory=616 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20289/stat : 20289 (java) S 20273 20273 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516437952 15514783744 37628 33554432000 4194304 4196468 140724141517232 140664842804320 140665381553877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
[pid=20275/tid=20290] ppid=20273 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/20275/task/20290/stat : 20290 (java) S 20273 20273 18852 0 -1 1077944384 547 0 0 0 0 0 0 0 20 0 15 0 516437952 15514783744 37628 33554432000 4194304 4196468 140724141517232 140664841750832 140665381554818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16453632 140724141519835 140724141520010 140724141520010 140724141522895 0
Current children cumulated CPU time: 27.39 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 151968 KiB
Child status: 0
Real time (s): 23.2958
CPU time (s): 27.4991
CPU user time (s): 27.3869
CPU system time (s): 0.11219
CPU usage (%): 118.043
Max. virtual memory (cumulated for all children) (KiB): 15266180
Max. memory (cumulated for all children) (KiB): 151968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.3869
system time used= 0.11219
maximum resident set size= 150776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40825
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= 3093
involuntary context switches= 53
# summary of solver processes directly reported to runsolver:
# pid: 20273
# total CPU time (s): 27.4991
# total CPU user time (s): 27.3869
# total CPU system time (s): 0.11219
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.154309 second user time and 0.271938 second system time
The end