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)	22	2520.06	2508.41
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 (10360 MiB free)
  memory of node 1: 16384 MiB (12571 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406308-1569414597/watcher-4406308-1569414597 -o /var/tmp/evaluation-result-4406308-1569414597/solver-4406308-1569414597 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1569396629-4889 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 954226294 HOME/instance-4406308-1569414597.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=8781, runsolver pid=8778
Current StackSize limit: 8192 KiB


[startup+0.100117 s]*
/proc/loadavg: 1.87 1.91 2.05 4/230 8797
/proc/meminfo: memFree=23465704/32770624 swapFree=66976792/67108860
[pid=8781] ppid=8778 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8781/stat : 8781 (xcsp3-exec) S 8778 8781 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517399751 115843072 364 33554432000 4194304 5098028 140734492157808 140734492155912 139799735087740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32268288 140734492164951 140734492165209 140734492165209 140734492168134 0
/proc/8781/statm: 28282 364 305 221 0 87 0
[pid=8783] ppid=8781 vsize=15144776 memory=28856 CPUtime=0.12 cores=1,3,5,7
/proc/8783/stat : 8783 (java) S 8781 8781 4857 0 -1 1077944320 5690 0 0 0 11 1 0 0 20 0 15 0 517399751 15508250624 7214 33554432000 4194304 4196468 140720706877008 140720706859552 139624062340855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
/proc/8783/statm: 3786194 7214 3116 1 0 3748377 0
[pid=8783/tid=8784] ppid=8781 vsize=15144776 memory=8332122889567572827 CPUtime=0.08 cores=1,3,5,7
/proc/8783/task/8784/stat : 8784 (java) R 8781 8781 4857 0 -1 4202560 3639 0 0 0 8 0 0 0 20 0 15 0 517399751 15508250624 7214 33554432000 4194304 4196468 140720706877008 139624066577280 139624062352790 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8785] ppid=8781 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8785/stat : 8785 (java) S 8781 8781 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517399752 15508250624 7214 33554432000 4194304 4196468 140720706877008 139623654414608 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8786] ppid=8781 vsize=15144776 memory=140082742994560 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8786/stat : 8786 (java) S 8781 8781 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517399752 15508250624 7214 33554432000 4194304 4196468 140720706877008 139623653362064 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8787] ppid=8781 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8787/stat : 8787 (java) S 8781 8781 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517399752 15508250624 7214 33554432000 4194304 4196468 140720706877008 139623652309520 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8788] ppid=8781 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8788/stat : 8788 (java) S 8781 8781 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517399752 15508250624 7214 33554432000 4194304 4196468 140720706877008 139623651256976 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8789] ppid=8781 vsize=15144776 memory=140082742994560 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8789/stat : 8789 (java) S 8781 8781 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517399754 15508250624 7214 33554432000 4194304 4196468 140720706877008 139623396370928 139624062352002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8790] ppid=8781 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8790/stat : 8790 (java) S 8781 8781 4857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517399754 15508250624 7214 33554432000 4194304 4196468 140720706877008 139623395317152 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8791] ppid=8781 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8791/stat : 8791 (java) S 8781 8781 4857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517399754 15508250624 7214 33554432000 4194304 4196468 140720706877008 139623394264560 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8792] ppid=8781 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8792/stat : 8792 (java) S 8781 8781 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517399757 15508250624 7214 33554432000 4194304 4196468 140720706877008 139623393213136 139624062359451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8793] ppid=8781 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8793/stat : 8793 (java) S 8781 8781 4857 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 517399757 15508250624 7214 33554432000 4194304 4196468 140720706877008 139623392159728 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8794] ppid=8781 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8794/stat : 8794 (java) S 8781 8781 4857 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 517399757 15508250624 7214 33554432000 4194304 4196468 140720706877008 139623391107184 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8795] ppid=8781 vsize=15144776 memory=140082742994560 CPUtime=0.02 cores=1,3,5,7
/proc/8783/task/8795/stat : 8795 (java) S 8781 8781 4857 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 15 0 517399757 15508250624 7214 33554432000 4194304 4196468 140720706877008 139623390054640 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8796] ppid=8781 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8796/stat : 8796 (java) S 8781 8781 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517399757 15508250624 7214 33554432000 4194304 4196468 140720706877008 139623389002336 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8797] ppid=8781 vsize=15144776 memory=140082742994560 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8797/stat : 8797 (java) S 8781 8781 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517399757 15508250624 7214 33554432000 4194304 4196468 140720706877008 139623387949872 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30312 KiB

