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	8	276.667	70.6548
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 (14441 MiB free)
  memory of node 1: 16384 MiB (15514 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399168-1568689106/watcher-4399168-1568689106 -o /tmp/evaluation-result-4399168-1568689106/solver-4399168-1568689106 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568682260-15015 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1358570814 HOME/instance-4399168-1568689106.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23008, runsolver pid=23005
Current StackSize limit: 8192 KiB


[startup+0.102705 s]*
/proc/loadavg: 7.85 8.21 8.33 6/233 23024
/proc/meminfo: memFree=30658676/32770624 swapFree=66997372/67108860
[pid=23008] ppid=23005 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23008/stat : 23008 (xcsp3-exec) S 23005 23008 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445163652 115843072 362 33554432000 4194304 5098028 140730265153120 140730265151224 140570871796348 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22847488 140730265158522 140730265158765 140730265158765 140730265161674 0
/proc/23008/statm: 28282 362 304 221 0 87 0
[pid=23010] ppid=23008 vsize=15144776 memory=29080 CPUtime=0.13 cores=1,3,5,7
/proc/23010/stat : 23010 (java) S 23008 23008 14983 0 -1 1077944320 5714 0 0 0 12 1 0 0 20 0 15 0 445163652 15508250624 7270 33554432000 4194304 4196468 140721927577888 140721927560432 139996333575927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
/proc/23010/statm: 3786194 7270 3161 1 0 3748377 0
[pid=23010/tid=23011] ppid=23008 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (java) S 23008 23008 14983 0 -1 1077944384 3577 0 0 0 9 0 0 0 20 0 15 0 445163652 15508250624 7270 33554432000 4194304 4196468 140721927577888 139996337804736 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23012] ppid=23008 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (java) S 23008 23008 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445163653 15508250624 7270 33554432000 4194304 4196468 140721927577888 139996286196624 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23013] ppid=23008 vsize=15144776 memory=139665020548736 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23013/stat : 23013 (java) S 23008 23008 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445163653 15508250624 7270 33554432000 4194304 4196468 140721927577888 139996285143824 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23014] ppid=23008 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23014/stat : 23014 (java) S 23008 23008 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445163653 15508250624 7270 33554432000 4194304 4196468 140721927577888 139996284091536 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23015] ppid=23008 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23015/stat : 23015 (java) S 23008 23008 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445163653 15508250624 7270 33554432000 4194304 4196468 140721927577888 139996283038736 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23016] ppid=23008 vsize=15144776 memory=139665020548736 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23016/stat : 23016 (java) S 23008 23008 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445163654 15508250624 7270 33554432000 4194304 4196468 140721927577888 139995869423728 139996333587074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23017] ppid=23008 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23017/stat : 23017 (java) S 23008 23008 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445163655 15508250624 7270 33554432000 4194304 4196468 140721927577888 139995801183008 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23018] ppid=23008 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23018/stat : 23018 (java) S 23008 23008 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445163655 15508250624 7270 33554432000 4194304 4196468 140721927577888 139995800130672 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23019] ppid=23008 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23019/stat : 23019 (java) S 23008 23008 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445163657 15508250624 7270 33554432000 4194304 4196468 140721927577888 139995799078992 139996333594523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23020] ppid=23008 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23020/stat : 23020 (java) R 23008 23008 14983 0 -1 4202560 147 0 0 0 0 0 0 0 20 0 15 0 445163657 15508250624 7270 33554432000 4194304 4196468 140721927577888 139995798018368 139996317059354 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23021] ppid=23008 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23021/stat : 23021 (java) R 23008 23008 14983 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 15 0 445163657 15508250624 7270 33554432000 4194304 4196468 140721927577888 139995796974160 139996333586133 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23022] ppid=23008 vsize=15144776 memory=139665020548736 CPUtime=0.02 cores=1,3,5,7
/proc/23010/task/23022/stat : 23022 (java) S 23008 23008 14983 0 -1 1077944384 365 0 0 0 2 0 0 0 20 0 15 0 445163658 15508250624 7270 33554432000 4194304 4196468 140721927577888 139995795921776 139996333587074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23023] ppid=23008 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23023/stat : 23023 (java) S 23008 23008 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445163658 15508250624 7270 33554432000 4194304 4196468 140721927577888 139995794869216 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23024] ppid=23008 vsize=15144776 memory=139665020548736 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23024/stat : 23024 (java) S 23008 23008 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445163658 15508250624 7270 33554432000 4194304 4196468 140721927577888 139995793815984 139996333587074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30528 KiB

