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-16	SAT (TO)	12	2400.63	605.695
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 (13247 MiB free)
  memory of node 1: 16384 MiB (15531 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400401-1568677261/watcher-4400401-1568677261 -o /tmp/evaluation-result-4400401-1568677261/solver-4400401-1568677261 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32545 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1989346547 HOME/instance-4400401-1568677261.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=6259, runsolver pid=6256
Current StackSize limit: 8192 KiB


[startup+0.100079 s]*
/proc/loadavg: 9.06 8.81 8.57 8/234 6275
/proc/meminfo: memFree=29452648/32770624 swapFree=66997372/67108860
[pid=6259] ppid=6256 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6259/stat : 6259 (xcsp3-exec) S 6256 6259 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443979161 115843072 362 33554432000 4194304 5098028 140725119245568 140725119243672 140166389338748 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15409152 140725119247226 140725119247469 140725119247469 140725119250378 0
/proc/6259/statm: 28282 362 304 221 0 87 0
[pid=6261] ppid=6259 vsize=15144776 memory=29384 CPUtime=0.13 cores=1,3,5,7
/proc/6261/stat : 6261 (java) S 6259 6259 32513 0 -1 1077944320 5811 0 0 0 12 1 0 0 20 0 15 0 443979161 15508250624 7346 33554432000 4194304 4196468 140728670977040 140728670959584 140697972354807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
/proc/6261/statm: 3786194 7346 3119 1 0 3748377 0
[pid=6261/tid=6262] ppid=6259 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/6261/task/6262/stat : 6262 (java) R 6259 6259 32513 0 -1 4202560 3740 0 0 0 8 1 0 0 20 0 15 0 443979162 15508250624 7412 33554432000 4194304 4196468 140728670977040 140697976584400 140697575485191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6263] ppid=6259 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6263/stat : 6263 (java) S 6259 6259 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443979162 15508250624 7412 33554432000 4194304 4196468 140728670977040 140697900395024 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6264] ppid=6259 vsize=15144776 memory=139720469591680 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6264/stat : 6264 (java) S 6259 6259 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443979162 15508250624 7412 33554432000 4194304 4196468 140728670977040 140697899342480 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6265] ppid=6259 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6265/stat : 6265 (java) S 6259 6259 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443979162 15508250624 7412 33554432000 4194304 4196468 140728670977040 140697898289424 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6266] ppid=6259 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6266/stat : 6266 (java) S 6259 6259 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443979162 15508250624 7412 33554432000 4194304 4196468 140728670977040 140697897236880 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6267] ppid=6259 vsize=15144776 memory=139720469591680 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6267/stat : 6267 (java) S 6259 6259 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443979164 15508250624 7412 33554432000 4194304 4196468 140728670977040 140697440774896 140697972365954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6268] ppid=6259 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6268/stat : 6268 (java) S 6259 6259 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443979164 15508250624 7412 33554432000 4194304 4196468 140728670977040 140697439721120 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6269] ppid=6259 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6269/stat : 6269 (java) S 6259 6259 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443979164 15508250624 7412 33554432000 4194304 4196468 140728670977040 140697438668016 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6270] ppid=6259 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6270/stat : 6270 (java) S 6259 6259 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443979167 15508250624 7412 33554432000 4194304 4196468 140728670977040 140697437616592 140697972373403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6271] ppid=6259 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6271/stat : 6271 (java) S 6259 6259 32513 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 443979167 15508250624 7412 33554432000 4194304 4196468 140728670977040 140697436563696 140697972365954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6272] ppid=6259 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6272/stat : 6272 (java) S 6259 6259 32513 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 15 0 443979167 15508250624 7412 33554432000 4194304 4196468 140728670977040 140697435511152 140697972365954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6273] ppid=6259 vsize=15144776 memory=139720469591680 CPUtime=0.02 cores=1,3,5,7
/proc/6261/task/6273/stat : 6273 (java) R 6259 6259 32513 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 15 0 443979167 15508250624 7412 33554432000 4194304 4196468 140728670977040 140697434458096 140697965071959 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6274] ppid=6259 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6274/stat : 6274 (java) S 6259 6259 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443979167 15508250624 7412 33554432000 4194304 4196468 140728670977040 140697433405792 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6275] ppid=6259 vsize=15144776 memory=139720469591680 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6275/stat : 6275 (java) S 6259 6259 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443979167 15508250624 7412 33554432000 4194304 4196468 140728670977040 140697432353840 140697972365954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30832 KiB

