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	SAT (TO)	13	2400.02	2392.61
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 (13662 MiB free)
  memory of node 1: 16384 MiB (13999 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406566-1569396681/watcher-4406566-1569396681 -o /tmp/evaluation-result-4406566-1569396681/solver-4406566-1569396681 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1569396611-14059 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1433906680 HOME/instance-4406566-1569396681.xml 

running on 4 cores: 0,2,4,6

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=14258, runsolver pid=14255
Current StackSize limit: 8192 KiB


[startup+0.100124 s]*
/proc/loadavg: 1.02 0.24 0.12 4/231 14274
/proc/meminfo: memFree=28309188/32770624 swapFree=66999256/67108860
[pid=14258] ppid=14255 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14258/stat : 14258 (xcsp3-exec) S 14255 14258 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515921181 115843072 363 33554432000 4194304 5098028 140723297462064 140723297460168 140444805800572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12730368 140723297469306 140723297469549 140723297469549 140723297472458 0
/proc/14258/statm: 28282 363 304 221 0 87 0
[pid=14260] ppid=14258 vsize=15144776 memory=29020 CPUtime=0.13 cores=0,2,4,6
/proc/14260/stat : 14260 (java) S 14258 14258 14027 0 -1 1077944320 5653 0 0 0 12 1 0 0 20 0 15 0 515921182 15508250624 7255 33554432000 4194304 4196468 140724765605616 140724765588160 139868741746423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
/proc/14260/statm: 3786194 7255 3158 1 0 3748377 0
[pid=14260/tid=14261] ppid=14258 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/14260/task/14261/stat : 14261 (java) R 14258 14258 14027 0 -1 4202560 3569 0 0 0 8 1 0 0 20 0 15 0 515921182 15508250624 7255 33554432000 4194304 4196468 140724765605616 139868745976608 139868741758358 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14262] ppid=14258 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14262/stat : 14262 (java) S 14258 14258 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515921183 15508250624 7255 33554432000 4194304 4196468 140724765605616 139868698299024 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14263] ppid=14258 vsize=15144776 memory=3617990907673200288 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14263/stat : 14263 (java) S 14258 14258 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515921183 15508250624 7255 33554432000 4194304 4196468 140724765605616 139868333333008 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14264] ppid=14258 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14264/stat : 14264 (java) S 14258 14258 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515921183 15508250624 7255 33554432000 4194304 4196468 140724765605616 139868332280208 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14265] ppid=14258 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14265/stat : 14265 (java) S 14258 14258 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515921183 15508250624 7255 33554432000 4194304 4196468 140724765605616 139868331227408 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14266] ppid=14258 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14266/stat : 14266 (java) S 14258 14258 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515921184 15508250624 7255 33554432000 4194304 4196468 140724765605616 139868210289520 139868741757570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14267] ppid=14258 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14267/stat : 14267 (java) S 14258 14258 14027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515921184 15508250624 7255 33554432000 4194304 4196468 140724765605616 139868209235488 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14268] ppid=14258 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14268/stat : 14268 (java) S 14258 14258 14027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515921185 15508250624 7255 33554432000 4194304 4196468 140724765605616 139868208182640 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14269] ppid=14258 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14269/stat : 14269 (java) S 14258 14258 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515921187 15508250624 7255 33554432000 4194304 4196468 140724765605616 139868207130960 139868741765019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14270] ppid=14258 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14270/stat : 14270 (java) R 14258 14258 14027 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 15 0 515921187 15508250624 7255 33554432000 4194304 4196468 140724765605616 139868206078320 139868741757570 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14271] ppid=14258 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14271/stat : 14271 (java) R 14258 14258 14027 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 15 0 515921187 15508250624 7255 33554432000 4194304 4196468 140724765605616 139868205025520 139868725170253 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14272] ppid=14258 vsize=15144776 memory=140031292360320 CPUtime=0.02 cores=0,2,4,6
/proc/14260/task/14272/stat : 14272 (java) R 14258 14258 14027 0 -1 4202560 367 0 0 0 2 0 0 0 20 0 15 0 515921187 15508250624 7255 33554432000 4194304 4196468 140724765605616 139868203972848 139868725826910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14273] ppid=14258 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14273/stat : 14273 (java) S 14258 14258 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515921187 15508250624 7255 33554432000 4194304 4196468 140724765605616 139868202920160 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14274] ppid=14258 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14274/stat : 14274 (java) S 14258 14258 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515921188 15508250624 7255 33554432000 4194304 4196468 140724765605616 139868201868464 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30472 KiB

