2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16	OPT	4	8.60653	2.96382
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 (15241 MiB free)
  memory of node 1: 16384 MiB (11440 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399196-1568687528/watcher-4399196-1568687528 -o /tmp/evaluation-result-4399196-1568687528/solver-4399196-1568687528 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568682260-15014 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 97753383 HOME/instance-4399196-1568687528.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=21619, runsolver pid=21616
Current StackSize limit: 8192 KiB


[startup+0.102224 s]*
/proc/loadavg: 8.19 8.42 8.49 7/234 21635
/proc/meminfo: memFree=27307604/32770624 swapFree=66997372/67108860
[pid=21619] ppid=21616 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21619/stat : 21619 (xcsp3-exec) S 21616 21619 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445005913 115843072 362 33554432000 4194304 5098028 140729672003840 140729672001944 140701979804284 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23400448 140729672012668 140729672012909 140729672012909 140729672015818 0
/proc/21619/statm: 28282 362 304 221 0 87 0
[pid=21621] ppid=21619 vsize=15144776 memory=28700 CPUtime=0.13 cores=0,2,4,6
/proc/21621/stat : 21621 (java) S 21619 21619 14983 0 -1 1077944320 5690 0 0 0 12 1 0 0 20 0 15 0 445005913 15508250624 7175 33554432000 4194304 4196468 140729219409584 140729219392128 139913983143671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
/proc/21621/statm: 3786194 7175 3123 1 0 3748377 0
[pid=21621/tid=21622] ppid=21619 vsize=15144776 memory=7100839870104831090 CPUtime=0.1 cores=0,2,4,6
/proc/21621/task/21622/stat : 21622 (java) R 21619 21619 14983 0 -1 4202560 3577 0 0 0 9 1 0 0 20 0 15 0 445005913 15508250624 7241 33554432000 4194304 4196468 140729219409584 139913987364944 139913983165018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21623] ppid=21619 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21623/stat : 21623 (java) S 21619 21619 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445005914 15508250624 7241 33554432000 4194304 4196468 140729219409584 139913935763984 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21624] ppid=21619 vsize=15144776 memory=140548250814080 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21624/stat : 21624 (java) S 21619 21619 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445005914 15508250624 7241 33554432000 4194304 4196468 140729219409584 139913934711440 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21625] ppid=21619 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21625/stat : 21625 (java) S 21619 21619 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445005914 15508250624 7241 33554432000 4194304 4196468 140729219409584 139913933658384 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21626] ppid=21619 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21626/stat : 21626 (java) S 21619 21619 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445005914 15508250624 7241 33554432000 4194304 4196468 140729219409584 139913932605840 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21627] ppid=21619 vsize=15144776 memory=140548250814080 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21627/stat : 21627 (java) S 21619 21619 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445005916 15508250624 7241 33554432000 4194304 4196468 140729219409584 139912856697584 139913983154818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21628] ppid=21619 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21628/stat : 21628 (java) S 21619 21619 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445005916 15508250624 7241 33554432000 4194304 4196468 140729219409584 139912787519136 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21629] ppid=21619 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21629/stat : 21629 (java) S 21619 21619 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445005916 15508250624 7241 33554432000 4194304 4196468 140729219409584 139912786466032 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21630] ppid=21619 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21630/stat : 21630 (java) S 21619 21619 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445005919 15508250624 7241 33554432000 4194304 4196468 140729219409584 139912785414608 139913983162267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21631] ppid=21619 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21631/stat : 21631 (java) S 21619 21619 14983 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 15 0 445005919 15508250624 7241 33554432000 4194304 4196468 140729219409584 139912784361712 139913983154818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21632] ppid=21619 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21632/stat : 21632 (java) S 21619 21619 14983 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 445005919 15508250624 7241 33554432000 4194304 4196468 140729219409584 139912783309168 139913983154818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21633] ppid=21619 vsize=15144776 memory=140548250814080 CPUtime=0.02 cores=0,2,4,6
/proc/21621/task/21633/stat : 21633 (java) R 21619 21619 14983 0 -1 4202560 374 0 0 0 2 0 0 0 20 0 15 0 445005919 15508250624 7241 33554432000 4194304 4196468 140729219409584 139912782254072 139913975380798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21634] ppid=21619 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21634/stat : 21634 (java) S 21619 21619 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445005919 15508250624 7241 33554432000 4194304 4196468 140729219409584 139912781203808 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21635] ppid=21619 vsize=15144776 memory=140548250814080 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21635/stat : 21635 (java) R 21619 21619 14983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 445005919 15508250624 7241 33554432000 4194304 4196468 140729219409584 139912780151856 139913983154818 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30148 KiB