[startup+0.210641 s]*
/proc/loadavg: 1.87 1.91 2.05 4/230 8797
/proc/meminfo: memFree=23452612/32770624 swapFree=66976792/67108860
[pid=8781] ppid=8778 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8781/stat : 8781 (xcsp3-exec) S 8778 8781 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517399751 115843072 364 33554432000 4194304 5098028 140734492157808 140734492155912 139799735087740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32268288 140734492164951 140734492165209 140734492165209 140734492168134 0
/proc/8781/statm: 28282 364 305 221 0 87 0
[pid=8783] ppid=8781 vsize=15144776 memory=41040 CPUtime=0.33 cores=1,3,5,7
/proc/8783/stat : 8783 (java) S 8781 8781 4857 0 -1 1077944320 9463 0 0 0 31 2 0 0 20 0 15 0 517399751 15508250624 10260 33554432000 4194304 4196468 140720706877008 140720706859552 139624062340855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
/proc/8783/statm: 3786194 10260 3312 1 0 3748377 0
[pid=8783/tid=8784] ppid=8781 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/8783/task/8784/stat : 8784 (java) R 8781 8781 4857 0 -1 4202560 6610 0 0 0 18 2 0 0 20 0 15 0 517399751 15508250624 10260 33554432000 4194304 4196468 140720706877008 139624066574976 139624062352790 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8785] ppid=8781 vsize=15144776 memory=1965946 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8785/stat : 8785 (java) S 8781 8781 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517399752 15508250624 10260 33554432000 4194304 4196468 140720706877008 139623654414608 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8786] ppid=8781 vsize=15144776 memory=140082746898953 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8786/stat : 8786 (java) S 8781 8781 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517399752 15508250624 10260 33554432000 4194304 4196468 140720706877008 139623653362064 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8787] ppid=8781 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8787/stat : 8787 (java) S 8781 8781 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517399752 15508250624 10260 33554432000 4194304 4196468 140720706877008 139623652309520 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8788] ppid=8781 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8788/stat : 8788 (java) S 8781 8781 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517399752 15508250624 10260 33554432000 4194304 4196468 140720706877008 139623651256976 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8789] ppid=8781 vsize=15144776 memory=140082742994560 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8789/stat : 8789 (java) S 8781 8781 4857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517399754 15508250624 10260 33554432000 4194304 4196468 140720706877008 139623396370928 139624062352002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8790] ppid=8781 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8790/stat : 8790 (java) S 8781 8781 4857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517399754 15508250624 10260 33554432000 4194304 4196468 140720706877008 139623395317152 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8791] ppid=8781 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8791/stat : 8791 (java) S 8781 8781 4857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517399754 15508250624 10260 33554432000 4194304 4196468 140720706877008 139623394264560 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8792] ppid=8781 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8792/stat : 8792 (java) S 8781 8781 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517399757 15508250624 10260 33554432000 4194304 4196468 140720706877008 139623393213136 139624062359451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8793] ppid=8781 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8783/task/8793/stat : 8793 (java) S 8781 8781 4857 0 -1 1077944384 635 0 0 0 3 0 0 0 20 0 15 0 517399757 15508250624 10260 33554432000 4194304 4196468 140720706877008 139623392159728 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8794] ppid=8781 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8783/task/8794/stat : 8794 (java) S 8781 8781 4857 0 -1 1077944384 167 0 0 0 2 0 0 0 20 0 15 0 517399757 15508250624 10260 33554432000 4194304 4196468 140720706877008 139623391107184 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8795] ppid=8781 vsize=15144776 memory=140082742994560 CPUtime=0.08 cores=1,3,5,7
/proc/8783/task/8795/stat : 8795 (java) R 8781 8781 4857 0 -1 4202560 742 0 0 0 8 0 0 0 20 0 15 0 517399757 15508250624 10260 33554432000 4194304 4196468 140720706877008 139623390054640 139624040533050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8796] ppid=8781 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8796/stat : 8796 (java) S 8781 8781 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517399757 15508250624 10260 33554432000 4194304 4196468 140720706877008 139623389002336 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8797] ppid=8781 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8797/stat : 8797 (java) S 8781 8781 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517399757 15508250624 10260 33554432000 4194304 4196468 140720706877008 139623387949872 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42496 KiB

