2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24	OPT	6	482.417	476.596
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 (13629 MiB free)
  memory of node 1: 16384 MiB (11259 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406424-1569396685/watcher-4406424-1569396685 -o /tmp/evaluation-result-4406424-1569396685/solver-4406424-1569396685 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1569396629-4099 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 2000911244 HOME/instance-4406424-1569396685.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=4377, runsolver pid=4374
Current StackSize limit: 8192 KiB


[startup+0.10192 s]*
/proc/loadavg: 0.77 0.19 0.10 3/230 4393
/proc/meminfo: memFree=25467668/32770624 swapFree=66959728/67108860
[pid=4377] ppid=4374 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (xcsp3-exec) S 4374 4377 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515937277 115843072 362 33554432000 4194304 5098028 140735833915136 140735833913240 140116609077884 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17526784 140735833916282 140735833916525 140735833916525 140735833919434 0
/proc/4377/statm: 28282 362 304 221 0 87 0
[pid=4379] ppid=4377 vsize=15144776 memory=29228 CPUtime=0.13 cores=1,3,5,7
/proc/4379/stat : 4379 (java) S 4377 4377 4066 0 -1 1077944320 5759 0 0 0 12 1 0 0 20 0 15 0 515937278 15508250624 7307 33554432000 4194304 4196468 140734493385200 140734493367744 140089191857911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
/proc/4379/statm: 3786194 7307 3161 1 0 3748377 0
[pid=4379/tid=4380] ppid=4377 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/4379/task/4380/stat : 4380 (java) R 4377 4377 4066 0 -1 4202560 3633 0 0 0 9 0 0 0 20 0 15 0 515937278 15508250624 7307 33554432000 4194304 4196468 140734493385200 140089196089824 140089191869846 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4381] ppid=4377 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4381/stat : 4381 (java) S 4377 4377 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515937279 15508250624 7307 33554432000 4194304 4196468 140734493385200 140088783743760 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4382] ppid=4377 vsize=15144776 memory=288370248836359808 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4382/stat : 4382 (java) S 4377 4377 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515937279 15508250624 7307 33554432000 4194304 4196468 140734493385200 140088782691216 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4383] ppid=4377 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4383/stat : 4383 (java) S 4377 4377 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515937279 15508250624 7307 33554432000 4194304 4196468 140734493385200 140088781638672 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4384] ppid=4377 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4384/stat : 4384 (java) S 4377 4377 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515937279 15508250624 7307 33554432000 4194304 4196468 140734493385200 140088780586128 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4385] ppid=4377 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4385/stat : 4385 (java) S 4377 4377 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515937280 15508250624 7307 33554432000 4194304 4196468 140734493385200 140088065345520 140089191869058 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4386] ppid=4377 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4386/stat : 4386 (java) S 4377 4377 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515937280 15508250624 7307 33554432000 4194304 4196468 140734493385200 140088064291744 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4387] ppid=4377 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4387/stat : 4387 (java) S 4377 4377 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515937281 15508250624 7307 33554432000 4194304 4196468 140734493385200 140088063239152 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4388] ppid=4377 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4388/stat : 4388 (java) S 4377 4377 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515937283 15508250624 7307 33554432000 4194304 4196468 140734493385200 140088062187728 140089191876507 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4389] ppid=4377 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4389/stat : 4389 (java) R 4377 4377 4066 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 515937283 15508250624 7307 33554432000 4194304 4196468 140734493385200 140088061135344 140089191869058 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4390] ppid=4377 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/4379/task/4390/stat : 4390 (java) R 4377 4377 4066 0 -1 4202560 422 0 0 0 1 0 0 0 20 0 15 0 515937283 15508250624 7307 33554432000 4194304 4196468 140734493385200 140088060074304 140089184963608 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4391] ppid=4377 vsize=15144776 memory=139872684648064 CPUtime=0.02 cores=1,3,5,7
/proc/4379/task/4391/stat : 4391 (java) R 4377 4377 4066 0 -1 4202560 376 0 0 0 2 0 0 0 20 0 15 0 515937283 15508250624 7307 33554432000 4194304 4196468 140734493385200 140088059030256 140089191869846 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4392] ppid=4377 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4392/stat : 4392 (java) S 4377 4377 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515937283 15508250624 7307 33554432000 4194304 4196468 140734493385200 140088057977952 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4393] ppid=4377 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4393/stat : 4393 (java) R 4377 4377 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515937284 15508250624 7307 33554432000 4194304 4196468 140734493385200 140088056924464 140089191869058 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30676 KiB

