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)	12	2520.07	2502.42
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 (13127 MiB free)
  memory of node 1: 16384 MiB (12480 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100296 s]*
/proc/loadavg: 1.70 1.67 1.13 4/229 26809
/proc/meminfo: memFree=26205052/32770624 swapFree=67002128/67108860
[pid=26793] ppid=26790 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26793/stat : 26793 (xcsp3-exec) S 26790 26793 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516014094 115843072 363 33554432000 4194304 5098028 140731061887472 140731061885576 140087485641340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11755520 140731061891928 140731061892185 140731061892185 140731061895110 0
/proc/26793/statm: 28282 363 304 221 0 87 0
[pid=26795] ppid=26793 vsize=15144776 memory=30040 CPUtime=0.13 cores=1,3,5,7
/proc/26795/stat : 26795 (java) S 26793 26793 26090 0 -1 1077944320 5473 0 0 0 12 1 0 0 20 0 15 0 516014094 15508250624 7510 33554432000 4194304 4196468 140730246347184 140730246329728 139968799399671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
/proc/26795/statm: 3786194 7510 3124 1 0 3748377 0
[pid=26795/tid=26796] ppid=26793 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/26795/task/26796/stat : 26796 (java) R 26793 26793 26090 0 -1 4202560 3368 0 0 0 9 0 0 0 20 0 15 0 516014095 15508250624 7510 33554432000 4194304 4196468 140730246347184 139968803630816 139968435489397 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26797] ppid=26793 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26797/stat : 26797 (java) S 26793 26793 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516014095 15508250624 7510 33554432000 4194304 4196468 140730246347184 139968758160144 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26798] ppid=26793 vsize=15144776 memory=140197943801472 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26798/stat : 26798 (java) S 26793 26793 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516014095 15508250624 7510 33554432000 4194304 4196468 140730246347184 139968390441872 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26799] ppid=26793 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26799/stat : 26799 (java) S 26793 26793 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516014095 15508250624 7510 33554432000 4194304 4196468 140730246347184 139968389389328 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26800] ppid=26793 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26800/stat : 26800 (java) S 26793 26793 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516014095 15508250624 7510 33554432000 4194304 4196468 140730246347184 139968388336784 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26801] ppid=26793 vsize=15144776 memory=140197943801472 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26801/stat : 26801 (java) S 26793 26793 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516014097 15508250624 7510 33554432000 4194304 4196468 140730246347184 139968133416944 139968799410818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26802] ppid=26793 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26802/stat : 26802 (java) S 26793 26793 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516014097 15508250624 7510 33554432000 4194304 4196468 140730246347184 139968132363168 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26803] ppid=26793 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26803/stat : 26803 (java) S 26793 26793 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516014097 15508250624 7510 33554432000 4194304 4196468 140730246347184 139968131310576 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26804] ppid=26793 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26804/stat : 26804 (java) S 26793 26793 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516014100 15508250624 7510 33554432000 4194304 4196468 140730246347184 139968130259152 139968799418267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26805] ppid=26793 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26805/stat : 26805 (java) S 26793 26793 26090 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 15 0 516014100 15508250624 7510 33554432000 4194304 4196468 140730246347184 139968129206768 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26806] ppid=26793 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26806/stat : 26806 (java) R 26793 26793 26090 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 516014100 15508250624 7510 33554432000 4194304 4196468 140730246347184 139968128154224 139968799410818 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26807] ppid=26793 vsize=15144776 memory=140197943801472 CPUtime=0.02 cores=1,3,5,7
/proc/26795/task/26807/stat : 26807 (java) R 26793 26793 26090 0 -1 4202560 347 0 0 0 2 0 0 0 20 0 15 0 516014100 15508250624 7510 33554432000 4194304 4196468 140730246347184 139968127101680 139968778081664 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26808] ppid=26793 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26808/stat : 26808 (java) S 26793 26793 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516014100 15508250624 7510 33554432000 4194304 4196468 140730246347184 139968126049376 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26809] ppid=26793 vsize=15144776 memory=140197943801472 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26809/stat : 26809 (java) S 26793 26793 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516014100 15508250624 7510 33554432000 4194304 4196468 140730246347184 139968124995888 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31492 KiB