[startup+0.210729 s]*
/proc/loadavg: 7.85 8.21 8.33 7/233 23024
/proc/meminfo: memFree=30646272/32770624 swapFree=66997372/67108860
[pid=23008] ppid=23005 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23008/stat : 23008 (xcsp3-exec) S 23005 23008 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445163652 115843072 362 33554432000 4194304 5098028 140730265153120 140730265151224 140570871796348 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22847488 140730265158522 140730265158765 140730265158765 140730265161674 0
/proc/23008/statm: 28282 362 304 221 0 87 0
[pid=23010] ppid=23008 vsize=15144776 memory=40900 CPUtime=0.34 cores=1,3,5,7
/proc/23010/stat : 23010 (java) S 23008 23008 14983 0 -1 1077944320 9466 0 0 0 31 3 0 0 20 0 15 0 445163652 15508250624 10225 33554432000 4194304 4196468 140721927577888 140721927560432 139996333575927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
/proc/23010/statm: 3786194 10225 3255 1 0 3748377 0
[pid=23010/tid=23011] ppid=23008 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (java) R 23008 23008 14983 0 -1 4202560 6604 0 0 0 18 2 0 0 20 0 15 0 445163652 15508250624 10225 33554432000 4194304 4196468 140721927577888 139996337814240 139996333597853 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23012] ppid=23008 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (java) S 23008 23008 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445163653 15508250624 10225 33554432000 4194304 4196468 140721927577888 139996286196624 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23013] ppid=23008 vsize=15144776 memory=288370041172260480 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23013/stat : 23013 (java) S 23008 23008 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445163653 15508250624 10225 33554432000 4194304 4196468 140721927577888 139996285143824 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23014] ppid=23008 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23014/stat : 23014 (java) S 23008 23008 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445163653 15508250624 10225 33554432000 4194304 4196468 140721927577888 139996284091536 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23015] ppid=23008 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23015/stat : 23015 (java) S 23008 23008 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445163653 15508250624 10225 33554432000 4194304 4196468 140721927577888 139996283038736 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23016] ppid=23008 vsize=15144776 memory=139665020548736 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23016/stat : 23016 (java) S 23008 23008 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445163654 15508250624 10225 33554432000 4194304 4196468 140721927577888 139995869423728 139996333587074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23017] ppid=23008 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23017/stat : 23017 (java) S 23008 23008 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445163655 15508250624 10225 33554432000 4194304 4196468 140721927577888 139995801183008 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23018] ppid=23008 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23018/stat : 23018 (java) S 23008 23008 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445163655 15508250624 10225 33554432000 4194304 4196468 140721927577888 139995800130672 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23019] ppid=23008 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23019/stat : 23019 (java) S 23008 23008 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445163657 15508250624 10225 33554432000 4194304 4196468 140721927577888 139995799078992 139996333594523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23020] ppid=23008 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23010/task/23020/stat : 23020 (java) S 23008 23008 14983 0 -1 1077944384 169 0 0 0 1 0 0 0 20 0 15 0 445163657 15508250624 10225 33554432000 4194304 4196468 140721927577888 139995798026864 139996333587074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23021] ppid=23008 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/23010/task/23021/stat : 23021 (java) S 23008 23008 14983 0 -1 1077944384 651 0 0 0 3 0 0 0 20 0 15 0 445163657 15508250624 10225 33554432000 4194304 4196468 140721927577888 139995796974064 139996333587074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23022] ppid=23008 vsize=15144776 memory=139665020548736 CPUtime=0.08 cores=1,3,5,7
/proc/23010/task/23022/stat : 23022 (java) R 23008 23008 14983 0 -1 4202560 739 0 0 0 8 0 0 0 20 0 15 0 445163658 15508250624 10225 33554432000 4194304 4196468 140721927577888 139995795921776 139996333597274 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23023] ppid=23008 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23023/stat : 23023 (java) S 23008 23008 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445163658 15508250624 10225 33554432000 4194304 4196468 140721927577888 139995794869216 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23024] ppid=23008 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23024/stat : 23024 (java) S 23008 23008 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445163658 15508250624 10225 33554432000 4194304 4196468 140721927577888 139995793815984 139996333587074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42348 KiB