[startup+0.210888 s]*
/proc/loadavg: 9.06 8.81 8.57 7/234 6275
/proc/meminfo: memFree=29439904/32770624 swapFree=66997372/67108860
[pid=6259] ppid=6256 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6259/stat : 6259 (xcsp3-exec) S 6256 6259 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443979161 115843072 362 33554432000 4194304 5098028 140725119245568 140725119243672 140166389338748 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15409152 140725119247226 140725119247469 140725119247469 140725119250378 0
/proc/6259/statm: 28282 362 304 221 0 87 0
[pid=6261] ppid=6259 vsize=15144776 memory=40984 CPUtime=0.34 cores=1,3,5,7
/proc/6261/stat : 6261 (java) S 6259 6259 32513 0 -1 1077944320 9446 0 0 0 31 3 0 0 20 0 15 0 443979161 15508250624 10246 33554432000 4194304 4196468 140728670977040 140728670959584 140697972354807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
/proc/6261/statm: 3786194 10246 3317 1 0 3748377 0
[pid=6261/tid=6262] ppid=6259 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/6261/task/6262/stat : 6262 (java) R 6259 6259 32513 0 -1 4202560 6638 0 0 0 18 2 0 0 20 0 15 0 443979162 15508250624 10246 33554432000 4194304 4196468 140728670977040 140697976591504 140697972366742 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6263] ppid=6259 vsize=15144776 memory=4294976396 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6263/stat : 6263 (java) S 6259 6259 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443979162 15508250624 10246 33554432000 4194304 4196468 140728670977040 140697900395024 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6264] ppid=6259 vsize=15144776 memory=139720473062906 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6264/stat : 6264 (java) S 6259 6259 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443979162 15508250624 10246 33554432000 4194304 4196468 140728670977040 140697899342480 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6265] ppid=6259 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6265/stat : 6265 (java) S 6259 6259 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443979162 15508250624 10246 33554432000 4194304 4196468 140728670977040 140697898289424 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6266] ppid=6259 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6266/stat : 6266 (java) S 6259 6259 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443979162 15508250624 10246 33554432000 4194304 4196468 140728670977040 140697897236880 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6267] ppid=6259 vsize=15144776 memory=139720469591680 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6267/stat : 6267 (java) S 6259 6259 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 443979164 15508250624 10246 33554432000 4194304 4196468 140728670977040 140697440774896 140697972365954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6268] ppid=6259 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6268/stat : 6268 (java) S 6259 6259 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443979164 15508250624 10246 33554432000 4194304 4196468 140728670977040 140697439721120 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6269] ppid=6259 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6269/stat : 6269 (java) S 6259 6259 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443979164 15508250624 10246 33554432000 4194304 4196468 140728670977040 140697438668016 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6270] ppid=6259 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6270/stat : 6270 (java) S 6259 6259 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443979167 15508250624 10246 33554432000 4194304 4196468 140728670977040 140697437616592 140697972373403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6271] ppid=6259 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6261/task/6271/stat : 6271 (java) S 6259 6259 32513 0 -1 1077944384 535 0 0 0 2 0 0 0 20 0 15 0 443979167 15508250624 10246 33554432000 4194304 4196468 140728670977040 140697436563696 140697972365954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6272] ppid=6259 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6261/task/6272/stat : 6272 (java) S 6259 6259 32513 0 -1 1077944384 208 0 0 0 2 0 0 0 20 0 15 0 443979167 15508250624 10246 33554432000 4194304 4196468 140728670977040 140697435511152 140697972365954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6273] ppid=6259 vsize=15144776 memory=139720469591680 CPUtime=0.08 cores=1,3,5,7
/proc/6261/task/6273/stat : 6273 (java) S 6259 6259 32513 0 -1 1077944384 768 0 0 0 8 0 0 0 20 0 15 0 443979167 15508250624 10246 33554432000 4194304 4196468 140728670977040 140697434458096 140697972365954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6274] ppid=6259 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6274/stat : 6274 (java) S 6259 6259 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443979167 15508250624 10246 33554432000 4194304 4196468 140728670977040 140697433405792 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6275] ppid=6259 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6275/stat : 6275 (java) S 6259 6259 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443979167 15508250624 10246 33554432000 4194304 4196468 140728670977040 140697432353840 140697972365954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42432 KiB