[startup+0.211444 s]*
/proc/loadavg: 0.77 0.19 0.10 4/230 4393
/proc/meminfo: memFree=25452888/32770624 swapFree=66959728/67108860
[pid=4377] ppid=4374 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (xcsp3-exec) S 4374 4377 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515937277 115843072 362 33554432000 4194304 5098028 140735833915136 140735833913240 140116609077884 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17526784 140735833916282 140735833916525 140735833916525 140735833919434 0
/proc/4377/statm: 28282 362 304 221 0 87 0
[pid=4379] ppid=4377 vsize=15144776 memory=40984 CPUtime=0.35 cores=1,3,5,7
/proc/4379/stat : 4379 (java) S 4377 4377 4066 0 -1 1077944320 9476 0 0 0 32 3 0 0 20 0 15 0 515937278 15508250624 10246 33554432000 4194304 4196468 140734493385200 140734493367744 140089191857911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
/proc/4379/statm: 3786194 10246 3289 1 0 3748377 0
[pid=4379/tid=4380] ppid=4377 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/4379/task/4380/stat : 4380 (java) R 4377 4377 4066 0 -1 4202560 6643 0 0 0 18 2 0 0 20 0 15 0 515937278 15508250624 10246 33554432000 4194304 4196468 140734493385200 140089196092896 140089175938398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4381] ppid=4377 vsize=15144776 memory=1946936 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4381/stat : 4381 (java) S 4377 4377 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515937279 15508250624 10246 33554432000 4194304 4196468 140734493385200 140088783743760 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4382] ppid=4377 vsize=15144776 memory=139872684661226 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4382/stat : 4382 (java) S 4377 4377 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515937279 15508250624 10246 33554432000 4194304 4196468 140734493385200 140088782691216 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4383] ppid=4377 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4383/stat : 4383 (java) S 4377 4377 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515937279 15508250624 10246 33554432000 4194304 4196468 140734493385200 140088781638672 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4384] ppid=4377 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4384/stat : 4384 (java) S 4377 4377 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515937279 15508250624 10246 33554432000 4194304 4196468 140734493385200 140088780586128 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4385] ppid=4377 vsize=15144776 memory=139872684648064 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4385/stat : 4385 (java) S 4377 4377 4066 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 515937280 15508250624 10246 33554432000 4194304 4196468 140734493385200 140088065345520 140089191869058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4386] ppid=4377 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4386/stat : 4386 (java) S 4377 4377 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515937280 15508250624 10246 33554432000 4194304 4196468 140734493385200 140088064291744 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4387] ppid=4377 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4387/stat : 4387 (java) S 4377 4377 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515937281 15508250624 10246 33554432000 4194304 4196468 140734493385200 140088063239152 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4388] ppid=4377 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4388/stat : 4388 (java) S 4377 4377 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515937283 15508250624 10246 33554432000 4194304 4196468 140734493385200 140088062187728 140089191876507 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4389] ppid=4377 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4379/task/4389/stat : 4389 (java) S 4377 4377 4066 0 -1 1077944384 303 0 0 0 2 0 0 0 20 0 15 0 515937283 15508250624 10246 33554432000 4194304 4196468 140734493385200 140088061135344 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4390] ppid=4377 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4379/task/4390/stat : 4390 (java) S 4377 4377 4066 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 15 0 515937283 15508250624 10246 33554432000 4194304 4196468 140734493385200 140088060082800 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4391] ppid=4377 vsize=15144776 memory=139872684648064 CPUtime=0.08 cores=1,3,5,7
/proc/4379/task/4391/stat : 4391 (java) S 4377 4377 4066 0 -1 1077944384 774 0 0 0 8 0 0 0 20 0 15 0 515937283 15508250624 10246 33554432000 4194304 4196468 140734493385200 140088059030256 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4392] ppid=4377 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4392/stat : 4392 (java) S 4377 4377 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515937283 15508250624 10246 33554432000 4194304 4196468 140734493385200 140088057977952 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4393] ppid=4377 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4393/stat : 4393 (java) S 4377 4377 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515937284 15508250624 10246 33554432000 4194304 4196468 140734493385200 140088056924464 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42432 KiB

