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-24	OPT	6	507.923	501.315
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 (11739 MiB free)
  memory of node 1: 16384 MiB (13176 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406124-1569397822/watcher-4406124-1569397822 -o /var/tmp/evaluation-result-4406124-1569397822/solver-4406124-1569397822 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node121-1569396627-31209 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 2000911244 HOME/instance-4406124-1569397822.xml 

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

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

solver pid=31427, runsolver pid=31424

[startup+0.100109 s]*
/proc/loadavg: 2.18 1.81 1.25 4/229 31443
/proc/meminfo: memFree=25494540/32770624 swapFree=66992592/67108860
[pid=31427] ppid=31424 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31427/stat : 31427 (xcsp3-exec) S 31424 31427 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516044799 115843072 363 33554432000 4194304 5098028 140735562371152 140735562369256 139757994553980 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35852288 140735562376022 140735562376281 140735562376281 140735562379206 0
/proc/31427/statm: 28282 363 304 221 0 87 0
[pid=31429] ppid=31427 vsize=15144776 memory=31712 CPUtime=0.12 cores=1,3,5,7
/proc/31429/stat : 31429 (java) S 31427 31427 31177 0 -1 1077944320 5899 0 0 0 11 1 0 0 20 0 15 0 516044799 15508250624 7928 33554432000 4194304 4196468 140724825256224 140724825238768 139859834576631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
/proc/31429/statm: 3786194 7928 3121 1 0 3748377 0
[pid=31429/tid=31430] ppid=31427 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/31429/task/31430/stat : 31430 (java) R 31427 31427 31177 0 -1 4202560 3845 0 0 0 8 1 0 0 20 0 15 0 516044800 15508250624 7928 33554432000 4194304 4196468 140724825256224 139859838808944 139859834598557 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31431] ppid=31427 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31431/stat : 31431 (java) S 31427 31427 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516044800 15508250624 7928 33554432000 4194304 4196468 140724825256224 139859787196944 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31432] ppid=31427 vsize=15144776 memory=140291979327104 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31432/stat : 31432 (java) S 31427 31427 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516044800 15508250624 7994 33554432000 4194304 4196468 140724825256224 139859786144400 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31433] ppid=31427 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31433/stat : 31433 (java) S 31427 31427 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516044800 15508250624 7994 33554432000 4194304 4196468 140724825256224 139859785091344 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31434] ppid=31427 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31434/stat : 31434 (java) S 31427 31427 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516044800 15508250624 7994 33554432000 4194304 4196468 140724825256224 139859784038800 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31435] ppid=31427 vsize=15144776 memory=140291979327104 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31435/stat : 31435 (java) S 31427 31427 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516044802 15508250624 7994 33554432000 4194304 4196468 140724825256224 139859370400496 139859834587778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31436] ppid=31427 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31436/stat : 31436 (java) S 31427 31427 31177 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 516044802 15508250624 7994 33554432000 4194304 4196468 140724825256224 139858908538528 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31437] ppid=31427 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31437/stat : 31437 (java) S 31427 31427 31177 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516044803 15508250624 7994 33554432000 4194304 4196468 140724825256224 139858907485424 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31438] ppid=31427 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31438/stat : 31438 (java) S 31427 31427 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516044805 15508250624 7994 33554432000 4194304 4196468 140724825256224 139858906434000 139859834595227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31439] ppid=31427 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31439/stat : 31439 (java) R 31427 31427 31177 0 -1 4202560 346 0 0 0 0 0 0 0 20 0 15 0 516044805 15508250624 7994 33554432000 4194304 4196468 140724825256224 139858905372752 139859814989936 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31440] ppid=31427 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31440/stat : 31440 (java) R 31427 31427 31177 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 516044805 15508250624 7994 33554432000 4194304 4196468 140724825256224 139858904328656 139859834586837 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31441] ppid=31427 vsize=15144776 memory=140291979327104 CPUtime=0.02 cores=1,3,5,7
/proc/31429/task/31441/stat : 31441 (java) R 31427 31427 31177 0 -1 4202560 330 0 0 0 2 0 0 0 20 0 15 0 516044805 15508250624 7994 33554432000 4194304 4196468 140724825256224 139858903273464 139859814543750 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31442] ppid=31427 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31442/stat : 31442 (java) S 31427 31427 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516044805 15508250624 7994 33554432000 4194304 4196468 140724825256224 139858902223200 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31443] ppid=31427 vsize=15144776 memory=140291979327104 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31443/stat : 31443 (java) S 31427 31427 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516044806 15508250624 7994 33554432000 4194304 4196468 140724825256224 139858901171248 139859834587778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 33164 KiB