[startup+0.211876 s]*
/proc/loadavg: 1.70 1.67 1.13 4/229 26809
/proc/meminfo: memFree=26192184/32770624 swapFree=67002128/67108860
[pid=26793] ppid=26790 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26793/stat : 26793 (xcsp3-exec) S 26790 26793 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516014094 115843072 363 33554432000 4194304 5098028 140731061887472 140731061885576 140087485641340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11755520 140731061891928 140731061892185 140731061892185 140731061895110 0
/proc/26793/statm: 28282 363 304 221 0 87 0
[pid=26795] ppid=26793 vsize=15144776 memory=40580 CPUtime=0.35 cores=1,3,5,7
/proc/26795/stat : 26795 (java) S 26793 26793 26090 0 -1 1077944320 8860 0 0 0 33 2 0 0 20 0 15 0 516014094 15508250624 10145 33554432000 4194304 4196468 140730246347184 140730246329728 139968799399671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
/proc/26795/statm: 3786194 10145 3269 1 0 3748377 0
[pid=26795/tid=26796] ppid=26793 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/26795/task/26796/stat : 26796 (java) R 26793 26793 26090 0 -1 4202560 6134 0 0 0 19 1 0 0 20 0 15 0 516014095 15508250624 10145 33554432000 4194304 4196468 140730246347184 139968803634656 139968799421597 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26797] ppid=26793 vsize=15144776 memory=13620 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26797/stat : 26797 (java) S 26793 26793 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516014095 15508250624 10145 33554432000 4194304 4196468 140730246347184 139968758160144 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26798] ppid=26793 vsize=15144776 memory=140197947635013 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26798/stat : 26798 (java) S 26793 26793 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516014095 15508250624 10145 33554432000 4194304 4196468 140730246347184 139968390441872 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26799] ppid=26793 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26799/stat : 26799 (java) S 26793 26793 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516014095 15508250624 10145 33554432000 4194304 4196468 140730246347184 139968389389328 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26800] ppid=26793 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26800/stat : 26800 (java) S 26793 26793 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516014095 15508250624 10145 33554432000 4194304 4196468 140730246347184 139968388336784 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26801] ppid=26793 vsize=15144776 memory=140197943801472 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26801/stat : 26801 (java) S 26793 26793 26090 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516014097 15508250624 10145 33554432000 4194304 4196468 140730246347184 139968133416944 139968799410818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26802] ppid=26793 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26802/stat : 26802 (java) S 26793 26793 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516014097 15508250624 10145 33554432000 4194304 4196468 140730246347184 139968132363168 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26803] ppid=26793 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26803/stat : 26803 (java) S 26793 26793 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516014097 15508250624 10145 33554432000 4194304 4196468 140730246347184 139968131310576 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26804] ppid=26793 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26804/stat : 26804 (java) S 26793 26793 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516014100 15508250624 10145 33554432000 4194304 4196468 140730246347184 139968130259152 139968799418267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26805] ppid=26793 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26795/task/26805/stat : 26805 (java) S 26793 26793 26090 0 -1 1077944384 366 0 0 0 2 0 0 0 20 0 15 0 516014100 15508250624 10145 33554432000 4194304 4196468 140730246347184 139968129206768 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26806] ppid=26793 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/26795/task/26806/stat : 26806 (java) S 26793 26793 26090 0 -1 1077944384 243 0 0 0 3 0 0 0 20 0 15 0 516014100 15508250624 10145 33554432000 4194304 4196468 140730246347184 139968128154224 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26807] ppid=26793 vsize=15144776 memory=140197943801472 CPUtime=0.08 cores=1,3,5,7
/proc/26795/task/26807/stat : 26807 (java) R 26793 26793 26090 0 -1 4202560 808 0 0 0 8 0 0 0 20 0 15 0 516014100 15508250624 10145 33554432000 4194304 4196468 140730246347184 139968127101680 139968799421018 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26808] ppid=26793 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26808/stat : 26808 (java) S 26793 26793 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516014100 15508250624 10145 33554432000 4194304 4196468 140730246347184 139968126049376 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26809] ppid=26793 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26809/stat : 26809 (java) S 26793 26793 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516014100 15508250624 10145 33554432000 4194304 4196468 140730246347184 139968124995888 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42032 KiB