[startup+0.314829 s]*
/proc/loadavg: 0.77 0.19 0.10 4/230 4393
/proc/meminfo: memFree=25445592/32770624 swapFree=66959728/67108860
[pid=4377] ppid=4374 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (xcsp3-exec) S 4374 4377 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515937277 115843072 362 33554432000 4194304 5098028 140735833915136 140735833913240 140116609077884 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17526784 140735833916282 140735833916525 140735833916525 140735833919434 0
/proc/4377/statm: 28282 362 304 221 0 87 0
[pid=4379] ppid=4377 vsize=15149032 memory=50472 CPUtime=0.54 cores=1,3,5,7
/proc/4379/stat : 4379 (java) S 4377 4377 4066 0 -1 1077944320 10962 0 0 0 50 4 0 0 20 0 15 0 515937278 15512608768 12618 33554432000 4194304 4196468 140734493385200 140734493367744 140089191857911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
/proc/4379/statm: 3787258 12618 3334 1 0 3748377 0
[pid=4379/tid=4380] ppid=4377 vsize=15149032 memory=1398722017469774279 CPUtime=0.31 cores=1,3,5,7
/proc/4379/task/4380/stat : 4380 (java) R 4377 4377 4066 0 -1 4202560 7876 0 0 0 28 3 0 0 20 0 15 0 515937278 15512608768 12618 33554432000 4194304 4196468 140734493385200 140089196094736 140089175938398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4381] ppid=4377 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4381/stat : 4381 (java) S 4377 4377 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515937279 15512608768 12618 33554432000 4194304 4196468 140734493385200 140088783743760 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4382] ppid=4377 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4382/stat : 4382 (java) S 4377 4377 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515937279 15512608768 12683 33554432000 4194304 4196468 140734493385200 140088782691216 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4383] ppid=4377 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4383/stat : 4383 (java) S 4377 4377 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515937279 15512608768 12683 33554432000 4194304 4196468 140734493385200 140088781638672 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4384] ppid=4377 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4384/stat : 4384 (java) S 4377 4377 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515937279 15512608768 12683 33554432000 4194304 4196468 140734493385200 140088780586128 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4385] ppid=4377 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4385/stat : 4385 (java) S 4377 4377 4066 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 515937280 15512608768 12683 33554432000 4194304 4196468 140734493385200 140088065345520 140089191869058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4386] ppid=4377 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4386/stat : 4386 (java) S 4377 4377 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515937280 15512608768 12683 33554432000 4194304 4196468 140734493385200 140088064291744 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4387] ppid=4377 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4387/stat : 4387 (java) S 4377 4377 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515937281 15512608768 12683 33554432000 4194304 4196468 140734493385200 140088063239152 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4388] ppid=4377 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4388/stat : 4388 (java) S 4377 4377 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515937283 15512608768 12683 33554432000 4194304 4196468 140734493385200 140088062187728 140089191876507 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4389] ppid=4377 vsize=15149032 memory=-8412660965215072671 CPUtime=0.04 cores=1,3,5,7
/proc/4379/task/4389/stat : 4389 (java) S 4377 4377 4066 0 -1 1077944384 314 0 0 0 4 0 0 0 20 0 15 0 515937283 15512608768 12683 33554432000 4194304 4196468 140734493385200 140088061135344 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4390] ppid=4377 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4379/task/4390/stat : 4390 (java) S 4377 4377 4066 0 -1 1077944384 604 0 0 0 5 0 0 0 20 0 15 0 515937283 15512608768 12683 33554432000 4194304 4196468 140734493385200 140088060082800 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4391] ppid=4377 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/4379/task/4391/stat : 4391 (java) S 4377 4377 4066 0 -1 1077944384 870 0 0 0 12 0 0 0 20 0 15 0 515937283 15512608768 12683 33554432000 4194304 4196468 140734493385200 140088059030256 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4392] ppid=4377 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4392/stat : 4392 (java) S 4377 4377 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515937283 15512608768 12683 33554432000 4194304 4196468 140734493385200 140088057977952 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4393] ppid=4377 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4393/stat : 4393 (java) S 4377 4377 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515937284 15512608768 12683 33554432000 4194304 4196468 140734493385200 140088056924464 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51920 KiB