[startup+0.214397 s]*
/proc/loadavg: 2.18 1.81 1.25 4/229 31443
/proc/meminfo: memFree=25482532/32770624 swapFree=66992592/67108860
[pid=31427] ppid=31424 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31427/stat : 31427 (xcsp3-exec) S 31424 31427 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516044799 115843072 363 33554432000 4194304 5098028 140735562371152 140735562369256 139757994553980 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35852288 140735562376022 140735562376281 140735562376281 140735562379206 0
/proc/31427/statm: 28282 363 304 221 0 87 0
[pid=31429] ppid=31427 vsize=15144776 memory=42512 CPUtime=0.35 cores=1,3,5,7
/proc/31429/stat : 31429 (java) S 31427 31427 31177 0 -1 1077944320 9333 0 0 0 32 3 0 0 20 0 15 0 516044799 15508250624 10628 33554432000 4194304 4196468 140724825256224 140724825238768 139859834576631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
/proc/31429/statm: 3786194 10628 3300 1 0 3748377 0
[pid=31429/tid=31430] ppid=31427 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/31429/task/31430/stat : 31430 (java) R 31427 31427 31177 0 -1 4202560 6616 0 0 0 18 2 0 0 20 0 15 0 516044800 15508250624 10628 33554432000 4194304 4196468 140724825256224 139859838811616 139859834588566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31431] ppid=31427 vsize=15144776 memory=2995869 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31431/stat : 31431 (java) S 31427 31427 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516044800 15508250624 10628 33554432000 4194304 4196468 140724825256224 139859787196944 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31432] ppid=31427 vsize=15144776 memory=140291979356657 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31432/stat : 31432 (java) S 31427 31427 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516044800 15508250624 10628 33554432000 4194304 4196468 140724825256224 139859786144400 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31433] ppid=31427 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31433/stat : 31433 (java) S 31427 31427 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516044800 15508250624 10628 33554432000 4194304 4196468 140724825256224 139859785091344 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31434] ppid=31427 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31434/stat : 31434 (java) S 31427 31427 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516044800 15508250624 10628 33554432000 4194304 4196468 140724825256224 139859784038800 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31435] ppid=31427 vsize=15144776 memory=140291979327104 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31435/stat : 31435 (java) S 31427 31427 31177 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516044802 15508250624 10628 33554432000 4194304 4196468 140724825256224 139859370400496 139859834587778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31436] ppid=31427 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31436/stat : 31436 (java) S 31427 31427 31177 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 516044802 15508250624 10628 33554432000 4194304 4196468 140724825256224 139858908538528 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31437] ppid=31427 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31437/stat : 31437 (java) S 31427 31427 31177 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516044803 15508250624 10628 33554432000 4194304 4196468 140724825256224 139858907485424 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31438] ppid=31427 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31438/stat : 31438 (java) S 31427 31427 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516044805 15508250624 10628 33554432000 4194304 4196468 140724825256224 139858906434000 139859834595227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31439] ppid=31427 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31429/task/31439/stat : 31439 (java) S 31427 31427 31177 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 15 0 516044805 15508250624 10628 33554432000 4194304 4196468 140724825256224 139858905381104 139859834587778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31440] ppid=31427 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31429/task/31440/stat : 31440 (java) S 31427 31427 31177 0 -1 1077944384 173 0 0 0 2 0 0 0 20 0 15 0 516044805 15508250624 10628 33554432000 4194304 4196468 140724825256224 139858904328560 139859834587778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31441] ppid=31427 vsize=15144776 memory=140291979327104 CPUtime=0.08 cores=1,3,5,7
/proc/31429/task/31441/stat : 31441 (java) R 31427 31427 31177 0 -1 4202560 782 0 0 0 8 0 0 0 20 0 15 0 516044805 15508250624 10628 33554432000 4194304 4196468 140724825256224 139858903275504 139859834597978 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31442] ppid=31427 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31442/stat : 31442 (java) S 31427 31427 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516044805 15508250624 10628 33554432000 4194304 4196468 140724825256224 139858902223200 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31443] ppid=31427 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31443/stat : 31443 (java) S 31427 31427 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516044806 15508250624 10628 33554432000 4194304 4196468 140724825256224 139858901171248 139859834587778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 43964 KiB