[startup+0.210691 s]*
/proc/loadavg: 1.02 0.24 0.12 5/231 14274
/proc/meminfo: memFree=28296220/32770624 swapFree=66999256/67108860
[pid=14258] ppid=14255 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14258/stat : 14258 (xcsp3-exec) S 14255 14258 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515921181 115843072 363 33554432000 4194304 5098028 140723297462064 140723297460168 140444805800572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12730368 140723297469306 140723297469549 140723297469549 140723297472458 0
/proc/14258/statm: 28282 363 304 221 0 87 0
[pid=14260] ppid=14258 vsize=15144776 memory=40608 CPUtime=0.35 cores=0,2,4,6
/proc/14260/stat : 14260 (java) S 14258 14258 14027 0 -1 1077944320 9449 0 0 0 32 3 0 0 20 0 15 0 515921182 15508250624 10152 33554432000 4194304 4196468 140724765605616 140724765588160 139868741746423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
/proc/14260/statm: 3786194 10152 3249 1 0 3748377 0
[pid=14260/tid=14261] ppid=14258 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/14260/task/14261/stat : 14261 (java) R 14258 14258 14027 0 -1 4202560 6596 0 0 0 18 2 0 0 20 0 15 0 515921182 15508250624 10152 33554432000 4194304 4196468 140724765605616 139868745985424 139868741758358 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14262] ppid=14258 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14262/stat : 14262 (java) S 14258 14258 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515921183 15508250624 10152 33554432000 4194304 4196468 140724765605616 139868698299024 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14263] ppid=14258 vsize=15144776 memory=140031296460899 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14263/stat : 14263 (java) S 14258 14258 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515921183 15508250624 10152 33554432000 4194304 4196468 140724765605616 139868333333008 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14264] ppid=14258 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14264/stat : 14264 (java) S 14258 14258 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515921183 15508250624 10152 33554432000 4194304 4196468 140724765605616 139868332280208 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14265] ppid=14258 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14265/stat : 14265 (java) S 14258 14258 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515921183 15508250624 10152 33554432000 4194304 4196468 140724765605616 139868331227408 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14266] ppid=14258 vsize=15144776 memory=140031292360320 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14266/stat : 14266 (java) S 14258 14258 14027 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515921184 15508250624 10152 33554432000 4194304 4196468 140724765605616 139868210289520 139868741757570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14267] ppid=14258 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14267/stat : 14267 (java) S 14258 14258 14027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515921184 15508250624 10152 33554432000 4194304 4196468 140724765605616 139868209235488 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14268] ppid=14258 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14268/stat : 14268 (java) S 14258 14258 14027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515921185 15508250624 10152 33554432000 4194304 4196468 140724765605616 139868208182640 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14269] ppid=14258 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14269/stat : 14269 (java) S 14258 14258 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515921187 15508250624 10152 33554432000 4194304 4196468 140724765605616 139868207130960 139868741765019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14270] ppid=14258 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14260/task/14270/stat : 14270 (java) S 14258 14258 14027 0 -1 1077944384 451 0 0 0 2 0 0 0 20 0 15 0 515921187 15508250624 10152 33554432000 4194304 4196468 140724765605616 139868206078320 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14271] ppid=14258 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/14260/task/14271/stat : 14271 (java) S 14258 14258 14027 0 -1 1077944384 324 0 0 0 3 0 0 0 20 0 15 0 515921187 15508250624 10152 33554432000 4194304 4196468 140724765605616 139868205025520 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14272] ppid=14258 vsize=15144776 memory=140031292360320 CPUtime=0.08 cores=0,2,4,6
/proc/14260/task/14272/stat : 14272 (java) R 14258 14258 14027 0 -1 4202560 771 0 0 0 8 0 0 0 20 0 15 0 515921187 15508250624 10152 33554432000 4194304 4196468 140724765605616 139868203972720 139868741758358 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14273] ppid=14258 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14273/stat : 14273 (java) S 14258 14258 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515921187 15508250624 10152 33554432000 4194304 4196468 140724765605616 139868202920160 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14274] ppid=14258 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14274/stat : 14274 (java) S 14258 14258 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515921188 15508250624 10152 33554432000 4194304 4196468 140724765605616 139868201868464 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42060 KiB