[startup+0.21091 s]*
/proc/loadavg: 8.19 8.42 8.49 7/234 21635
/proc/meminfo: memFree=27293836/32770624 swapFree=66997372/67108860
[pid=21619] ppid=21616 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21619/stat : 21619 (xcsp3-exec) S 21616 21619 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445005913 115843072 362 33554432000 4194304 5098028 140729672003840 140729672001944 140701979804284 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23400448 140729672012668 140729672012909 140729672012909 140729672015818 0
/proc/21619/statm: 28282 362 304 221 0 87 0
[pid=21621] ppid=21619 vsize=15144776 memory=41152 CPUtime=0.34 cores=0,2,4,6
/proc/21621/stat : 21621 (java) S 21619 21619 14983 0 -1 1077944320 9493 0 0 0 31 3 0 0 20 0 15 0 445005913 15508250624 10288 33554432000 4194304 4196468 140729219409584 140729219392128 139913983143671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
/proc/21621/statm: 3786194 10288 3306 1 0 3748377 0
[pid=21621/tid=21622] ppid=21619 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/21621/task/21622/stat : 21622 (java) R 21619 21619 14983 0 -1 4202560 6598 0 0 0 18 2 0 0 20 0 15 0 445005913 15508250624 10288 33554432000 4194304 4196468 140729219409584 139913987373392 139913983155606 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21623] ppid=21619 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21623/stat : 21623 (java) S 21619 21619 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445005914 15508250624 10288 33554432000 4194304 4196468 140729219409584 139913935763984 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21624] ppid=21619 vsize=15144776 memory=288370924402525824 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21624/stat : 21624 (java) S 21619 21619 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445005914 15508250624 10288 33554432000 4194304 4196468 140729219409584 139913934711440 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21625] ppid=21619 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21625/stat : 21625 (java) S 21619 21619 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445005914 15508250624 10288 33554432000 4194304 4196468 140729219409584 139913933658384 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21626] ppid=21619 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21626/stat : 21626 (java) S 21619 21619 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445005914 15508250624 10288 33554432000 4194304 4196468 140729219409584 139913932605840 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21627] ppid=21619 vsize=15144776 memory=140548250814080 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21627/stat : 21627 (java) S 21619 21619 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445005916 15508250624 10288 33554432000 4194304 4196468 140729219409584 139912856697584 139913983154818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21628] ppid=21619 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21628/stat : 21628 (java) S 21619 21619 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445005916 15508250624 10288 33554432000 4194304 4196468 140729219409584 139912787519136 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21629] ppid=21619 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21629/stat : 21629 (java) S 21619 21619 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445005916 15508250624 10288 33554432000 4194304 4196468 140729219409584 139912786466032 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21630] ppid=21619 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21630/stat : 21630 (java) S 21619 21619 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445005919 15508250624 10288 33554432000 4194304 4196468 140729219409584 139912785414608 139913983162267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21631] ppid=21619 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21621/task/21631/stat : 21631 (java) S 21619 21619 14983 0 -1 1077944384 427 0 0 0 2 0 0 0 20 0 15 0 445005919 15508250624 10288 33554432000 4194304 4196468 140729219409584 139912784361712 139913983154818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21632] ppid=21619 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/21621/task/21632/stat : 21632 (java) S 21619 21619 14983 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 15 0 445005919 15508250624 10288 33554432000 4194304 4196468 140729219409584 139912783309168 139913983154818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21633] ppid=21619 vsize=15144776 memory=140548250814080 CPUtime=0.08 cores=0,2,4,6
/proc/21621/task/21633/stat : 21633 (java) R 21619 21619 14983 0 -1 4202560 767 0 0 0 8 0 0 0 20 0 15 0 445005919 15508250624 10288 33554432000 4194304 4196468 140729219409584 139912782256112 139913961978816 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21634] ppid=21619 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21634/stat : 21634 (java) S 21619 21619 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445005919 15508250624 10288 33554432000 4194304 4196468 140729219409584 139912781203808 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21635] ppid=21619 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21635/stat : 21635 (java) S 21619 21619 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445005919 15508250624 10288 33554432000 4194304 4196468 140729219409584 139912780151856 139913983154818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42600 KiB