[startup+0.310797 s]*
/proc/loadavg: 2.18 1.81 1.25 4/229 31443
/proc/meminfo: memFree=25476116/32770624 swapFree=66992592/67108860
[pid=31427] ppid=31424 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31427/stat : 31427 (xcsp3-exec) S 31424 31427 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516044799 115843072 363 33554432000 4194304 5098028 140735562371152 140735562369256 139757994553980 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35852288 140735562376022 140735562376281 140735562376281 140735562379206 0
/proc/31427/statm: 28282 363 304 221 0 87 0
[pid=31429] ppid=31427 vsize=15149032 memory=52044 CPUtime=0.55 cores=1,3,5,7
/proc/31429/stat : 31429 (java) S 31427 31427 31177 0 -1 1077944320 10788 0 0 0 51 4 0 0 20 0 15 0 516044799 15512608768 13011 33554432000 4194304 4196468 140724825256224 140724825238768 139859834576631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
/proc/31429/statm: 3787258 13011 3359 1 0 3748377 0
[pid=31429/tid=31430] ppid=31427 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/31429/task/31430/stat : 31430 (java) R 31427 31427 31177 0 -1 4202560 7723 0 0 0 27 3 0 0 20 0 15 0 516044800 15512608768 13011 33554432000 4194304 4196468 140724825256224 139859838807744 139859834598557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31431] ppid=31427 vsize=15149032 memory=2996211 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31431/stat : 31431 (java) S 31427 31427 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516044800 15512608768 13011 33554432000 4194304 4196468 140724825256224 139859787196944 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31432] ppid=31427 vsize=15149032 memory=4051326751463468418 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31432/stat : 31432 (java) S 31427 31427 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516044800 15512608768 13011 33554432000 4194304 4196468 140724825256224 139859786144400 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31433] ppid=31427 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31433/stat : 31433 (java) S 31427 31427 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516044800 15512608768 13011 33554432000 4194304 4196468 140724825256224 139859785091344 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31434] ppid=31427 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31434/stat : 31434 (java) S 31427 31427 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516044800 15512608768 13011 33554432000 4194304 4196468 140724825256224 139859784038800 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31435] ppid=31427 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31435/stat : 31435 (java) S 31427 31427 31177 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516044802 15512608768 13011 33554432000 4194304 4196468 140724825256224 139859370400496 139859834587778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31436] ppid=31427 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31436/stat : 31436 (java) S 31427 31427 31177 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 516044802 15512608768 13011 33554432000 4194304 4196468 140724825256224 139858908538528 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31437] ppid=31427 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31437/stat : 31437 (java) S 31427 31427 31177 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516044803 15512608768 13011 33554432000 4194304 4196468 140724825256224 139858907485424 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31438] ppid=31427 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31438/stat : 31438 (java) S 31427 31427 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516044805 15512608768 13011 33554432000 4194304 4196468 140724825256224 139858906434000 139859834595227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31439] ppid=31427 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/31429/task/31439/stat : 31439 (java) S 31427 31427 31177 0 -1 1077944384 479 0 0 0 4 0 0 0 20 0 15 0 516044805 15512608768 13011 33554432000 4194304 4196468 140724825256224 139858905381104 139859834587778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31440] ppid=31427 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/31429/task/31440/stat : 31440 (java) R 31427 31427 31177 0 -1 4202560 339 0 0 0 5 0 0 0 20 0 15 0 516044805 15512608768 13011 33554432000 4194304 4196468 140724825256224 139858904328560 139859816101592 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31441] ppid=31427 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/31429/task/31441/stat : 31441 (java) S 31427 31427 31177 0 -1 1077944384 960 0 0 0 13 0 0 0 20 0 15 0 516044805 15512608768 13011 33554432000 4194304 4196468 140724825256224 139858903275504 139859834587778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31442] ppid=31427 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31442/stat : 31442 (java) S 31427 31427 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516044805 15512608768 13011 33554432000 4194304 4196468 140724825256224 139858902223200 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31443] ppid=31427 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31443/stat : 31443 (java) S 31427 31427 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516044806 15512608768 13011 33554432000 4194304 4196468 140724825256224 139858901171248 139859834587778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 53496 KiB

[startup+0.70091 s]
/proc/loadavg: 2.18 1.81 1.25 3/229 31443
/proc/meminfo: memFree=25454592/32770624 swapFree=66992592/67108860
[pid=31427] ppid=31424 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31427/stat : 31427 (xcsp3-exec) S 31424 31427 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516044799 115843072 363 33554432000 4194304 5098028 140735562371152 140735562369256 139757994553980 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35852288 140735562376022 140735562376281 140735562376281 140735562379206 0
/proc/31427/statm: 28282 363 304 221 0 87 0
[pid=31429] ppid=31427 vsize=15151156 memory=117860 CPUtime=1.69 cores=1,3,5,7
/proc/31429/stat : 31429 (java) S 31427 31427 31177 0 -1 1077944320 13940 0 0 0 164 5 0 0 20 0 15 0 516044799 15514783744 29465 33554432000 4194304 4196468 140724825256224 140724825238768 139859834576631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
/proc/31429/statm: 3787789 29465 3446 1 0 3748889 0
[pid=31429/tid=31430] ppid=31427 vsize=15151156 memory=21860 CPUtime=0.68 cores=1,3,5,7
/proc/31429/task/31430/stat : 31430 (java) R 31427 31427 31177 0 -1 4202560 8258 0 0 0 64 4 0 0 20 0 15 0 516044800 15514783744 29465 33554432000 4194304 4196468 140724825256224 139859838811480 139859456431998 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31431] ppid=31427 vsize=15151156 memory=512 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31431/stat : 31431 (java) S 31427 31427 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516044800 15514783744 29465 33554432000 4194304 4196468 140724825256224 139859787196944 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31432] ppid=31427 vsize=15151156 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31432/stat : 31432 (java) S 31427 31427 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516044800 15514783744 29465 33554432000 4194304 4196468 140724825256224 139859786144400 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31433] ppid=31427 vsize=15151156 memory=928 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31433/stat : 31433 (java) S 31427 31427 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516044800 15514783744 29465 33554432000 4194304 4196468 140724825256224 139859785091344 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31434] ppid=31427 vsize=15151156 memory=3784 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31434/stat : 31434 (java) S 31427 31427 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516044800 15514783744 29465 33554432000 4194304 4196468 140724825256224 139859784038800 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31435] ppid=31427 vsize=15151156 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31435/stat : 31435 (java) S 31427 31427 31177 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516044802 15514783744 29465 33554432000 4194304 4196468 140724825256224 139859370400496 139859834587778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31436] ppid=31427 vsize=15151156 memory=904 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31436/stat : 31436 (java) S 31427 31427 31177 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 516044802 15514783744 29465 33554432000 4194304 4196468 140724825256224 139858908538528 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31437] ppid=31427 vsize=15151156 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31437/stat : 31437 (java) S 31427 31427 31177 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516044803 15514783744 29465 33554432000 4194304 4196468 140724825256224 139858907485424 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31438] ppid=31427 vsize=15151156 memory=2528 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31438/stat : 31438 (java) S 31427 31427 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516044805 15514783744 29465 33554432000 4194304 4196468 140724825256224 139858906434000 139859834595227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31439] ppid=31427 vsize=15151156 memory=1764 CPUtime=0.34 cores=1,3,5,7
/proc/31429/task/31439/stat : 31439 (java) R 31427 31427 31177 0 -1 4202560 1432 0 0 0 34 0 0 0 20 0 15 0 516044805 15514783744 29465 33554432000 4194304 4196468 140724825256224 139858905367672 139859820291111 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31440] ppid=31427 vsize=15151156 memory=111632 CPUtime=0.35 cores=1,3,5,7
/proc/31429/task/31440/stat : 31440 (java) R 31427 31427 31177 0 -1 4202560 1290 0 0 0 35 0 0 0 20 0 15 0 516044805 15514783744 29465 33554432000 4194304 4196468 140724825256224 139858904314440 139859816097835 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31441] ppid=31427 vsize=15151156 memory=804 CPUtime=0.29 cores=1,3,5,7
/proc/31429/task/31441/stat : 31441 (java) S 31427 31427 31177 0 -1 1077944384 1671 0 0 0 29 0 0 0 20 0 15 0 516044805 15514783744 29465 33554432000 4194304 4196468 140724825256224 139858903275504 139859834587778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31442] ppid=31427 vsize=15151156 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31442/stat : 31442 (java) S 31427 31427 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516044805 15514783744 29465 33554432000 4194304 4196468 140724825256224 139858902223200 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31443] ppid=31427 vsize=15151156 memory=4108 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31443/stat : 31443 (java) S 31427 31427 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516044806 15514783744 29465 33554432000 4194304 4196468 140724825256224 139858901171248 139859834587778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 119312 KiB