[startup+0.310655 s]*
/proc/loadavg: 1.87 1.91 2.05 4/230 8797
/proc/meminfo: memFree=23445228/32770624 swapFree=66976792/67108860
[pid=8781] ppid=8778 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8781/stat : 8781 (xcsp3-exec) S 8778 8781 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517399751 115843072 364 33554432000 4194304 5098028 140734492157808 140734492155912 139799735087740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32268288 140734492164951 140734492165209 140734492165209 140734492168134 0
/proc/8781/statm: 28282 364 305 221 0 87 0
[pid=8783] ppid=8781 vsize=15149032 memory=50112 CPUtime=0.53 cores=1,3,5,7
/proc/8783/stat : 8783 (java) S 8781 8781 4857 0 -1 1077944320 10837 0 0 0 50 3 0 0 20 0 15 0 517399751 15512608768 12528 33554432000 4194304 4196468 140720706877008 140720706859552 139624062340855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
/proc/8783/statm: 3787258 12528 3364 1 0 3748377 0
[pid=8783/tid=8784] ppid=8781 vsize=15149032 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/8783/task/8784/stat : 8784 (java) R 8781 8781 4857 0 -1 4202560 7779 0 0 0 27 2 0 0 20 0 15 0 517399751 15512608768 12528 33554432000 4194304 4196468 140720706877008 139624066571968 139624046421342 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8785] ppid=8781 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8785/stat : 8785 (java) S 8781 8781 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517399752 15512608768 12528 33554432000 4194304 4196468 140720706877008 139623654414608 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8786] ppid=8781 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8786/stat : 8786 (java) S 8781 8781 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517399752 15512608768 12528 33554432000 4194304 4196468 140720706877008 139623653362064 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8787] ppid=8781 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8787/stat : 8787 (java) S 8781 8781 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517399752 15512608768 12528 33554432000 4194304 4196468 140720706877008 139623652309520 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8788] ppid=8781 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8788/stat : 8788 (java) S 8781 8781 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517399752 15512608768 12528 33554432000 4194304 4196468 140720706877008 139623651256976 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8789] ppid=8781 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8789/stat : 8789 (java) S 8781 8781 4857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517399754 15512608768 12528 33554432000 4194304 4196468 140720706877008 139623396370928 139624062352002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8790] ppid=8781 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8790/stat : 8790 (java) S 8781 8781 4857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517399754 15512608768 12528 33554432000 4194304 4196468 140720706877008 139623395317152 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8791] ppid=8781 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8791/stat : 8791 (java) S 8781 8781 4857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517399754 15512608768 12528 33554432000 4194304 4196468 140720706877008 139623394264560 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8792] ppid=8781 vsize=15149032 memory=8982046290584177472 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8792/stat : 8792 (java) S 8781 8781 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517399757 15512608768 12528 33554432000 4194304 4196468 140720706877008 139623393213136 139624062359451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8793] ppid=8781 vsize=15149032 memory=8325818968683490714 CPUtime=0.04 cores=1,3,5,7
/proc/8783/task/8793/stat : 8793 (java) S 8781 8781 4857 0 -1 1077944384 645 0 0 0 4 0 0 0 20 0 15 0 517399757 15512608768 12528 33554432000 4194304 4196468 140720706877008 139623392159728 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8794] ppid=8781 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/8783/task/8794/stat : 8794 (java) R 8781 8781 4857 0 -1 4202560 282 0 0 0 5 0 0 0 20 0 15 0 517399757 15512608768 12528 33554432000 4194304 4196468 140720706877008 139623391097568 139624043885375 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8795] ppid=8781 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/8783/task/8795/stat : 8795 (java) S 8781 8781 4857 0 -1 1077944384 843 0 0 0 12 0 0 0 20 0 15 0 517399757 15512608768 12528 33554432000 4194304 4196468 140720706877008 139623390054640 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8796] ppid=8781 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8796/stat : 8796 (java) S 8781 8781 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517399757 15512608768 12528 33554432000 4194304 4196468 140720706877008 139623389002336 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8797] ppid=8781 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8797/stat : 8797 (java) S 8781 8781 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517399757 15512608768 12528 33554432000 4194304 4196468 140720706877008 139623387949872 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51568 KiB