[startup+0.70177 s]
/proc/loadavg: 0.77 0.19 0.10 5/230 4393
/proc/meminfo: memFree=25414036/32770624 swapFree=66959728/67108860
[pid=4377] ppid=4374 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (xcsp3-exec) S 4374 4377 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515937277 115843072 362 33554432000 4194304 5098028 140735833915136 140735833913240 140116609077884 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17526784 140735833916282 140735833916525 140735833916525 140735833919434 0
/proc/4377/statm: 28282 362 304 221 0 87 0
[pid=4379] ppid=4377 vsize=15151156 memory=118036 CPUtime=1.72 cores=1,3,5,7
/proc/4379/stat : 4379 (java) S 4377 4377 4066 0 -1 1077944320 14528 0 0 0 166 6 0 0 20 0 15 0 515937278 15514783744 29509 33554432000 4194304 4196468 140734493385200 140734493367744 140089191857911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
/proc/4379/statm: 3787789 29509 3443 1 0 3748889 0
[pid=4379/tid=4380] ppid=4377 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=1,3,5,7
/proc/4379/task/4380/stat : 4380 (java) R 4377 4377 4066 0 -1 4202560 8332 0 0 0 64 3 0 0 20 0 15 0 515937278 15514783744 29509 33554432000 4194304 4196468 140734493385200 140089196092624 140088831892553 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4381] ppid=4377 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4381/stat : 4381 (java) S 4377 4377 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515937279 15514783744 29509 33554432000 4194304 4196468 140734493385200 140088783743760 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4382] ppid=4377 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4382/stat : 4382 (java) S 4377 4377 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515937279 15514783744 29509 33554432000 4194304 4196468 140734493385200 140088782691216 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4383] ppid=4377 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4383/stat : 4383 (java) S 4377 4377 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515937279 15514783744 29509 33554432000 4194304 4196468 140734493385200 140088781638672 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4384] ppid=4377 vsize=15151156 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4384/stat : 4384 (java) S 4377 4377 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515937279 15514783744 29509 33554432000 4194304 4196468 140734493385200 140088780586128 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4385] ppid=4377 vsize=15151156 memory=1536 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4385/stat : 4385 (java) S 4377 4377 4066 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 515937280 15514783744 29509 33554432000 4194304 4196468 140734493385200 140088065345520 140089191869058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4386] ppid=4377 vsize=15151156 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4386/stat : 4386 (java) S 4377 4377 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515937280 15514783744 29509 33554432000 4194304 4196468 140734493385200 140088064291744 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4387] ppid=4377 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4387/stat : 4387 (java) S 4377 4377 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515937281 15514783744 29509 33554432000 4194304 4196468 140734493385200 140088063239152 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4388] ppid=4377 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4388/stat : 4388 (java) S 4377 4377 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515937283 15514783744 29509 33554432000 4194304 4196468 140734493385200 140088062187728 140089191876507 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4389] ppid=4377 vsize=15151156 memory=620 CPUtime=0.34 cores=1,3,5,7
/proc/4379/task/4389/stat : 4389 (java) R 4377 4377 4066 0 -1 4202560 1607 0 0 0 34 0 0 0 20 0 15 0 515937283 15514783744 29509 33554432000 4194304 4196468 140734493385200 140088061121368 140089173402492 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4390] ppid=4377 vsize=15151156 memory=1496 CPUtime=0.37 cores=1,3,5,7
/proc/4379/task/4390/stat : 4390 (java) R 4377 4377 4066 0 -1 4202560 1770 0 0 0 37 0 0 0 20 0 15 0 515937283 15514783744 29509 33554432000 4194304 4196468 140734493385200 140088060069952 140089173402469 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4391] ppid=4377 vsize=15151156 memory=1016 CPUtime=0.28 cores=1,3,5,7
/proc/4379/task/4391/stat : 4391 (java) S 4377 4377 4066 0 -1 1077944384 1510 0 0 0 28 0 0 0 20 0 15 0 515937283 15514783744 29509 33554432000 4194304 4196468 140734493385200 140088059030256 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4392] ppid=4377 vsize=15151156 memory=6072 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4392/stat : 4392 (java) S 4377 4377 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515937283 15514783744 29509 33554432000 4194304 4196468 140734493385200 140088057977952 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4393] ppid=4377 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4393/stat : 4393 (java) S 4377 4377 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515937284 15514783744 29509 33554432000 4194304 4196468 140734493385200 140088056924464 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 119484 KiB

[startup+1.50177 s]
/proc/loadavg: 0.77 0.19 0.10 6/230 4393
/proc/meminfo: memFree=25326900/32770624 swapFree=66959728/67108860
[pid=4377] ppid=4374 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (xcsp3-exec) S 4374 4377 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515937277 115843072 362 33554432000 4194304 5098028 140735833915136 140735833913240 140116609077884 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17526784 140735833916282 140735833916525 140735833916525 140735833919434 0
/proc/4377/statm: 28282 362 304 221 0 87 0

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

