2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24	SAT (TO)	24	2520.09	2505.04
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 (13332 MiB free)
  memory of node 1: 16384 MiB (10613 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406306-1569397403/watcher-4406306-1569397403 -o /var/tmp/evaluation-result-4406306-1569397403/solver-4406306-1569397403 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1569396625-26121 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 674984274 HOME/instance-4406306-1569397403.xml 

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

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


[startup+0.100058 s]*
/proc/loadavg: 2.09 1.55 0.92 4/229 26559
/proc/meminfo: memFree=24505292/32770624 swapFree=67002128/67108860
[pid=26543] ppid=26540 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26543/stat : 26543 (xcsp3-exec) S 26540 26543 26090 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 515988844 115843072 364 33554432000 4194304 5098028 140728847791600 140728847789704 139667166794364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19456000 140728847795031 140728847795289 140728847795289 140728847798214 0
/proc/26543/statm: 28282 364 305 221 0 87 0
[pid=26545] ppid=26543 vsize=15144776 memory=29136 CPUtime=0.13 cores=0,2,4,6
/proc/26545/stat : 26545 (java) S 26543 26543 26090 0 -1 1077944320 5671 0 0 0 12 1 0 0 20 0 15 0 515988845 15508250624 7284 33554432000 4194304 4196468 140730240776960 140730240759504 140446593097463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
/proc/26545/statm: 3786194 7284 3165 1 0 3748377 0
[pid=26545/tid=26546] ppid=26543 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/26545/task/26546/stat : 26546 (java) R 26543 26543 26090 0 -1 4202560 3581 0 0 0 9 0 0 0 20 0 15 0 515988845 15508250624 7284 33554432000 4194304 4196468 140730240776960 140446597320464 140446577141093 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26547] ppid=26543 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26547/stat : 26547 (java) S 26543 26543 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515988846 15508250624 7284 33554432000 4194304 4196468 140730240776960 140446185548816 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26548] ppid=26543 vsize=15144776 memory=140012478473856 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26548/stat : 26548 (java) S 26543 26543 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515988846 15508250624 7284 33554432000 4194304 4196468 140730240776960 140446184496272 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26549] ppid=26543 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26549/stat : 26549 (java) S 26543 26543 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515988846 15508250624 7284 33554432000 4194304 4196468 140730240776960 140446183443216 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26550] ppid=26543 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26550/stat : 26550 (java) S 26543 26543 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515988846 15508250624 7284 33554432000 4194304 4196468 140730240776960 140446182390672 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26551] ppid=26543 vsize=15144776 memory=140012478473856 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26551/stat : 26551 (java) S 26543 26543 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515988847 15508250624 7284 33554432000 4194304 4196468 140730240776960 140446061295856 140446593108610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26552] ppid=26543 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26552/stat : 26552 (java) S 26543 26543 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515988848 15508250624 7284 33554432000 4194304 4196468 140730240776960 140446060242080 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26553] ppid=26543 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26553/stat : 26553 (java) S 26543 26543 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515988848 15508250624 7284 33554432000 4194304 4196468 140730240776960 140446059188976 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26554] ppid=26543 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26554/stat : 26554 (java) S 26543 26543 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515988850 15508250624 7284 33554432000 4194304 4196468 140730240776960 140446058137552 140446593116059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26555] ppid=26543 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26555/stat : 26555 (java) R 26543 26543 26090 0 -1 4202560 460 0 0 0 0 0 0 0 20 0 15 0 515988850 15508250624 7284 33554432000 4194304 4196468 140730240776960 140446057085680 140446574641186 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26556] ppid=26543 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26556/stat : 26556 (java) R 26543 26543 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515988850 15508250624 7284 33554432000 4194304 4196468 140730240776960 140446056033136 140446593108610 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26557] ppid=26543 vsize=15144776 memory=140012478473856 CPUtime=0.02 cores=0,2,4,6
/proc/26545/task/26557/stat : 26557 (java) R 26543 26543 26090 0 -1 4202560 338 0 0 0 2 0 0 0 20 0 15 0 515988850 15508250624 7284 33554432000 4194304 4196468 140730240776960 140446054980080 140446577627726 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26558] ppid=26543 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26558/stat : 26558 (java) S 26543 26543 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515988850 15508250624 7284 33554432000 4194304 4196468 140730240776960 140446053927776 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26559] ppid=26543 vsize=15144776 memory=140012478473856 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26559/stat : 26559 (java) S 26543 26543 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515988851 15508250624 7284 33554432000 4194304 4196468 140730240776960 140446052874800 140446593108610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30592 KiB