[startup+0.708075 s]
/proc/loadavg: 1.87 1.91 2.05 6/230 8797
/proc/meminfo: memFree=23422960/32770624 swapFree=66976792/67108860
[pid=8781] ppid=8778 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8781/stat : 8781 (xcsp3-exec) S 8778 8781 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517399751 115843072 364 33554432000 4194304 5098028 140734492157808 140734492155912 139799735087740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32268288 140734492164951 140734492165209 140734492165209 140734492168134 0
/proc/8781/statm: 28282 364 305 221 0 87 0
[pid=8783] ppid=8781 vsize=15151156 memory=100152 CPUtime=1.78 cores=1,3,5,7
/proc/8783/stat : 8783 (java) S 8781 8781 4857 0 -1 1077944320 15029 0 0 0 173 5 0 0 20 0 15 0 517399751 15514783744 25038 33554432000 4194304 4196468 140720706877008 140720706859552 139624062340855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
/proc/8783/statm: 3787789 25038 3446 1 0 3748889 0
[pid=8783/tid=8784] ppid=8781 vsize=15151156 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/8783/task/8784/stat : 8784 (java) R 8781 8781 4857 0 -1 4202560 8962 0 0 0 64 4 0 0 20 0 15 0 517399751 15514783744 25038 33554432000 4194304 4196468 140720706877008 139624066578056 139623703264519 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8785] ppid=8781 vsize=15151156 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8785/stat : 8785 (java) S 8781 8781 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517399752 15514783744 25038 33554432000 4194304 4196468 140720706877008 139623654414608 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8786] ppid=8781 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8786/stat : 8786 (java) S 8781 8781 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517399752 15514783744 25038 33554432000 4194304 4196468 140720706877008 139623653362064 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8787] ppid=8781 vsize=15151156 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8787/stat : 8787 (java) S 8781 8781 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517399752 15514783744 25038 33554432000 4194304 4196468 140720706877008 139623652309520 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8788] ppid=8781 vsize=15151156 memory=66928 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8788/stat : 8788 (java) S 8781 8781 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517399752 15514783744 25038 33554432000 4194304 4196468 140720706877008 139623651256976 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8789] ppid=8781 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8789/stat : 8789 (java) S 8781 8781 4857 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517399754 15514783744 25038 33554432000 4194304 4196468 140720706877008 139623396370928 139624062352002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8790] ppid=8781 vsize=15151156 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8790/stat : 8790 (java) S 8781 8781 4857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517399754 15514783744 25038 33554432000 4194304 4196468 140720706877008 139623395317152 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8791] ppid=8781 vsize=15151156 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8791/stat : 8791 (java) S 8781 8781 4857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517399754 15514783744 25038 33554432000 4194304 4196468 140720706877008 139623394264560 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8792] ppid=8781 vsize=15151156 memory=580 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8792/stat : 8792 (java) S 8781 8781 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517399757 15514783744 25038 33554432000 4194304 4196468 140720706877008 139623393213136 139624062359451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8793] ppid=8781 vsize=15151156 memory=1716 CPUtime=0.36 cores=1,3,5,7
/proc/8783/task/8793/stat : 8793 (java) R 8781 8781 4857 0 -1 4202560 1913 0 0 0 36 0 0 0 20 0 15 0 517399757 15514783744 25038 33554432000 4194304 4196468 140720706877008 139623392159728 139624045727954 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8794] ppid=8781 vsize=15151156 memory=10604 CPUtime=0.35 cores=1,3,5,7
/proc/8783/task/8794/stat : 8794 (java) R 8781 8781 4857 0 -1 4202560 1048 0 0 0 35 0 0 0 20 0 15 0 517399757 15514783744 25038 33554432000 4194304 4196468 140720706877008 139623391085712 139624041593435 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8795] ppid=8781 vsize=15151156 memory=3636 CPUtime=0.36 cores=1,3,5,7
/proc/8783/task/8795/stat : 8795 (java) R 8781 8781 4857 0 -1 4202560 1796 0 0 0 36 0 0 0 20 0 15 0 517399757 15514783744 25038 33554432000 4194304 4196468 140720706877008 139623390054640 139624062362202 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8796] ppid=8781 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8796/stat : 8796 (java) S 8781 8781 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517399757 15514783744 25038 33554432000 4194304 4196468 140720706877008 139623389002336 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8797] ppid=8781 vsize=15151156 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8797/stat : 8797 (java) S 8781 8781 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517399757 15514783744 25038 33554432000 4194304 4196468 140720706877008 139623387949872 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 101608 KiB

[startup+1.50088 s]
/proc/loadavg: 1.87 1.91 2.05 5/230 8797
/proc/meminfo: memFree=23333040/32770624 swapFree=66976792/67108860
[pid=8781] ppid=8778 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8781/stat : 8781 (xcsp3-exec) S 8778 8781 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517399751 115843072 364 33554432000 4194304 5098028 140734492157808 140734492155912 139799735087740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32268288 140734492164951 140734492165209 140734492165209 140734492168134 0
/proc/8781/statm: 28282 364 305 221 0 87 0

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