/proc/4377/stat : 4377 (xcsp3-exec) S 4374 4377 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515937277 115843072 362 33554432000 4194304 5098028 140735833915136 140735833913240 140116609077884 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17526784 140735833916282 140735833916525 140735833916525 140735833919434 0
/proc/4377/statm: 28282 362 304 221 0 87 0
[pid=4379] ppid=4377 vsize=15151156 memory=622400 CPUtime=481.01 cores=1,3,5,7
/proc/4379/stat : 4379 (java) S 4377 4377 4066 0 -1 1077944320 54051 0 0 0 48074 27 0 0 20 0 15 0 515937278 15514783744 155600 33554432000 4194304 4196468 140734493385200 140734493367744 140089191857911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
/proc/4379/statm: 3787789 155600 3528 1 0 3748889 0
[pid=4379/tid=4380] ppid=4377 vsize=15151156 memory=2828 CPUtime=474.99 cores=1,3,5,7
/proc/4379/task/4380/stat : 4380 (java) R 4377 4377 4066 0 -1 4202560 15086 0 0 0 47489 10 0 0 20 0 15 0 515937278 15514783744 155600 33554432000 4194304 4196468 140734493385200 140089196094624 140088836106866 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4381] ppid=4377 vsize=15151156 memory=780 CPUtime=0.06 cores=1,3,5,7
/proc/4379/task/4381/stat : 4381 (java) S 4377 4377 4066 0 -1 1077944384 2479 0 0 0 5 1 0 0 20 0 15 0 515937279 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088783743760 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4382] ppid=4377 vsize=15151156 memory=620 CPUtime=0.07 cores=1,3,5,7
/proc/4379/task/4382/stat : 4382 (java) S 4377 4377 4066 0 -1 1077944384 1736 0 0 0 5 2 0 0 20 0 15 0 515937279 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088782691216 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4383] ppid=4377 vsize=15151156 memory=1496 CPUtime=0.04 cores=1,3,5,7
/proc/4379/task/4383/stat : 4383 (java) S 4377 4377 4066 0 -1 1077944384 1589 0 0 0 3 1 0 0 20 0 15 0 515937279 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088781638672 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4384] ppid=4377 vsize=15151156 memory=1016 CPUtime=0.06 cores=1,3,5,7
/proc/4379/task/4384/stat : 4384 (java) S 4377 4377 4066 0 -1 1077944384 923 0 0 0 5 1 0 0 20 0 15 0 515937279 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088780586128 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4385] ppid=4377 vsize=15151156 memory=6072 CPUtime=0.02 cores=1,3,5,7
/proc/4379/task/4385/stat : 4385 (java) S 4377 4377 4066 0 -1 1077944384 1584 0 0 0 2 0 0 0 20 0 15 0 515937280 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088065345520 140089191869058 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4386] ppid=4377 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4386/stat : 4386 (java) S 4377 4377 4066 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 515937280 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088064291808 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4387] ppid=4377 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4387/stat : 4387 (java) S 4377 4377 4066 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 515937281 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088063239168 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4388] ppid=4377 vsize=15151156 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4388/stat : 4388 (java) S 4377 4377 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515937283 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088062187728 140089191876507 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4389] ppid=4377 vsize=15151156 memory=111632 CPUtime=2.45 cores=1,3,5,7
/proc/4379/task/4389/stat : 4389 (java) S 4377 4377 4066 0 -1 1077944384 11119 0 0 0 244 1 0 0 20 0 15 0 515937283 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088061135344 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4390] ppid=4377 vsize=15151156 memory=800 CPUtime=2.39 cores=1,3,5,7
/proc/4379/task/4390/stat : 4390 (java) S 4377 4377 4066 0 -1 1077944384 9347 0 0 0 238 1 0 0 20 0 15 0 515937283 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088060082800 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4391] ppid=4377 vsize=15151156 memory=4104 CPUtime=0.73 cores=1,3,5,7
/proc/4379/task/4391/stat : 4391 (java) S 4377 4377 4066 0 -1 1077944384 8370 0 0 0 71 2 0 0 20 0 15 0 515937283 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088059030256 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4392] ppid=4377 vsize=15151156 memory=928 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4392/stat : 4392 (java) S 4377 4377 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515937283 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088057977952 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4393] ppid=4377 vsize=15151156 memory=3656 CPUtime=0.09 cores=1,3,5,7
/proc/4379/task/4393/stat : 4393 (java) S 4377 4377 4066 0 -1 1077944384 418 0 0 0 4 5 0 0 20 0 15 0 515937284 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088056924464 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
Current children cumulated CPU time: 481.01 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 623848 KiB