[startup+0.312354 s]*
/proc/loadavg: 7.85 8.21 8.33 7/233 23024
/proc/meminfo: memFree=30638516/32770624 swapFree=66997372/67108860
[pid=23008] ppid=23005 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23008/stat : 23008 (xcsp3-exec) S 23005 23008 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445163652 115843072 362 33554432000 4194304 5098028 140730265153120 140730265151224 140570871796348 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22847488 140730265158522 140730265158765 140730265158765 140730265161674 0
/proc/23008/statm: 28282 362 304 221 0 87 0
[pid=23010] ppid=23008 vsize=15149032 memory=50440 CPUtime=0.53 cores=1,3,5,7
/proc/23010/stat : 23010 (java) S 23008 23008 14983 0 -1 1077944320 10910 0 0 0 49 4 0 0 20 0 15 0 445163652 15512608768 12610 33554432000 4194304 4196468 140721927577888 140721927560432 139996333575927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
/proc/23010/statm: 3787258 12610 3370 1 0 3748377 0
[pid=23010/tid=23011] ppid=23008 vsize=15149032 memory=7883960649037381690 CPUtime=0.29 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (java) R 23008 23008 14983 0 -1 4202560 7825 0 0 0 27 2 0 0 20 0 15 0 445163652 15512608768 12610 33554432000 4194304 4196468 140721927577888 139996337809712 139996317656414 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23012] ppid=23008 vsize=15149032 memory=9461 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (java) S 23008 23008 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445163653 15512608768 12610 33554432000 4194304 4196468 140721927577888 139996286196624 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23013] ppid=23008 vsize=15149032 memory=288230376155267022 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23013/stat : 23013 (java) S 23008 23008 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445163653 15512608768 12610 33554432000 4194304 4196468 140721927577888 139996285143824 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23014] ppid=23008 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23014/stat : 23014 (java) S 23008 23008 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445163653 15512608768 12610 33554432000 4194304 4196468 140721927577888 139996284091536 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23015] ppid=23008 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23015/stat : 23015 (java) S 23008 23008 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445163653 15512608768 12610 33554432000 4194304 4196468 140721927577888 139996283038736 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23016] ppid=23008 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23016/stat : 23016 (java) S 23008 23008 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445163654 15512608768 12610 33554432000 4194304 4196468 140721927577888 139995869423728 139996333587074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23017] ppid=23008 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23017/stat : 23017 (java) S 23008 23008 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445163655 15512608768 12610 33554432000 4194304 4196468 140721927577888 139995801183008 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23018] ppid=23008 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23018/stat : 23018 (java) S 23008 23008 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445163655 15512608768 12610 33554432000 4194304 4196468 140721927577888 139995800130672 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23019] ppid=23008 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23019/stat : 23019 (java) S 23008 23008 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445163657 15512608768 12610 33554432000 4194304 4196468 140721927577888 139995799078992 139996333594523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23020] ppid=23008 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23010/task/23020/stat : 23020 (java) S 23008 23008 14983 0 -1 1077944384 307 0 0 0 4 0 0 0 20 0 15 0 445163657 15512608768 12610 33554432000 4194304 4196468 140721927577888 139995798026864 139996333587074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23021] ppid=23008 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/23010/task/23021/stat : 23021 (java) S 23008 23008 14983 0 -1 1077944384 667 0 0 0 5 0 0 0 20 0 15 0 445163657 15512608768 12610 33554432000 4194304 4196468 140721927577888 139995796974064 139996333587074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23022] ppid=23008 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23010/task/23022/stat : 23022 (java) S 23008 23008 14983 0 -1 1077944384 821 0 0 0 12 0 0 0 20 0 15 0 445163658 15512608768 12610 33554432000 4194304 4196468 140721927577888 139995795921776 139996333587074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23023] ppid=23008 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23023/stat : 23023 (java) S 23008 23008 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445163658 15512608768 12610 33554432000 4194304 4196468 140721927577888 139995794869216 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23024] ppid=23008 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23024/stat : 23024 (java) S 23008 23008 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445163658 15512608768 12610 33554432000 4194304 4196468 140721927577888 139995793815984 139996333587074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51888 KiB

[startup+0.702408 s]
/proc/loadavg: 7.85 8.21 8.33 9/233 23024
/proc/meminfo: memFree=30616992/32770624 swapFree=66997372/67108860
[pid=23008] ppid=23005 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23008/stat : 23008 (xcsp3-exec) S 23005 23008 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445163652 115843072 362 33554432000 4194304 5098028 140730265153120 140730265151224 140570871796348 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22847488 140730265158522 140730265158765 140730265158765 140730265161674 0
/proc/23008/statm: 28282 362 304 221 0 87 0
[pid=23010] ppid=23008 vsize=15151156 memory=116168 CPUtime=1.73 cores=1,3,5,7
/proc/23010/stat : 23010 (java) S 23008 23008 14983 0 -1 1077944320 14020 0 0 0 167 6 0 0 20 0 15 0 445163652 15514783744 29042 33554432000 4194304 4196468 140721927577888 140721927560432 139996333575927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
/proc/23010/statm: 3787789 29042 3438 1 0 3748889 0
[pid=23010/tid=23011] ppid=23008 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (java) R 23008 23008 14983 0 -1 4202560 8306 0 0 0 64 4 0 0 20 0 15 0 445163652 15514783744 29042 33554432000 4194304 4196468 140721927577888 139996337810256 139995955591372 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23012] ppid=23008 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (java) S 23008 23008 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445163653 15514783744 29042 33554432000 4194304 4196468 140721927577888 139996286196624 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23013] ppid=23008 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23013/stat : 23013 (java) S 23008 23008 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445163653 15514783744 29042 33554432000 4194304 4196468 140721927577888 139996285143824 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23014] ppid=23008 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23014/stat : 23014 (java) S 23008 23008 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445163653 15514783744 29042 33554432000 4194304 4196468 140721927577888 139996284091536 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23015] ppid=23008 vsize=15151156 memory=3768 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23015/stat : 23015 (java) S 23008 23008 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445163653 15514783744 29042 33554432000 4194304 4196468 140721927577888 139996283038736 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23016] ppid=23008 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23016/stat : 23016 (java) S 23008 23008 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445163654 15514783744 29042 33554432000 4194304 4196468 140721927577888 139995869423728 139996333587074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23017] ppid=23008 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23017/stat : 23017 (java) S 23008 23008 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445163655 15514783744 29042 33554432000 4194304 4196468 140721927577888 139995801183008 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23018] ppid=23008 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23018/stat : 23018 (java) S 23008 23008 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445163655 15514783744 29042 33554432000 4194304 4196468 140721927577888 139995800130672 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23019] ppid=23008 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23019/stat : 23019 (java) S 23008 23008 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445163657 15514783744 29042 33554432000 4194304 4196468 140721927577888 139995799078992 139996333594523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23020] ppid=23008 vsize=15151156 memory=1764 CPUtime=0.37 cores=1,3,5,7
/proc/23010/task/23020/stat : 23020 (java) R 23008 23008 14983 0 -1 4202560 1295 0 0 0 37 0 0 0 20 0 15 0 445163657 15514783744 29042 33554432000 4194304 4196468 140721927577888 139995798014976 139996315111982 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23021] ppid=23008 vsize=15151156 memory=111628 CPUtime=0.36 cores=1,3,5,7
/proc/23010/task/23021/stat : 23021 (java) R 23008 23008 14983 0 -1 4202560 1557 0 0 0 36 0 0 0 20 0 15 0 445163657 15514783744 29042 33554432000 4194304 4196468 140721927577888 139995796960088 139996313232496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23022] ppid=23008 vsize=15151156 memory=796 CPUtime=0.29 cores=1,3,5,7
/proc/23010/task/23022/stat : 23022 (java) R 23008 23008 14983 0 -1 1077944384 1556 0 0 0 29 0 0 0 20 0 15 0 445163658 15514783744 29042 33554432000 4194304 4196468 140721927577888 139995795921776 139996333587074 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23023] ppid=23008 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23023/stat : 23023 (java) S 23008 23008 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445163658 15514783744 29042 33554432000 4194304 4196468 140721927577888 139995794869216 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23024] ppid=23008 vsize=15151156 memory=920 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23024/stat : 23024 (java) S 23008 23008 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445163658 15514783744 29042 33554432000 4194304 4196468 140721927577888 139995793815984 139996333587074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 117616 KiB