[startup+0.310744 s]*
/proc/loadavg: 8.19 8.42 8.49 8/234 21635
/proc/meminfo: memFree=27286564/32770624 swapFree=66997372/67108860
[pid=21619] ppid=21616 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21619/stat : 21619 (xcsp3-exec) S 21616 21619 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445005913 115843072 362 33554432000 4194304 5098028 140729672003840 140729672001944 140701979804284 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23400448 140729672012668 140729672012909 140729672012909 140729672015818 0
/proc/21619/statm: 28282 362 304 221 0 87 0
[pid=21621] ppid=21619 vsize=15149032 memory=50064 CPUtime=0.53 cores=0,2,4,6
/proc/21621/stat : 21621 (java) S 21619 21619 14983 0 -1 1077944320 10852 0 0 0 49 4 0 0 20 0 15 0 445005913 15512608768 12516 33554432000 4194304 4196468 140729219409584 140729219392128 139913983143671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
/proc/21621/statm: 3787258 12516 3348 1 0 3748377 0
[pid=21621/tid=21622] ppid=21619 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/21621/task/21622/stat : 21622 (java) R 21619 21619 14983 0 -1 4202560 7744 0 0 0 27 3 0 0 20 0 15 0 445005913 15512608768 12516 33554432000 4194304 4196468 140729219409584 139913987374784 139913967224158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21623] ppid=21619 vsize=15149032 memory=9461 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21623/stat : 21623 (java) S 21619 21619 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445005914 15512608768 12516 33554432000 4194304 4196468 140729219409584 139913935763984 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21624] ppid=21619 vsize=15149032 memory=288230376155155389 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21624/stat : 21624 (java) S 21619 21619 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445005914 15512608768 12516 33554432000 4194304 4196468 140729219409584 139913934711440 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21625] ppid=21619 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21625/stat : 21625 (java) S 21619 21619 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445005914 15512608768 12516 33554432000 4194304 4196468 140729219409584 139913933658384 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21626] ppid=21619 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21626/stat : 21626 (java) S 21619 21619 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445005914 15512608768 12516 33554432000 4194304 4196468 140729219409584 139913932605840 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21627] ppid=21619 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21627/stat : 21627 (java) S 21619 21619 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445005916 15512608768 12516 33554432000 4194304 4196468 140729219409584 139912856697584 139913983154818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21628] ppid=21619 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21628/stat : 21628 (java) S 21619 21619 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445005916 15512608768 12516 33554432000 4194304 4196468 140729219409584 139912787519136 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21629] ppid=21619 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21629/stat : 21629 (java) S 21619 21619 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445005916 15512608768 12516 33554432000 4194304 4196468 140729219409584 139912786466032 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21630] ppid=21619 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21630/stat : 21630 (java) S 21619 21619 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445005919 15512608768 12516 33554432000 4194304 4196468 140729219409584 139912785414608 139913983162267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21631] ppid=21619 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/21621/task/21631/stat : 21631 (java) S 21619 21619 14983 0 -1 1077944384 437 0 0 0 4 0 0 0 20 0 15 0 445005919 15512608768 12516 33554432000 4194304 4196468 140729219409584 139912784361712 139913983154818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21632] ppid=21619 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/21621/task/21632/stat : 21632 (java) R 21619 21619 14983 0 -1 4202560 514 0 0 0 5 0 0 0 20 0 15 0 445005919 15512608768 12516 33554432000 4194304 4196468 140729219409584 139912783290280 139913962400352 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21633] ppid=21619 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/21621/task/21633/stat : 21633 (java) S 21619 21619 14983 0 -1 1077944384 864 0 0 0 12 0 0 0 20 0 15 0 445005919 15512608768 12516 33554432000 4194304 4196468 140729219409584 139912782256112 139913983154818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21634] ppid=21619 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21634/stat : 21634 (java) S 21619 21619 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445005919 15512608768 12516 33554432000 4194304 4196468 140729219409584 139912781203808 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21635] ppid=21619 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21635/stat : 21635 (java) S 21619 21619 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445005919 15512608768 12516 33554432000 4194304 4196468 140729219409584 139912780151856 139913983154818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51512 KiB

[startup+0.701425 s]
/proc/loadavg: 8.19 8.42 8.49 10/234 21635
/proc/meminfo: memFree=27267004/32770624 swapFree=66997372/67108860
[pid=21619] ppid=21616 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21619/stat : 21619 (xcsp3-exec) S 21616 21619 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445005913 115843072 362 33554432000 4194304 5098028 140729672003840 140729672001944 140701979804284 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23400448 140729672012668 140729672012909 140729672012909 140729672015818 0
/proc/21619/statm: 28282 362 304 221 0 87 0
[pid=21621] ppid=21619 vsize=15151156 memory=109404 CPUtime=1.69 cores=0,2,4,6
/proc/21621/stat : 21621 (java) S 21619 21619 14983 0 -1 1077944320 14417 0 0 0 164 5 0 0 20 0 15 0 445005913 15514783744 27351 33554432000 4194304 4196468 140729219409584 140729219392128 139913983143671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
/proc/21621/statm: 3787789 27351 3446 1 0 3748889 0
[pid=21621/tid=21622] ppid=21619 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/21621/task/21622/stat : 21622 (java) R 21619 21619 14983 0 -1 4202560 8306 0 0 0 64 3 0 0 20 0 15 0 445005913 15514783744 27351 33554432000 4194304 4196468 140729219409584 139913987376624 139913609719923 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21623] ppid=21619 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21623/stat : 21623 (java) S 21619 21619 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445005914 15514783744 27351 33554432000 4194304 4196468 140729219409584 139913935763984 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21624] ppid=21619 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21624/stat : 21624 (java) S 21619 21619 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445005914 15514783744 27351 33554432000 4194304 4196468 140729219409584 139913934711440 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21625] ppid=21619 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21625/stat : 21625 (java) S 21619 21619 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445005914 15514783744 27351 33554432000 4194304 4196468 140729219409584 139913933658384 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21626] ppid=21619 vsize=15151156 memory=3768 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21626/stat : 21626 (java) S 21619 21619 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445005914 15514783744 27351 33554432000 4194304 4196468 140729219409584 139913932605840 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21627] ppid=21619 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21627/stat : 21627 (java) S 21619 21619 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445005916 15514783744 27351 33554432000 4194304 4196468 140729219409584 139912856697584 139913983154818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21628] ppid=21619 vsize=15151156 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21628/stat : 21628 (java) S 21619 21619 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445005916 15514783744 27351 33554432000 4194304 4196468 140729219409584 139912787519136 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21629] ppid=21619 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21629/stat : 21629 (java) S 21619 21619 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445005916 15514783744 27351 33554432000 4194304 4196468 140729219409584 139912786466032 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21630] ppid=21619 vsize=15151156 memory=812 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21630/stat : 21630 (java) S 21619 21619 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445005919 15514783744 27351 33554432000 4194304 4196468 140729219409584 139912785414608 139913983162267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21631] ppid=21619 vsize=15151156 memory=1764 CPUtime=0.34 cores=0,2,4,6
/proc/21621/task/21631/stat : 21631 (java) R 21619 21619 14983 0 -1 4202560 1551 0 0 0 34 0 0 0 20 0 15 0 445005919 15514783744 27351 33554432000 4194304 4196468 140729219409584 139912784347736 139913964663746 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21632] ppid=21619 vsize=15151156 memory=111628 CPUtime=0.35 cores=0,2,4,6
/proc/21621/task/21632/stat : 21632 (java) R 21619 21619 14983 0 -1 4202560 1639 0 0 0 35 0 0 0 20 0 15 0 445005919 15514783744 27351 33554432000 4194304 4196468 140729219409584 139912783290184 139913964663356 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21633] ppid=21619 vsize=15151156 memory=796 CPUtime=0.29 cores=0,2,4,6
/proc/21621/task/21633/stat : 21633 (java) S 21619 21619 14983 0 -1 1077944384 1615 0 0 0 29 0 0 0 20 0 15 0 445005919 15514783744 27351 33554432000 4194304 4196468 140729219409584 139912782256112 139913983154818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21634] ppid=21619 vsize=15151156 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21634/stat : 21634 (java) S 21619 21619 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445005919 15514783744 27351 33554432000 4194304 4196468 140729219409584 139912781203808 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21635] ppid=21619 vsize=15151156 memory=920 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21635/stat : 21635 (java) S 21619 21619 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445005919 15514783744 27351 33554432000 4194304 4196468 140729219409584 139912780151856 139913983154818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 110852 KiB