[startup+476.001 s]*
/proc/loadavg: 1.77 1.47 0.79 3/229 4430
/proc/meminfo: memFree=24838824/32770624 swapFree=66959728/67108860
[pid=4377] ppid=4374 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (xcsp3-exec) S 4374 4377 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515937277 115843072 362 33554432000 4194304 5098028 140735833915136 140735833913240 140116609077884 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17526784 140735833916282 140735833916525 140735833916525 140735833919434 0
/proc/4377/statm: 28282 362 304 221 0 87 0
[pid=4379] ppid=4377 vsize=15151156 memory=622400 CPUtime=481.81 cores=1,3,5,7
/proc/4379/stat : 4379 (java) S 4377 4377 4066 0 -1 1077944320 54053 0 0 0 48154 27 0 0 20 0 15 0 515937278 15514783744 155600 33554432000 4194304 4196468 140734493385200 140734493367744 140089191857911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
/proc/4379/statm: 3787789 155600 3528 1 0 3748889 0
[pid=4379/tid=4380] ppid=4377 vsize=15151156 memory=1398722017469774279 CPUtime=475.8 cores=1,3,5,7
/proc/4379/task/4380/stat : 4380 (java) R 4377 4377 4066 0 -1 4202560 15088 0 0 0 47570 10 0 0 20 0 15 0 515937278 15514783744 155600 33554432000 4194304 4196468 140734493385200 140089196094624 140088836107053 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4381] ppid=4377 vsize=15151156 memory=1568 CPUtime=0.06 cores=1,3,5,7
/proc/4379/task/4381/stat : 4381 (java) S 4377 4377 4066 0 -1 1077944384 2479 0 0 0 5 1 0 0 20 0 15 0 515937279 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088783743760 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4382] ppid=4377 vsize=15151156 memory=1448 CPUtime=0.07 cores=1,3,5,7
/proc/4379/task/4382/stat : 4382 (java) S 4377 4377 4066 0 -1 1077944384 1736 0 0 0 5 2 0 0 20 0 15 0 515937279 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088782691216 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4383] ppid=4377 vsize=15151156 memory=622400 CPUtime=0.04 cores=1,3,5,7
/proc/4379/task/4383/stat : 4383 (java) S 4377 4377 4066 0 -1 1077944384 1589 0 0 0 3 1 0 0 20 0 15 0 515937279 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088781638672 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4384] ppid=4377 vsize=15151156 memory=8112282956445269571 CPUtime=0.06 cores=1,3,5,7
/proc/4379/task/4384/stat : 4384 (java) S 4377 4377 4066 0 -1 1077944384 923 0 0 0 5 1 0 0 20 0 15 0 515937279 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088780586128 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4385] ppid=4377 vsize=15151156 memory=66460 CPUtime=0.02 cores=1,3,5,7
/proc/4379/task/4385/stat : 4385 (java) S 4377 4377 4066 0 -1 1077944384 1584 0 0 0 2 0 0 0 20 0 15 0 515937280 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088065345520 140089191869058 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4386] ppid=4377 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4386/stat : 4386 (java) S 4377 4377 4066 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 515937280 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088064291808 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4387] ppid=4377 vsize=15151156 memory=2024 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4387/stat : 4387 (java) S 4377 4377 4066 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 515937281 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088063239168 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4388] ppid=4377 vsize=15151156 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4388/stat : 4388 (java) S 4377 4377 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515937283 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088062187728 140089191876507 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4389] ppid=4377 vsize=15151156 memory=1568 CPUtime=2.45 cores=1,3,5,7
/proc/4379/task/4389/stat : 4389 (java) S 4377 4377 4066 0 -1 1077944384 11119 0 0 0 244 1 0 0 20 0 15 0 515937283 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088061135344 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4390] ppid=4377 vsize=15151156 memory=928 CPUtime=2.39 cores=1,3,5,7
/proc/4379/task/4390/stat : 4390 (java) S 4377 4377 4066 0 -1 1077944384 9347 0 0 0 238 1 0 0 20 0 15 0 515937283 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088060082800 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4391] ppid=4377 vsize=15151156 memory=3656 CPUtime=0.73 cores=1,3,5,7
/proc/4379/task/4391/stat : 4391 (java) S 4377 4377 4066 0 -1 1077944384 8370 0 0 0 71 2 0 0 20 0 15 0 515937283 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088059030256 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4392] ppid=4377 vsize=15151156 memory=1976 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4392/stat : 4392 (java) S 4377 4377 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515937283 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088057977952 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4393] ppid=4377 vsize=15151156 memory=2512 CPUtime=0.09 cores=1,3,5,7
/proc/4379/task/4393/stat : 4393 (java) S 4377 4377 4066 0 -1 1077944384 418 0 0 0 4 5 0 0 20 0 15 0 515937284 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088056924464 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
Current children cumulated CPU time: 481.81 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 623848 KiB