[startup+1.51126 s]
/proc/loadavg: 2.18 1.81 1.25 4/229 31443
/proc/meminfo: memFree=25368892/32770624 swapFree=66992592/67108860
[pid=31427] ppid=31424 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31427/stat : 31427 (xcsp3-exec) S 31424 31427 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516044799 115843072 363 33554432000 4194304 5098028 140735562371152 140735562369256 139757994553980 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35852288 140735562376022 140735562376281 140735562376281 140735562379206 0
/proc/31427/statm: 28282 363 304 221 0 87 0

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

/proc/meminfo: memFree=24847864/32770624 swapFree=66992592/67108860
[pid=31427] ppid=31424 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31427/stat : 31427 (xcsp3-exec) S 31424 31427 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516044799 115843072 363 33554432000 4194304 5098028 140735562371152 140735562369256 139757994553980 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35852288 140735562376022 140735562376281 140735562376281 140735562379206 0
/proc/31427/statm: 28282 363 304 221 0 87 0
[pid=31429] ppid=31427 vsize=15151156 memory=631832 CPUtime=506.61 cores=1,3,5,7
/proc/31429/stat : 31429 (java) S 31427 31427 31177 0 -1 1077944320 53894 0 0 0 50634 27 0 0 20 0 15 0 516044799 15514783744 157958 33554432000 4194304 4196468 140724825256224 140724825238768 139859834576631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
/proc/31429/statm: 3787789 157958 3522 1 0 3748889 0
[pid=31429/tid=31430] ppid=31427 vsize=15151156 memory=6791534058613427641 CPUtime=499.86 cores=1,3,5,7
/proc/31429/task/31430/stat : 31430 (java) R 31427 31427 31177 0 -1 4202560 15300 0 0 0 49976 10 0 0 20 0 15 0 516044800 15514783744 157958 33554432000 4194304 4196468 140724825256224 139859838813664 139859460395382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31431] ppid=31427 vsize=15151156 memory=4126316290023845779 CPUtime=0.06 cores=1,3,5,7
/proc/31429/task/31431/stat : 31431 (java) S 31427 31427 31177 0 -1 1077944384 1062 0 0 0 5 1 0 0 20 0 15 0 516044800 15514783744 157958 33554432000 4194304 4196468 140724825256224 139859787196944 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31432] ppid=31427 vsize=15151156 memory=1060 CPUtime=0.06 cores=1,3,5,7
/proc/31429/task/31432/stat : 31432 (java) S 31427 31427 31177 0 -1 1077944384 1313 0 0 0 5 1 0 0 20 0 15 0 516044800 15514783744 157958 33554432000 4194304 4196468 140724825256224 139859786144400 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31433] ppid=31427 vsize=15151156 memory=2828 CPUtime=0.06 cores=1,3,5,7
/proc/31429/task/31433/stat : 31433 (java) S 31427 31427 31177 0 -1 1077944384 2493 0 0 0 5 1 0 0 20 0 15 0 516044800 15514783744 157958 33554432000 4194304 4196468 140724825256224 139859785091344 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31434] ppid=31427 vsize=15151156 memory=756 CPUtime=0.05 cores=1,3,5,7
/proc/31429/task/31434/stat : 31434 (java) S 31427 31427 31177 0 -1 1077944384 1371 0 0 0 4 1 0 0 20 0 15 0 516044800 15514783744 157958 33554432000 4194304 4196468 140724825256224 139859784038800 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31435] ppid=31427 vsize=15151156 memory=1548 CPUtime=0.02 cores=1,3,5,7
/proc/31429/task/31435/stat : 31435 (java) S 31427 31427 31177 0 -1 1077944384 1487 0 0 0 2 0 0 0 20 0 15 0 516044802 15514783744 157958 33554432000 4194304 4196468 140724825256224 139859370400496 139859834587778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31436] ppid=31427 vsize=15151156 memory=8252 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31436/stat : 31436 (java) S 31427 31427 31177 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 516044802 15514783744 157958 33554432000 4194304 4196468 140724825256224 139858908538592 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31437] ppid=31427 vsize=15151156 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31437/stat : 31437 (java) S 31427 31427 31177 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 516044803 15514783744 157958 33554432000 4194304 4196468 140724825256224 139858907485440 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31438] ppid=31427 vsize=15151156 memory=9520 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31438/stat : 31438 (java) S 31427 31427 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516044805 15514783744 157958 33554432000 4194304 4196468 140724825256224 139858906434000 139859834595227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31439] ppid=31427 vsize=15151156 memory=756 CPUtime=2.79 cores=1,3,5,7
/proc/31429/task/31439/stat : 31439 (java) S 31427 31427 31177 0 -1 1077944384 9388 0 0 0 279 0 0 0 20 0 15 0 516044805 15514783744 157958 33554432000 4194304 4196468 140724825256224 139858905381104 139859834587778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31440] ppid=31427 vsize=15151156 memory=1548 CPUtime=2.73 cores=1,3,5,7
/proc/31429/task/31440/stat : 31440 (java) S 31427 31427 31177 0 -1 1077944384 11362 0 0 0 272 1 0 0 20 0 15 0 516044805 15514783744 157958 33554432000 4194304 4196468 140724825256224 139858904328560 139859834587778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31441] ppid=31427 vsize=15151156 memory=8252 CPUtime=0.78 cores=1,3,5,7
/proc/31429/task/31441/stat : 31441 (java) S 31427 31427 31177 0 -1 1077944384 8322 0 0 0 77 1 0 0 20 0 15 0 516044805 15514783744 157958 33554432000 4194304 4196468 140724825256224 139858903275504 139859834587778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31442] ppid=31427 vsize=15151156 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31442/stat : 31442 (java) S 31427 31427 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516044805 15514783744 157958 33554432000 4194304 4196468 140724825256224 139858902223200 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31443] ppid=31427 vsize=15151156 memory=9520 CPUtime=0.1 cores=1,3,5,7
/proc/31429/task/31443/stat : 31443 (java) S 31427 31427 31177 0 -1 1077944384 435 0 0 0 4 6 0 0 20 0 15 0 516044806 15514783744 157958 33554432000 4194304 4196468 140724825256224 139858901171248 139859834587778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
Current children cumulated CPU time: 506.61 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 633284 KiB