[startup+0.210805 s]*
/proc/loadavg: 2.09 1.55 0.92 4/229 26559
/proc/meminfo: memFree=24491196/32770624 swapFree=67002128/67108860
[pid=26543] ppid=26540 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26543/stat : 26543 (xcsp3-exec) S 26540 26543 26090 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 515988844 115843072 364 33554432000 4194304 5098028 140728847791600 140728847789704 139667166794364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19456000 140728847795031 140728847795289 140728847795289 140728847798214 0
/proc/26543/statm: 28282 364 305 221 0 87 0
[pid=26545] ppid=26543 vsize=15144776 memory=40912 CPUtime=0.35 cores=0,2,4,6
/proc/26545/stat : 26545 (java) S 26543 26543 26090 0 -1 1077944320 9473 0 0 0 32 3 0 0 20 0 15 0 515988845 15508250624 10228 33554432000 4194304 4196468 140730240776960 140730240759504 140446593097463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
/proc/26545/statm: 3786194 10228 3302 1 0 3748377 0
[pid=26545/tid=26546] ppid=26543 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/26545/task/26546/stat : 26546 (java) R 26543 26543 26090 0 -1 4202560 6610 0 0 0 18 2 0 0 20 0 15 0 515988845 15508250624 10228 33554432000 4194304 4196468 140730240776960 140446597328112 140446187271699 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26547] ppid=26543 vsize=15144776 memory=13620 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26547/stat : 26547 (java) S 26543 26543 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515988846 15508250624 10228 33554432000 4194304 4196468 140730240776960 140446185548816 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26548] ppid=26543 vsize=15144776 memory=140012482307397 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26548/stat : 26548 (java) S 26543 26543 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515988846 15508250624 10228 33554432000 4194304 4196468 140730240776960 140446184496272 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26549] ppid=26543 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26549/stat : 26549 (java) S 26543 26543 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515988846 15508250624 10228 33554432000 4194304 4196468 140730240776960 140446183443216 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26550] ppid=26543 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26550/stat : 26550 (java) S 26543 26543 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515988846 15508250624 10228 33554432000 4194304 4196468 140730240776960 140446182390672 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26551] ppid=26543 vsize=15144776 memory=140012478473856 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26551/stat : 26551 (java) S 26543 26543 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515988847 15508250624 10228 33554432000 4194304 4196468 140730240776960 140446061295856 140446593108610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26552] ppid=26543 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26552/stat : 26552 (java) S 26543 26543 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515988848 15508250624 10228 33554432000 4194304 4196468 140730240776960 140446060242080 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26553] ppid=26543 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26553/stat : 26553 (java) S 26543 26543 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515988848 15508250624 10228 33554432000 4194304 4196468 140730240776960 140446059188976 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26554] ppid=26543 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26554/stat : 26554 (java) S 26543 26543 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515988850 15508250624 10228 33554432000 4194304 4196468 140730240776960 140446058137552 140446593116059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26555] ppid=26543 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26545/task/26555/stat : 26555 (java) S 26543 26543 26090 0 -1 1077944384 635 0 0 0 2 0 0 0 20 0 15 0 515988850 15508250624 10228 33554432000 4194304 4196468 140730240776960 140446057085680 140446593108610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26556] ppid=26543 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/26545/task/26556/stat : 26556 (java) S 26543 26543 26090 0 -1 1077944384 143 0 0 0 2 0 0 0 20 0 15 0 515988850 15508250624 10228 33554432000 4194304 4196468 140730240776960 140446056033136 140446593108610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26557] ppid=26543 vsize=15144776 memory=140012478473856 CPUtime=0.08 cores=0,2,4,6
/proc/26545/task/26557/stat : 26557 (java) R 26543 26543 26090 0 -1 4202560 777 0 0 0 8 0 0 0 20 0 15 0 515988850 15508250624 10228 33554432000 4194304 4196468 140730240776960 140446054980080 140446572486624 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26558] ppid=26543 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26558/stat : 26558 (java) S 26543 26543 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515988850 15508250624 10228 33554432000 4194304 4196468 140730240776960 140446053927776 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26559] ppid=26543 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26559/stat : 26559 (java) S 26543 26543 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515988851 15508250624 10228 33554432000 4194304 4196468 140730240776960 140446052874800 140446593108610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42368 KiB