[startup+1.50081 s]
/proc/loadavg: 8.10 8.39 8.48 7/234 21635
/proc/meminfo: memFree=27187512/32770624 swapFree=66997372/67108860
[pid=21619] ppid=21616 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21619/stat : 21619 (xcsp3-exec) S 21616 21619 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445005913 115843072 362 33554432000 4194304 5098028 140729672003840 140729672001944 140701979804284 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23400448 140729672012668 140729672012909 140729672012909 140729672015818 0
/proc/21619/statm: 28282 362 304 221 0 87 0

################
# More data... #
################

/proc/21619/stat : 21619 (xcsp3-exec) S 21616 21619 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445005913 115843072 362 33554432000 4194304 5098028 140729672003840 140729672001944 140701979804284 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23400448 140729672012668 140729672012909 140729672012909 140729672015818 0
/proc/21619/statm: 28282 362 304 221 0 87 0
[pid=21621] ppid=21619 vsize=15151156 memory=219040 CPUtime=4.25 cores=0,2,4,6
/proc/21621/stat : 21621 (java) S 21619 21619 14983 0 -1 1077944320 22471 0 0 0 416 9 0 0 20 0 15 0 445005913 15514783744 54760 33554432000 4194304 4196468 140729219409584 140729219392128 139913983143671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
/proc/21621/statm: 3787789 54760 3501 1 0 3748889 0
[pid=21621/tid=21622] ppid=21619 vsize=15151156 memory=13252 CPUtime=1.55 cores=0,2,4,6
/proc/21621/task/21622/stat : 21622 (java) R 21619 21619 14983 0 -1 4202560 9539 0 0 0 150 5 0 0 20 0 15 0 445005913 15514783744 54760 33554432000 4194304 4196468 140729219409584 139913987380040 139913983155606 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21623] ppid=21619 vsize=15151156 memory=15460 CPUtime=0.01 cores=0,2,4,6
/proc/21621/task/21623/stat : 21623 (java) S 21619 21619 14983 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 15 0 445005914 15514783744 54760 33554432000 4194304 4196468 140729219409584 139913935763984 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21624] ppid=21619 vsize=15151156 memory=17668 CPUtime=0.01 cores=0,2,4,6
/proc/21621/task/21624/stat : 21624 (java) S 21619 21619 14983 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 15 0 445005914 15514783744 54760 33554432000 4194304 4196468 140729219409584 139913934711440 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21625] ppid=21619 vsize=15151156 memory=19876 CPUtime=0.01 cores=0,2,4,6
/proc/21621/task/21625/stat : 21625 (java) S 21619 21619 14983 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 15 0 445005914 15514783744 54760 33554432000 4194304 4196468 140729219409584 139913933658384 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21626] ppid=21619 vsize=15151156 memory=22084 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21626/stat : 21626 (java) S 21619 21619 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445005914 15514783744 54760 33554432000 4194304 4196468 140729219409584 139913932605840 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21627] ppid=21619 vsize=15151156 memory=24292 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21627/stat : 21627 (java) S 21619 21619 14983 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 445005916 15514783744 54760 33554432000 4194304 4196468 140729219409584 139912856697584 139913983154818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21628] ppid=21619 vsize=15151156 memory=26500 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21628/stat : 21628 (java) S 21619 21619 14983 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 445005916 15514783744 54760 33554432000 4194304 4196468 140729219409584 139912787519200 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21629] ppid=21619 vsize=15151156 memory=28708 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21629/stat : 21629 (java) S 21619 21619 14983 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 445005916 15514783744 54760 33554432000 4194304 4196468 140729219409584 139912786466048 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21630] ppid=21619 vsize=15151156 memory=30916 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21630/stat : 21630 (java) S 21619 21619 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445005919 15514783744 54760 33554432000 4194304 4196468 140729219409584 139912785414608 139913983162267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21631] ppid=21619 vsize=15151156 memory=6625 CPUtime=0.99 cores=0,2,4,6
/proc/21621/task/21631/stat : 21631 (java) R 21619 21619 14983 0 -1 4202560 3794 0 0 0 99 0 0 0 20 0 15 0 445005919 15514783744 54760 33554432000 4194304 4196468 140729219409584 139912784342728 139913966554543 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21632] ppid=21619 vsize=15151156 memory=4420 CPUtime=1.05 cores=0,2,4,6
/proc/21621/task/21632/stat : 21632 (java) R 21619 21619 14983 0 -1 4202560 4612 0 0 0 104 1 0 0 20 0 15 0 445005919 15514783744 54760 33554432000 4194304 4196468 140729219409584 139912783295736 139913968043178 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21633] ppid=21619 vsize=15151156 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/21621/task/21633/stat : 21633 (java) S 21619 21619 14983 0 -1 1077944384 2762 0 0 0 54 0 0 0 20 0 15 0 445005919 15514783744 54760 33554432000 4194304 4196468 140729219409584 139912782256112 139913983154818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21634] ppid=21619 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21634/stat : 21634 (java) S 21619 21619 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445005919 15514783744 54760 33554432000 4194304 4196468 140729219409584 139912781203808 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21635] ppid=21619 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21635/stat : 21635 (java) S 21619 21619 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445005919 15514783744 54760 33554432000 4194304 4196468 140729219409584 139912780151856 139913983154818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
Current children cumulated CPU time: 4.25 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 220488 KiB