[startup+0.318419 s]*
/proc/loadavg: 1.70 1.67 1.13 4/229 26809
/proc/meminfo: memFree=26184912/32770624 swapFree=67002128/67108860
[pid=26793] ppid=26790 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26793/stat : 26793 (xcsp3-exec) S 26790 26793 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516014094 115843072 363 33554432000 4194304 5098028 140731061887472 140731061885576 140087485641340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11755520 140731061891928 140731061892185 140731061892185 140731061895110 0
/proc/26793/statm: 28282 363 304 221 0 87 0
[pid=26795] ppid=26793 vsize=15149032 memory=50144 CPUtime=0.55 cores=1,3,5,7
/proc/26795/stat : 26795 (java) S 26793 26793 26090 0 -1 1077944320 10348 0 0 0 52 3 0 0 20 0 15 0 516014094 15512608768 12536 33554432000 4194304 4196468 140730246347184 140730246329728 139968799399671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
/proc/26795/statm: 3787258 12536 3348 1 0 3748377 0
[pid=26795/tid=26796] ppid=26793 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/26795/task/26796/stat : 26796 (java) R 26793 26793 26090 0 -1 4202560 7378 0 0 0 28 2 0 0 20 0 15 0 516014095 15512608768 12536 33554432000 4194304 4196468 140730246347184 139968803634480 139968783480158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26797] ppid=26793 vsize=15149032 memory=13961 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26797/stat : 26797 (java) S 26793 26793 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516014095 15512608768 12536 33554432000 4194304 4196468 140730246347184 139968758160144 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26798] ppid=26793 vsize=15149032 memory=3844132 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26798/stat : 26798 (java) S 26793 26793 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516014095 15512608768 12536 33554432000 4194304 4196468 140730246347184 139968390441872 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26799] ppid=26793 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26799/stat : 26799 (java) S 26793 26793 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516014095 15512608768 12536 33554432000 4194304 4196468 140730246347184 139968389389328 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26800] ppid=26793 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26800/stat : 26800 (java) S 26793 26793 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516014095 15512608768 12536 33554432000 4194304 4196468 140730246347184 139968388336784 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26801] ppid=26793 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26801/stat : 26801 (java) S 26793 26793 26090 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516014097 15512608768 12536 33554432000 4194304 4196468 140730246347184 139968133416944 139968799410818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26802] ppid=26793 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26802/stat : 26802 (java) S 26793 26793 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516014097 15512608768 12536 33554432000 4194304 4196468 140730246347184 139968132363168 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26803] ppid=26793 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26803/stat : 26803 (java) S 26793 26793 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516014097 15512608768 12536 33554432000 4194304 4196468 140730246347184 139968131310576 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26804] ppid=26793 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26804/stat : 26804 (java) S 26793 26793 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516014100 15512608768 12536 33554432000 4194304 4196468 140730246347184 139968130259152 139968799418267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26805] ppid=26793 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26795/task/26805/stat : 26805 (java) S 26793 26793 26090 0 -1 1077944384 372 0 0 0 3 0 0 0 20 0 15 0 516014100 15512608768 12536 33554432000 4194304 4196468 140730246347184 139968129206768 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26806] ppid=26793 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/26795/task/26806/stat : 26806 (java) S 26793 26793 26090 0 -1 1077944384 364 0 0 0 6 0 0 0 20 0 15 0 516014100 15512608768 12536 33554432000 4194304 4196468 140730246347184 139968128154224 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26807] ppid=26793 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/26795/task/26807/stat : 26807 (java) S 26793 26793 26090 0 -1 1077944384 931 0 0 0 13 0 0 0 20 0 15 0 516014100 15512608768 12536 33554432000 4194304 4196468 140730246347184 139968127101680 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26808] ppid=26793 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26808/stat : 26808 (java) S 26793 26793 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516014100 15512608768 12536 33554432000 4194304 4196468 140730246347184 139968126049376 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26809] ppid=26793 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26809/stat : 26809 (java) S 26793 26793 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516014100 15512608768 12536 33554432000 4194304 4196468 140730246347184 139968124995888 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51596 KiB