[startup+0.310504 s]*
/proc/loadavg: 2.09 1.55 0.92 4/229 26559
/proc/meminfo: memFree=24484488/32770624 swapFree=67002128/67108860
[pid=26543] ppid=26540 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26543/stat : 26543 (xcsp3-exec) S 26540 26543 26090 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 515988844 115843072 364 33554432000 4194304 5098028 140728847791600 140728847789704 139667166794364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19456000 140728847795031 140728847795289 140728847795289 140728847798214 0
/proc/26543/statm: 28282 364 305 221 0 87 0
[pid=26545] ppid=26543 vsize=15149032 memory=50092 CPUtime=0.53 cores=0,2,4,6
/proc/26545/stat : 26545 (java) S 26543 26543 26090 0 -1 1077944320 10807 0 0 0 50 3 0 0 20 0 15 0 515988845 15512608768 12523 33554432000 4194304 4196468 140730240776960 140730240759504 140446593097463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
/proc/26545/statm: 3787258 12523 3364 1 0 3748377 0
[pid=26545/tid=26546] ppid=26543 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/26545/task/26546/stat : 26546 (java) R 26543 26543 26090 0 -1 4202560 7764 0 0 0 28 2 0 0 20 0 15 0 515988845 15512608768 12523 33554432000 4194304 4196468 140730240776960 140446597330768 140446593119389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26547] ppid=26543 vsize=15149032 memory=13961 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26547/stat : 26547 (java) S 26543 26543 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515988846 15512608768 12523 33554432000 4194304 4196468 140730240776960 140446185548816 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26548] ppid=26543 vsize=15149032 memory=3844132 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26548/stat : 26548 (java) S 26543 26543 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515988846 15512608768 12523 33554432000 4194304 4196468 140730240776960 140446184496272 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26549] ppid=26543 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26549/stat : 26549 (java) S 26543 26543 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515988846 15512608768 12523 33554432000 4194304 4196468 140730240776960 140446183443216 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26550] ppid=26543 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26550/stat : 26550 (java) S 26543 26543 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515988846 15512608768 12523 33554432000 4194304 4196468 140730240776960 140446182390672 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26551] ppid=26543 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26551/stat : 26551 (java) S 26543 26543 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515988847 15512608768 12523 33554432000 4194304 4196468 140730240776960 140446061295856 140446593108610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26552] ppid=26543 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26552/stat : 26552 (java) S 26543 26543 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515988848 15512608768 12523 33554432000 4194304 4196468 140730240776960 140446060242080 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26553] ppid=26543 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26553/stat : 26553 (java) S 26543 26543 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515988848 15512608768 12523 33554432000 4194304 4196468 140730240776960 140446059188976 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26554] ppid=26543 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26554/stat : 26554 (java) S 26543 26543 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515988850 15512608768 12523 33554432000 4194304 4196468 140730240776960 140446058137552 140446593116059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26555] ppid=26543 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/26545/task/26555/stat : 26555 (java) R 26543 26543 26090 0 -1 4202560 733 0 0 0 5 0 0 0 20 0 15 0 515988850 15512608768 12523 33554432000 4194304 4196468 140730240776960 140446057077136 140446574618528 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26556] ppid=26543 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/26545/task/26556/stat : 26556 (java) S 26543 26543 26090 0 -1 1077944384 149 0 0 0 3 0 0 0 20 0 15 0 515988850 15512608768 12523 33554432000 4194304 4196468 140730240776960 140446056033136 140446593108610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26557] ppid=26543 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/26545/task/26557/stat : 26557 (java) S 26543 26543 26090 0 -1 1077944384 855 0 0 0 13 0 0 0 20 0 15 0 515988850 15512608768 12523 33554432000 4194304 4196468 140730240776960 140446054980080 140446593108610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26558] ppid=26543 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26558/stat : 26558 (java) S 26543 26543 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515988850 15512608768 12523 33554432000 4194304 4196468 140730240776960 140446053927776 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26559] ppid=26543 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26559/stat : 26559 (java) S 26543 26543 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515988851 15512608768 12523 33554432000 4194304 4196468 140730240776960 140446052874800 140446593108610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51548 KiB