[startup+2.40079 s]
/proc/loadavg: 8.10 8.39 8.48 9/235 21637
/proc/meminfo: memFree=27034628/32770624 swapFree=66997372/67108860
[pid=21619] ppid=21616 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21619/stat : 21619 (xcsp3-exec) S 21616 21619 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445005913 115843072 362 33554432000 4194304 5098028 140729672003840 140729672001944 140701979804284 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23400448 140729672012668 140729672012909 140729672012909 140729672015818 0
/proc/21619/statm: 28282 362 304 221 0 87 0
[pid=21621] ppid=21619 vsize=15151156 memory=370908 CPUtime=6.69 cores=0,2,4,6
/proc/21621/stat : 21621 (java) S 21619 21619 14983 0 -1 1077944320 29125 0 0 0 657 12 0 0 20 0 15 0 445005913 15514783744 92727 33554432000 4194304 4196468 140729219409584 140729219392128 139913983143671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
/proc/21621/statm: 3787789 92727 3512 1 0 3748889 0
[pid=21621/tid=21622] ppid=21619 vsize=15151156 memory=-6586668835053300882 CPUtime=2.31 cores=0,2,4,6
/proc/21621/task/21622/stat : 21622 (java) R 21619 21619 14983 0 -1 4202560 10608 0 0 0 225 6 0 0 20 0 15 0 445005913 15514783744 92727 33554432000 4194304 4196468 140729219409584 139913987381904 139913614353844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21623] ppid=21619 vsize=15151156 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/21621/task/21623/stat : 21623 (java) S 21619 21619 14983 0 -1 1077944384 714 0 0 0 3 0 0 0 20 0 15 0 445005914 15514783744 92727 33554432000 4194304 4196468 140729219409584 139913935763984 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21624] ppid=21619 vsize=15151156 memory=222836 CPUtime=0.02 cores=0,2,4,6
/proc/21621/task/21624/stat : 21624 (java) S 21619 21619 14983 0 -1 1077944384 185 0 0 0 2 0 0 0 20 0 15 0 445005914 15514783744 92727 33554432000 4194304 4196468 140729219409584 139913934711440 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21625] ppid=21619 vsize=15151156 memory=185783105399030 CPUtime=0.04 cores=0,2,4,6
/proc/21621/task/21625/stat : 21625 (java) S 21619 21619 14983 0 -1 1077944384 109 0 0 0 4 0 0 0 20 0 15 0 445005914 15514783744 92727 33554432000 4194304 4196468 140729219409584 139913933658384 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21626] ppid=21619 vsize=15151156 memory=3546076973522766017 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21626/stat : 21626 (java) S 21619 21619 14983 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 445005914 15514783744 92727 33554432000 4194304 4196468 140729219409584 139913932605840 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21627] ppid=21619 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21627/stat : 21627 (java) S 21619 21619 14983 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 445005916 15514783744 92727 33554432000 4194304 4196468 140729219409584 139912856697584 139913983154818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21628] ppid=21619 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21628/stat : 21628 (java) S 21619 21619 14983 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 445005916 15514783744 92727 33554432000 4194304 4196468 140729219409584 139912787519200 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21629] ppid=21619 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21629/stat : 21629 (java) S 21619 21619 14983 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 445005916 15514783744 92727 33554432000 4194304 4196468 140729219409584 139912786466048 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21630] ppid=21619 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21630/stat : 21630 (java) S 21619 21619 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445005919 15514783744 92727 33554432000 4194304 4196468 140729219409584 139912785414608 139913983162267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21631] ppid=21619 vsize=15151156 memory=0 CPUtime=1.79 cores=0,2,4,6
/proc/21621/task/21631/stat : 21631 (java) R 21619 21619 14983 0 -1 4202560 5583 0 0 0 179 0 0 0 20 0 15 0 445005919 15514783744 92727 33554432000 4194304 4196468 140729219409584 139912784347896 139913966530663 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21632] ppid=21619 vsize=15151156 memory=0 CPUtime=1.83 cores=0,2,4,6
/proc/21621/task/21632/stat : 21632 (java) R 21619 21619 14983 0 -1 4202560 7202 0 0 0 182 1 0 0 20 0 15 0 445005919 15514783744 92727 33554432000 4194304 4196468 140729219409584 139912783288272 139913968068720 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21633] ppid=21619 vsize=15151156 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/21621/task/21633/stat : 21633 (java) S 21619 21619 14983 0 -1 1077944384 2927 0 0 0 57 0 0 0 20 0 15 0 445005919 15514783744 92727 33554432000 4194304 4196468 140729219409584 139912782256112 139913983154818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21634] ppid=21619 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21634/stat : 21634 (java) S 21619 21619 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445005919 15514783744 92727 33554432000 4194304 4196468 140729219409584 139912781203808 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21635] ppid=21619 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21635/stat : 21635 (java) S 21619 21619 14983 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 445005919 15514783744 92727 33554432000 4194304 4196468 140729219409584 139912780151856 139913983154818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
Current children cumulated CPU time: 6.69 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 372356 KiB