[startup+0.312266 s]*
/proc/loadavg: 1.02 0.24 0.12 5/231 14274
/proc/meminfo: memFree=28288804/32770624 swapFree=66999256/67108860
[pid=14258] ppid=14255 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14258/stat : 14258 (xcsp3-exec) S 14255 14258 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515921181 115843072 363 33554432000 4194304 5098028 140723297462064 140723297460168 140444805800572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12730368 140723297469306 140723297469549 140723297469549 140723297472458 0
/proc/14258/statm: 28282 363 304 221 0 87 0
[pid=14260] ppid=14258 vsize=15149032 memory=50052 CPUtime=0.54 cores=0,2,4,6
/proc/14260/stat : 14260 (java) S 14258 14258 14027 0 -1 1077944320 10884 0 0 0 50 4 0 0 20 0 15 0 515921182 15512608768 12513 33554432000 4194304 4196468 140724765605616 140724765588160 139868741746423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
/proc/14260/statm: 3787258 12513 3364 1 0 3748377 0
[pid=14260/tid=14261] ppid=14258 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/14260/task/14261/stat : 14261 (java) R 14258 14258 14027 0 -1 4202560 7785 0 0 0 27 3 0 0 20 0 15 0 515921182 15512608768 12582 33554432000 4194304 4196468 140724765605616 139868745977536 139868734463386 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14262] ppid=14258 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14262/stat : 14262 (java) S 14258 14258 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515921183 15512608768 12582 33554432000 4194304 4196468 140724765605616 139868698299024 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14263] ppid=14258 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14263/stat : 14263 (java) S 14258 14258 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515921183 15512608768 12582 33554432000 4194304 4196468 140724765605616 139868333333008 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14264] ppid=14258 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14264/stat : 14264 (java) S 14258 14258 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515921183 15512608768 12582 33554432000 4194304 4196468 140724765605616 139868332280208 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14265] ppid=14258 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14265/stat : 14265 (java) S 14258 14258 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515921183 15512608768 12582 33554432000 4194304 4196468 140724765605616 139868331227408 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14266] ppid=14258 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14266/stat : 14266 (java) S 14258 14258 14027 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515921184 15512608768 12582 33554432000 4194304 4196468 140724765605616 139868210289520 139868741757570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14267] ppid=14258 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14267/stat : 14267 (java) S 14258 14258 14027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515921184 15512608768 12582 33554432000 4194304 4196468 140724765605616 139868209235488 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14268] ppid=14258 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14268/stat : 14268 (java) S 14258 14258 14027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515921185 15512608768 12582 33554432000 4194304 4196468 140724765605616 139868208182640 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14269] ppid=14258 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14269/stat : 14269 (java) S 14258 14258 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515921187 15512608768 12582 33554432000 4194304 4196468 140724765605616 139868207130960 139868741765019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14270] ppid=14258 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/14260/task/14270/stat : 14270 (java) R 14258 14258 14027 0 -1 4202560 558 0 0 0 4 0 0 0 20 0 15 0 515921187 15512608768 12582 33554432000 4194304 4196468 140724765605616 139868206078320 139868720990440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14271] ppid=14258 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/14260/task/14271/stat : 14271 (java) S 14258 14258 14027 0 -1 1077944384 368 0 0 0 5 0 0 0 20 0 15 0 515921187 15512608768 12582 33554432000 4194304 4196468 140724765605616 139868205025520 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14272] ppid=14258 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/14260/task/14272/stat : 14272 (java) S 14258 14258 14027 0 -1 1077944384 877 0 0 0 12 0 0 0 20 0 15 0 515921187 15512608768 12582 33554432000 4194304 4196468 140724765605616 139868203972720 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14273] ppid=14258 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14273/stat : 14273 (java) S 14258 14258 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515921187 15512608768 12582 33554432000 4194304 4196468 140724765605616 139868202920160 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14274] ppid=14258 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14274/stat : 14274 (java) S 14258 14258 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515921188 15512608768 12582 33554432000 4194304 4196468 140724765605616 139868201868464 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51504 KiB