[startup+1.50081 s]
/proc/loadavg: 7.85 8.21 8.33 9/234 23026
/proc/meminfo: memFree=30526360/32770624 swapFree=66997372/67108860
[pid=23008] ppid=23005 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23008/stat : 23008 (xcsp3-exec) S 23005 23008 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445163652 115843072 362 33554432000 4194304 5098028 140730265153120 140730265151224 140570871796348 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22847488 140730265158522 140730265158765 140730265158765 140730265161674 0
/proc/23008/statm: 28282 362 304 221 0 87 0

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

/proc/23010/task/23024/stat : 23024 (java) S 23008 23008 14983 0 -1 1077944384 511 0 0 0 0 2 0 0 20 0 19 0 445163658 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995793815984 139996333587074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23059] ppid=23008 vsize=15553616 memory=0 CPUtime=62.33 cores=1,3,5,7
/proc/23010/task/23059/stat : 23059 (java) R 23008 23008 14983 0 -1 4202560 339 0 0 0 6233 0 0 0 20 0 19 0 445164149 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995776183448 139995960832125 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23060] ppid=23008 vsize=15553616 memory=0 CPUtime=63.22 cores=1,3,5,7
/proc/23010/task/23060/stat : 23060 (java) R 23008 23008 14983 0 -1 4202560 2193 0 0 0 6316 6 0 0 20 0 19 0 445164149 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995782492872 139995960832012 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23061] ppid=23008 vsize=15553616 memory=6791534058613427641 CPUtime=62.89 cores=1,3,5,7
/proc/23010/task/23061/stat : 23061 (java) R 23008 23008 14983 0 -1 4202560 8976 0 0 0 6252 37 0 0 20 0 19 0 445164149 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995778288960 139995957160162 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23062] ppid=23008 vsize=15553616 memory=1448 CPUtime=62.5 cores=1,3,5,7
/proc/23010/task/23062/stat : 23062 (java) R 23008 23008 14983 0 -1 4202560 779 0 0 0 6249 1 0 0 20 0 19 0 445164149 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995777237480 139995957158912 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
Current children cumulated CPU time: 269.59 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 3407380 KiB