[startup+2.80643 s]
/proc/loadavg: 8.10 8.39 8.48 9/235 21637
/proc/meminfo: memFree=27034628/32770624 swapFree=66997372/67108860
[pid=21619] ppid=21616 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21619/stat : 21619 (xcsp3-exec) S 21616 21619 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445005913 115843072 362 33554432000 4194304 5098028 140729672003840 140729672001944 140701979804284 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23400448 140729672012668 140729672012909 140729672012909 140729672015818 0
/proc/21619/statm: 28282 362 304 221 0 87 0
[pid=21621] ppid=21619 vsize=15417412 memory=397152 CPUtime=8.07 cores=0,2,4,6
/proc/21621/stat : 21621 (java) S 21619 21619 14983 0 -1 1077944320 30725 0 0 0 793 14 0 0 20 0 19 0 445005913 15787429888 99288 33554432000 4194304 4196468 140729219409584 140729219392128 139913983143671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
/proc/21621/statm: 3854353 99288 3512 1 0 3815453 0
[pid=21621/tid=21622] ppid=21619 vsize=15417412 memory=14410423571057304 CPUtime=2.53 cores=0,2,4,6
/proc/21621/task/21622/stat : 21622 (java) S 21619 21619 14983 0 -1 1077944384 11138 0 0 0 246 7 0 0 20 0 19 0 445005913 15787429888 99288 33554432000 4194304 4196468 140729219409584 139913987384448 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21623] ppid=21619 vsize=15417412 memory=3428 CPUtime=0.07 cores=0,2,4,6
/proc/21621/task/21623/stat : 21623 (java) S 21619 21619 14983 0 -1 1077944384 790 0 0 0 6 1 0 0 20 0 19 0 445005914 15787429888 99288 33554432000 4194304 4196468 140729219409584 139913935763984 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21624] ppid=21619 vsize=15417412 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/21621/task/21624/stat : 21624 (java) S 21619 21619 14983 0 -1 1077944384 256 0 0 0 4 0 0 0 20 0 19 0 445005914 15787429888 99288 33554432000 4194304 4196468 140729219409584 139913934711440 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21625] ppid=21619 vsize=15417412 memory=4174472 CPUtime=0.07 cores=0,2,4,6
/proc/21621/task/21625/stat : 21625 (java) S 21619 21619 14983 0 -1 1077944384 183 0 0 0 6 1 0 0 20 0 19 0 445005914 15787429888 99288 33554432000 4194304 4196468 140729219409584 139913933658384 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21626] ppid=21619 vsize=15417412 memory=4100 CPUtime=0.03 cores=0,2,4,6
/proc/21621/task/21626/stat : 21626 (java) S 21619 21619 14983 0 -1 1077944384 117 0 0 0 3 0 0 0 20 0 19 0 445005914 15787429888 99288 33554432000 4194304 4196468 140729219409584 139913932605840 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21627] ppid=21619 vsize=15417412 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21621/task/21627/stat : 21627 (java) S 21619 21619 14983 0 -1 1077944384 474 0 0 0 1 0 0 0 20 0 19 0 445005916 15787429888 99288 33554432000 4194304 4196468 140729219409584 139912856697584 139913983154818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21628] ppid=21619 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21628/stat : 21628 (java) S 21619 21619 14983 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 445005916 15787429888 99288 33554432000 4194304 4196468 140729219409584 139912787519200 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21629] ppid=21619 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21629/stat : 21629 (java) S 21619 21619 14983 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 445005916 15787429888 99288 33554432000 4194304 4196468 140729219409584 139912786466048 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21630] ppid=21619 vsize=15417412 memory=140548107392324 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21630/stat : 21630 (java) S 21619 21619 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445005919 15787429888 99288 33554432000 4194304 4196468 140729219409584 139912785414608 139913983162267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21631] ppid=21619 vsize=15417412 memory=111628 CPUtime=2.11 cores=0,2,4,6
/proc/21621/task/21631/stat : 21631 (java) R 21619 21619 14983 0 -1 4202560 5816 0 0 0 211 0 0 0 20 0 19 0 445005919 15787429888 99288 33554432000 4194304 4196468 140729219409584 139912784348280 139913969157980 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21632] ppid=21619 vsize=15417412 memory=6944656592455360604 CPUtime=2.16 cores=0,2,4,6
/proc/21621/task/21632/stat : 21632 (java) R 21619 21619 14983 0 -1 4202560 7329 0 0 0 215 1 0 0 20 0 19 0 445005919 15787429888 99288 33554432000 4194304 4196468 140729219409584 139912783300384 139913966644074 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21633] ppid=21619 vsize=15417412 memory=281096214282480 CPUtime=0.63 cores=0,2,4,6
/proc/21621/task/21633/stat : 21633 (java) R 21619 21619 14983 0 -1 4202560 3048 0 0 0 62 1 0 0 20 0 19 0 445005919 15787429888 99288 33554432000 4194304 4196468 140729219409584 139912782256112 139913983165018 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21634] ppid=21619 vsize=15417412 memory=26104 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21634/stat : 21634 (java) S 21619 21619 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445005919 15787429888 99288 33554432000 4194304 4196468 140729219409584 139912781203808 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21635] ppid=21619 vsize=15417412 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21635/stat : 21635 (java) S 21619 21619 14983 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 445005919 15787429888 99288 33554432000 4194304 4196468 140729219409584 139912780151856 139913983154818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
Current children cumulated CPU time: 8.07 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 398600 KiB