[startup+0.700917 s]
/proc/loadavg: 1.70 1.67 1.13 6/229 26809
/proc/meminfo: memFree=26164856/32770624 swapFree=67002128/67108860
[pid=26793] ppid=26790 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26793/stat : 26793 (xcsp3-exec) S 26790 26793 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516014094 115843072 363 33554432000 4194304 5098028 140731061887472 140731061885576 140087485641340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11755520 140731061891928 140731061892185 140731061892185 140731061895110 0
/proc/26793/statm: 28282 363 304 221 0 87 0
[pid=26795] ppid=26793 vsize=15151156 memory=90520 CPUtime=1.75 cores=1,3,5,7
/proc/26795/stat : 26795 (java) S 26793 26793 26090 0 -1 1077944320 15186 0 0 0 171 4 0 0 20 0 15 0 516014094 15514783744 22630 33554432000 4194304 4196468 140730246347184 140730246329728 139968799399671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
/proc/26795/statm: 3787789 22630 3450 1 0 3748889 0
[pid=26795/tid=26796] ppid=26793 vsize=15151156 memory=36080 CPUtime=0.67 cores=1,3,5,7
/proc/26795/task/26796/stat : 26796 (java) R 26793 26793 26090 0 -1 4202560 8624 0 0 0 65 2 0 0 20 0 15 0 516014095 15514783744 22630 33554432000 4194304 4196468 140730246347184 139968803632256 139968435633952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26797] ppid=26793 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26797/stat : 26797 (java) S 26793 26793 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516014095 15514783744 22630 33554432000 4194304 4196468 140730246347184 139968758160144 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26798] ppid=26793 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26798/stat : 26798 (java) S 26793 26793 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516014095 15514783744 22630 33554432000 4194304 4196468 140730246347184 139968390441872 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26799] ppid=26793 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26799/stat : 26799 (java) S 26793 26793 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516014095 15514783744 22630 33554432000 4194304 4196468 140730246347184 139968389389328 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26800] ppid=26793 vsize=15151156 memory=1824 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26800/stat : 26800 (java) S 26793 26793 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516014095 15514783744 22630 33554432000 4194304 4196468 140730246347184 139968388336784 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26801] ppid=26793 vsize=15151156 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26801/stat : 26801 (java) S 26793 26793 26090 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516014097 15514783744 22630 33554432000 4194304 4196468 140730246347184 139968133416944 139968799410818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26802] ppid=26793 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26802/stat : 26802 (java) S 26793 26793 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516014097 15514783744 22630 33554432000 4194304 4196468 140730246347184 139968132363168 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26803] ppid=26793 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26803/stat : 26803 (java) S 26793 26793 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516014097 15514783744 22630 33554432000 4194304 4196468 140730246347184 139968131310576 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26804] ppid=26793 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26804/stat : 26804 (java) S 26793 26793 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516014100 15514783744 22630 33554432000 4194304 4196468 140730246347184 139968130259152 139968799418267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26805] ppid=26793 vsize=15151156 memory=2676 CPUtime=0.34 cores=1,3,5,7
/proc/26795/task/26805/stat : 26805 (java) R 26793 26793 26090 0 -1 4202560 1393 0 0 0 34 0 0 0 20 0 15 0 516014100 15514783744 22630 33554432000 4194304 4196468 140730246347184 139968129195184 139968777416680 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26806] ppid=26793 vsize=15151156 memory=1764 CPUtime=0.29 cores=1,3,5,7
/proc/26795/task/26806/stat : 26806 (java) R 26793 26793 26090 0 -1 4202560 1217 0 0 0 29 0 0 0 20 0 15 0 516014100 15514783744 22630 33554432000 4194304 4196468 140730246347184 139968128154224 139968783686315 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26807] ppid=26793 vsize=15151156 memory=111632 CPUtime=0.4 cores=1,3,5,7
/proc/26795/task/26807/stat : 26807 (java) R 26793 26793 26090 0 -1 1077944384 2643 0 0 0 40 0 0 0 20 0 15 0 516014100 15514783744 22630 33554432000 4194304 4196468 140730246347184 139968127096720 139968799409877 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26808] ppid=26793 vsize=15151156 memory=796 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26808/stat : 26808 (java) S 26793 26793 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516014100 15514783744 22630 33554432000 4194304 4196468 140730246347184 139968126049376 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26809] ppid=26793 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26809/stat : 26809 (java) S 26793 26793 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516014100 15514783744 22630 33554432000 4194304 4196468 140730246347184 139968124995888 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 91972 KiB

[startup+1.50085 s]
/proc/loadavg: 1.81 1.70 1.14 6/229 26809
/proc/meminfo: memFree=26121172/32770624 swapFree=67002128/67108860
[pid=26793] ppid=26790 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26793/stat : 26793 (xcsp3-exec) S 26790 26793 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516014094 115843072 363 33554432000 4194304 5098028 140731061887472 140731061885576 140087485641340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11755520 140731061891928 140731061892185 140731061892185 140731061895110 0
/proc/26793/statm: 28282 363 304 221 0 87 0

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