[startup+0.701213 s]
/proc/loadavg: 1.02 0.24 0.12 5/231 14274
/proc/meminfo: memFree=28268184/32770624 swapFree=66999256/67108860
[pid=14258] ppid=14255 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14258/stat : 14258 (xcsp3-exec) S 14255 14258 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515921181 115843072 363 33554432000 4194304 5098028 140723297462064 140723297460168 140444805800572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12730368 140723297469306 140723297469549 140723297469549 140723297472458 0
/proc/14258/statm: 28282 363 304 221 0 87 0
[pid=14260] ppid=14258 vsize=15151156 memory=111880 CPUtime=1.68 cores=0,2,4,6
/proc/14260/stat : 14260 (java) S 14258 14258 14027 0 -1 1077944320 14012 0 0 0 162 6 0 0 20 0 15 0 515921182 15514783744 27970 33554432000 4194304 4196468 140724765605616 140724765588160 139868741746423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
/proc/14260/statm: 3787789 27970 3438 1 0 3748889 0
[pid=14260/tid=14261] ppid=14258 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/14260/task/14261/stat : 14261 (java) R 14258 14258 14027 0 -1 4202560 8278 0 0 0 63 4 0 0 20 0 15 0 515921182 15514783744 27970 33554432000 4194304 4196468 140724765605616 139868745983536 139868381958412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14262] ppid=14258 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14262/stat : 14262 (java) S 14258 14258 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515921183 15514783744 27970 33554432000 4194304 4196468 140724765605616 139868698299024 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14263] ppid=14258 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14263/stat : 14263 (java) S 14258 14258 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515921183 15514783744 27970 33554432000 4194304 4196468 140724765605616 139868333333008 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14264] ppid=14258 vsize=15151156 memory=3604 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14264/stat : 14264 (java) S 14258 14258 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515921183 15514783744 27970 33554432000 4194304 4196468 140724765605616 139868332280208 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14265] ppid=14258 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14265/stat : 14265 (java) S 14258 14258 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515921183 15514783744 27970 33554432000 4194304 4196468 140724765605616 139868331227408 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14266] ppid=14258 vsize=15151156 memory=676 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14266/stat : 14266 (java) S 14258 14258 14027 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515921184 15514783744 27970 33554432000 4194304 4196468 140724765605616 139868210289520 139868741757570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14267] ppid=14258 vsize=15151156 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14267/stat : 14267 (java) S 14258 14258 14027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515921184 15514783744 27970 33554432000 4194304 4196468 140724765605616 139868209235488 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14268] ppid=14258 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14268/stat : 14268 (java) S 14258 14258 14027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515921185 15514783744 27970 33554432000 4194304 4196468 140724765605616 139868208182640 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14269] ppid=14258 vsize=15151156 memory=8560 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14269/stat : 14269 (java) S 14258 14258 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515921187 15514783744 27970 33554432000 4194304 4196468 140724765605616 139868207130960 139868741765019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14270] ppid=14258 vsize=15151156 memory=1712 CPUtime=0.35 cores=0,2,4,6
/proc/14260/task/14270/stat : 14270 (java) R 14258 14258 14027 0 -1 4202560 1428 0 0 0 35 0 0 0 20 0 15 0 515921187 15514783744 27970 33554432000 4194304 4196468 140724765605616 139868206068112 139868723291100 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14271] ppid=14258 vsize=15151156 memory=1112 CPUtime=0.35 cores=0,2,4,6
/proc/14260/task/14271/stat : 14271 (java) R 14258 14258 14027 0 -1 4202560 1467 0 0 0 35 0 0 0 20 0 15 0 515921187 15514783744 27970 33554432000 4194304 4196468 140724765605616 139868205011400 139868723290650 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14272] ppid=14258 vsize=15151156 memory=1004 CPUtime=0.28 cores=0,2,4,6
/proc/14260/task/14272/stat : 14272 (java) S 14258 14258 14027 0 -1 1077944384 1531 0 0 0 28 0 0 0 20 0 15 0 515921187 15514783744 27970 33554432000 4194304 4196468 140724765605616 139868203972720 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14273] ppid=14258 vsize=15151156 memory=6088 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14273/stat : 14273 (java) S 14258 14258 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515921187 15514783744 27970 33554432000 4194304 4196468 140724765605616 139868202920160 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14274] ppid=14258 vsize=15151156 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14274/stat : 14274 (java) S 14258 14258 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515921188 15514783744 27970 33554432000 4194304 4196468 140724765605616 139868201868464 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 113332 KiB

[startup+1.50121 s]
/proc/loadavg: 1.02 0.24 0.12 6/231 14274
/proc/meminfo: memFree=28159752/32770624 swapFree=66999256/67108860
[pid=14258] ppid=14255 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14258/stat : 14258 (xcsp3-exec) S 14255 14258 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515921181 115843072 363 33554432000 4194304 5098028 140723297462064 140723297460168 140444805800572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12730368 140723297469306 140723297469549 140723297469549 140723297472458 0
/proc/14258/statm: 28282 363 304 221 0 87 0

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