[startup+0.704697 s]
/proc/loadavg: 2.09 1.55 0.92 6/229 26559
/proc/meminfo: memFree=24466888/32770624 swapFree=67002128/67108860
[pid=26543] ppid=26540 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26543/stat : 26543 (xcsp3-exec) S 26540 26543 26090 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 515988844 115843072 364 33554432000 4194304 5098028 140728847791600 140728847789704 139667166794364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19456000 140728847795031 140728847795289 140728847795289 140728847798214 0
/proc/26543/statm: 28282 364 305 221 0 87 0
[pid=26545] ppid=26543 vsize=15151156 memory=103940 CPUtime=1.74 cores=0,2,4,6
/proc/26545/stat : 26545 (java) S 26543 26543 26090 0 -1 1077944320 14113 0 0 0 169 5 0 0 20 0 15 0 515988845 15514783744 25985 33554432000 4194304 4196468 140730240776960 140730240759504 140446593097463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
/proc/26545/statm: 3787789 25985 3447 1 0 3748889 0
[pid=26545/tid=26546] ppid=26543 vsize=15151156 memory=36080 CPUtime=0.68 cores=0,2,4,6
/proc/26545/task/26546/stat : 26546 (java) R 26543 26543 26090 0 -1 4202560 8364 0 0 0 65 3 0 0 20 0 15 0 515988845 15514783744 25985 33554432000 4194304 4196468 140730240776960 140446597335392 140446188793408 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26547] ppid=26543 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26547/stat : 26547 (java) S 26543 26543 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515988846 15514783744 25985 33554432000 4194304 4196468 140730240776960 140446185548816 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26548] ppid=26543 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26548/stat : 26548 (java) S 26543 26543 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515988846 15514783744 25985 33554432000 4194304 4196468 140730240776960 140446184496272 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26549] ppid=26543 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26549/stat : 26549 (java) S 26543 26543 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515988846 15514783744 25985 33554432000 4194304 4196468 140730240776960 140446183443216 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26550] ppid=26543 vsize=15151156 memory=1824 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26550/stat : 26550 (java) S 26543 26543 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515988846 15514783744 25985 33554432000 4194304 4196468 140730240776960 140446182390672 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26551] ppid=26543 vsize=15151156 memory=1656 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26551/stat : 26551 (java) S 26543 26543 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515988847 15514783744 25985 33554432000 4194304 4196468 140730240776960 140446061295856 140446593108610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26552] ppid=26543 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26552/stat : 26552 (java) S 26543 26543 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515988848 15514783744 25985 33554432000 4194304 4196468 140730240776960 140446060242080 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26553] ppid=26543 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26553/stat : 26553 (java) S 26543 26543 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515988848 15514783744 25985 33554432000 4194304 4196468 140730240776960 140446059188976 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26554] ppid=26543 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26554/stat : 26554 (java) S 26543 26543 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515988850 15514783744 25985 33554432000 4194304 4196468 140730240776960 140446058137552 140446593116059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26555] ppid=26543 vsize=15151156 memory=2676 CPUtime=0.38 cores=0,2,4,6
/proc/26545/task/26555/stat : 26555 (java) R 26543 26543 26090 0 -1 4202560 1677 0 0 0 38 0 0 0 20 0 15 0 515988850 15514783744 25985 33554432000 4194304 4196468 140730240776960 140446057085680 140446574641186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26556] ppid=26543 vsize=15151156 memory=1764 CPUtime=0.34 cores=0,2,4,6
/proc/26545/task/26556/stat : 26556 (java) R 26543 26543 26090 0 -1 4202560 1098 0 0 0 34 0 0 0 20 0 15 0 515988850 15514783744 25985 33554432000 4194304 4196468 140730240776960 140446056016048 140446572287024 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26557] ppid=26543 vsize=15151156 memory=111632 CPUtime=0.32 cores=0,2,4,6
/proc/26545/task/26557/stat : 26557 (java) R 26543 26543 26090 0 -1 1077944384 1671 0 0 0 32 0 0 0 20 0 15 0 515988850 15514783744 25985 33554432000 4194304 4196468 140730240776960 140446054980080 140446593108610 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26558] ppid=26543 vsize=15151156 memory=796 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26558/stat : 26558 (java) S 26543 26543 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515988850 15514783744 25985 33554432000 4194304 4196468 140730240776960 140446053927776 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26559] ppid=26543 vsize=15151156 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26559/stat : 26559 (java) S 26543 26543 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515988851 15514783744 25985 33554432000 4194304 4196468 140730240776960 140446052874800 140446593108610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 105396 KiB

[startup+1.5008 s]
/proc/loadavg: 2.09 1.55 0.92 3/229 26559
/proc/meminfo: memFree=24385160/32770624 swapFree=67002128/67108860
[pid=26543] ppid=26540 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26543/stat : 26543 (xcsp3-exec) S 26540 26543 26090 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 515988844 115843072 364 33554432000 4194304 5098028 140728847791600 140728847789704 139667166794364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19456000 140728847795031 140728847795289 140728847795289 140728847798214 0
/proc/26543/statm: 28282 364 305 221 0 87 0

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

/proc/26545/task/26553/stat : 26553 (java) S 26543 26543 26090 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 15 0 515988848 15514783744 186214 33554432000 4194304 4196468 140730240776960 140446059188992 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26554] ppid=26543 vsize=15151156 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26554/stat : 26554 (java) S 26543 26543 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515988850 15514783744 186214 33554432000 4194304 4196468 140730240776960 140446058137552 140446593116059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26555] ppid=26543 vsize=15151156 memory=65940 CPUtime=1.77 cores=0,2,4,6
/proc/26545/task/26555/stat : 26555 (java) S 26543 26543 26090 0 -1 1077944384 12179 0 0 0 176 1 0 0 20 0 15 0 515988850 15514783744 186214 33554432000 4194304 4196468 140730240776960 140446057085680 140446593108610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26556] ppid=26543 vsize=15151156 memory=1456 CPUtime=1.77 cores=0,2,4,6
/proc/26545/task/26556/stat : 26556 (java) S 26543 26543 26090 0 -1 1077944384 7709 0 0 0 176 1 0 0 20 0 15 0 515988850 15514783744 186214 33554432000 4194304 4196468 140730240776960 140446056033136 140446593108610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26557] ppid=26543 vsize=15151156 memory=1456 CPUtime=0.7 cores=0,2,4,6
/proc/26545/task/26557/stat : 26557 (java) S 26543 26543 26090 0 -1 1077944384 7273 0 0 0 69 1 0 0 20 0 15 0 515988850 15514783744 186214 33554432000 4194304 4196468 140730240776960 140446054980080 140446593108610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26558] ppid=26543 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26558/stat : 26558 (java) S 26543 26543 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515988850 15514783744 186214 33554432000 4194304 4196468 140730240776960 140446053927776 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26559] ppid=26543 vsize=15151156 memory=7569004 CPUtime=0.72 cores=0,2,4,6
/proc/26545/task/26559/stat : 26559 (java) S 26543 26543 26090 0 -1 1077944384 637 0 0 0 32 40 0 0 20 0 15 0 515988851 15514783744 186214 33554432000 4194304 4196468 140730240776960 140446052874800 140446593108610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
Current children cumulated CPU time: 2396.05 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 746312 KiB