/proc/26795/task/26803/stat : 26803 (java) S 26793 26793 26090 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 516014097 15514783744 318753 33554432000 4194304 4196468 140730246347184 139968131310592 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26804] ppid=26793 vsize=15151156 memory=1275012 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26804/stat : 26804 (java) S 26793 26793 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516014100 15514783744 318753 33554432000 4194304 4196468 140730246347184 139968130259152 139968799418267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26805] ppid=26793 vsize=15151156 memory=1452 CPUtime=1.82 cores=1,3,5,7
/proc/26795/task/26805/stat : 26805 (java) S 26793 26793 26090 0 -1 1077944384 10757 0 0 0 181 1 0 0 20 0 15 0 516014100 15514783744 318753 33554432000 4194304 4196468 140730246347184 139968129206768 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26806] ppid=26793 vsize=15151156 memory=1275012 CPUtime=1.84 cores=1,3,5,7
/proc/26795/task/26806/stat : 26806 (java) S 26793 26793 26090 0 -1 1077944384 15549 0 0 0 182 2 0 0 20 0 15 0 516014100 15514783744 318753 33554432000 4194304 4196468 140730246347184 139968128154224 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26807] ppid=26793 vsize=15151156 memory=1452 CPUtime=0.67 cores=1,3,5,7
/proc/26795/task/26807/stat : 26807 (java) S 26793 26793 26090 0 -1 1077944384 8276 0 0 0 66 1 0 0 20 0 15 0 516014100 15514783744 318753 33554432000 4194304 4196468 140730246347184 139968127101680 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26808] ppid=26793 vsize=15151156 memory=1275012 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26808/stat : 26808 (java) S 26793 26793 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516014100 15514783744 318753 33554432000 4194304 4196468 140730246347184 139968126049376 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26809] ppid=26793 vsize=15151156 memory=3616 CPUtime=0.56 cores=1,3,5,7
/proc/26795/task/26809/stat : 26809 (java) S 26793 26793 26090 0 -1 1077944384 2051 0 0 0 24 32 0 0 20 0 15 0 516014100 15514783744 318753 33554432000 4194304 4196468 140730246347184 139968124995888 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
Current children cumulated CPU time: 2399.9 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1276464 KiB