[startup+500.801 s]
/proc/loadavg: 1.70 1.78 1.47 3/229 31490
/proc/meminfo: memFree=24847864/32770624 swapFree=66992592/67108860
[pid=31427] ppid=31424 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31427/stat : 31427 (xcsp3-exec) S 31424 31427 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516044799 115843072 363 33554432000 4194304 5098028 140735562371152 140735562369256 139757994553980 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35852288 140735562376022 140735562376281 140735562376281 140735562379206 0
/proc/31427/statm: 28282 363 304 221 0 87 0
[pid=31429] ppid=31427 vsize=15151156 memory=631832 CPUtime=507.4 cores=1,3,5,7
/proc/31429/stat : 31429 (java) S 31427 31427 31177 0 -1 1077944320 53895 0 0 0 50713 27 0 0 20 0 15 0 516044799 15514783744 157958 33554432000 4194304 4196468 140724825256224 140724825238768 139859834576631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
/proc/31429/statm: 3787789 157958 3522 1 0 3748889 0
[pid=31429/tid=31430] ppid=31427 vsize=15151156 memory=631832 CPUtime=500.65 cores=1,3,5,7
/proc/31429/task/31430/stat : 31430 (java) R 31427 31427 31177 0 -1 4202560 15301 0 0 0 50055 10 0 0 20 0 15 0 516044800 15514783744 157958 33554432000 4194304 4196468 140724825256224 139859838813664 139859460230576 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31431] ppid=31427 vsize=15151156 memory=111632 CPUtime=0.06 cores=1,3,5,7
/proc/31429/task/31431/stat : 31431 (java) S 31427 31427 31177 0 -1 1077944384 1062 0 0 0 5 1 0 0 20 0 15 0 516044800 15514783744 157958 33554432000 4194304 4196468 140724825256224 139859787196944 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31432] ppid=31427 vsize=15151156 memory=1452 CPUtime=0.06 cores=1,3,5,7
/proc/31429/task/31432/stat : 31432 (java) S 31427 31427 31177 0 -1 1077944384 1313 0 0 0 5 1 0 0 20 0 15 0 516044800 15514783744 157958 33554432000 4194304 4196468 140724825256224 139859786144400 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31433] ppid=31427 vsize=15151156 memory=631832 CPUtime=0.06 cores=1,3,5,7
/proc/31429/task/31433/stat : 31433 (java) S 31427 31427 31177 0 -1 1077944384 2493 0 0 0 5 1 0 0 20 0 15 0 516044800 15514783744 157958 33554432000 4194304 4196468 140724825256224 139859785091344 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31434] ppid=31427 vsize=15151156 memory=1452 CPUtime=0.05 cores=1,3,5,7
/proc/31429/task/31434/stat : 31434 (java) S 31427 31427 31177 0 -1 1077944384 1371 0 0 0 4 1 0 0 20 0 15 0 516044800 15514783744 157958 33554432000 4194304 4196468 140724825256224 139859784038800 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31435] ppid=31427 vsize=15151156 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/31429/task/31435/stat : 31435 (java) S 31427 31427 31177 0 -1 1077944384 1487 0 0 0 2 0 0 0 20 0 15 0 516044802 15514783744 157958 33554432000 4194304 4196468 140724825256224 139859370400496 139859834587778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31436] ppid=31427 vsize=15151156 memory=278232 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31436/stat : 31436 (java) S 31427 31427 31177 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 516044802 15514783744 157958 33554432000 4194304 4196468 140724825256224 139858908538592 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31437] ppid=31427 vsize=15151156 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31437/stat : 31437 (java) S 31427 31427 31177 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 516044803 15514783744 157958 33554432000 4194304 4196468 140724825256224 139858907485440 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31438] ppid=31427 vsize=15151156 memory=3120 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31438/stat : 31438 (java) S 31427 31427 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516044805 15514783744 157958 33554432000 4194304 4196468 140724825256224 139858906434000 139859834595227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31439] ppid=31427 vsize=15151156 memory=631832 CPUtime=2.79 cores=1,3,5,7
/proc/31429/task/31439/stat : 31439 (java) S 31427 31427 31177 0 -1 1077944384 9388 0 0 0 279 0 0 0 20 0 15 0 516044805 15514783744 157958 33554432000 4194304 4196468 140724825256224 139858905381104 139859834587778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31440] ppid=31427 vsize=15151156 memory=928 CPUtime=2.73 cores=1,3,5,7
/proc/31429/task/31440/stat : 31440 (java) S 31427 31427 31177 0 -1 1077944384 11362 0 0 0 272 1 0 0 20 0 15 0 516044805 15514783744 157958 33554432000 4194304 4196468 140724825256224 139858904328560 139859834587778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31441] ppid=31427 vsize=15151156 memory=3784 CPUtime=0.78 cores=1,3,5,7
/proc/31429/task/31441/stat : 31441 (java) S 31427 31427 31177 0 -1 1077944384 8322 0 0 0 77 1 0 0 20 0 15 0 516044805 15514783744 157958 33554432000 4194304 4196468 140724825256224 139858903275504 139859834587778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31442] ppid=31427 vsize=15151156 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31442/stat : 31442 (java) S 31427 31427 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516044805 15514783744 157958 33554432000 4194304 4196468 140724825256224 139858902223200 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31443] ppid=31427 vsize=15151156 memory=1452 CPUtime=0.1 cores=1,3,5,7
/proc/31429/task/31443/stat : 31443 (java) S 31427 31427 31177 0 -1 1077944384 435 0 0 0 4 6 0 0 20 0 15 0 516044806 15514783744 157958 33554432000 4194304 4196468 140724825256224 139858901171248 139859834587778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
Current children cumulated CPU time: 507.4 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 633284 KiB