[startup+0.318246 s]*
/proc/loadavg: 9.06 8.81 8.57 7/234 6275
/proc/meminfo: memFree=29433128/32770624 swapFree=66997372/67108860
[pid=6259] ppid=6256 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6259/stat : 6259 (xcsp3-exec) S 6256 6259 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443979161 115843072 362 33554432000 4194304 5098028 140725119245568 140725119243672 140166389338748 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15409152 140725119247226 140725119247469 140725119247469 140725119250378 0
/proc/6259/statm: 28282 362 304 221 0 87 0
[pid=6261] ppid=6259 vsize=15149032 memory=50188 CPUtime=0.54 cores=1,3,5,7
/proc/6261/stat : 6261 (java) S 6259 6259 32513 0 -1 1077944320 10936 0 0 0 50 4 0 0 20 0 15 0 443979161 15512608768 12547 33554432000 4194304 4196468 140728670977040 140728670959584 140697972354807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
/proc/6261/statm: 3787258 12547 3361 1 0 3748377 0
[pid=6261/tid=6262] ppid=6259 vsize=15149032 memory=32213995742560408 CPUtime=0.3 cores=1,3,5,7
/proc/6261/task/6262/stat : 6262 (java) R 6259 6259 32513 0 -1 4202560 7887 0 0 0 27 3 0 0 20 0 15 0 443979162 15512608768 12612 33554432000 4194304 4196468 140728670977040 140697976589616 140697956435324 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6263] ppid=6259 vsize=15149032 memory=288230600379474824 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6263/stat : 6263 (java) S 6259 6259 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443979162 15512608768 12612 33554432000 4194304 4196468 140728670977040 140697900395024 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6264] ppid=6259 vsize=15149032 memory=15262558021344357 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6264/stat : 6264 (java) S 6259 6259 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443979162 15512608768 12612 33554432000 4194304 4196468 140728670977040 140697899342480 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6265] ppid=6259 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6265/stat : 6265 (java) S 6259 6259 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443979162 15512608768 12612 33554432000 4194304 4196468 140728670977040 140697898289424 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6266] ppid=6259 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6266/stat : 6266 (java) S 6259 6259 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443979162 15512608768 12612 33554432000 4194304 4196468 140728670977040 140697897236880 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6267] ppid=6259 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6267/stat : 6267 (java) S 6259 6259 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 443979164 15512608768 12612 33554432000 4194304 4196468 140728670977040 140697440774896 140697972365954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6268] ppid=6259 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6268/stat : 6268 (java) S 6259 6259 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443979164 15512608768 12612 33554432000 4194304 4196468 140728670977040 140697439721120 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6269] ppid=6259 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6269/stat : 6269 (java) S 6259 6259 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443979164 15512608768 12612 33554432000 4194304 4196468 140728670977040 140697438668016 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6270] ppid=6259 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6270/stat : 6270 (java) S 6259 6259 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443979167 15512608768 12612 33554432000 4194304 4196468 140728670977040 140697437616592 140697972373403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6271] ppid=6259 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/6261/task/6271/stat : 6271 (java) S 6259 6259 32513 0 -1 1077944384 569 0 0 0 4 0 0 0 20 0 15 0 443979167 15512608768 12612 33554432000 4194304 4196468 140728670977040 140697436563696 140697972365954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6272] ppid=6259 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/6261/task/6272/stat : 6272 (java) S 6259 6259 32513 0 -1 1077944384 306 0 0 0 5 0 0 0 20 0 15 0 443979167 15512608768 12612 33554432000 4194304 4196468 140728670977040 140697435511152 140697972365954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6273] ppid=6259 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6261/task/6273/stat : 6273 (java) S 6259 6259 32513 0 -1 1077944384 881 0 0 0 12 0 0 0 20 0 15 0 443979167 15512608768 12612 33554432000 4194304 4196468 140728670977040 140697434458096 140697972365954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6274] ppid=6259 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6274/stat : 6274 (java) S 6259 6259 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443979167 15512608768 12612 33554432000 4194304 4196468 140728670977040 140697433405792 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6275] ppid=6259 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6275/stat : 6275 (java) S 6259 6259 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443979167 15512608768 12612 33554432000 4194304 4196468 140728670977040 140697432353840 140697972365954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51636 KiB

[startup+0.700766 s]
/proc/loadavg: 9.06 8.81 8.57 7/234 6275
/proc/meminfo: memFree=29412100/32770624 swapFree=66997372/67108860
[pid=6259] ppid=6256 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6259/stat : 6259 (xcsp3-exec) S 6256 6259 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443979161 115843072 362 33554432000 4194304 5098028 140725119245568 140725119243672 140166389338748 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15409152 140725119247226 140725119247469 140725119247469 140725119250378 0
/proc/6259/statm: 28282 362 304 221 0 87 0
[pid=6261] ppid=6259 vsize=15151156 memory=89496 CPUtime=1.7 cores=1,3,5,7
/proc/6261/stat : 6261 (java) S 6259 6259 32513 0 -1 1077944320 15605 0 0 0 164 6 0 0 20 0 15 0 443979161 15514783744 22374 33554432000 4194304 4196468 140728670977040 140728670959584 140697972354807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
/proc/6261/statm: 3787789 22374 3450 1 0 3748889 0
[pid=6261/tid=6262] ppid=6259 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/6261/task/6262/stat : 6262 (java) R 6259 6259 32513 0 -1 4202560 9177 0 0 0 63 4 0 0 20 0 15 0 443979162 15514783744 22374 33554432000 4194304 4196468 140728670977040 140697976587344 140697580027399 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6263] ppid=6259 vsize=15151156 memory=143 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6263/stat : 6263 (java) S 6259 6259 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443979162 15514783744 22374 33554432000 4194304 4196468 140728670977040 140697900395024 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6264] ppid=6259 vsize=15151156 memory=2 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6264/stat : 6264 (java) S 6259 6259 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443979162 15514783744 22374 33554432000 4194304 4196468 140728670977040 140697899342480 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6265] ppid=6259 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6265/stat : 6265 (java) S 6259 6259 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443979162 15514783744 22374 33554432000 4194304 4196468 140728670977040 140697898289424 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6266] ppid=6259 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6266/stat : 6266 (java) S 6259 6259 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443979162 15514783744 22374 33554432000 4194304 4196468 140728670977040 140697897236880 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6267] ppid=6259 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6267/stat : 6267 (java) S 6259 6259 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 443979164 15514783744 22374 33554432000 4194304 4196468 140728670977040 140697440774896 140697972365954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6268] ppid=6259 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6268/stat : 6268 (java) S 6259 6259 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443979164 15514783744 22374 33554432000 4194304 4196468 140728670977040 140697439721120 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6269] ppid=6259 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6269/stat : 6269 (java) S 6259 6259 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443979164 15514783744 22374 33554432000 4194304 4196468 140728670977040 140697438668016 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6270] ppid=6259 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6270/stat : 6270 (java) S 6259 6259 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443979167 15514783744 22374 33554432000 4194304 4196468 140728670977040 140697437616592 140697972373403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6271] ppid=6259 vsize=15151156 memory=1764 CPUtime=0.3 cores=1,3,5,7
/proc/6261/task/6271/stat : 6271 (java) R 6259 6259 32513 0 -1 1077944384 1671 0 0 0 30 0 0 0 20 0 15 0 443979167 15514783744 22374 33554432000 4194304 4196468 140728670977040 140697436563696 140697972365954 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6272] ppid=6259 vsize=15151156 memory=111628 CPUtime=0.3 cores=1,3,5,7
/proc/6261/task/6272/stat : 6272 (java) R 6259 6259 32513 0 -1 4202560 933 0 0 0 30 0 0 0 20 0 15 0 443979167 15514783744 22374 33554432000 4194304 4196468 140728670977040 140697435499744 140697972376154 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6273] ppid=6259 vsize=15151156 memory=796 CPUtime=0.4 cores=1,3,5,7
/proc/6261/task/6273/stat : 6273 (java) R 6259 6259 32513 0 -1 4202560 2518 0 0 0 40 0 0 0 20 0 15 0 443979167 15514783744 22374 33554432000 4194304 4196468 140728670977040 140697434458096 140697950959537 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6274] ppid=6259 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6274/stat : 6274 (java) S 6259 6259 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443979167 15514783744 22374 33554432000 4194304 4196468 140728670977040 140697433405792 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6275] ppid=6259 vsize=15151156 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6275/stat : 6275 (java) S 6259 6259 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443979167 15514783744 22374 33554432000 4194304 4196468 140728670977040 140697432353840 140697972365954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 90944 KiB