[startup+2442.3 s]
/proc/loadavg: 1.96 1.90 1.72 3/229 27132
/proc/meminfo: memFree=24964164/32770624 swapFree=67002128/67108860
[pid=26793] ppid=26790 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26793/stat : 26793 (xcsp3-exec) S 26790 26793 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516014094 115843072 363 33554432000 4194304 5098028 140731061887472 140731061885576 140087485641340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11755520 140731061891928 140731061892185 140731061892185 140731061895110 0
/proc/26793/statm: 28282 363 304 221 0 87 0
[pid=26795] ppid=26793 vsize=15151156 memory=1273984 CPUtime=2459.92 cores=1,3,5,7
/proc/26795/stat : 26795 (java) S 26793 26793 26090 0 -1 1077944320 330704 0 0 0 245301 691 0 0 20 0 15 0 516014094 15514783744 318496 33554432000 4194304 4196468 140730246347184 140730246329728 139968799399671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
/proc/26795/statm: 3787789 318496 3531 1 0 3748889 0
[pid=26795/tid=26796] ppid=26793 vsize=15151156 memory=1273984 CPUtime=2436.65 cores=1,3,5,7
/proc/26795/task/26796/stat : 26796 (java) R 26793 26793 26090 0 -1 4202560 214835 0 0 0 243062 603 0 0 20 0 15 0 516014095 15514783744 318496 33554432000 4194304 4196468 140730246347184 139968803639488 139968441197061 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26797] ppid=26793 vsize=15151156 memory=1275012 CPUtime=4.28 cores=1,3,5,7
/proc/26795/task/26797/stat : 26797 (java) S 26793 26793 26090 0 -1 1077944384 15530 0 0 0 420 8 0 0 20 0 15 0 516014095 15514783744 318496 33554432000 4194304 4196468 140730246347184 139968758160144 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26798] ppid=26793 vsize=15151156 memory=1275012 CPUtime=4.28 cores=1,3,5,7
/proc/26795/task/26798/stat : 26798 (java) S 26793 26793 26090 0 -1 1077944384 15685 0 0 0 418 10 0 0 20 0 15 0 516014095 15514783744 318496 33554432000 4194304 4196468 140730246347184 139968390441872 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26799] ppid=26793 vsize=15151156 memory=1275012 CPUtime=4.29 cores=1,3,5,7
/proc/26795/task/26799/stat : 26799 (java) S 26793 26793 26090 0 -1 1077944384 18974 0 0 0 420 9 0 0 20 0 15 0 516014095 15514783744 318496 33554432000 4194304 4196468 140730246347184 139968389389328 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26800] ppid=26793 vsize=15151156 memory=1452 CPUtime=4.26 cores=1,3,5,7
/proc/26795/task/26800/stat : 26800 (java) S 26793 26793 26090 0 -1 1077944384 14265 0 0 0 416 10 0 0 20 0 15 0 516014095 15514783744 318496 33554432000 4194304 4196468 140730246347184 139968388336784 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26801] ppid=26793 vsize=15151156 memory=1275012 CPUtime=1.16 cores=1,3,5,7
/proc/26795/task/26801/stat : 26801 (java) S 26793 26793 26090 0 -1 1077944384 13365 0 0 0 92 24 0 0 20 0 15 0 516014097 15514783744 318496 33554432000 4194304 4196468 140730246347184 139968133416944 139968799410818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26802] ppid=26793 vsize=15151156 memory=1275012 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26802/stat : 26802 (java) S 26793 26793 26090 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 516014097 15514783744 318496 33554432000 4194304 4196468 140730246347184 139968132363232 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26803] ppid=26793 vsize=15151156 memory=1275012 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26803/stat : 26803 (java) S 26793 26793 26090 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 516014097 15514783744 318496 33554432000 4194304 4196468 140730246347184 139968131310592 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26804] ppid=26793 vsize=15151156 memory=1275012 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26804/stat : 26804 (java) S 26793 26793 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516014100 15514783744 318496 33554432000 4194304 4196468 140730246347184 139968130259152 139968799418267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26805] ppid=26793 vsize=15151156 memory=1275012 CPUtime=1.82 cores=1,3,5,7
/proc/26795/task/26805/stat : 26805 (java) S 26793 26793 26090 0 -1 1077944384 10759 0 0 0 181 1 0 0 20 0 15 0 516014100 15514783744 318496 33554432000 4194304 4196468 140730246347184 139968129206768 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26806] ppid=26793 vsize=15151156 memory=1273984 CPUtime=1.84 cores=1,3,5,7
/proc/26795/task/26806/stat : 26806 (java) S 26793 26793 26090 0 -1 1077944384 15553 0 0 0 182 2 0 0 20 0 15 0 516014100 15514783744 318496 33554432000 4194304 4196468 140730246347184 139968128154224 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26807] ppid=26793 vsize=15151156 memory=1273984 CPUtime=0.67 cores=1,3,5,7
/proc/26795/task/26807/stat : 26807 (java) S 26793 26793 26090 0 -1 1077944384 8278 0 0 0 66 1 0 0 20 0 15 0 516014100 15514783744 318496 33554432000 4194304 4196468 140730246347184 139968127101680 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26808] ppid=26793 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26808/stat : 26808 (java) S 26793 26793 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516014100 15514783744 318496 33554432000 4194304 4196468 140730246347184 139968126049376 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26809] ppid=26793 vsize=15151156 memory=1452 CPUtime=0.57 cores=1,3,5,7
/proc/26795/task/26809/stat : 26809 (java) S 26793 26793 26090 0 -1 1077944384 2072 0 0 0 24 33 0 0 20 0 15 0 516014100 15514783744 318496 33554432000 4194304 4196468 140730246347184 139968124995888 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
Current children cumulated CPU time: 2459.92 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1275436 KiB