[startup+69.6018 s]
/proc/loadavg: 8.74 8.43 8.40 9/237 23067
/proc/meminfo: memFree=27236044/32770624 swapFree=66997372/67108860
[pid=23008] ppid=23005 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23008/stat : 23008 (xcsp3-exec) S 23005 23008 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445163652 115843072 362 33554432000 4194304 5098028 140730265153120 140730265151224 140570871796348 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22847488 140730265158522 140730265158765 140730265158765 140730265161674 0
/proc/23008/statm: 28282 362 304 221 0 87 0
[pid=23010] ppid=23008 vsize=15553616 memory=3405932 CPUtime=272.78 cores=1,3,5,7
/proc/23010/stat : 23010 (java) S 23008 23008 14983 0 -1 1077944320 71568 0 0 0 27197 81 0 0 20 0 19 0 445163652 15926902784 851483 33554432000 4194304 4196468 140721927577888 140721927560432 139996333575927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
/proc/23010/statm: 3888404 851483 3530 1 0 3849504 0
[pid=23010/tid=23011] ppid=23008 vsize=15553616 memory=6791534058613427641 CPUtime=2.6 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (java) S 23008 23008 14983 0 -1 1077944384 10912 0 0 0 253 7 0 0 20 0 19 0 445163652 15926902784 851483 33554432000 4194304 4196468 140721927577888 139996337816704 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23012] ppid=23008 vsize=15553616 memory=48132 CPUtime=0.18 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (java) S 23008 23008 14983 0 -1 1077944384 1378 0 0 0 13 5 0 0 20 0 19 0 445163653 15926902784 851483 33554432000 4194304 4196468 140721927577888 139996286196624 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23013] ppid=23008 vsize=15553616 memory=3028 CPUtime=0.16 cores=1,3,5,7
/proc/23010/task/23013/stat : 23013 (java) S 23008 23008 14983 0 -1 1077944384 378 0 0 0 13 3 0 0 20 0 19 0 445163653 15926902784 851483 33554432000 4194304 4196468 140721927577888 139996285143824 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23014] ppid=23008 vsize=15553616 memory=2012 CPUtime=0.16 cores=1,3,5,7
/proc/23010/task/23014/stat : 23014 (java) S 23008 23008 14983 0 -1 1077944384 1005 0 0 0 13 3 0 0 20 0 19 0 445163653 15926902784 851483 33554432000 4194304 4196468 140721927577888 139996284091536 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23015] ppid=23008 vsize=15553616 memory=1388 CPUtime=0.16 cores=1,3,5,7
/proc/23010/task/23015/stat : 23015 (java) S 23008 23008 14983 0 -1 1077944384 850 0 0 0 12 4 0 0 20 0 19 0 445163653 15926902784 851483 33554432000 4194304 4196468 140721927577888 139996283038736 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23016] ppid=23008 vsize=15553616 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/23010/task/23016/stat : 23016 (java) S 23008 23008 14983 0 -1 1077944384 2641 0 0 0 2 0 0 0 20 0 19 0 445163654 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995869423728 139996333587074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23017] ppid=23008 vsize=15553616 memory=1388 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23017/stat : 23017 (java) S 23008 23008 14983 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 445163655 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995801183072 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23018] ppid=23008 vsize=15553616 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23018/stat : 23018 (java) S 23008 23008 14983 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 445163655 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995800130688 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23019] ppid=23008 vsize=15553616 memory=3405932 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23019/stat : 23019 (java) S 23008 23008 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445163657 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995799078992 139996333594523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23020] ppid=23008 vsize=15553616 memory=2828 CPUtime=4.86 cores=1,3,5,7
/proc/23010/task/23020/stat : 23020 (java) S 23008 23008 14983 0 -1 1077944384 12474 0 0 0 484 2 0 0 20 0 19 0 445163657 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995798026864 139996333587074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23021] ppid=23008 vsize=15553616 memory=676 CPUtime=5.46 cores=1,3,5,7
/proc/23010/task/23021/stat : 23021 (java) S 23008 23008 14983 0 -1 1077944384 15439 0 0 0 544 2 0 0 20 0 19 0 445163657 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995796974064 139996333587074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23022] ppid=23008 vsize=15553616 memory=776 CPUtime=0.93 cores=1,3,5,7
/proc/23010/task/23022/stat : 23022 (java) S 23008 23008 14983 0 -1 1077944384 11312 0 0 0 91 2 0 0 20 0 19 0 445163658 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995795921776 139996333587074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23023] ppid=23008 vsize=15553616 memory=3992 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23023/stat : 23023 (java) S 23008 23008 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445163658 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995794869216 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23024] ppid=23008 vsize=15553616 memory=2828 CPUtime=0.02 cores=1,3,5,7
/proc/23010/task/23024/stat : 23024 (java) S 23008 23008 14983 0 -1 1077944384 511 0 0 0 0 2 0 0 20 0 19 0 445163658 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995793815984 139996333587074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23059] ppid=23008 vsize=15553616 memory=676 CPUtime=63.11 cores=1,3,5,7
/proc/23010/task/23059/stat : 23059 (java) R 23008 23008 14983 0 -1 4202560 339 0 0 0 6311 0 0 0 20 0 19 0 445164149 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995776183448 139995960832232 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23060] ppid=23008 vsize=15553616 memory=1060 CPUtime=64.02 cores=1,3,5,7
/proc/23010/task/23060/stat : 23060 (java) R 23008 23008 14983 0 -1 4202560 2195 0 0 0 6396 6 0 0 20 0 19 0 445164149 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995782492872 139995956311518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23061] ppid=23008 vsize=15553616 memory=1548 CPUtime=63.69 cores=1,3,5,7
/proc/23010/task/23061/stat : 23061 (java) R 23008 23008 14983 0 -1 4202560 8976 0 0 0 6332 37 0 0 20 0 19 0 445164149 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995778288960 139995962212011 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23062] ppid=23008 vsize=15553616 memory=8560 CPUtime=63.3 cores=1,3,5,7
/proc/23010/task/23062/stat : 23062 (java) R 23008 23008 14983 0 -1 4202560 780 0 0 0 6329 1 0 0 20 0 19 0 445164149 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995777237480 139995960832012 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
Current children cumulated CPU time: 272.78 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 3407380 KiB