[startup+1.50077 s]
/proc/loadavg: 9.06 8.81 8.57 8/234 6275
/proc/meminfo: memFree=29339216/32770624 swapFree=66997372/67108860
[pid=6259] ppid=6256 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6259/stat : 6259 (xcsp3-exec) S 6256 6259 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443979161 115843072 362 33554432000 4194304 5098028 140725119245568 140725119243672 140166389338748 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15409152 140725119247226 140725119247469 140725119247469 140725119250378 0
/proc/6259/statm: 28282 362 304 221 0 87 0

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

/proc/6261/stat : 6261 (java) S 6259 6259 32513 0 -1 1077944320 89002 0 0 0 206924 67 0 0 20 0 19 0 443979161 15790579712 122285 33554432000 4194304 4196468 140728670977040 140728670959584 140697972354807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
/proc/6261/statm: 3855122 122285 3541 1 0 3816222 0
[pid=6261/tid=6262] ppid=6259 vsize=15420488 memory=489140 CPUtime=1.23 cores=1,3,5,7
/proc/6261/task/6262/stat : 6262 (java) S 6259 6259 32513 0 -1 1077944384 11580 0 0 0 117 6 0 0 20 0 19 0 443979162 15790579712 122285 33554432000 4194304 4196468 140728670977040 140697976595584 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6263] ppid=6259 vsize=15420488 memory=488600 CPUtime=1.98 cores=1,3,5,7
/proc/6261/task/6263/stat : 6263 (java) S 6259 6259 32513 0 -1 1077944384 2574 0 0 0 187 11 0 0 20 0 19 0 443979162 15790579712 122285 33554432000 4194304 4196468 140728670977040 140697900395024 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6264] ppid=6259 vsize=15420488 memory=488600 CPUtime=1.98 cores=1,3,5,7
/proc/6261/task/6264/stat : 6264 (java) S 6259 6259 32513 0 -1 1077944384 3258 0 0 0 188 10 0 0 20 0 19 0 443979162 15790579712 122285 33554432000 4194304 4196468 140728670977040 140697899342480 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6265] ppid=6259 vsize=15420488 memory=1448 CPUtime=1.99 cores=1,3,5,7
/proc/6261/task/6265/stat : 6265 (java) S 6259 6259 32513 0 -1 1077944384 3741 0 0 0 189 10 0 0 20 0 19 0 443979162 15790579712 122285 33554432000 4194304 4196468 140728670977040 140697898289424 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6266] ppid=6259 vsize=15420488 memory=489140 CPUtime=1.98 cores=1,3,5,7
/proc/6261/task/6266/stat : 6266 (java) S 6259 6259 32513 0 -1 1077944384 3093 0 0 0 188 10 0 0 20 0 19 0 443979162 15790579712 122285 33554432000 4194304 4196468 140728670977040 140697897236880 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6267] ppid=6259 vsize=15420488 memory=489140 CPUtime=0.96 cores=1,3,5,7
/proc/6261/task/6267/stat : 6267 (java) S 6259 6259 32513 0 -1 1077944384 9489 0 0 0 87 9 0 0 20 0 19 0 443979164 15790579712 122285 33554432000 4194304 4196468 140728670977040 140697440774896 140697972365954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6268] ppid=6259 vsize=15420488 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6268/stat : 6268 (java) S 6259 6259 32513 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 443979164 15790579712 122285 33554432000 4194304 4196468 140728670977040 140697439721184 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6269] ppid=6259 vsize=15420488 memory=488600 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6269/stat : 6269 (java) S 6259 6259 32513 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 443979164 15790579712 122285 33554432000 4194304 4196468 140728670977040 140697438668032 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6270] ppid=6259 vsize=15420488 memory=47864 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6270/stat : 6270 (java) S 6259 6259 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443979167 15790579712 122285 33554432000 4194304 4196468 140728670977040 140697437616592 140697972373403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6271] ppid=6259 vsize=15420488 memory=1448 CPUtime=2.42 cores=1,3,5,7
/proc/6261/task/6271/stat : 6271 (java) S 6259 6259 32513 0 -1 1077944384 11298 0 0 0 241 1 0 0 20 0 19 0 443979167 15790579712 122285 33554432000 4194304 4196468 140728670977040 140697436563696 140697972365954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6272] ppid=6259 vsize=15420488 memory=488600 CPUtime=2.85 cores=1,3,5,7
/proc/6261/task/6272/stat : 6272 (java) S 6259 6259 32513 0 -1 1077944384 11909 0 0 0 284 1 0 0 20 0 19 0 443979167 15790579712 122285 33554432000 4194304 4196468 140728670977040 140697435511152 140697972365954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6273] ppid=6259 vsize=15420488 memory=488600 CPUtime=0.92 cores=1,3,5,7
/proc/6261/task/6273/stat : 6273 (java) S 6259 6259 32513 0 -1 1077944384 13761 0 0 0 91 1 0 0 20 0 19 0 443979167 15790579712 122285 33554432000 4194304 4196468 140728670977040 140697434458096 140697972365954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6274] ppid=6259 vsize=15420488 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6274/stat : 6274 (java) S 6259 6259 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443979167 15790579712 122285 33554432000 4194304 4196468 140728670977040 140697433405792 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6275] ppid=6259 vsize=15420488 memory=1448 CPUtime=0.15 cores=1,3,5,7
/proc/6261/task/6275/stat : 6275 (java) R 6259 6259 32513 0 -1 1077944384 471 0 0 0 15 0 0 0 20 0 19 0 443979167 15790579712 122285 33554432000 4194304 4196468 140728670977040 140697432353840 140697972365954 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6288] ppid=6259 vsize=15420488 memory=1448 CPUtime=512.91 cores=1,3,5,7
/proc/6261/task/6288/stat : 6288 (java) R 6259 6259 32513 0 -1 4202560 1876 0 0 0 51290 1 0 0 20 0 19 0 443979335 15790579712 122285 33554432000 4194304 4196468 140728670977040 140696961928776 140697582744068 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6289] ppid=6259 vsize=15420488 memory=1388 CPUtime=513.11 cores=1,3,5,7
/proc/6261/task/6289/stat : 6289 (java) R 6259 6259 32513 0 -1 4202560 4130 0 0 0 51308 3 0 0 20 0 19 0 443979335 15790579712 122285 33554432000 4194304 4196468 140728670977040 140697425469104 140697584162825 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6290] ppid=6259 vsize=15420488 memory=776 CPUtime=513.13 cores=1,3,5,7
/proc/6261/task/6290/stat : 6290 (java) R 6259 6259 32513 0 -1 4202560 6313 0 0 0 51311 2 0 0 20 0 19 0 443979335 15790579712 122285 33554432000 4194304 4196468 140728670977040 140696956674488 140697584030898 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6291] ppid=6259 vsize=15420488 memory=1448 CPUtime=513.3 cores=1,3,5,7
/proc/6261/task/6291/stat : 6291 (java) R 6259 6259 32513 0 -1 4202560 3656 0 0 0 51327 3 0 0 20 0 19 0 443979336 15790579712 122285 33554432000 4194304 4196468 140728670977040 140696960879840 140697582394947 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
Current children cumulated CPU time: 2069.91 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 490588 KiB