[startup+2502.3 s]
/proc/loadavg: 1.93 1.90 1.74 3/229 27296
/proc/meminfo: memFree=24969584/32770624 swapFree=67002128/67108860
[pid=26793] ppid=26790 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26793/stat : 26793 (xcsp3-exec) S 26790 26793 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516014094 115843072 363 33554432000 4194304 5098028 140731061887472 140731061885576 140087485641340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11755520 140731061891928 140731061892185 140731061892185 140731061895110 0
/proc/26793/statm: 28282 363 304 221 0 87 0
[pid=26795] ppid=26793 vsize=15151156 memory=1276032 CPUtime=2519.94 cores=1,3,5,7
/proc/26795/stat : 26795 (java) S 26793 26793 26090 0 -1 1077944320 331587 0 0 0 251302 692 0 0 20 0 15 0 516014094 15514783744 319008 33554432000 4194304 4196468 140730246347184 140730246329728 139968799399671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
/proc/26795/statm: 3787789 319008 3531 1 0 3748889 0
[pid=26795/tid=26796] ppid=26793 vsize=15151156 memory=1452 CPUtime=2496.65 cores=1,3,5,7
/proc/26795/task/26796/stat : 26796 (java) R 26793 26793 26090 0 -1 4202560 215424 0 0 0 249062 603 0 0 20 0 15 0 516014095 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968803639104 139968442153753 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26797] ppid=26793 vsize=15151156 memory=1276032 CPUtime=4.28 cores=1,3,5,7
/proc/26795/task/26797/stat : 26797 (java) S 26793 26793 26090 0 -1 1077944384 15535 0 0 0 420 8 0 0 20 0 15 0 516014095 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968758160144 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26798] ppid=26793 vsize=15151156 memory=1276032 CPUtime=4.29 cores=1,3,5,7
/proc/26795/task/26798/stat : 26798 (java) S 26793 26793 26090 0 -1 1077944384 15690 0 0 0 418 11 0 0 20 0 15 0 516014095 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968390441872 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26799] ppid=26793 vsize=15151156 memory=1276032 CPUtime=4.29 cores=1,3,5,7
/proc/26795/task/26799/stat : 26799 (java) S 26793 26793 26090 0 -1 1077944384 18983 0 0 0 420 9 0 0 20 0 15 0 516014095 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968389389328 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26800] ppid=26793 vsize=15151156 memory=1276032 CPUtime=4.26 cores=1,3,5,7
/proc/26795/task/26800/stat : 26800 (java) S 26793 26793 26090 0 -1 1077944384 14346 0 0 0 416 10 0 0 20 0 15 0 516014095 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968388336784 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26801] ppid=26793 vsize=15151156 memory=1452 CPUtime=1.17 cores=1,3,5,7
/proc/26795/task/26801/stat : 26801 (java) S 26793 26793 26090 0 -1 1077944384 13532 0 0 0 93 24 0 0 20 0 15 0 516014097 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968133416944 139968799410818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26802] ppid=26793 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26802/stat : 26802 (java) S 26793 26793 26090 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 516014097 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968132363232 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26803] ppid=26793 vsize=15151156 memory=1276032 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26803/stat : 26803 (java) S 26793 26793 26090 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 516014097 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968131310592 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26804] ppid=26793 vsize=15151156 memory=1276032 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26804/stat : 26804 (java) S 26793 26793 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516014100 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968130259152 139968799418267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26805] ppid=26793 vsize=15151156 memory=1276032 CPUtime=1.82 cores=1,3,5,7
/proc/26795/task/26805/stat : 26805 (java) S 26793 26793 26090 0 -1 1077944384 10761 0 0 0 181 1 0 0 20 0 15 0 516014100 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968129206768 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26806] ppid=26793 vsize=15151156 memory=1452 CPUtime=1.84 cores=1,3,5,7
/proc/26795/task/26806/stat : 26806 (java) S 26793 26793 26090 0 -1 1077944384 15557 0 0 0 182 2 0 0 20 0 15 0 516014100 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968128154224 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26807] ppid=26793 vsize=15151156 memory=1452 CPUtime=0.67 cores=1,3,5,7
/proc/26795/task/26807/stat : 26807 (java) S 26793 26793 26090 0 -1 1077944384 8280 0 0 0 66 1 0 0 20 0 15 0 516014100 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968127101680 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26808] ppid=26793 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26808/stat : 26808 (java) S 26793 26793 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516014100 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968126049376 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26809] ppid=26793 vsize=15151156 memory=1276032 CPUtime=0.59 cores=1,3,5,7
/proc/26795/task/26809/stat : 26809 (java) S 26793 26793 26090 0 -1 1077944384 2091 0 0 0 25 34 0 0 20 0 15 0 516014100 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968124995888 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
Current children cumulated CPU time: 2519.94 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1277484 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2502.4 s]
/proc/loadavg: 1.93 1.90 1.74 3/229 27296
/proc/meminfo: memFree=24969584/32770624 swapFree=67002128/67108860
[pid=26793] ppid=26790 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26793/stat : 26793 (xcsp3-exec) S 26790 26793 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516014094 115843072 363 33554432000 4194304 5098028 140731061887472 140731061885576 140087485641340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11755520 140731061891928 140731061892185 140731061892185 140731061895110 0
/proc/26793/statm: 28282 363 304 221 0 87 0
[pid=26795] ppid=26793 vsize=15151156 memory=1276032 CPUtime=2520.04 cores=1,3,5,7
/proc/26795/stat : 26795 (java) S 26793 26793 26090 0 -1 1077944320 331591 0 0 0 251312 692 0 0 20 0 15 0 516014094 15514783744 319008 33554432000 4194304 4196468 140730246347184 140730246329728 139968799399671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
/proc/26795/statm: 3787789 319008 3531 1 0 3748889 0
[pid=26795/tid=26796] ppid=26793 vsize=15151156 memory=2120 CPUtime=2496.75 cores=1,3,5,7
/proc/26795/task/26796/stat : 26796 (java) R 26793 26793 26090 0 -1 4202560 215426 0 0 0 249072 603 0 0 20 0 15 0 516014095 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968803639104 139968442153759 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26797] ppid=26793 vsize=15151156 memory=1056 CPUtime=4.28 cores=1,3,5,7
/proc/26795/task/26797/stat : 26797 (java) S 26793 26793 26090 0 -1 1077944384 15535 0 0 0 420 8 0 0 20 0 15 0 516014095 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968758160144 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26798] ppid=26793 vsize=15151156 memory=1568 CPUtime=4.29 cores=1,3,5,7
/proc/26795/task/26798/stat : 26798 (java) S 26793 26793 26090 0 -1 1077944384 15690 0 0 0 418 11 0 0 20 0 15 0 516014095 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968390441872 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26799] ppid=26793 vsize=15151156 memory=1064 CPUtime=4.29 cores=1,3,5,7
/proc/26795/task/26799/stat : 26799 (java) S 26793 26793 26090 0 -1 1077944384 18983 0 0 0 420 9 0 0 20 0 15 0 516014095 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968389389328 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26800] ppid=26793 vsize=15151156 memory=3616 CPUtime=4.26 cores=1,3,5,7
/proc/26795/task/26800/stat : 26800 (java) S 26793 26793 26090 0 -1 1077944384 14346 0 0 0 416 10 0 0 20 0 15 0 516014095 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968388336784 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26801] ppid=26793 vsize=15151156 memory=65944 CPUtime=1.17 cores=1,3,5,7
/proc/26795/task/26801/stat : 26801 (java) S 26793 26793 26090 0 -1 1077944384 13532 0 0 0 93 24 0 0 20 0 15 0 516014097 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968133416944 139968799410818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26802] ppid=26793 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26802/stat : 26802 (java) S 26793 26793 26090 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 516014097 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968132363232 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26803] ppid=26793 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26803/stat : 26803 (java) S 26793 26793 26090 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 516014097 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968131310592 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26804] ppid=26793 vsize=15151156 memory=1276032 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26804/stat : 26804 (java) S 26793 26793 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516014100 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968130259152 139968799418267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26805] ppid=26793 vsize=15151156 memory=1764 CPUtime=1.82 cores=1,3,5,7
/proc/26795/task/26805/stat : 26805 (java) S 26793 26793 26090 0 -1 1077944384 10761 0 0 0 181 1 0 0 20 0 15 0 516014100 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968129206768 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26806] ppid=26793 vsize=15151156 memory=1452 CPUtime=1.84 cores=1,3,5,7
/proc/26795/task/26806/stat : 26806 (java) S 26793 26793 26090 0 -1 1077944384 15557 0 0 0 182 2 0 0 20 0 15 0 516014100 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968128154224 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26807] ppid=26793 vsize=15151156 memory=1276032 CPUtime=0.67 cores=1,3,5,7
/proc/26795/task/26807/stat : 26807 (java) S 26793 26793 26090 0 -1 1077944384 8280 0 0 0 66 1 0 0 20 0 15 0 516014100 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968127101680 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26808] ppid=26793 vsize=15151156 memory=1736 CPUtime=0 cores=1,3,5,7
/proc/26795/task/26808/stat : 26808 (java) S 26793 26793 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516014100 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968126049376 139968799409877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
[pid=26795/tid=26809] ppid=26793 vsize=15151156 memory=1276032 CPUtime=0.59 cores=1,3,5,7
/proc/26795/task/26809/stat : 26809 (java) S 26793 26793 26090 0 -1 1077944384 2093 0 0 0 25 34 0 0 20 0 15 0 516014100 15514783744 319008 33554432000 4194304 4196468 140730246347184 139968124995888 139968799410818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27443200 140730246353883 140730246354058 140730246354058 140730246356943 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1277484 KiB

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

[startup+2502.41 s]
# the end of solver process 26793 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001173 s, system=0.001173 s

[startup+2502.42 s]
# the end of solver process 26795 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2513.14 s, system=6.93296 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): 2502.42
CPU time (s): 2520.07
CPU user time (s): 2513.14
CPU system time (s): 6.93296
CPU usage (%): 100.706
Max. virtual memory (cumulated for all children) (KiB): 15266324
Max. memory (cumulated for all children) (KiB): 6737736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.14
system time used= 6.93296
maximum resident set size= 6736284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332594
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73317
involuntary context switches= 4261


# summary of solver processes directly reported to runsolver:
#   pid: 26793,26795
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2513.14
#   total CPU system time (s): 6.93296

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2361 second user time and 23.0808 second system time

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

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