[pid=8783/tid=8789] ppid=8781 vsize=15153204 memory=2828 CPUtime=0.83 cores=1,3,5,7
/proc/8783/task/8789/stat : 8789 (java) S 8781 8781 4857 0 -1 1077944384 4440 0 0 0 80 3 0 0 20 0 15 0 517399754 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623396370928 139624062352002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8790] ppid=8781 vsize=15153204 memory=140082640347776 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8790/stat : 8790 (java) S 8781 8781 4857 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 517399754 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623395317216 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8791] ppid=8781 vsize=15153204 memory=602828 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8791/stat : 8791 (java) S 8781 8781 4857 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 517399754 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623394264576 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8792] ppid=8781 vsize=15153204 memory=602828 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8792/stat : 8792 (java) S 8781 8781 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517399757 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623393213136 139624062359451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8793] ppid=8781 vsize=15153204 memory=602828 CPUtime=4.6 cores=1,3,5,7
/proc/8783/task/8793/stat : 8793 (java) S 8781 8781 4857 0 -1 1077944384 26433 0 0 0 457 3 0 0 20 0 15 0 517399757 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623392159728 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8794] ppid=8781 vsize=15153204 memory=1456 CPUtime=4.64 cores=1,3,5,7
/proc/8783/task/8794/stat : 8794 (java) S 8781 8781 4857 0 -1 1077944384 26741 0 0 0 460 4 0 0 20 0 15 0 517399757 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623391107184 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8795] ppid=8781 vsize=15153204 memory=1456 CPUtime=0.91 cores=1,3,5,7
/proc/8783/task/8795/stat : 8795 (java) S 8781 8781 4857 0 -1 1077944384 15632 0 0 0 89 2 0 0 20 0 15 0 517399757 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623390054640 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8796] ppid=8781 vsize=15153204 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8796/stat : 8796 (java) S 8781 8781 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517399757 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623389002336 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8797] ppid=8781 vsize=15153204 memory=1440 CPUtime=0.73 cores=1,3,5,7
/proc/8783/task/8797/stat : 8797 (java) S 8781 8781 4857 0 -1 1077944384 1858 0 0 0 34 39 0 0 20 0 15 0 517399757 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623387949872 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
Current children cumulated CPU time: 2393.9 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 604284 KiB

[startup+2442.3 s]
/proc/loadavg: 1.81 1.77 1.82 3/229 9120
/proc/meminfo: memFree=23928200/32770624 swapFree=66976792/67108860
[pid=8781] ppid=8778 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8781/stat : 8781 (xcsp3-exec) S 8778 8781 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517399751 115843072 364 33554432000 4194304 5098028 140734492157808 140734492155912 139799735087740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32268288 140734492164951 140734492165209 140734492165209 140734492168134 0
/proc/8781/statm: 28282 364 305 221 0 87 0
[pid=8783] ppid=8781 vsize=15153204 memory=602828 CPUtime=2453.92 cores=1,3,5,7
/proc/8783/stat : 8783 (java) S 8781 8781 4857 0 -1 1077944320 111773 0 0 0 245327 65 0 0 20 0 15 0 517399751 15516880896 150707 33554432000 4194304 4196468 140720706877008 140720706859552 139624062340855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
/proc/8783/statm: 3788301 150707 3534 1 0 3749401 0
[pid=8783/tid=8784] ppid=8781 vsize=15153204 memory=602828 CPUtime=2441.32 cores=1,3,5,7
/proc/8783/task/8784/stat : 8784 (java) R 8781 8781 4857 0 -1 4202560 30648 0 0 0 244121 11 0 0 20 0 15 0 517399751 15516880896 150707 33554432000 4194304 4196468 140720706877008 139624066577656 139623708481447 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8785] ppid=8781 vsize=15153204 memory=1456 CPUtime=0.2 cores=1,3,5,7
/proc/8783/task/8785/stat : 8785 (java) S 8781 8781 4857 0 -1 1077944384 1487 0 0 0 18 2 0 0 20 0 15 0 517399752 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623654414608 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8786] ppid=8781 vsize=15153204 memory=602828 CPUtime=0.19 cores=1,3,5,7
/proc/8783/task/8786/stat : 8786 (java) S 8781 8781 4857 0 -1 1077944384 615 0 0 0 18 1 0 0 20 0 15 0 517399752 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623653362064 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8787] ppid=8781 vsize=15153204 memory=602828 CPUtime=0.18 cores=1,3,5,7
/proc/8783/task/8787/stat : 8787 (java) S 8781 8781 4857 0 -1 1077944384 1029 0 0 0 17 1 0 0 20 0 15 0 517399752 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623652309520 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8788] ppid=8781 vsize=15153204 memory=602828 CPUtime=0.2 cores=1,3,5,7
/proc/8783/task/8788/stat : 8788 (java) S 8781 8781 4857 0 -1 1077944384 1393 0 0 0 18 2 0 0 20 0 15 0 517399752 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623651256976 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8789] ppid=8781 vsize=15153204 memory=602828 CPUtime=0.83 cores=1,3,5,7
/proc/8783/task/8789/stat : 8789 (java) S 8781 8781 4857 0 -1 1077944384 4446 0 0 0 80 3 0 0 20 0 15 0 517399754 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623396370928 139624062352002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8790] ppid=8781 vsize=15153204 memory=602828 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8790/stat : 8790 (java) S 8781 8781 4857 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 517399754 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623395317216 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8791] ppid=8781 vsize=15153204 memory=602828 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8791/stat : 8791 (java) S 8781 8781 4857 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 517399754 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623394264576 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8792] ppid=8781 vsize=15153204 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8792/stat : 8792 (java) S 8781 8781 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517399757 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623393213136 139624062359451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8793] ppid=8781 vsize=15153204 memory=1456 CPUtime=4.6 cores=1,3,5,7
/proc/8783/task/8793/stat : 8793 (java) S 8781 8781 4857 0 -1 1077944384 26435 0 0 0 457 3 0 0 20 0 15 0 517399757 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623392159728 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8794] ppid=8781 vsize=15153204 memory=1456 CPUtime=4.64 cores=1,3,5,7
/proc/8783/task/8794/stat : 8794 (java) S 8781 8781 4857 0 -1 1077944384 26743 0 0 0 460 4 0 0 20 0 15 0 517399757 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623391107184 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8795] ppid=8781 vsize=15153204 memory=602828 CPUtime=0.91 cores=1,3,5,7
/proc/8783/task/8795/stat : 8795 (java) S 8781 8781 4857 0 -1 1077944384 15635 0 0 0 89 2 0 0 20 0 15 0 517399757 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623390054640 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8796] ppid=8781 vsize=15153204 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8796/stat : 8796 (java) S 8781 8781 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517399757 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623389002336 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8797] ppid=8781 vsize=15153204 memory=3620 CPUtime=0.73 cores=1,3,5,7
/proc/8783/task/8797/stat : 8797 (java) S 8781 8781 4857 0 -1 1077944384 1880 0 0 0 34 39 0 0 20 0 15 0 517399757 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623387949872 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
Current children cumulated CPU time: 2453.92 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 604284 KiB