[startup+2.9067 s]
/proc/loadavg: 8.10 8.39 8.48 9/235 21637
/proc/meminfo: memFree=27034628/32770624 swapFree=66997372/67108860
[pid=21619] ppid=21616 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21619/stat : 21619 (xcsp3-exec) S 21616 21619 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445005913 115843072 362 33554432000 4194304 5098028 140729672003840 140729672001944 140701979804284 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23400448 140729672012668 140729672012909 140729672012909 140729672015818 0
/proc/21619/statm: 28282 362 304 221 0 87 0
[pid=21621] ppid=21619 vsize=15419460 memory=397824 CPUtime=8.43 cores=0,2,4,6
/proc/21621/stat : 21621 (java) S 21619 21619 14983 0 -1 1077944320 31114 0 0 0 829 14 0 0 20 0 19 0 445005913 15789527040 99456 33554432000 4194304 4196468 140729219409584 140729219392128 139913983143671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
/proc/21621/statm: 3854865 99456 3531 1 0 3815965 0
[pid=21621/tid=21622] ppid=21619 vsize=15419460 memory=369636 CPUtime=2.54 cores=0,2,4,6
/proc/21621/task/21622/stat : 21622 (java) S 21619 21619 14983 0 -1 1077944384 11152 0 0 0 247 7 0 0 20 0 19 0 445005913 15789527040 99456 33554432000 4194304 4196468 140729219409584 139913987384448 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21623] ppid=21619 vsize=15419460 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21621/task/21623/stat : 21623 (java) S 21619 21619 14983 0 -1 1077944384 790 0 0 0 6 1 0 0 20 0 19 0 445005914 15789527040 99456 33554432000 4194304 4196468 140729219409584 139913935763984 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21624] ppid=21619 vsize=15419460 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/21621/task/21624/stat : 21624 (java) S 21619 21619 14983 0 -1 1077944384 256 0 0 0 4 0 0 0 20 0 19 0 445005914 15789527040 99456 33554432000 4194304 4196468 140729219409584 139913934711440 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21625] ppid=21619 vsize=15419460 memory=35425 CPUtime=0.07 cores=0,2,4,6
/proc/21621/task/21625/stat : 21625 (java) S 21619 21619 14983 0 -1 1077944384 183 0 0 0 6 1 0 0 20 0 19 0 445005914 15789527040 99456 33554432000 4194304 4196468 140729219409584 139913933658384 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21626] ppid=21619 vsize=15419460 memory=4420 CPUtime=0.03 cores=0,2,4,6
/proc/21621/task/21626/stat : 21626 (java) S 21619 21619 14983 0 -1 1077944384 117 0 0 0 3 0 0 0 20 0 19 0 445005914 15789527040 99456 33554432000 4194304 4196468 140729219409584 139913932605840 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21627] ppid=21619 vsize=15419460 memory=6628 CPUtime=0.01 cores=0,2,4,6
/proc/21621/task/21627/stat : 21627 (java) R 21619 21619 14983 0 -1 4202560 474 0 0 0 1 0 0 0 20 0 19 0 445005916 15789527040 99456 33554432000 4194304 4196468 140729219409584 139912856697720 139913975771879 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21628] ppid=21619 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21628/stat : 21628 (java) S 21619 21619 14983 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 445005916 15789527040 99456 33554432000 4194304 4196468 140729219409584 139912787519200 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21629] ppid=21619 vsize=15419460 memory=198196 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21629/stat : 21629 (java) S 21619 21619 14983 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 445005916 15789527040 99456 33554432000 4194304 4196468 140729219409584 139912786466048 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21630] ppid=21619 vsize=15419460 memory=140548107190182 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21630/stat : 21630 (java) S 21619 21619 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445005919 15789527040 99456 33554432000 4194304 4196468 140729219409584 139912785414608 139913983162267 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21631] ppid=21619 vsize=15419460 memory=-9001733975035308135 CPUtime=2.2 cores=0,2,4,6
/proc/21621/task/21631/stat : 21631 (java) R 21619 21619 14983 0 -1 4202560 5840 0 0 0 220 0 0 0 20 0 19 0 445005919 15789527040 99456 33554432000 4194304 4196468 140729219409584 139912784354904 139913960738416 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21632] ppid=21619 vsize=15419460 memory=-7385037589438827369 CPUtime=2.23 cores=0,2,4,6
/proc/21621/task/21632/stat : 21632 (java) S 21619 21619 14983 0 -1 1077944384 7381 0 0 0 222 1 0 0 20 0 19 0 445005919 15789527040 99456 33554432000 4194304 4196468 140729219409584 139912783301808 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21633] ppid=21619 vsize=15419460 memory=-7385037589438827369 CPUtime=0.66 cores=0,2,4,6
/proc/21621/task/21633/stat : 21633 (java) S 21619 21619 14983 0 -1 1077944384 3107 0 0 0 65 1 0 0 20 0 19 0 445005919 15789527040 99456 33554432000 4194304 4196468 140729219409584 139912782255856 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21634] ppid=21619 vsize=15419460 memory=-6586668835053300882 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21634/stat : 21634 (java) S 21619 21619 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445005919 15789527040 99456 33554432000 4194304 4196468 140729219409584 139912781203808 139913983153877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
[pid=21621/tid=21635] ppid=21619 vsize=15419460 memory=7684433391216329530 CPUtime=0 cores=0,2,4,6
/proc/21621/task/21635/stat : 21635 (java) S 21619 21619 14983 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 445005919 15789527040 99456 33554432000 4194304 4196468 140729219409584 139912780151856 139913983154818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140729219417071 140729219417242 140729219417242 140729219420111 0
Current children cumulated CPU time: 8.43 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 399272 KiB