[startup+70.4018 s]
/proc/loadavg: 8.74 8.43 8.40 9/237 23067
/proc/meminfo: memFree=27236084/32770624 swapFree=66997372/67108860
[pid=23008] ppid=23005 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23008/stat : 23008 (xcsp3-exec) S 23005 23008 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445163652 115843072 362 33554432000 4194304 5098028 140730265153120 140730265151224 140570871796348 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22847488 140730265158522 140730265158765 140730265158765 140730265161674 0
/proc/23008/statm: 28282 362 304 221 0 87 0
[pid=23010] ppid=23008 vsize=15553616 memory=3405932 CPUtime=275.96 cores=1,3,5,7
/proc/23010/stat : 23010 (java) S 23008 23008 14983 0 -1 1077944320 72049 0 0 0 27515 81 0 0 20 0 19 0 445163652 15926902784 851483 33554432000 4194304 4196468 140721927577888 140721927560432 139996333575927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
/proc/23010/statm: 3888404 851483 3530 1 0 3849504 0
[pid=23010/tid=23011] ppid=23008 vsize=15553616 memory=6791534058613427641 CPUtime=2.6 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (java) S 23008 23008 14983 0 -1 1077944384 10912 0 0 0 253 7 0 0 20 0 19 0 445163652 15926902784 851483 33554432000 4194304 4196468 140721927577888 139996337816704 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23012] ppid=23008 vsize=15553616 memory=1448 CPUtime=0.18 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (java) S 23008 23008 14983 0 -1 1077944384 1378 0 0 0 13 5 0 0 20 0 19 0 445163653 15926902784 851483 33554432000 4194304 4196468 140721927577888 139996286196624 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23013] ppid=23008 vsize=15553616 memory=3405932 CPUtime=0.16 cores=1,3,5,7
/proc/23010/task/23013/stat : 23013 (java) S 23008 23008 14983 0 -1 1077944384 378 0 0 0 13 3 0 0 20 0 19 0 445163653 15926902784 851483 33554432000 4194304 4196468 140721927577888 139996285143824 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23014] ppid=23008 vsize=15553616 memory=1448 CPUtime=0.16 cores=1,3,5,7
/proc/23010/task/23014/stat : 23014 (java) S 23008 23008 14983 0 -1 1077944384 1005 0 0 0 13 3 0 0 20 0 19 0 445163653 15926902784 851483 33554432000 4194304 4196468 140721927577888 139996284091536 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23015] ppid=23008 vsize=15553616 memory=3844 CPUtime=0.16 cores=1,3,5,7
/proc/23010/task/23015/stat : 23015 (java) S 23008 23008 14983 0 -1 1077944384 850 0 0 0 12 4 0 0 20 0 19 0 445163653 15926902784 851483 33554432000 4194304 4196468 140721927577888 139996283038736 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23016] ppid=23008 vsize=15553616 memory=2612 CPUtime=0.02 cores=1,3,5,7
/proc/23010/task/23016/stat : 23016 (java) S 23008 23008 14983 0 -1 1077944384 2641 0 0 0 2 0 0 0 20 0 19 0 445163654 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995869423728 139996333587074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23017] ppid=23008 vsize=15553616 memory=2604 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23017/stat : 23017 (java) S 23008 23008 14983 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 445163655 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995801183072 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23018] ppid=23008 vsize=15553616 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23018/stat : 23018 (java) S 23008 23008 14983 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 445163655 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995800130688 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23019] ppid=23008 vsize=15553616 memory=2899120 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23019/stat : 23019 (java) S 23008 23008 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445163657 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995799078992 139996333594523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23020] ppid=23008 vsize=15553616 memory=2012 CPUtime=4.89 cores=1,3,5,7
/proc/23010/task/23020/stat : 23020 (java) S 23008 23008 14983 0 -1 1077944384 12683 0 0 0 487 2 0 0 20 0 19 0 445163657 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995798026864 139996333587074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23021] ppid=23008 vsize=15553616 memory=1388 CPUtime=5.46 cores=1,3,5,7
/proc/23010/task/23021/stat : 23021 (java) S 23008 23008 14983 0 -1 1077944384 15439 0 0 0 544 2 0 0 20 0 19 0 445163657 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995796974064 139996333587074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23022] ppid=23008 vsize=15553616 memory=776 CPUtime=0.93 cores=1,3,5,7
/proc/23010/task/23022/stat : 23022 (java) S 23008 23008 14983 0 -1 1077944384 11509 0 0 0 91 2 0 0 20 0 19 0 445163658 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995795921776 139996333587074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23023] ppid=23008 vsize=15553616 memory=3992 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23023/stat : 23023 (java) S 23008 23008 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445163658 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995794869216 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23024] ppid=23008 vsize=15553616 memory=2828 CPUtime=0.02 cores=1,3,5,7
/proc/23010/task/23024/stat : 23024 (java) S 23008 23008 14983 0 -1 1077944384 511 0 0 0 0 2 0 0 20 0 19 0 445163658 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995793815984 139996333587074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23059] ppid=23008 vsize=15553616 memory=1448 CPUtime=63.9 cores=1,3,5,7
/proc/23010/task/23059/stat : 23059 (java) R 23008 23008 14983 0 -1 4202560 358 0 0 0 6390 0 0 0 20 0 19 0 445164149 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995776183448 139995957158279 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23060] ppid=23008 vsize=15553616 memory=3386548 CPUtime=64.82 cores=1,3,5,7
/proc/23010/task/23060/stat : 23060 (java) R 23008 23008 14983 0 -1 4202560 2204 0 0 0 6476 6 0 0 20 0 19 0 445164149 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995782492872 139995963179914 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23061] ppid=23008 vsize=15553616 memory=12024 CPUtime=64.49 cores=1,3,5,7
/proc/23010/task/23061/stat : 23061 (java) R 23008 23008 14983 0 -1 4202560 9017 0 0 0 6412 37 0 0 20 0 19 0 445164149 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995778288960 139995961527064 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23062] ppid=23008 vsize=15553616 memory=500 CPUtime=64.08 cores=1,3,5,7
/proc/23010/task/23062/stat : 23062 (java) R 23008 23008 14983 0 -1 4202560 786 0 0 0 6407 1 0 0 20 0 19 0 445164149 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995777239928 139995960061275 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
Current children cumulated CPU time: 275.96 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 3407380 KiB