[startup+2442.3 s]
/proc/loadavg: 1.77 1.78 1.65 3/230 27035
/proc/meminfo: memFree=21952932/32770624 swapFree=67002128/67108860
[pid=26543] ppid=26540 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26543/stat : 26543 (xcsp3-exec) S 26540 26543 26090 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 515988844 115843072 364 33554432000 4194304 5098028 140728847791600 140728847789704 139667166794364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19456000 140728847795031 140728847795289 140728847795289 140728847798214 0
/proc/26543/statm: 28282 364 305 221 0 87 0
[pid=26545] ppid=26543 vsize=15151156 memory=3218336 CPUtime=2456.42 cores=0,2,4,6
/proc/26545/stat : 26545 (java) S 26543 26543 26090 0 -1 1077944320 133233 0 0 0 245194 448 0 0 20 0 15 0 515988845 15514783744 804584 33554432000 4194304 4196468 140730240776960 140730240759504 140446593097463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
/proc/26545/statm: 3787789 804584 3540 1 0 3748889 0
[pid=26545/tid=26546] ppid=26543 vsize=15151156 memory=2317600 CPUtime=2437.7 cores=0,2,4,6
/proc/26545/task/26546/stat : 26546 (java) R 26543 26543 26090 0 -1 4202560 66000 0 0 0 243415 355 0 0 20 0 15 0 515988845 15514783744 804584 33554432000 4194304 4196468 140730240776960 140446597337192 140446191870370 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26547] ppid=26543 vsize=15151156 memory=2878912 CPUtime=3.18 cores=0,2,4,6
/proc/26545/task/26547/stat : 26547 (java) S 26543 26543 26090 0 -1 1077944384 6681 0 0 0 307 11 0 0 20 0 15 0 515988846 15514783744 804584 33554432000 4194304 4196468 140730240776960 140446185548816 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26548] ppid=26543 vsize=15151156 memory=2878400 CPUtime=3.17 cores=0,2,4,6
/proc/26545/task/26548/stat : 26548 (java) S 26543 26543 26090 0 -1 1077944384 7085 0 0 0 306 11 0 0 20 0 15 0 515988846 15514783744 804584 33554432000 4194304 4196468 140730240776960 140446184496272 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26549] ppid=26543 vsize=15151156 memory=3146868 CPUtime=3.19 cores=0,2,4,6
/proc/26545/task/26549/stat : 26549 (java) S 26543 26543 26090 0 -1 1077944384 5068 0 0 0 308 11 0 0 20 0 15 0 515988846 15514783744 804584 33554432000 4194304 4196468 140730240776960 140446183443216 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26550] ppid=26543 vsize=15151156 memory=3181812 CPUtime=3.17 cores=0,2,4,6
/proc/26545/task/26550/stat : 26550 (java) S 26543 26543 26090 0 -1 1077944384 5360 0 0 0 306 11 0 0 20 0 15 0 515988846 15514783744 804584 33554432000 4194304 4196468 140730240776960 140446182390672 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26551] ppid=26543 vsize=15151156 memory=3218336 CPUtime=0.95 cores=0,2,4,6
/proc/26545/task/26551/stat : 26551 (java) S 26543 26543 26090 0 -1 1077944384 13788 0 0 0 77 18 0 0 20 0 15 0 515988847 15514783744 804584 33554432000 4194304 4196468 140730240776960 140446061295856 140446593108610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26552] ppid=26543 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26552/stat : 26552 (java) S 26543 26543 26090 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 515988848 15514783744 804584 33554432000 4194304 4196468 140730240776960 140446060242144 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26553] ppid=26543 vsize=15151156 memory=2878912 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26553/stat : 26553 (java) S 26543 26543 26090 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 15 0 515988848 15514783744 804584 33554432000 4194304 4196468 140730240776960 140446059188992 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26554] ppid=26543 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26554/stat : 26554 (java) S 26543 26543 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515988850 15514783744 804584 33554432000 4194304 4196468 140730240776960 140446058137552 140446593116059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26555] ppid=26543 vsize=15151156 memory=2878400 CPUtime=1.77 cores=0,2,4,6
/proc/26545/task/26555/stat : 26555 (java) S 26543 26543 26090 0 -1 1077944384 12181 0 0 0 176 1 0 0 20 0 15 0 515988850 15514783744 804584 33554432000 4194304 4196468 140730240776960 140446057085680 140446593108610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26556] ppid=26543 vsize=15151156 memory=1456 CPUtime=1.77 cores=0,2,4,6
/proc/26545/task/26556/stat : 26556 (java) S 26543 26543 26090 0 -1 1077944384 7711 0 0 0 176 1 0 0 20 0 15 0 515988850 15514783744 804584 33554432000 4194304 4196468 140730240776960 140446056033136 140446593108610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26557] ppid=26543 vsize=15151156 memory=2878400 CPUtime=0.7 cores=0,2,4,6
/proc/26545/task/26557/stat : 26557 (java) S 26543 26543 26090 0 -1 1077944384 7276 0 0 0 69 1 0 0 20 0 15 0 515988850 15514783744 804584 33554432000 4194304 4196468 140730240776960 140446054980080 140446593108610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26558] ppid=26543 vsize=15151156 memory=2878912 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26558/stat : 26558 (java) S 26543 26543 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515988850 15514783744 804584 33554432000 4194304 4196468 140730240776960 140446053927776 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26559] ppid=26543 vsize=15151156 memory=6791534058613427641 CPUtime=0.73 cores=0,2,4,6
/proc/26545/task/26559/stat : 26559 (java) S 26543 26543 26090 0 -1 1077944384 660 0 0 0 32 41 0 0 20 0 15 0 515988851 15514783744 804584 33554432000 4194304 4196468 140730240776960 140446052874800 140446593108610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
Current children cumulated CPU time: 2456.42 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 3219792 KiB