[startup+476.401 s]
/proc/loadavg: 1.77 1.47 0.79 3/229 4430
/proc/meminfo: memFree=24838824/32770624 swapFree=66959728/67108860
[pid=4377] ppid=4374 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (xcsp3-exec) S 4374 4377 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515937277 115843072 362 33554432000 4194304 5098028 140735833915136 140735833913240 140116609077884 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17526784 140735833916282 140735833916525 140735833916525 140735833919434 0
/proc/4377/statm: 28282 362 304 221 0 87 0
[pid=4379] ppid=4377 vsize=15151156 memory=622400 CPUtime=482.21 cores=1,3,5,7
/proc/4379/stat : 4379 (java) S 4377 4377 4066 0 -1 1077944320 54053 0 0 0 48194 27 0 0 20 0 15 0 515937278 15514783744 155600 33554432000 4194304 4196468 140734493385200 140734493367744 140089191857911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
/proc/4379/statm: 3787789 155600 3528 1 0 3748889 0
[pid=4379/tid=4380] ppid=4377 vsize=15151156 memory=928 CPUtime=476.19 cores=1,3,5,7
/proc/4379/task/4380/stat : 4380 (java) R 4377 4377 4066 0 -1 4202560 15088 0 0 0 47609 10 0 0 20 0 15 0 515937278 15514783744 155600 33554432000 4194304 4196468 140734493385200 140089196094624 140088835508842 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4381] ppid=4377 vsize=15151156 memory=3656 CPUtime=0.06 cores=1,3,5,7
/proc/4379/task/4381/stat : 4381 (java) S 4377 4377 4066 0 -1 1077944384 2479 0 0 0 5 1 0 0 20 0 15 0 515937279 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088783743760 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4382] ppid=4377 vsize=15151156 memory=1976 CPUtime=0.07 cores=1,3,5,7
/proc/4379/task/4382/stat : 4382 (java) S 4377 4377 4066 0 -1 1077944384 1736 0 0 0 5 2 0 0 20 0 15 0 515937279 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088782691216 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4383] ppid=4377 vsize=15151156 memory=8112282956445269571 CPUtime=0.04 cores=1,3,5,7
/proc/4379/task/4383/stat : 4383 (java) S 4377 4377 4066 0 -1 1077944384 1589 0 0 0 3 1 0 0 20 0 15 0 515937279 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088781638672 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4384] ppid=4377 vsize=15151156 memory=780 CPUtime=0.06 cores=1,3,5,7
/proc/4379/task/4384/stat : 4384 (java) S 4377 4377 4066 0 -1 1077944384 923 0 0 0 5 1 0 0 20 0 15 0 515937279 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088780586128 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4385] ppid=4377 vsize=15151156 memory=620 CPUtime=0.02 cores=1,3,5,7
/proc/4379/task/4385/stat : 4385 (java) S 4377 4377 4066 0 -1 1077944384 1584 0 0 0 2 0 0 0 20 0 15 0 515937280 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088065345520 140089191869058 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4386] ppid=4377 vsize=15151156 memory=1496 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4386/stat : 4386 (java) S 4377 4377 4066 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 515937280 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088064291808 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4387] ppid=4377 vsize=15151156 memory=1016 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4387/stat : 4387 (java) S 4377 4377 4066 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 515937281 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088063239168 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4388] ppid=4377 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4388/stat : 4388 (java) S 4377 4377 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515937283 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088062187728 140089191876507 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4389] ppid=4377 vsize=15151156 memory=1448 CPUtime=2.45 cores=1,3,5,7
/proc/4379/task/4389/stat : 4389 (java) S 4377 4377 4066 0 -1 1077944384 11119 0 0 0 244 1 0 0 20 0 15 0 515937283 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088061135344 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4390] ppid=4377 vsize=15151156 memory=8112282956445269571 CPUtime=2.39 cores=1,3,5,7
/proc/4379/task/4390/stat : 4390 (java) S 4377 4377 4066 0 -1 1077944384 9347 0 0 0 238 1 0 0 20 0 15 0 515937283 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088060082800 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4391] ppid=4377 vsize=15151156 memory=9592 CPUtime=0.73 cores=1,3,5,7
/proc/4379/task/4391/stat : 4391 (java) S 4377 4377 4066 0 -1 1077944384 8370 0 0 0 71 2 0 0 20 0 15 0 515937283 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088059030256 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4392] ppid=4377 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4392/stat : 4392 (java) S 4377 4377 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515937283 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088057977952 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4393] ppid=4377 vsize=15151156 memory=780 CPUtime=0.09 cores=1,3,5,7
/proc/4379/task/4393/stat : 4393 (java) S 4377 4377 4066 0 -1 1077944384 418 0 0 0 4 5 0 0 20 0 15 0 515937284 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088056924464 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
Current children cumulated CPU time: 482.21 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 623848 KiB