[startup+70.6009 s]
/proc/loadavg: 8.74 8.43 8.40 9/237 23067
/proc/meminfo: memFree=27236084/32770624 swapFree=66997372/67108860
[pid=23008] ppid=23005 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23008/stat : 23008 (xcsp3-exec) S 23005 23008 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445163652 115843072 362 33554432000 4194304 5098028 140730265153120 140730265151224 140570871796348 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22847488 140730265158522 140730265158765 140730265158765 140730265161674 0
/proc/23008/statm: 28282 362 304 221 0 87 0
[pid=23010] ppid=23008 vsize=15553616 memory=3405932 CPUtime=276.6 cores=1,3,5,7
/proc/23010/stat : 23010 (java) S 23008 23008 14983 0 -1 1077944320 72077 0 0 0 27579 81 0 0 20 0 19 0 445163652 15926902784 851483 33554432000 4194304 4196468 140721927577888 140721927560432 139996333575927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
/proc/23010/statm: 3888404 851483 3530 1 0 3849504 0
[pid=23010/tid=23011] ppid=23008 vsize=15553616 memory=3405932 CPUtime=2.6 cores=1,3,5,7
/proc/23010/task/23011/stat : 23011 (java) S 23008 23008 14983 0 -1 1077944384 10912 0 0 0 253 7 0 0 20 0 19 0 445163652 15926902784 851483 33554432000 4194304 4196468 140721927577888 139996337816704 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23012] ppid=23008 vsize=15553616 memory=8560 CPUtime=0.18 cores=1,3,5,7
/proc/23010/task/23012/stat : 23012 (java) S 23008 23008 14983 0 -1 1077944384 1378 0 0 0 13 5 0 0 20 0 19 0 445163653 15926902784 851483 33554432000 4194304 4196468 140721927577888 139996286196624 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23013] ppid=23008 vsize=15553616 memory=1668 CPUtime=0.16 cores=1,3,5,7
/proc/23010/task/23013/stat : 23013 (java) S 23008 23008 14983 0 -1 1077944384 378 0 0 0 13 3 0 0 20 0 19 0 445163653 15926902784 851483 33554432000 4194304 4196468 140721927577888 139996285143824 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23014] ppid=23008 vsize=15553616 memory=1112 CPUtime=0.16 cores=1,3,5,7
/proc/23010/task/23014/stat : 23014 (java) S 23008 23008 14983 0 -1 1077944384 1005 0 0 0 13 3 0 0 20 0 19 0 445163653 15926902784 851483 33554432000 4194304 4196468 140721927577888 139996284091536 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23015] ppid=23008 vsize=15553616 memory=1004 CPUtime=0.16 cores=1,3,5,7
/proc/23010/task/23015/stat : 23015 (java) S 23008 23008 14983 0 -1 1077944384 850 0 0 0 12 4 0 0 20 0 19 0 445163653 15926902784 851483 33554432000 4194304 4196468 140721927577888 139996283038736 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23016] ppid=23008 vsize=15553616 memory=1004 CPUtime=0.02 cores=1,3,5,7
/proc/23010/task/23016/stat : 23016 (java) S 23008 23008 14983 0 -1 1077944384 2641 0 0 0 2 0 0 0 20 0 19 0 445163654 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995869423728 139996333587074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23017] ppid=23008 vsize=15553616 memory=6036 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23017/stat : 23017 (java) S 23008 23008 14983 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 445163655 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995801183072 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23018] ppid=23008 vsize=15553616 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23018/stat : 23018 (java) S 23008 23008 14983 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 445163655 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995800130688 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23019] ppid=23008 vsize=15553616 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23019/stat : 23019 (java) S 23008 23008 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445163657 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995799078992 139996333594523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23020] ppid=23008 vsize=15553616 memory=26120 CPUtime=4.89 cores=1,3,5,7
/proc/23010/task/23020/stat : 23020 (java) S 23008 23008 14983 0 -1 1077944384 12683 0 0 0 487 2 0 0 20 0 19 0 445163657 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995798026864 139996333587074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23021] ppid=23008 vsize=15553616 memory=12024 CPUtime=5.46 cores=1,3,5,7
/proc/23010/task/23021/stat : 23021 (java) S 23008 23008 14983 0 -1 1077944384 15439 0 0 0 544 2 0 0 20 0 19 0 445163657 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995796974064 139996333587074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23022] ppid=23008 vsize=15553616 memory=1004 CPUtime=0.93 cores=1,3,5,7
/proc/23010/task/23022/stat : 23022 (java) S 23008 23008 14983 0 -1 1077944384 11509 0 0 0 91 2 0 0 20 0 19 0 445163658 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995795921776 139996333587074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23023] ppid=23008 vsize=15553616 memory=6036 CPUtime=0 cores=1,3,5,7
/proc/23010/task/23023/stat : 23023 (java) S 23008 23008 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445163658 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995794869216 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23024] ppid=23008 vsize=15553616 memory=14008 CPUtime=0.02 cores=1,3,5,7
/proc/23010/task/23024/stat : 23024 (java) S 23008 23008 14983 0 -1 1077944384 511 0 0 0 0 2 0 0 20 0 19 0 445163658 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995793815984 139996333587074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23059] ppid=23008 vsize=15553616 memory=2124 CPUtime=64.04 cores=1,3,5,7
/proc/23010/task/23059/stat : 23059 (java) S 23008 23008 14983 0 -1 1077944384 363 0 0 0 6404 0 0 0 20 0 19 0 445164149 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995776187648 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23060] ppid=23008 vsize=15553616 memory=26120 CPUtime=64.97 cores=1,3,5,7
/proc/23010/task/23060/stat : 23060 (java) S 23008 23008 14983 0 -1 1077944384 2217 0 0 0 6491 6 0 0 20 0 19 0 445164149 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995782497360 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23061] ppid=23008 vsize=15553616 memory=12024 CPUtime=64.69 cores=1,3,5,7
/proc/23010/task/23061/stat : 23061 (java) R 23008 23008 14983 0 -1 4202560 9027 0 0 0 6432 37 0 0 20 0 19 0 445164149 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995778291160 139995962182749 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
[pid=23010/tid=23062] ppid=23008 vsize=15553616 memory=500 CPUtime=64.22 cores=1,3,5,7
/proc/23010/task/23062/stat : 23062 (java) S 23008 23008 14983 0 -1 1077944384 786 0 0 0 6421 1 0 0 20 0 19 0 445164149 15926902784 851483 33554432000 4194304 4196468 140721927577888 139995777242448 139996333586133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12251136 140721927582703 140721927582874 140721927582874 140721927585743 0
Current children cumulated CPU time: 276.6 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 3407380 KiB