[startup+501.201 s]
/proc/loadavg: 1.70 1.78 1.47 3/229 31490
/proc/meminfo: memFree=24847864/32770624 swapFree=66992592/67108860
[pid=31427] ppid=31424 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31427/stat : 31427 (xcsp3-exec) S 31424 31427 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516044799 115843072 363 33554432000 4194304 5098028 140735562371152 140735562369256 139757994553980 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35852288 140735562376022 140735562376281 140735562376281 140735562379206 0
/proc/31427/statm: 28282 363 304 221 0 87 0
[pid=31429] ppid=31427 vsize=15151156 memory=631832 CPUtime=507.8 cores=1,3,5,7
/proc/31429/stat : 31429 (java) S 31427 31427 31177 0 -1 1077944320 53895 0 0 0 50753 27 0 0 20 0 15 0 516044799 15514783744 157958 33554432000 4194304 4196468 140724825256224 140724825238768 139859834576631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
/proc/31429/statm: 3787789 157958 3522 1 0 3748889 0
[pid=31429/tid=31430] ppid=31427 vsize=15151156 memory=631832 CPUtime=501.05 cores=1,3,5,7
/proc/31429/task/31430/stat : 31430 (java) R 31427 31427 31177 0 -1 4202560 15301 0 0 0 50095 10 0 0 20 0 15 0 516044800 15514783744 157958 33554432000 4194304 4196468 140724825256224 139859838813664 139859460821821 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31431] ppid=31427 vsize=15151156 memory=6791534058613427641 CPUtime=0.06 cores=1,3,5,7
/proc/31429/task/31431/stat : 31431 (java) S 31427 31427 31177 0 -1 1077944384 1062 0 0 0 5 1 0 0 20 0 15 0 516044800 15514783744 157958 33554432000 4194304 4196468 140724825256224 139859787196944 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31432] ppid=31427 vsize=15151156 memory=928 CPUtime=0.06 cores=1,3,5,7
/proc/31429/task/31432/stat : 31432 (java) S 31427 31427 31177 0 -1 1077944384 1313 0 0 0 5 1 0 0 20 0 15 0 516044800 15514783744 157958 33554432000 4194304 4196468 140724825256224 139859786144400 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31433] ppid=31427 vsize=15151156 memory=3784 CPUtime=0.06 cores=1,3,5,7
/proc/31429/task/31433/stat : 31433 (java) S 31427 31427 31177 0 -1 1077944384 2493 0 0 0 5 1 0 0 20 0 15 0 516044800 15514783744 157958 33554432000 4194304 4196468 140724825256224 139859785091344 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31434] ppid=31427 vsize=15151156 memory=1440 CPUtime=0.05 cores=1,3,5,7
/proc/31429/task/31434/stat : 31434 (java) S 31427 31427 31177 0 -1 1077944384 1371 0 0 0 4 1 0 0 20 0 15 0 516044800 15514783744 157958 33554432000 4194304 4196468 140724825256224 139859784038800 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31435] ppid=31427 vsize=15151156 memory=904 CPUtime=0.02 cores=1,3,5,7
/proc/31429/task/31435/stat : 31435 (java) S 31427 31427 31177 0 -1 1077944384 1487 0 0 0 2 0 0 0 20 0 15 0 516044802 15514783744 157958 33554432000 4194304 4196468 140724825256224 139859370400496 139859834587778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31436] ppid=31427 vsize=15151156 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31436/stat : 31436 (java) S 31427 31427 31177 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 516044802 15514783744 157958 33554432000 4194304 4196468 140724825256224 139858908538592 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31437] ppid=31427 vsize=15151156 memory=2528 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31437/stat : 31437 (java) S 31427 31427 31177 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 516044803 15514783744 157958 33554432000 4194304 4196468 140724825256224 139858907485440 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31438] ppid=31427 vsize=15151156 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31438/stat : 31438 (java) S 31427 31427 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516044805 15514783744 157958 33554432000 4194304 4196468 140724825256224 139858906434000 139859834595227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31439] ppid=31427 vsize=15151156 memory=111632 CPUtime=2.79 cores=1,3,5,7
/proc/31429/task/31439/stat : 31439 (java) S 31427 31427 31177 0 -1 1077944384 9388 0 0 0 279 0 0 0 20 0 15 0 516044805 15514783744 157958 33554432000 4194304 4196468 140724825256224 139858905381104 139859834587778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31440] ppid=31427 vsize=15151156 memory=804 CPUtime=2.73 cores=1,3,5,7
/proc/31429/task/31440/stat : 31440 (java) S 31427 31427 31177 0 -1 1077944384 11362 0 0 0 272 1 0 0 20 0 15 0 516044805 15514783744 157958 33554432000 4194304 4196468 140724825256224 139858904328560 139859834587778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31441] ppid=31427 vsize=15151156 memory=1452 CPUtime=0.78 cores=1,3,5,7
/proc/31429/task/31441/stat : 31441 (java) S 31427 31427 31177 0 -1 1077944384 8322 0 0 0 77 1 0 0 20 0 15 0 516044805 15514783744 157958 33554432000 4194304 4196468 140724825256224 139858903275504 139859834587778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31442] ppid=31427 vsize=15151156 memory=631832 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31442/stat : 31442 (java) S 31427 31427 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516044805 15514783744 157958 33554432000 4194304 4196468 140724825256224 139858902223200 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31443] ppid=31427 vsize=15151156 memory=1808 CPUtime=0.1 cores=1,3,5,7
/proc/31429/task/31443/stat : 31443 (java) S 31427 31427 31177 0 -1 1077944384 435 0 0 0 4 6 0 0 20 0 15 0 516044806 15514783744 157958 33554432000 4194304 4196468 140724825256224 139858901171248 139859834587778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
Current children cumulated CPU time: 507.8 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 633284 KiB