/proc/14260/task/14268/stat : 14268 (java) S 14258 14258 14027 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 515921185 15514783744 107836 33554432000 4194304 4196468 140724765605616 139868208182656 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14269] ppid=14258 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14269/stat : 14269 (java) S 14258 14258 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515921187 15514783744 107836 33554432000 4194304 4196468 140724765605616 139868207130960 139868741765019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14270] ppid=14258 vsize=15151156 memory=1452 CPUtime=2.9 cores=0,2,4,6
/proc/14260/task/14270/stat : 14270 (java) S 14258 14258 14027 0 -1 1077944384 16065 0 0 0 289 1 0 0 20 0 15 0 515921187 15514783744 107836 33554432000 4194304 4196468 140724765605616 139868206078320 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14271] ppid=14258 vsize=15151156 memory=431344 CPUtime=2.83 cores=0,2,4,6
/proc/14260/task/14271/stat : 14271 (java) S 14258 14258 14027 0 -1 1077944384 18449 0 0 0 281 2 0 0 20 0 15 0 515921187 15514783744 107836 33554432000 4194304 4196468 140724765605616 139868205025520 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14272] ppid=14258 vsize=15151156 memory=1452 CPUtime=0.74 cores=0,2,4,6
/proc/14260/task/14272/stat : 14272 (java) S 14258 14258 14027 0 -1 1077944384 8620 0 0 0 72 2 0 0 20 0 15 0 515921187 15514783744 107836 33554432000 4194304 4196468 140724765605616 139868203972720 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14273] ppid=14258 vsize=15151156 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14273/stat : 14273 (java) S 14258 14258 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515921187 15514783744 107836 33554432000 4194304 4196468 140724765605616 139868202920160 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14274] ppid=14258 vsize=15151156 memory=66468 CPUtime=0.72 cores=0,2,4,6
/proc/14260/task/14274/stat : 14274 (java) S 14258 14258 14027 0 -1 1077944384 1548 0 0 0 33 39 0 0 20 0 15 0 515921188 15514783744 107836 33554432000 4194304 4196468 140724765605616 139868201868464 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
Current children cumulated CPU time: 2269.64 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 432796 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/229 14501
/proc/meminfo: memFree=26201004/32770624 swapFree=66999256/67108860
[pid=14258] ppid=14255 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14258/stat : 14258 (xcsp3-exec) S 14255 14258 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515921181 115843072 363 33554432000 4194304 5098028 140723297462064 140723297460168 140444805800572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12730368 140723297469306 140723297469549 140723297469549 140723297472458 0
/proc/14258/statm: 28282 363 304 221 0 87 0
[pid=14260] ppid=14258 vsize=15151156 memory=420056 CPUtime=2329.66 cores=0,2,4,6
/proc/14260/stat : 14260 (java) S 14258 14258 14027 0 -1 1077944320 94862 0 0 0 232898 68 0 0 20 0 15 0 515921182 15514783744 105014 33554432000 4194304 4196468 140724765605616 140724765588160 139868741746423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
/proc/14260/statm: 3787789 105014 3520 1 0 3748889 0
[pid=14260/tid=14261] ppid=14258 vsize=15151156 memory=420056 CPUtime=2321.86 cores=0,2,4,6
/proc/14260/task/14261/stat : 14261 (java) R 14258 14258 14027 0 -1 4202560 26647 0 0 0 232170 16 0 0 20 0 15 0 515921182 15514783744 105014 33554432000 4194304 4196468 140724765605616 139868745985936 139868386700317 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14262] ppid=14258 vsize=15151156 memory=420056 CPUtime=0.11 cores=0,2,4,6
/proc/14260/task/14262/stat : 14262 (java) S 14258 14258 14027 0 -1 1077944384 2816 0 0 0 8 3 0 0 20 0 15 0 515921183 15514783744 105014 33554432000 4194304 4196468 140724765605616 139868698299024 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14263] ppid=14258 vsize=15151156 memory=420056 CPUtime=0.1 cores=0,2,4,6
/proc/14260/task/14263/stat : 14263 (java) S 14258 14258 14027 0 -1 1077944384 4477 0 0 0 8 2 0 0 20 0 15 0 515921183 15514783744 105014 33554432000 4194304 4196468 140724765605616 139868333333008 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14264] ppid=14258 vsize=15151156 memory=1452 CPUtime=0.12 cores=0,2,4,6
/proc/14260/task/14264/stat : 14264 (java) S 14258 14258 14027 0 -1 1077944384 6756 0 0 0 9 3 0 0 20 0 15 0 515921183 15514783744 105014 33554432000 4194304 4196468 140724765605616 139868332280208 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14265] ppid=14258 vsize=15151156 memory=420056 CPUtime=0.11 cores=0,2,4,6
/proc/14260/task/14265/stat : 14265 (java) S 14258 14258 14027 0 -1 1077944384 2562 0 0 0 8 3 0 0 20 0 15 0 515921183 15514783744 105014 33554432000 4194304 4196468 140724765605616 139868331227408 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14266] ppid=14258 vsize=15151156 memory=1452 CPUtime=0.08 cores=0,2,4,6
/proc/14260/task/14266/stat : 14266 (java) S 14258 14258 14027 0 -1 1077944384 5538 0 0 0 6 2 0 0 20 0 15 0 515921184 15514783744 105014 33554432000 4194304 4196468 140724765605616 139868210289520 139868741757570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14267] ppid=14258 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14267/stat : 14267 (java) S 14258 14258 14027 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 515921184 15514783744 105014 33554432000 4194304 4196468 140724765605616 139868209235552 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14268] ppid=14258 vsize=15151156 memory=420056 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14268/stat : 14268 (java) S 14258 14258 14027 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 515921185 15514783744 105014 33554432000 4194304 4196468 140724765605616 139868208182656 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14269] ppid=14258 vsize=15151156 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14269/stat : 14269 (java) S 14258 14258 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515921187 15514783744 105014 33554432000 4194304 4196468 140724765605616 139868207130960 139868741765019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14270] ppid=14258 vsize=15151156 memory=2012 CPUtime=2.9 cores=0,2,4,6
/proc/14260/task/14270/stat : 14270 (java) S 14258 14258 14027 0 -1 1077944384 16067 0 0 0 289 1 0 0 20 0 15 0 515921187 15514783744 105014 33554432000 4194304 4196468 140724765605616 139868206078320 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14271] ppid=14258 vsize=15151156 memory=1436 CPUtime=2.83 cores=0,2,4,6
/proc/14260/task/14271/stat : 14271 (java) S 14258 14258 14027 0 -1 1077944384 18451 0 0 0 281 2 0 0 20 0 15 0 515921187 15514783744 105014 33554432000 4194304 4196468 140724765605616 139868205025520 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14272] ppid=14258 vsize=15151156 memory=1452 CPUtime=0.74 cores=0,2,4,6
/proc/14260/task/14272/stat : 14272 (java) S 14258 14258 14027 0 -1 1077944384 8623 0 0 0 72 2 0 0 20 0 15 0 515921187 15514783744 105014 33554432000 4194304 4196468 140724765605616 139868203972720 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14273] ppid=14258 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14273/stat : 14273 (java) S 14258 14258 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515921187 15514783744 105014 33554432000 4194304 4196468 140724765605616 139868202920160 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14274] ppid=14258 vsize=15151156 memory=8098990990726162286 CPUtime=0.75 cores=0,2,4,6
/proc/14260/task/14274/stat : 14274 (java) S 14258 14258 14027 0 -1 1077944384 1552 0 0 0 34 41 0 0 20 0 15 0 515921188 15514783744 105014 33554432000 4194304 4196468 140724765605616 139868201868464 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
Current children cumulated CPU time: 2329.66 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 421508 KiB