[startup+2502.3 s]
/proc/loadavg: 1.83 1.78 1.82 3/231 9134
/proc/meminfo: memFree=23925392/32770624 swapFree=66976792/67108860
[pid=8781] ppid=8778 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8781/stat : 8781 (xcsp3-exec) S 8778 8781 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517399751 115843072 364 33554432000 4194304 5098028 140734492157808 140734492155912 139799735087740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32268288 140734492164951 140734492165209 140734492165209 140734492168134 0
/proc/8781/statm: 28282 364 305 221 0 87 0
[pid=8783] ppid=8781 vsize=15153204 memory=602828 CPUtime=2513.93 cores=1,3,5,7
/proc/8783/stat : 8783 (java) S 8781 8781 4857 0 -1 1077944320 112057 0 0 0 251328 65 0 0 20 0 15 0 517399751 15516880896 150707 33554432000 4194304 4196468 140720706877008 140720706859552 139624062340855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
/proc/8783/statm: 3788301 150707 3534 1 0 3749401 0
[pid=8783/tid=8784] ppid=8781 vsize=15153204 memory=1456 CPUtime=2501.32 cores=1,3,5,7
/proc/8783/task/8784/stat : 8784 (java) R 8781 8781 4857 0 -1 4202560 30897 0 0 0 250121 11 0 0 20 0 15 0 517399751 15516880896 150707 33554432000 4194304 4196468 140720706877008 139624066577656 139623708480960 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8785] ppid=8781 vsize=15153204 memory=1456 CPUtime=0.2 cores=1,3,5,7
/proc/8783/task/8785/stat : 8785 (java) S 8781 8781 4857 0 -1 1077944384 1487 0 0 0 18 2 0 0 20 0 15 0 517399752 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623654414608 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8786] ppid=8781 vsize=15153204 memory=602828 CPUtime=0.19 cores=1,3,5,7
/proc/8783/task/8786/stat : 8786 (java) S 8781 8781 4857 0 -1 1077944384 615 0 0 0 18 1 0 0 20 0 15 0 517399752 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623653362064 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8787] ppid=8781 vsize=15153204 memory=1456 CPUtime=0.18 cores=1,3,5,7
/proc/8783/task/8787/stat : 8787 (java) S 8781 8781 4857 0 -1 1077944384 1029 0 0 0 17 1 0 0 20 0 15 0 517399752 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623652309520 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8788] ppid=8781 vsize=15153204 memory=1456 CPUtime=0.2 cores=1,3,5,7
/proc/8783/task/8788/stat : 8788 (java) S 8781 8781 4857 0 -1 1077944384 1393 0 0 0 18 2 0 0 20 0 15 0 517399752 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623651256976 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8789] ppid=8781 vsize=15153204 memory=602828 CPUtime=0.83 cores=1,3,5,7
/proc/8783/task/8789/stat : 8789 (java) S 8781 8781 4857 0 -1 1077944384 4452 0 0 0 80 3 0 0 20 0 15 0 517399754 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623396370928 139624062352002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8790] ppid=8781 vsize=15153204 memory=55 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8790/stat : 8790 (java) S 8781 8781 4857 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 517399754 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623395317216 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8791] ppid=8781 vsize=15153204 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8791/stat : 8791 (java) S 8781 8781 4857 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 517399754 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623394264576 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8792] ppid=8781 vsize=15153204 memory=602828 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8792/stat : 8792 (java) S 8781 8781 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517399757 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623393213136 139624062359451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8793] ppid=8781 vsize=15153204 memory=5873 CPUtime=4.6 cores=1,3,5,7
/proc/8783/task/8793/stat : 8793 (java) S 8781 8781 4857 0 -1 1077944384 26437 0 0 0 457 3 0 0 20 0 15 0 517399757 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623392159728 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8794] ppid=8781 vsize=15153204 memory=602828 CPUtime=4.64 cores=1,3,5,7
/proc/8783/task/8794/stat : 8794 (java) S 8781 8781 4857 0 -1 1077944384 26745 0 0 0 460 4 0 0 20 0 15 0 517399757 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623391107184 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8795] ppid=8781 vsize=15153204 memory=1456 CPUtime=0.91 cores=1,3,5,7
/proc/8783/task/8795/stat : 8795 (java) S 8781 8781 4857 0 -1 1077944384 15638 0 0 0 89 2 0 0 20 0 15 0 517399757 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623390054640 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8796] ppid=8781 vsize=15153204 memory=602828 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8796/stat : 8796 (java) S 8781 8781 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517399757 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623389002336 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8797] ppid=8781 vsize=15153204 memory=1456 CPUtime=0.75 cores=1,3,5,7
/proc/8783/task/8797/stat : 8797 (java) S 8781 8781 4857 0 -1 1077944384 1902 0 0 0 35 40 0 0 20 0 15 0 517399757 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623387949872 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
Current children cumulated CPU time: 2513.93 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 604284 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2508.4 s]
/proc/loadavg: 1.77 1.77 1.82 3/230 9134
/proc/meminfo: memFree=23925440/32770624 swapFree=66976792/67108860
[pid=8781] ppid=8778 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8781/stat : 8781 (xcsp3-exec) S 8778 8781 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517399751 115843072 364 33554432000 4194304 5098028 140734492157808 140734492155912 139799735087740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32268288 140734492164951 140734492165209 140734492165209 140734492168134 0
/proc/8781/statm: 28282 364 305 221 0 87 0
[pid=8783] ppid=8781 vsize=15153204 memory=602828 CPUtime=2520.03 cores=1,3,5,7
/proc/8783/stat : 8783 (java) S 8781 8781 4857 0 -1 1077944320 112060 0 0 0 251938 65 0 0 20 0 15 0 517399751 15516880896 150707 33554432000 4194304 4196468 140720706877008 140720706859552 139624062340855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
/proc/8783/statm: 3788301 150707 3534 1 0 3749401 0
[pid=8783/tid=8784] ppid=8781 vsize=15153204 memory=5861551941731771749 CPUtime=2507.42 cores=1,3,5,7
/proc/8783/task/8784/stat : 8784 (java) R 8781 8781 4857 0 -1 4202560 30898 0 0 0 250731 11 0 0 20 0 15 0 517399751 15516880896 150707 33554432000 4194304 4196468 140720706877008 139624066577656 139623708481065 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8785] ppid=8781 vsize=15153204 memory=7309173310184708204 CPUtime=0.2 cores=1,3,5,7
/proc/8783/task/8785/stat : 8785 (java) S 8781 8781 4857 0 -1 1077944384 1487 0 0 0 18 2 0 0 20 0 15 0 517399752 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623654414608 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8786] ppid=8781 vsize=15153204 memory=1456 CPUtime=0.19 cores=1,3,5,7
/proc/8783/task/8786/stat : 8786 (java) S 8781 8781 4857 0 -1 1077944384 615 0 0 0 18 1 0 0 20 0 15 0 517399752 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623653362064 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8787] ppid=8781 vsize=15153204 memory=602828 CPUtime=0.18 cores=1,3,5,7
/proc/8783/task/8787/stat : 8787 (java) S 8781 8781 4857 0 -1 1077944384 1029 0 0 0 17 1 0 0 20 0 15 0 517399752 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623652309520 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8788] ppid=8781 vsize=15153204 memory=36384 CPUtime=0.2 cores=1,3,5,7
/proc/8783/task/8788/stat : 8788 (java) S 8781 8781 4857 0 -1 1077944384 1393 0 0 0 18 2 0 0 20 0 15 0 517399752 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623651256976 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8789] ppid=8781 vsize=15153204 memory=14048 CPUtime=0.83 cores=1,3,5,7
/proc/8783/task/8789/stat : 8789 (java) S 8781 8781 4857 0 -1 1077944384 4452 0 0 0 80 3 0 0 20 0 15 0 517399754 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623396370928 139624062352002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8790] ppid=8781 vsize=15153204 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8790/stat : 8790 (java) S 8781 8781 4857 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 517399754 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623395317216 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8791] ppid=8781 vsize=15153204 memory=500 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8791/stat : 8791 (java) S 8781 8781 4857 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 517399754 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623394264576 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8792] ppid=8781 vsize=15153204 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8792/stat : 8792 (java) S 8781 8781 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517399757 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623393213136 139624062359451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8793] ppid=8781 vsize=15153204 memory=928 CPUtime=4.6 cores=1,3,5,7
/proc/8783/task/8793/stat : 8793 (java) S 8781 8781 4857 0 -1 1077944384 26437 0 0 0 457 3 0 0 20 0 15 0 517399757 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623392159728 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8794] ppid=8781 vsize=15153204 memory=1772 CPUtime=4.64 cores=1,3,5,7
/proc/8783/task/8794/stat : 8794 (java) S 8781 8781 4857 0 -1 1077944384 26745 0 0 0 460 4 0 0 20 0 15 0 517399757 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623391107184 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8795] ppid=8781 vsize=15153204 memory=816 CPUtime=0.91 cores=1,3,5,7
/proc/8783/task/8795/stat : 8795 (java) S 8781 8781 4857 0 -1 1077944384 15638 0 0 0 89 2 0 0 20 0 15 0 517399757 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623390054640 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8796] ppid=8781 vsize=15153204 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/8783/task/8796/stat : 8796 (java) S 8781 8781 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517399757 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623389002336 139624062351061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
[pid=8783/tid=8797] ppid=8781 vsize=15153204 memory=1984 CPUtime=0.75 cores=1,3,5,7
/proc/8783/task/8797/stat : 8797 (java) S 8781 8781 4857 0 -1 1077944384 1904 0 0 0 35 40 0 0 20 0 15 0 517399757 15516880896 150707 33554432000 4194304 4196468 140720706877008 139623387949872 139624062352002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 26800128 140720706884571 140720706884746 140720706884746 140720706887631 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 604284 KiB

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