[startup+582.308 s]
/proc/loadavg: 8.12 8.39 8.48 10/237 6429
/proc/meminfo: memFree=27598104/32770624 swapFree=66997372/67108860
[pid=6259] ppid=6256 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6259/stat : 6259 (xcsp3-exec) S 6256 6259 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443979161 115843072 362 33554432000 4194304 5098028 140725119245568 140725119243672 140166389338748 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15409152 140725119247226 140725119247469 140725119247469 140725119250378 0
/proc/6259/statm: 28282 362 304 221 0 87 0
[pid=6261] ppid=6259 vsize=15420488 memory=677576 CPUtime=2307.81 cores=1,3,5,7
/proc/6261/stat : 6261 (java) S 6259 6259 32513 0 -1 1077944320 100713 0 0 0 230707 74 0 0 20 0 19 0 443979161 15790579712 169394 33554432000 4194304 4196468 140728670977040 140728670959584 140697972354807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
/proc/6261/statm: 3855122 169394 3541 1 0 3816222 0
[pid=6261/tid=6262] ppid=6259 vsize=15420488 memory=1448 CPUtime=1.23 cores=1,3,5,7
/proc/6261/task/6262/stat : 6262 (java) S 6259 6259 32513 0 -1 1077944384 11580 0 0 0 117 6 0 0 20 0 19 0 443979162 15790579712 169394 33554432000 4194304 4196468 140728670977040 140697976595584 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6263] ppid=6259 vsize=15420488 memory=677576 CPUtime=2.25 cores=1,3,5,7
/proc/6261/task/6263/stat : 6263 (java) S 6259 6259 32513 0 -1 1077944384 2706 0 0 0 214 11 0 0 20 0 19 0 443979162 15790579712 169394 33554432000 4194304 4196468 140728670977040 140697900395024 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6264] ppid=6259 vsize=15420488 memory=682476 CPUtime=2.26 cores=1,3,5,7
/proc/6261/task/6264/stat : 6264 (java) S 6259 6259 32513 0 -1 1077944384 3470 0 0 0 215 11 0 0 20 0 19 0 443979162 15790579712 169394 33554432000 4194304 4196468 140728670977040 140697899342480 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6265] ppid=6259 vsize=15420488 memory=684280 CPUtime=2.27 cores=1,3,5,7
/proc/6261/task/6265/stat : 6265 (java) S 6259 6259 32513 0 -1 1077944384 4440 0 0 0 217 10 0 0 20 0 19 0 443979162 15790579712 169394 33554432000 4194304 4196468 140728670977040 140697898289424 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6266] ppid=6259 vsize=15420488 memory=678600 CPUtime=2.27 cores=1,3,5,7
/proc/6261/task/6266/stat : 6266 (java) S 6259 6259 32513 0 -1 1077944384 3260 0 0 0 216 11 0 0 20 0 19 0 443979162 15790579712 169394 33554432000 4194304 4196468 140728670977040 140697897236880 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6267] ppid=6259 vsize=15420488 memory=279440640623104 CPUtime=1.07 cores=1,3,5,7
/proc/6261/task/6267/stat : 6267 (java) S 6259 6259 32513 0 -1 1077944384 12079 0 0 0 97 10 0 0 20 0 19 0 443979164 15790579712 169394 33554432000 4194304 4196468 140728670977040 140697440774896 140697972365954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6268] ppid=6259 vsize=15420488 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6268/stat : 6268 (java) S 6259 6259 32513 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 443979164 15790579712 169394 33554432000 4194304 4196468 140728670977040 140697439721184 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6269] ppid=6259 vsize=15420488 memory=47864 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6269/stat : 6269 (java) S 6259 6259 32513 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 443979164 15790579712 169394 33554432000 4194304 4196468 140728670977040 140697438668032 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6270] ppid=6259 vsize=15420488 memory=489204 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6270/stat : 6270 (java) S 6259 6259 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443979167 15790579712 169394 33554432000 4194304 4196468 140728670977040 140697437616592 140697972373403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6271] ppid=6259 vsize=15420488 memory=1448 CPUtime=2.42 cores=1,3,5,7
/proc/6261/task/6271/stat : 6271 (java) S 6259 6259 32513 0 -1 1077944384 11301 0 0 0 241 1 0 0 20 0 19 0 443979167 15790579712 169394 33554432000 4194304 4196468 140728670977040 140697436563696 140697972365954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6272] ppid=6259 vsize=15420488 memory=1448 CPUtime=2.85 cores=1,3,5,7
/proc/6261/task/6272/stat : 6272 (java) S 6259 6259 32513 0 -1 1077944384 11912 0 0 0 284 1 0 0 20 0 19 0 443979167 15790579712 169394 33554432000 4194304 4196468 140728670977040 140697435511152 140697972365954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6273] ppid=6259 vsize=15420488 memory=680128 CPUtime=0.92 cores=1,3,5,7
/proc/6261/task/6273/stat : 6273 (java) S 6259 6259 32513 0 -1 1077944384 14349 0 0 0 91 1 0 0 20 0 19 0 443979167 15790579712 169394 33554432000 4194304 4196468 140728670977040 140697434458096 140697972365954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6274] ppid=6259 vsize=15420488 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6274/stat : 6274 (java) S 6259 6259 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443979167 15790579712 169394 33554432000 4194304 4196468 140728670977040 140697433405792 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6275] ppid=6259 vsize=15420488 memory=1448 CPUtime=0.17 cores=1,3,5,7
/proc/6261/task/6275/stat : 6275 (java) S 6259 6259 32513 0 -1 1077944384 475 0 0 0 17 0 0 0 20 0 19 0 443979167 15790579712 169394 33554432000 4194304 4196468 140728670977040 140697432353840 140697972365954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6288] ppid=6259 vsize=15420488 memory=47864 CPUtime=572.17 cores=1,3,5,7
/proc/6261/task/6288/stat : 6288 (java) R 6259 6259 32513 0 -1 4202560 2045 0 0 0 57215 2 0 0 20 0 19 0 443979335 15790579712 169394 33554432000 4194304 4196468 140728670977040 140696961927984 140728671598806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6289] ppid=6259 vsize=15420488 memory=3028 CPUtime=572.15 cores=1,3,5,7
/proc/6261/task/6289/stat : 6289 (java) R 6259 6259 32513 0 -1 4202560 6552 0 0 0 57211 4 0 0 20 0 19 0 443979335 15790579712 169394 33554432000 4194304 4196468 140728670977040 140697425469104 140697583113653 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6290] ppid=6259 vsize=15420488 memory=2012 CPUtime=572.31 cores=1,3,5,7
/proc/6261/task/6290/stat : 6290 (java) R 6259 6259 32513 0 -1 4202560 7089 0 0 0 57228 3 0 0 20 0 19 0 443979335 15790579712 169394 33554432000 4194304 4196468 140728670977040 140696956672768 140697584153452 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6291] ppid=6259 vsize=15420488 memory=677576 CPUtime=572.49 cores=1,3,5,7
/proc/6261/task/6291/stat : 6291 (java) R 6259 6259 32513 0 -1 4202560 7602 0 0 0 57244 5 0 0 20 0 19 0 443979336 15790579712 169394 33554432000 4194304 4196468 140728670977040 140696960879840 140697583698645 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
Current children cumulated CPU time: 2307.81 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 679024 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+605.601 s]
/proc/loadavg: 8.09 8.36 8.47 9/237 6439
/proc/meminfo: memFree=27638260/32770624 swapFree=66997372/67108860
[pid=6259] ppid=6256 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6259/stat : 6259 (xcsp3-exec) S 6256 6259 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443979161 115843072 362 33554432000 4194304 5098028 140725119245568 140725119243672 140166389338748 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15409152 140725119247226 140725119247469 140725119247469 140725119250378 0
/proc/6259/statm: 28282 362 304 221 0 87 0
[pid=6261] ppid=6259 vsize=15420488 memory=671788 CPUtime=2400.26 cores=1,3,5,7
/proc/6261/stat : 6261 (java) S 6259 6259 32513 0 -1 1077944320 101853 0 0 0 239951 75 0 0 20 0 19 0 443979161 15790579712 167947 33554432000 4194304 4196468 140728670977040 140728670959584 140697972354807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
/proc/6261/statm: 3855122 167947 3542 1 0 3816222 0
[pid=6261/tid=6262] ppid=6259 vsize=15420488 memory=8112282956445269571 CPUtime=1.23 cores=1,3,5,7
/proc/6261/task/6262/stat : 6262 (java) S 6259 6259 32513 0 -1 1077944384 11580 0 0 0 117 6 0 0 20 0 19 0 443979162 15790579712 167947 33554432000 4194304 4196468 140728670977040 140697976595584 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6263] ppid=6259 vsize=15420488 memory=3028 CPUtime=2.33 cores=1,3,5,7
/proc/6261/task/6263/stat : 6263 (java) S 6259 6259 32513 0 -1 1077944384 2707 0 0 0 222 11 0 0 20 0 19 0 443979162 15790579712 167947 33554432000 4194304 4196468 140728670977040 140697900395024 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6264] ppid=6259 vsize=15420488 memory=2012 CPUtime=2.34 cores=1,3,5,7
/proc/6261/task/6264/stat : 6264 (java) S 6259 6259 32513 0 -1 1077944384 3472 0 0 0 223 11 0 0 20 0 19 0 443979162 15790579712 167947 33554432000 4194304 4196468 140728670977040 140697899342480 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6265] ppid=6259 vsize=15420488 memory=1388 CPUtime=2.34 cores=1,3,5,7
/proc/6261/task/6265/stat : 6265 (java) S 6259 6259 32513 0 -1 1077944384 4440 0 0 0 224 10 0 0 20 0 19 0 443979162 15790579712 167947 33554432000 4194304 4196468 140728670977040 140697898289424 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6266] ppid=6259 vsize=15420488 memory=776 CPUtime=2.34 cores=1,3,5,7
/proc/6261/task/6266/stat : 6266 (java) S 6259 6259 32513 0 -1 1077944384 3264 0 0 0 223 11 0 0 20 0 19 0 443979162 15790579712 167947 33554432000 4194304 4196468 140728670977040 140697897236880 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6267] ppid=6259 vsize=15420488 memory=3992 CPUtime=1.11 cores=1,3,5,7
/proc/6261/task/6267/stat : 6267 (java) S 6259 6259 32513 0 -1 1077944384 12108 0 0 0 100 11 0 0 20 0 19 0 443979164 15790579712 167947 33554432000 4194304 4196468 140728670977040 140697440774896 140697972365954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6268] ppid=6259 vsize=15420488 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6268/stat : 6268 (java) S 6259 6259 32513 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 443979164 15790579712 167947 33554432000 4194304 4196468 140728670977040 140697439721184 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6269] ppid=6259 vsize=15420488 memory=676 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6269/stat : 6269 (java) S 6259 6259 32513 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 443979164 15790579712 167947 33554432000 4194304 4196468 140728670977040 140697438668032 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6270] ppid=6259 vsize=15420488 memory=671788 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6270/stat : 6270 (java) S 6259 6259 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443979167 15790579712 167947 33554432000 4194304 4196468 140728670977040 140697437616592 140697972373403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6271] ppid=6259 vsize=15420488 memory=920 CPUtime=2.42 cores=1,3,5,7
/proc/6261/task/6271/stat : 6271 (java) S 6259 6259 32513 0 -1 1077944384 11301 0 0 0 241 1 0 0 20 0 19 0 443979167 15790579712 167947 33554432000 4194304 4196468 140728670977040 140697436563696 140697972365954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6272] ppid=6259 vsize=15420488 memory=3848 CPUtime=2.85 cores=1,3,5,7
/proc/6261/task/6272/stat : 6272 (java) S 6259 6259 32513 0 -1 1077944384 11912 0 0 0 284 1 0 0 20 0 19 0 443979167 15790579712 167947 33554432000 4194304 4196468 140728670977040 140697435511152 140697972365954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6273] ppid=6259 vsize=15420488 memory=2612 CPUtime=0.92 cores=1,3,5,7
/proc/6261/task/6273/stat : 6273 (java) S 6259 6259 32513 0 -1 1077944384 14349 0 0 0 91 1 0 0 20 0 19 0 443979167 15790579712 167947 33554432000 4194304 4196468 140728670977040 140697434458096 140697972365954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6274] ppid=6259 vsize=15420488 memory=2712 CPUtime=0 cores=1,3,5,7
/proc/6261/task/6274/stat : 6274 (java) S 6259 6259 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443979167 15790579712 167947 33554432000 4194304 4196468 140728670977040 140697433405792 140697972365013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6275] ppid=6259 vsize=15420488 memory=6935054825532540783 CPUtime=0.18 cores=1,3,5,7
/proc/6261/task/6275/stat : 6275 (java) S 6259 6259 32513 0 -1 1077944384 475 0 0 0 18 0 0 0 20 0 19 0 443979167 15790579712 167947 33554432000 4194304 4196468 140728670977040 140697432353840 140697972365954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6288] ppid=6259 vsize=15420488 memory=1756 CPUtime=595.26 cores=1,3,5,7
/proc/6261/task/6288/stat : 6288 (java) R 6259 6259 32513 0 -1 4202560 2128 0 0 0 59524 2 0 0 20 0 19 0 443979335 15790579712 167947 33554432000 4194304 4196468 140728670977040 140696961928120 140697582743947 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6289] ppid=6259 vsize=15420488 memory=1808 CPUtime=595.13 cores=1,3,5,7
/proc/6261/task/6289/stat : 6289 (java) R 6259 6259 32513 0 -1 4202560 7100 0 0 0 59509 4 0 0 20 0 19 0 443979335 15790579712 167947 33554432000 4194304 4196468 140728670977040 140697425471920 140697583113653 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6290] ppid=6259 vsize=15420488 memory=920 CPUtime=595.35 cores=1,3,5,7
/proc/6261/task/6290/stat : 6290 (java) R 6259 6259 32513 0 -1 4202560 7541 0 0 0 59532 3 0 0 20 0 19 0 443979335 15790579712 167947 33554432000 4194304 4196468 140728670977040 140696956673040 140697583616931 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
[pid=6261/tid=6291] ppid=6259 vsize=15420488 memory=12024 CPUtime=595.48 cores=1,3,5,7
/proc/6261/task/6291/stat : 6291 (java) R 6259 6259 32513 0 -1 4202560 7623 0 0 0 59543 5 0 0 20 0 19 0 443979336 15790579712 167947 33554432000 4194304 4196468 140728670977040 140696960876496 140697582744262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36302848 140728670979055 140728670979226 140728670979226 140728670982095 0
Current children cumulated CPU time: 2400.26 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 673236 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+605.63 s]
# the end of solver process 6259 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002327 s, system=0 s