[startup+2382.3 s]
/proc/loadavg: 2.20 2.04 1.87 8/229 14546
/proc/meminfo: memFree=27967812/32770624 swapFree=66999256/67108860
[pid=14258] ppid=14255 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14258/stat : 14258 (xcsp3-exec) S 14255 14258 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515921181 115843072 363 33554432000 4194304 5098028 140723297462064 140723297460168 140444805800572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12730368 140723297469306 140723297469549 140723297469549 140723297472458 0
/proc/14258/statm: 28282 363 304 221 0 87 0
[pid=14260] ppid=14258 vsize=15151156 memory=415952 CPUtime=2389.69 cores=0,2,4,6
/proc/14260/stat : 14260 (java) S 14258 14258 14027 0 -1 1077944320 95764 0 0 0 238900 69 0 0 20 0 15 0 515921182 15514783744 103988 33554432000 4194304 4196468 140724765605616 140724765588160 139868741746423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
/proc/14260/statm: 3787789 103988 3520 1 0 3748889 0
[pid=14260/tid=14261] ppid=14258 vsize=15151156 memory=415952 CPUtime=2381.84 cores=0,2,4,6
/proc/14260/task/14261/stat : 14261 (java) R 14258 14258 14027 0 -1 4202560 26888 0 0 0 238168 16 0 0 20 0 15 0 515921182 15514783744 103988 33554432000 4194304 4196468 140724765605616 139868745985936 139868385944858 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14262] ppid=14258 vsize=15151156 memory=415952 CPUtime=0.11 cores=0,2,4,6
/proc/14260/task/14262/stat : 14262 (java) S 14258 14258 14027 0 -1 1077944384 2860 0 0 0 8 3 0 0 20 0 15 0 515921183 15514783744 103988 33554432000 4194304 4196468 140724765605616 139868698299024 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14263] ppid=14258 vsize=15151156 memory=415952 CPUtime=0.1 cores=0,2,4,6
/proc/14260/task/14263/stat : 14263 (java) S 14258 14258 14027 0 -1 1077944384 4506 0 0 0 8 2 0 0 20 0 15 0 515921183 15514783744 103988 33554432000 4194304 4196468 140724765605616 139868333333008 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14264] ppid=14258 vsize=15151156 memory=415952 CPUtime=0.12 cores=0,2,4,6
/proc/14260/task/14264/stat : 14264 (java) S 14258 14258 14027 0 -1 1077944384 7104 0 0 0 9 3 0 0 20 0 15 0 515921183 15514783744 103988 33554432000 4194304 4196468 140724765605616 139868332280208 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14265] ppid=14258 vsize=15151156 memory=1452 CPUtime=0.11 cores=0,2,4,6
/proc/14260/task/14265/stat : 14265 (java) S 14258 14258 14027 0 -1 1077944384 2582 0 0 0 8 3 0 0 20 0 15 0 515921183 15514783744 103988 33554432000 4194304 4196468 140724765605616 139868331227408 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14266] ppid=14258 vsize=15151156 memory=415952 CPUtime=0.08 cores=0,2,4,6
/proc/14260/task/14266/stat : 14266 (java) S 14258 14258 14027 0 -1 1077944384 5729 0 0 0 6 2 0 0 20 0 15 0 515921184 15514783744 103988 33554432000 4194304 4196468 140724765605616 139868210289520 139868741757570 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14267] ppid=14258 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14267/stat : 14267 (java) S 14258 14258 14027 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 515921184 15514783744 103988 33554432000 4194304 4196468 140724765605616 139868209235552 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14268] ppid=14258 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14268/stat : 14268 (java) S 14258 14258 14027 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 515921185 15514783744 103988 33554432000 4194304 4196468 140724765605616 139868208182656 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14269] ppid=14258 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14269/stat : 14269 (java) S 14258 14258 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515921187 15514783744 103988 33554432000 4194304 4196468 140724765605616 139868207130960 139868741765019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14270] ppid=14258 vsize=15151156 memory=415952 CPUtime=2.9 cores=0,2,4,6
/proc/14260/task/14270/stat : 14270 (java) S 14258 14258 14027 0 -1 1077944384 16069 0 0 0 289 1 0 0 20 0 15 0 515921187 15514783744 103988 33554432000 4194304 4196468 140724765605616 139868206078320 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14271] ppid=14258 vsize=15151156 memory=415952 CPUtime=2.83 cores=0,2,4,6
/proc/14260/task/14271/stat : 14271 (java) S 14258 14258 14027 0 -1 1077944384 18453 0 0 0 281 2 0 0 20 0 15 0 515921187 15514783744 103988 33554432000 4194304 4196468 140724765605616 139868205025520 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14272] ppid=14258 vsize=15151156 memory=1452 CPUtime=0.74 cores=0,2,4,6
/proc/14260/task/14272/stat : 14272 (java) S 14258 14258 14027 0 -1 1077944384 8626 0 0 0 72 2 0 0 20 0 15 0 515921187 15514783744 103988 33554432000 4194304 4196468 140724765605616 139868203972720 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14273] ppid=14258 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14273/stat : 14273 (java) S 14258 14258 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515921187 15514783744 103988 33554432000 4194304 4196468 140724765605616 139868202920160 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14274] ppid=14258 vsize=15151156 memory=415952 CPUtime=0.77 cores=0,2,4,6
/proc/14260/task/14274/stat : 14274 (java) S 14258 14258 14027 0 -1 1077944384 1574 0 0 0 35 42 0 0 20 0 15 0 515921188 15514783744 103988 33554432000 4194304 4196468 140724765605616 139868201868464 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
Current children cumulated CPU time: 2389.69 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 417404 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2392.6 s]
/proc/loadavg: 2.32 2.07 1.89 3/230 14593
/proc/meminfo: memFree=28179588/32770624 swapFree=66999256/67108860
[pid=14258] ppid=14255 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14258/stat : 14258 (xcsp3-exec) S 14255 14258 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515921181 115843072 363 33554432000 4194304 5098028 140723297462064 140723297460168 140444805800572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12730368 140723297469306 140723297469549 140723297469549 140723297472458 0
/proc/14258/statm: 28282 363 304 221 0 87 0
[pid=14260] ppid=14258 vsize=15151156 memory=412360 CPUtime=2400 cores=0,2,4,6
/proc/14260/stat : 14260 (java) S 14258 14258 14027 0 -1 1077944320 95782 0 0 0 239929 71 0 0 20 0 15 0 515921182 15514783744 103090 33554432000 4194304 4196468 140724765605616 140724765588160 139868741746423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
/proc/14260/statm: 3787789 103090 3520 1 0 3748889 0
[pid=14260/tid=14261] ppid=14258 vsize=15151156 memory=288292181620556628 CPUtime=2392.14 cores=0,2,4,6
/proc/14260/task/14261/stat : 14261 (java) R 14258 14258 14027 0 -1 4202560 26897 0 0 0 239196 18 0 0 20 0 15 0 515921182 15514783744 103090 33554432000 4194304 4196468 140724765605616 139868745985520 139868386700264 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14262] ppid=14258 vsize=15151156 memory=3977294417362181070 CPUtime=0.11 cores=0,2,4,6
/proc/14260/task/14262/stat : 14262 (java) S 14258 14258 14027 0 -1 1077944384 2860 0 0 0 8 3 0 0 20 0 15 0 515921183 15514783744 103090 33554432000 4194304 4196468 140724765605616 139868698299024 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14263] ppid=14258 vsize=15151156 memory=6944652177228980272 CPUtime=0.11 cores=0,2,4,6
/proc/14260/task/14263/stat : 14263 (java) S 14258 14258 14027 0 -1 1077944384 4506 0 0 0 9 2 0 0 20 0 15 0 515921183 15514783744 103090 33554432000 4194304 4196468 140724765605616 139868333333008 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14264] ppid=14258 vsize=15151156 memory=6944652177228980320 CPUtime=0.12 cores=0,2,4,6
/proc/14260/task/14264/stat : 14264 (java) S 14258 14258 14027 0 -1 1077944384 7105 0 0 0 9 3 0 0 20 0 15 0 515921183 15514783744 103090 33554432000 4194304 4196468 140724765605616 139868332280208 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14265] ppid=14258 vsize=15151156 memory=6944656592455359580 CPUtime=0.11 cores=0,2,4,6
/proc/14260/task/14265/stat : 14265 (java) S 14258 14258 14027 0 -1 1077944384 2584 0 0 0 8 3 0 0 20 0 15 0 515921183 15514783744 103090 33554432000 4194304 4196468 140724765605616 139868331227408 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14266] ppid=14258 vsize=15151156 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/14260/task/14266/stat : 14266 (java) S 14258 14258 14027 0 -1 1077944384 5733 0 0 0 6 2 0 0 20 0 15 0 515921184 15514783744 103090 33554432000 4194304 4196468 140724765605616 139868210289520 139868741757570 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14267] ppid=14258 vsize=15151156 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14267/stat : 14267 (java) S 14258 14258 14027 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 515921184 15514783744 103090 33554432000 4194304 4196468 140724765605616 139868209235552 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14268] ppid=14258 vsize=15151156 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14268/stat : 14268 (java) S 14258 14258 14027 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 515921185 15514783744 103090 33554432000 4194304 4196468 140724765605616 139868208182656 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14269] ppid=14258 vsize=15151156 memory=301741420669305133 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14269/stat : 14269 (java) S 14258 14258 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515921187 15514783744 103090 33554432000 4194304 4196468 140724765605616 139868207130960 139868741765019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14270] ppid=14258 vsize=15151156 memory=13854092145461657 CPUtime=2.9 cores=0,2,4,6
/proc/14260/task/14270/stat : 14270 (java) S 14258 14258 14027 0 -1 1077944384 16069 0 0 0 289 1 0 0 20 0 15 0 515921187 15514783744 103090 33554432000 4194304 4196468 140724765605616 139868206078320 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14271] ppid=14258 vsize=15151156 memory=6944656592455359580 CPUtime=2.83 cores=0,2,4,6
/proc/14260/task/14271/stat : 14271 (java) S 14258 14258 14027 0 -1 1077944384 18453 0 0 0 281 2 0 0 20 0 15 0 515921187 15514783744 103090 33554432000 4194304 4196468 140724765605616 139868205025520 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14272] ppid=14258 vsize=15151156 memory=6944652177228980320 CPUtime=0.74 cores=0,2,4,6
/proc/14260/task/14272/stat : 14272 (java) S 14258 14258 14027 0 -1 1077944384 8626 0 0 0 72 2 0 0 20 0 15 0 515921187 15514783744 103090 33554432000 4194304 4196468 140724765605616 139868203972720 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14273] ppid=14258 vsize=15151156 memory=3472328279047811217 CPUtime=0 cores=0,2,4,6
/proc/14260/task/14273/stat : 14273 (java) S 14258 14258 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515921187 15514783744 103090 33554432000 4194304 4196468 140724765605616 139868202920160 139868741756629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
[pid=14260/tid=14274] ppid=14258 vsize=15151156 memory=6944656592387989600 CPUtime=0.77 cores=0,2,4,6
/proc/14260/task/14274/stat : 14274 (java) S 14258 14258 14027 0 -1 1077944384 1576 0 0 0 35 42 0 0 20 0 15 0 515921188 15514783744 103090 33554432000 4194304 4196468 140724765605616 139868201868464 139868741757570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14159872 140724765610991 140724765611162 140724765611162 140724765614031 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 413812 KiB

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