[startup+2508.41 s]
# the end of solver process 8781 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.4 s, system=0.665683 s

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2508.41
CPU time (s): 2520.06
CPU user time (s): 2519.4
CPU system time (s): 0.665683
CPU usage (%): 100.464
Max. virtual memory (cumulated for all children) (KiB): 15266332
Max. memory (cumulated for all children) (KiB): 604284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.4
system time used= 0.665683
maximum resident set size= 603344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113080
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57897
involuntary context switches= 889


# summary of solver processes directly reported to runsolver:
#   pid: 8781
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2519.4
#   total CPU system time (s): 0.665683

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7309 second user time and 22.55 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-08-opt_c18.xml
MD5SUM	edb7fc8f5d274005fc89ddd50225e87c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	18
Best CPU time to get the best result obtained on this benchmark	2520.11
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3757
Number of domains	7
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":48},{"size":22,"count":36},{"size":24,"count":18},{"size":36,"count":122},{"size":42,"count":170},{"size":44,"count":286}]
Minimum variable degree	2
Maximum variable degree	23
Distribution of variable degrees	[{"degree":2,"count":3},{"degree":3,"count":1},{"degree":4,"count":6},{"degree":5,"count":10},{"degree":6,"count":46},{"degree":7,"count":68},{"degree":8,"count":77},{"degree":9,"count":85},{"degree":10,"count":54},{"degree":11,"count":33},{"degree":12,"count":37},{"degree":13,"count":21},{"degree":14,"count":8},{"degree":15,"count":1},{"degree":16,"count":35},{"degree":17,"count":26},{"degree":18,"count":63},{"degree":19,"count":54},{"degree":20,"count":32},{"degree":21,"count":12},{"degree":22,"count":7},{"degree":23,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":3757}]
Number of extensional constraints	0
Number of intensional constraints	3757
Distribution of constraint types	[{"type":"intension","count":3757}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4406308

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