[startup+2502.3 s]
/proc/loadavg: 1.78 1.78 1.65 3/230 27039
/proc/meminfo: memFree=18875708/32770624 swapFree=67002128/67108860
[pid=26543] ppid=26540 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26543/stat : 26543 (xcsp3-exec) S 26540 26543 26090 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 515988844 115843072 364 33554432000 4194304 5098028 140728847791600 140728847789704 139667166794364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19456000 140728847795031 140728847795289 140728847795289 140728847798214 0
/proc/26543/statm: 28282 364 305 221 0 87 0
[pid=26545] ppid=26543 vsize=15151156 memory=6285432 CPUtime=2517.33 cores=0,2,4,6
/proc/26545/stat : 26545 (java) S 26543 26543 26090 0 -1 1077944320 138231 0 0 0 251238 495 0 0 20 0 15 0 515988845 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140730240759504 140446593097463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
/proc/26545/statm: 3787789 1571358 3540 1 0 3748889 0
[pid=26545/tid=26546] ppid=26543 vsize=15151156 memory=6285432 CPUtime=2497.37 cores=0,2,4,6
/proc/26545/task/26546/stat : 26546 (java) R 26543 26543 26090 0 -1 4202560 70916 0 0 0 249337 400 0 0 20 0 15 0 515988845 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446597336800 140446191870220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26547] ppid=26543 vsize=15151156 memory=4567612 CPUtime=3.47 cores=0,2,4,6
/proc/26545/task/26547/stat : 26547 (java) S 26543 26543 26090 0 -1 1077944384 6688 0 0 0 336 11 0 0 20 0 15 0 515988846 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446185548816 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26548] ppid=26543 vsize=15151156 memory=6285432 CPUtime=3.47 cores=0,2,4,6
/proc/26545/task/26548/stat : 26548 (java) S 26543 26543 26090 0 -1 1077944384 7113 0 0 0 336 11 0 0 20 0 15 0 515988846 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446184496272 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26549] ppid=26543 vsize=15151156 memory=6285432 CPUtime=3.49 cores=0,2,4,6
/proc/26545/task/26549/stat : 26549 (java) S 26543 26543 26090 0 -1 1077944384 5078 0 0 0 338 11 0 0 20 0 15 0 515988846 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446183443216 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26550] ppid=26543 vsize=15151156 memory=6285432 CPUtime=3.48 cores=0,2,4,6
/proc/26545/task/26550/stat : 26550 (java) S 26543 26543 26090 0 -1 1077944384 5384 0 0 0 337 11 0 0 20 0 15 0 515988846 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446182390672 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26551] ppid=26543 vsize=15151156 memory=1456 CPUtime=0.96 cores=0,2,4,6
/proc/26545/task/26551/stat : 26551 (java) S 26543 26543 26090 0 -1 1077944384 13797 0 0 0 78 18 0 0 20 0 15 0 515988847 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446061295856 140446593108610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26552] ppid=26543 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26552/stat : 26552 (java) S 26543 26543 26090 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 515988848 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446060242144 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26553] ppid=26543 vsize=15151156 memory=6285432 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26553/stat : 26553 (java) S 26543 26543 26090 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 15 0 515988848 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446059188992 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26554] ppid=26543 vsize=15151156 memory=303430223234596890 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26554/stat : 26554 (java) S 26543 26543 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515988850 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446058137552 140446593116059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26555] ppid=26543 vsize=15151156 memory=303430270546346295 CPUtime=1.77 cores=0,2,4,6
/proc/26545/task/26555/stat : 26555 (java) S 26543 26543 26090 0 -1 1077944384 12181 0 0 0 176 1 0 0 20 0 15 0 515988850 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446057085680 140446593108610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26556] ppid=26543 vsize=15151156 memory=6253560 CPUtime=1.77 cores=0,2,4,6
/proc/26545/task/26556/stat : 26556 (java) S 26543 26543 26090 0 -1 1077944384 7711 0 0 0 176 1 0 0 20 0 15 0 515988850 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446056033136 140446593108610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26557] ppid=26543 vsize=15151156 memory=1456 CPUtime=0.7 cores=0,2,4,6
/proc/26545/task/26557/stat : 26557 (java) S 26543 26543 26090 0 -1 1077944384 7276 0 0 0 69 1 0 0 20 0 15 0 515988850 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446054980080 140446593108610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26558] ppid=26543 vsize=15151156 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26558/stat : 26558 (java) S 26543 26543 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515988850 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446053927776 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26559] ppid=26543 vsize=15151156 memory=65940 CPUtime=0.75 cores=0,2,4,6
/proc/26545/task/26559/stat : 26559 (java) S 26543 26543 26090 0 -1 1077944384 664 0 0 0 33 42 0 0 20 0 15 0 515988851 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446052874800 140446593108610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
Current children cumulated CPU time: 2517.33 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 6286888 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2505 s]*
/proc/loadavg: 1.80 1.78 1.66 3/230 27039
/proc/meminfo: memFree=18875644/32770624 swapFree=67002128/67108860
[pid=26543] ppid=26540 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26543/stat : 26543 (xcsp3-exec) S 26540 26543 26090 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 515988844 115843072 364 33554432000 4194304 5098028 140728847791600 140728847789704 139667166794364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19456000 140728847795031 140728847795289 140728847795289 140728847798214 0
/proc/26543/statm: 28282 364 305 221 0 87 0
[pid=26545] ppid=26543 vsize=15151156 memory=6285432 CPUtime=2520.04 cores=0,2,4,6
/proc/26545/stat : 26545 (java) S 26543 26543 26090 0 -1 1077944320 138234 0 0 0 251509 495 0 0 20 0 15 0 515988845 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140730240759504 140446593097463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
/proc/26545/statm: 3787789 1571358 3540 1 0 3748889 0
[pid=26545/tid=26546] ppid=26543 vsize=15151156 memory=6791534058613427641 CPUtime=2500.08 cores=0,2,4,6
/proc/26545/task/26546/stat : 26546 (java) R 26543 26543 26090 0 -1 4202560 70919 0 0 0 249608 400 0 0 20 0 15 0 515988845 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446597336800 140446192631706 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26547] ppid=26543 vsize=15151156 memory=4872558044660077418 CPUtime=3.47 cores=0,2,4,6
/proc/26545/task/26547/stat : 26547 (java) S 26543 26543 26090 0 -1 1077944384 6688 0 0 0 336 11 0 0 20 0 15 0 515988846 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446185548816 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26548] ppid=26543 vsize=15151156 memory=2024 CPUtime=3.47 cores=0,2,4,6
/proc/26545/task/26548/stat : 26548 (java) S 26543 26543 26090 0 -1 1077944384 7113 0 0 0 336 11 0 0 20 0 15 0 515988846 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446184496272 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26549] ppid=26543 vsize=15151156 memory=1416 CPUtime=3.49 cores=0,2,4,6
/proc/26545/task/26549/stat : 26549 (java) S 26543 26543 26090 0 -1 1077944384 5078 0 0 0 338 11 0 0 20 0 15 0 515988846 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446183443216 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26550] ppid=26543 vsize=15151156 memory=776 CPUtime=3.48 cores=0,2,4,6
/proc/26545/task/26550/stat : 26550 (java) S 26543 26543 26090 0 -1 1077944384 5384 0 0 0 337 11 0 0 20 0 15 0 515988846 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446182390672 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26551] ppid=26543 vsize=15151156 memory=3540 CPUtime=0.96 cores=0,2,4,6
/proc/26545/task/26551/stat : 26551 (java) S 26543 26543 26090 0 -1 1077944384 13797 0 0 0 78 18 0 0 20 0 15 0 515988847 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446061295856 140446593108610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26552] ppid=26543 vsize=15151156 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26552/stat : 26552 (java) S 26543 26543 26090 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 515988848 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446060242144 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26553] ppid=26543 vsize=15151156 memory=10600 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26553/stat : 26553 (java) S 26543 26543 26090 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 15 0 515988848 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446059188992 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26554] ppid=26543 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26554/stat : 26554 (java) S 26543 26543 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515988850 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446058137552 140446593116059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26555] ppid=26543 vsize=15151156 memory=0 CPUtime=1.77 cores=0,2,4,6
/proc/26545/task/26555/stat : 26555 (java) S 26543 26543 26090 0 -1 1077944384 12181 0 0 0 176 1 0 0 20 0 15 0 515988850 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446057085680 140446593108610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26556] ppid=26543 vsize=15151156 memory=0 CPUtime=1.77 cores=0,2,4,6
/proc/26545/task/26556/stat : 26556 (java) S 26543 26543 26090 0 -1 1077944384 7711 0 0 0 176 1 0 0 20 0 15 0 515988850 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446056033136 140446593108610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26557] ppid=26543 vsize=15151156 memory=0 CPUtime=0.7 cores=0,2,4,6
/proc/26545/task/26557/stat : 26557 (java) S 26543 26543 26090 0 -1 1077944384 7276 0 0 0 69 1 0 0 20 0 15 0 515988850 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446054980080 140446593108610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26558] ppid=26543 vsize=15151156 memory=140012377847504 CPUtime=0 cores=0,2,4,6
/proc/26545/task/26558/stat : 26558 (java) S 26543 26543 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515988850 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446053927776 140446593107669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
[pid=26545/tid=26559] ppid=26543 vsize=15151156 memory=280024756489600 CPUtime=0.75 cores=0,2,4,6
/proc/26545/task/26559/stat : 26559 (java) S 26543 26543 26090 0 -1 1077944384 664 0 0 0 33 42 0 0 20 0 15 0 515988851 15514783744 1571358 33554432000 4194304 4196468 140730240776960 140446052874800 140446593108610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 38277120 140730240783323 140730240783498 140730240783498 140730240786383 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 6286888 KiB

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