Child status: 0
Real time (s): 2.96382
CPU time (s): 8.60653
CPU user time (s): 8.44641
CPU system time (s): 0.16012
CPU usage (%): 290.387
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 399272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.44641
system time used= 0.16012
maximum resident set size= 399624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31789
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2381
involuntary context switches= 79


# summary of solver processes directly reported to runsolver:
#   pid: 21619
#   total CPU time (s): 8.60653
#   total CPU user time (s): 8.44641
#   total CPU system time (s): 0.16012

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047751 second user time and 0.065115 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05d.xml
MD5SUM	368e26568da76f7c30ce4b17b57b0014
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	2.21188
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	9757
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	30
Maximum variable degree	69
Distribution of variable degrees	[{"degree":30,"count":2},{"degree":32,"count":5},{"degree":33,"count":14},{"degree":34,"count":7},{"degree":35,"count":13},{"degree":36,"count":18},{"degree":37,"count":13},{"degree":38,"count":17},{"degree":39,"count":17},{"degree":40,"count":27},{"degree":41,"count":16},{"degree":42,"count":32},{"degree":43,"count":28},{"degree":44,"count":28},{"degree":45,"count":29},{"degree":46,"count":24},{"degree":47,"count":22},{"degree":48,"count":17},{"degree":49,"count":23},{"degree":50,"count":15},{"degree":51,"count":17},{"degree":52,"count":14},{"degree":53,"count":14},{"degree":54,"count":11},{"degree":55,"count":9},{"degree":56,"count":4},{"degree":57,"count":4},{"degree":58,"count":2},{"degree":59,"count":2},{"degree":60,"count":1},{"degree":62,"count":1},{"degree":65,"count":2},{"degree":66,"count":1},{"degree":69,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":9757}]
Number of extensional constraints	0
Number of intensional constraints	9757
Distribution of constraint types	[{"type":"intension","count":9757}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4399196

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