[startup+501.301 s]
/proc/loadavg: 1.70 1.78 1.47 3/229 31490
/proc/meminfo: memFree=24847864/32770624 swapFree=66992592/67108860
[pid=31427] ppid=31424 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31427/stat : 31427 (xcsp3-exec) S 31424 31427 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516044799 115843072 363 33554432000 4194304 5098028 140735562371152 140735562369256 139757994553980 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35852288 140735562376022 140735562376281 140735562376281 140735562379206 0
/proc/31427/statm: 28282 363 304 221 0 87 0
[pid=31429] ppid=31427 vsize=15151156 memory=631860 CPUtime=507.9 cores=1,3,5,7
/proc/31429/stat : 31429 (java) S 31427 31427 31177 0 -1 1077944320 54401 0 0 0 50763 27 0 0 20 0 14 0 516044799 15514783744 157965 33554432000 4194304 4196468 140724825256224 140724825238768 139859834576631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
/proc/31429/statm: 3787789 157965 3524 1 0 3748889 0
[pid=31429/tid=31430] ppid=31427 vsize=15151156 memory=631832 CPUtime=501.15 cores=1,3,5,7
/proc/31429/task/31430/stat : 31430 (java) S 31427 31427 31177 0 -1 1077944384 15760 0 0 0 50105 10 0 0 20 0 14 0 516044800 15514783744 157965 33554432000 4194304 4196468 140724825256224 139859838819472 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31431] ppid=31427 vsize=15151156 memory=631832 CPUtime=0.06 cores=1,3,5,7
/proc/31429/task/31431/stat : 31431 (java) S 31427 31427 31177 0 -1 1077944384 1062 0 0 0 5 1 0 0 20 0 14 0 516044800 15514783744 157965 33554432000 4194304 4196468 140724825256224 139859787196944 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31432] ppid=31427 vsize=15151156 memory=631832 CPUtime=0.06 cores=1,3,5,7
/proc/31429/task/31432/stat : 31432 (java) S 31427 31427 31177 0 -1 1077944384 1313 0 0 0 5 1 0 0 20 0 14 0 516044800 15514783744 157965 33554432000 4194304 4196468 140724825256224 139859786144400 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31433] ppid=31427 vsize=15151156 memory=631832 CPUtime=0.06 cores=1,3,5,7
/proc/31429/task/31433/stat : 31433 (java) S 31427 31427 31177 0 -1 1077944384 2493 0 0 0 5 1 0 0 20 0 14 0 516044800 15514783744 157965 33554432000 4194304 4196468 140724825256224 139859785091344 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31434] ppid=31427 vsize=15151156 memory=1452 CPUtime=0.05 cores=1,3,5,7
/proc/31429/task/31434/stat : 31434 (java) S 31427 31427 31177 0 -1 1077944384 1371 0 0 0 4 1 0 0 20 0 14 0 516044800 15514783744 157965 33554432000 4194304 4196468 140724825256224 139859784038800 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31435] ppid=31427 vsize=15151156 memory=629292 CPUtime=0.02 cores=1,3,5,7
/proc/31429/task/31435/stat : 31435 (java) S 31427 31427 31177 0 -1 1077944384 1487 0 0 0 2 0 0 0 20 0 14 0 516044802 15514783744 157965 33554432000 4194304 4196468 140724825256224 139859370400704 139859834587778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31436] ppid=31427 vsize=15151156 memory=631832 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31436/stat : 31436 (java) S 31427 31427 31177 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 14 0 516044802 15514783744 157965 33554432000 4194304 4196468 140724825256224 139858908538592 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31437] ppid=31427 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31437/stat : 31437 (java) S 31427 31427 31177 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 14 0 516044803 15514783744 157965 33554432000 4194304 4196468 140724825256224 139858907485440 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31438] ppid=31427 vsize=15151156 memory=631832 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31438/stat : 31438 (java) S 31427 31427 31177 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 14 0 516044805 15514783744 157965 33554432000 4194304 4196468 140724825256224 139858906433648 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31439] ppid=31427 vsize=15151156 memory=1452 CPUtime=2.79 cores=1,3,5,7
/proc/31429/task/31439/stat : 31439 (java) S 31427 31427 31177 0 -1 1077944384 9388 0 0 0 279 0 0 0 20 0 14 0 516044805 15514783744 157965 33554432000 4194304 4196468 140724825256224 139858905381104 139859834587778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31440] ppid=31427 vsize=15151156 memory=1452 CPUtime=2.73 cores=1,3,5,7
/proc/31429/task/31440/stat : 31440 (java) S 31427 31427 31177 0 -1 1077944384 11395 0 0 0 272 1 0 0 20 0 14 0 516044805 15514783744 157965 33554432000 4194304 4196468 140724825256224 139858904313632 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31441] ppid=31427 vsize=15151156 memory=1452 CPUtime=0.78 cores=1,3,5,7
/proc/31429/task/31441/stat : 31441 (java) S 31427 31427 31177 0 -1 1077944384 8322 0 0 0 77 1 0 0 20 0 14 0 516044805 15514783744 157965 33554432000 4194304 4196468 140724825256224 139858903275504 139859834587778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
[pid=31429/tid=31442] ppid=31427 vsize=15151156 memory=631832 CPUtime=0 cores=1,3,5,7
/proc/31429/task/31442/stat : 31442 (java) S 31427 31427 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 516044805 15514783744 157965 33554432000 4194304 4196468 140724825256224 139858902223200 139859834586837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27189248 140724825265115 140724825265290 140724825265290 140724825268175 0
Current children cumulated CPU time: 507.9 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 633312 KiB