[startup+2505.02 s]
# the end of solver process 26543 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001599 s, system=0.000799 s

[startup+2505.04 s]
# the end of solver process 26545 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.11 s, system=4.98542 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): 2505.04
CPU time (s): 2520.09
CPU user time (s): 2515.11
CPU system time (s): 4.98542
CPU usage (%): 100.601
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 8313384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.11
system time used= 4.98542
maximum resident set size= 8322168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139168
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73634
involuntary context switches= 3054


# summary of solver processes directly reported to runsolver:
#   pid: 26543,26545
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2515.11
#   total CPU system time (s): 4.98542

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6474 second user time and 23.9749 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25a.xml
MD5SUM	395c447fdc403b125102e151795ddb76
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	24
Best CPU time to get the best result obtained on this benchmark	29.6788
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	8260
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	3
Maximum variable degree	129
Distribution of variable degrees	[{"degree":3,"count":4},{"degree":4,"count":9},{"degree":5,"count":12},{"degree":6,"count":13},{"degree":7,"count":7},{"degree":8,"count":10},{"degree":9,"count":2},{"degree":10,"count":8},{"degree":11,"count":3},{"degree":12,"count":4},{"degree":13,"count":5},{"degree":14,"count":1},{"degree":15,"count":4},{"degree":16,"count":1},{"degree":17,"count":5},{"degree":18,"count":4},{"degree":19,"count":7},{"degree":20,"count":13},{"degree":21,"count":10},{"degree":22,"count":8},{"degree":23,"count":4},{"degree":24,"count":2},{"degree":25,"count":11},{"degree":26,"count":11},{"degree":27,"count":3},"...",{"degree":72,"count":1}, {"degree":73,"count":1}, {"degree":74,"count":1}, {"degree":75,"count":1}, {"degree":76,"count":3}, {"degree":77,"count":7}, {"degree":78,"count":4}, {"degree":79,"count":6}, {"degree":81,"count":1}, {"degree":82,"count":1}, {"degree":83,"count":2}, {"degree":84,"count":1}, {"degree":85,"count":2}, {"degree":86,"count":1}, {"degree":87,"count":2}, {"degree":89,"count":1}, {"degree":90,"count":2}, {"degree":91,"count":1}, {"degree":92,"count":1}, {"degree":93,"count":1}, {"degree":96,"count":1}, {"degree":98,"count":1}, {"degree":99,"count":1}, {"degree":107,"count":1}, {"degree":129,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":8260}]
Number of extensional constraints	0
Number of intensional constraints	8260
Distribution of constraint types	[{"type":"intension","count":8260}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4406306

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