[startup+2392.61 s]
# the end of solver process 14258 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001053 s, system=0.001533 s

[startup+2392.61 s]
# the end of solver process 14260 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.3 s, system=0.717553 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): 2392.61
CPU time (s): 2400.02
CPU user time (s): 2399.3
CPU system time (s): 0.717553
CPU usage (%): 100.31
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 617088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.3
system time used= 0.717553
maximum resident set size= 621784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96644
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55473
involuntary context switches= 2309


# summary of solver processes directly reported to runsolver:
#   pid: 14258,14260
#   total CPU time (s): 2400.02
#   total CPU user time (s): 2399.3
#   total CPU system time (s): 0.717553

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2369 second user time and 22.0722 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-school1.xml
MD5SUM	9dec5151d217f705456bb861c341cf0d
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	13
Best CPU time to get the best result obtained on this benchmark	79.6827
Satisfiable
(Un)Satisfiability was proved
Number of variables	385
Number of constraints	19095
Number of domains	1
Minimum domain size	385
Maximum domain size	385
Distribution of domain sizes	[{"size":385,"count":385}]
Minimum variable degree	2
Maximum variable degree	283
Distribution of variable degrees	[{"degree":2,"count":8},{"degree":3,"count":2},{"degree":4,"count":3},{"degree":5,"count":2},{"degree":6,"count":1},{"degree":8,"count":1},{"degree":9,"count":4},{"degree":10,"count":1},{"degree":12,"count":1},{"degree":13,"count":4},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":1},{"degree":19,"count":1},{"degree":20,"count":2},{"degree":22,"count":1},{"degree":24,"count":3},{"degree":25,"count":5},{"degree":26,"count":2},{"degree":27,"count":1},{"degree":29,"count":2},{"degree":32,"count":1},{"degree":33,"count":2},{"degree":35,"count":2},{"degree":39,"count":1},"...",{"degree":150,"count":2}, {"degree":154,"count":3}, {"degree":155,"count":1}, {"degree":156,"count":2}, {"degree":160,"count":2}, {"degree":161,"count":3}, {"degree":163,"count":1}, {"degree":164,"count":1}, {"degree":167,"count":1}, {"degree":168,"count":1}, {"degree":172,"count":1}, {"degree":175,"count":1}, {"degree":177,"count":1}, {"degree":230,"count":2}, {"degree":246,"count":1}, {"degree":247,"count":1}, {"degree":252,"count":1}, {"degree":257,"count":1}, {"degree":260,"count":1}, {"degree":263,"count":1}, {"degree":265,"count":1}, {"degree":269,"count":2}, {"degree":271,"count":1}, {"degree":273,"count":1}, {"degree":283,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":19095}]
Number of extensional constraints	0
Number of intensional constraints	19095
Distribution of constraint types	[{"type":"intension","count":19095}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4406566

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