[startup+605.695 s]
# the end of solver process 6261 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.86 s, system=0.764603 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 605.695
CPU time (s): 2400.63
CPU user time (s): 2399.86
CPU system time (s): 0.764603
CPU usage (%): 396.343
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 686244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.86
system time used= 0.764603
maximum resident set size= 684796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102536
page faults= 0
swaps= 0
block input operations= 0
block output operations= 832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56188
involuntary context switches= 50124


# summary of solver processes directly reported to runsolver:
#   pid: 6259,6261
#   total CPU time (s): 2400.63
#   total CPU user time (s): 2399.86
#   total CPU system time (s): 0.764603

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.90449 second user time and 7.05787 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-homer.xml
MD5SUM	4034cc1c4ef788f4220b0fc076e8c883
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	12
Best CPU time to get the best result obtained on this benchmark	26.8114
Satisfiable
(Un)Satisfiability was proved
Number of variables	561
Number of constraints	1628
Number of domains	1
Minimum domain size	561
Maximum domain size	561
Distribution of domain sizes	[{"size":561,"count":561}]
Minimum variable degree	1
Maximum variable degree	100
Distribution of variable degrees	[{"degree":1,"count":5},{"degree":2,"count":208},{"degree":3,"count":104},{"degree":4,"count":48},{"degree":5,"count":28},{"degree":6,"count":18},{"degree":7,"count":15},{"degree":8,"count":19},{"degree":9,"count":15},{"degree":10,"count":12},{"degree":11,"count":8},{"degree":12,"count":5},{"degree":13,"count":11},{"degree":14,"count":7},{"degree":15,"count":11},{"degree":16,"count":3},{"degree":17,"count":3},{"degree":18,"count":4},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":3},{"degree":22,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":36,"count":1},{"degree":37,"count":1},{"degree":38,"count":1},{"degree":39,"count":1},{"degree":40,"count":2},{"degree":41,"count":1},{"degree":43,"count":2},{"degree":46,"count":1},{"degree":51,"count":1},{"degree":53,"count":1},{"degree":55,"count":1},{"degree":56,"count":1},{"degree":57,"count":1},{"degree":62,"count":1},{"degree":66,"count":1},{"degree":78,"count":1},{"degree":100,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":1628}]
Number of extensional constraints	0
Number of intensional constraints	1628
Distribution of constraint types	[{"type":"intension","count":1628}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4400401

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