Child status: 0
Real time (s): 501.315
CPU time (s): 507.923
CPU user time (s): 507.639
CPU system time (s): 0.284056
CPU usage (%): 101.318
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 643032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 507.639
system time used= 0.284056
maximum resident set size= 641580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54997
page faults= 0
swaps= 0
block input operations= 0
block output operations= 608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13811
involuntary context switches= 247


# summary of solver processes directly reported to runsolver:
#   pid: 31427
#   total CPU time (s): 507.923
#   total CPU user time (s): 507.639
#   total CPU system time (s): 0.284056

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.61672 second user time and 4.90026 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-5.xml
MD5SUM	7175cc64c8263572fa1d1d1459976d33
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	6
Best CPU time to get the best result obtained on this benchmark	58.2779
Satisfiable
(Un)Satisfiability was proved
Number of variables	852
Number of constraints	12201
Number of domains	1
Minimum domain size	852
Maximum domain size	852
Distribution of domain sizes	[{"size":852,"count":852}]
Minimum variable degree	9
Maximum variable degree	216
Distribution of variable degrees	[{"degree":9,"count":4},{"degree":10,"count":10},{"degree":11,"count":10},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":28},{"degree":15,"count":20},{"degree":16,"count":40},{"degree":17,"count":26},{"degree":18,"count":52},{"degree":19,"count":24},{"degree":20,"count":52},{"degree":21,"count":10},{"degree":22,"count":20},{"degree":23,"count":24},{"degree":24,"count":48},{"degree":25,"count":18},{"degree":26,"count":36},{"degree":27,"count":20},{"degree":28,"count":40},{"degree":29,"count":16},{"degree":30,"count":32},{"degree":31,"count":32},{"degree":32,"count":64},{"degree":33,"count":4},{"degree":34,"count":8},{"degree":35,"count":4},{"degree":36,"count":8},{"degree":41,"count":4},{"degree":42,"count":8},{"degree":43,"count":8},{"degree":44,"count":16},{"degree":45,"count":8},{"degree":46,"count":16},{"degree":47,"count":16},{"degree":48,"count":32},{"degree":58,"count":4},{"degree":61,"count":4},{"degree":62,"count":8},{"degree":63,"count":8},{"degree":64,"count":16},{"degree":111,"count":4},{"degree":112,"count":8},{"degree":216,"count":4}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":12201}]
Number of extensional constraints	0
Number of intensional constraints	12201
Distribution of constraint types	[{"type":"intension","count":12201}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4406124

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