Child status: 0
Real time (s): 70.6548
CPU time (s): 276.667
CPU user time (s): 275.833
CPU system time (s): 0.833593
CPU usage (%): 391.575
Max. virtual memory (cumulated for all children) (KiB): 15666744
Max. memory (cumulated for all children) (KiB): 3407380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 275.833
system time used= 0.833593
maximum resident set size= 3407028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72995
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5122
involuntary context switches= 4689


# summary of solver processes directly reported to runsolver:
#   pid: 23008
#   total CPU time (s): 276.667
#   total CPU user time (s): 275.833
#   total CPU system time (s): 0.833593

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.437646 second user time and 0.898171 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-5-fullins-4.xml
MD5SUM	9a110b3288dcdd83da8fcc132ac433c6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	8
Best CPU time to get the best result obtained on this benchmark	75.4372
Satisfiable
(Un)Satisfiability was proved
Number of variables	1085
Number of constraints	11395
Number of domains	1
Minimum domain size	1085
Maximum domain size	1085
Distribution of domain sizes	[{"size":1085,"count":1085}]
Minimum variable degree	7
Maximum variable degree	161
Distribution of variable degrees	[{"degree":7,"count":4},{"degree":8,"count":22},{"degree":9,"count":16},{"degree":10,"count":80},{"degree":11,"count":22},{"degree":12,"count":110},{"degree":13,"count":19},{"degree":14,"count":60},{"degree":15,"count":60},{"degree":16,"count":300},{"degree":19,"count":7},{"degree":20,"count":35},{"degree":21,"count":7},{"degree":22,"count":35},{"degree":30,"count":7},{"degree":33,"count":7},{"degree":34,"count":35},{"degree":35,"count":35},{"degree":36,"count":175},{"degree":55,"count":7},{"degree":56,"count":35},{"degree":161,"count":7}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":11395}]
Number of extensional constraints	0
Number of intensional constraints	11395
Distribution of constraint types	[{"type":"intension","count":11395}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4399168

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