[startup+476.501 s]
/proc/loadavg: 1.77 1.47 0.79 3/229 4430
/proc/meminfo: memFree=24838824/32770624 swapFree=66959728/67108860
[pid=4377] ppid=4374 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4377/stat : 4377 (xcsp3-exec) S 4374 4377 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515937277 115843072 362 33554432000 4194304 5098028 140735833915136 140735833913240 140116609077884 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17526784 140735833916282 140735833916525 140735833916525 140735833919434 0
/proc/4377/statm: 28282 362 304 221 0 87 0
[pid=4379] ppid=4377 vsize=15151156 memory=622400 CPUtime=482.31 cores=1,3,5,7
/proc/4379/stat : 4379 (java) S 4377 4377 4066 0 -1 1077944320 54053 0 0 0 48204 27 0 0 20 0 15 0 515937278 15514783744 155600 33554432000 4194304 4196468 140734493385200 140734493367744 140089191857911 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
/proc/4379/statm: 3787789 155600 3528 1 0 3748889 0
[pid=4379/tid=4380] ppid=4377 vsize=15151156 memory=622400 CPUtime=476.29 cores=1,3,5,7
/proc/4379/task/4380/stat : 4380 (java) R 4377 4377 4066 0 -1 4202560 15088 0 0 0 47619 10 0 0 20 0 15 0 515937278 15514783744 155600 33554432000 4194304 4196468 140734493385200 140089196094624 140088835508812 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4381] ppid=4377 vsize=15151156 memory=622400 CPUtime=0.06 cores=1,3,5,7
/proc/4379/task/4381/stat : 4381 (java) S 4377 4377 4066 0 -1 1077944384 2479 0 0 0 5 1 0 0 20 0 15 0 515937279 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088783743760 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4382] ppid=4377 vsize=15151156 memory=1448 CPUtime=0.07 cores=1,3,5,7
/proc/4379/task/4382/stat : 4382 (java) S 4377 4377 4066 0 -1 1077944384 1736 0 0 0 5 2 0 0 20 0 15 0 515937279 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088782691216 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4383] ppid=4377 vsize=15151156 memory=622400 CPUtime=0.04 cores=1,3,5,7
/proc/4379/task/4383/stat : 4383 (java) S 4377 4377 4066 0 -1 1077944384 1589 0 0 0 3 1 0 0 20 0 15 0 515937279 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088781638672 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4384] ppid=4377 vsize=15151156 memory=622400 CPUtime=0.06 cores=1,3,5,7
/proc/4379/task/4384/stat : 4384 (java) S 4377 4377 4066 0 -1 1077944384 923 0 0 0 5 1 0 0 20 0 15 0 515937279 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088780586128 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4385] ppid=4377 vsize=15151156 memory=1448 CPUtime=0.02 cores=1,3,5,7
/proc/4379/task/4385/stat : 4385 (java) S 4377 4377 4066 0 -1 1077944384 1584 0 0 0 2 0 0 0 20 0 15 0 515937280 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088065345520 140089191869058 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4386] ppid=4377 vsize=15151156 memory=622400 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4386/stat : 4386 (java) S 4377 4377 4066 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 515937280 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088064291808 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4387] ppid=4377 vsize=15151156 memory=622400 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4387/stat : 4387 (java) S 4377 4377 4066 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 515937281 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088063239168 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4388] ppid=4377 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4388/stat : 4388 (java) S 4377 4377 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515937283 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088062187728 140089191876507 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4389] ppid=4377 vsize=15151156 memory=3624 CPUtime=2.45 cores=1,3,5,7
/proc/4379/task/4389/stat : 4389 (java) S 4377 4377 4066 0 -1 1077944384 11119 0 0 0 244 1 0 0 20 0 15 0 515937283 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088061135344 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4390] ppid=4377 vsize=15151156 memory=622400 CPUtime=2.39 cores=1,3,5,7
/proc/4379/task/4390/stat : 4390 (java) S 4377 4377 4066 0 -1 1077944384 9347 0 0 0 238 1 0 0 20 0 15 0 515937283 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088060082800 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4391] ppid=4377 vsize=15151156 memory=780 CPUtime=0.73 cores=1,3,5,7
/proc/4379/task/4391/stat : 4391 (java) S 4377 4377 4066 0 -1 1077944384 8370 0 0 0 71 2 0 0 20 0 15 0 515937283 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088059030256 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4392] ppid=4377 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4379/task/4392/stat : 4392 (java) S 4377 4377 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515937283 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088057977952 140089191868117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
[pid=4379/tid=4393] ppid=4377 vsize=15151156 memory=3624 CPUtime=0.09 cores=1,3,5,7
/proc/4379/task/4393/stat : 4393 (java) S 4377 4377 4066 0 -1 1077944384 418 0 0 0 4 5 0 0 20 0 15 0 515937284 15514783744 155600 33554432000 4194304 4196468 140734493385200 140088056924464 140089191869058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19496960 140734493393903 140734493394074 140734493394074 140734493396943 0
Current children cumulated CPU time: 482.31 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 623848 KiB

Child status: 0
Real time (s): 476.596
CPU time (s): 482.417
CPU user time (s): 482.132
CPU system time (s): 0.285197
CPU usage (%): 101.221
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 623848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 482.131
system time used= 0.285197
maximum resident set size= 632144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55191
page faults= 0
swaps= 0
block input operations= 0
block output operations= 568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13119
involuntary context switches= 445


# summary of solver processes directly reported to runsolver:
#   pid: 4377
#   total CPU time (s): 482.417
#   total CPU user time (s): 482.132
#   total CPU system time (s): 0.285197

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.71461 second user time and 4.3483 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.1955
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 4406424

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
