2018 XCSP3 competition: parallel solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b par (e747e1e)	SAT (TO)	22	19183.7	2520.13
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 (8584 MiB free)
  memory of node 1: 16384 MiB (13541 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297887-1532707726/watcher-4297887-1532707726 -o /tmp/evaluation-result-4297887-1532707726/solver-4297887-1532707726 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532705147-14955 --watchdog 2580 HOME/xcsp3-exec -seed 454736887 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297887-1532707726.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0.100136 s]*
/proc/loadavg: 8.32 8.21 8.22 2/199 15912
/proc/meminfo: memFree=22640504/32770624 swapFree=67108772/67108860
[pid=15891] ppid=15888 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15891/stat : 15891 (xcsp3-exec) S 15888 15891 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88335525 115843072 363 33554432000 4194304 5098028 140731690209328 140731690207432 140237575746172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38641664 140731690210358 140731690210560 140731690210560 140731690213322 0
/proc/15891/statm: 28282 363 306 221 0 87 0
[pid=15893] ppid=15891 vsize=26104152 memory=26928 CPUtime=0.12 cores=0-7
/proc/15893/stat : 15893 (java) S 15891 15891 14928 0 -1 1077944320 5657 0 0 0 11 1 0 0 20 0 20 0 88335525 26730651648 6732 33554432000 4194304 4196468 140720788963680 140720788946224 140602071215863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
/proc/15893/statm: 6526038 6732 2993 1 0 6488315 0
[pid=15893/tid=15894] ppid=15891 vsize=26104152 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/15893/task/15894/stat : 15894 (java) R 15891 15891 14928 0 -1 4202560 3675 0 0 0 8 0 0 0 20 0 20 0 88335525 26730651648 6732 33554432000 4194304 4196468 140720788963680 140602075440336 140602071227798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15895] ppid=15891 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/15893/task/15895/stat : 15895 (java) S 15891 15891 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88335526 26730651648 6732 33554432000 4194304 4196468 140720788963680 140602023836176 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15896] ppid=15891 vsize=26104152 memory=140473655776896 CPUtime=0 cores=0-7
/proc/15893/task/15896/stat : 15896 (java) S 15891 15891 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88335526 26730651648 6732 33554432000 4194304 4196468 140720788963680 140602022783632 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15897] ppid=15891 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15897/stat : 15897 (java) S 15891 15891 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335526 26730651648 6732 33554432000 4194304 4196468 140720788963680 140602021730576 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15898] ppid=15891 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15898/stat : 15898 (java) S 15891 15891 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88335526 26730651648 6732 33554432000 4194304 4196468 140720788963680 140602020678032 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15899] ppid=15891 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15899/stat : 15899 (java) S 15891 15891 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335526 26730651648 6732 33554432000 4194304 4196468 140720788963680 140602019626000 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15900] ppid=15891 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/15893/task/15900/stat : 15900 (java) S 15891 15891 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335526 26730651648 6732 33554432000 4194304 4196468 140720788963680 140602018573456 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15901] ppid=15891 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15901/stat : 15901 (java) S 15891 15891 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335526 26730651648 6732 33554432000 4194304 4196468 140720788963680 140602017520400 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15902] ppid=15891 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15902/stat : 15902 (java) S 15891 15891 14928 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 88335526 26730651648 6732 33554432000 4194304 4196468 140720788963680 140602016467856 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15903] ppid=15891 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15903/stat : 15903 (java) S 15891 15891 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88335528 26730651648 6732 33554432000 4194304 4196468 140720788963680 140601198614768 140602071227010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15904] ppid=15891 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15904/stat : 15904 (java) S 15891 15891 14928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88335528 26730651648 6732 33554432000 4194304 4196468 140720788963680 140601197560992 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15905] ppid=15891 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15905/stat : 15905 (java) S 15891 15891 14928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88335528 26730651648 6732 33554432000 4194304 4196468 140720788963680 140601196507888 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15906] ppid=15891 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15906/stat : 15906 (java) S 15891 15891 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335531 26730651648 6732 33554432000 4194304 4196468 140720788963680 140601195456464 140602071234459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15907] ppid=15891 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15907/stat : 15907 (java) S 15891 15891 14928 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 88335531 26730651648 6732 33554432000 4194304 4196468 140720788963680 140601194404592 140602071227010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15908] ppid=15891 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15908/stat : 15908 (java) S 15891 15891 14928 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 88335531 26730651648 6732 33554432000 4194304 4196468 140720788963680 140601193352048 140602071227010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15909] ppid=15891 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15909/stat : 15909 (java) S 15891 15891 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88335531 26730651648 6732 33554432000 4194304 4196468 140720788963680 140601192298992 140602071227010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15910] ppid=15891 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/15893/task/15910/stat : 15910 (java) R 15891 15891 14928 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 20 0 88335531 26730651648 6732 33554432000 4194304 4196468 140720788963680 140601123138160 140602071227798 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15911] ppid=15891 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15911/stat : 15911 (java) S 15891 15891 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88335531 26730651648 6732 33554432000 4194304 4196468 140720788963680 140601122085344 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15912] ppid=15891 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/15893/task/15912/stat : 15912 (java) S 15891 15891 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335531 26730651648 6732 33554432000 4194304 4196468 140720788963680 140601121032880 140602071227010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28380 KiB

[startup+0.213151 s]*
/proc/loadavg: 8.32 8.21 8.22 3/199 15912
/proc/meminfo: memFree=22628796/32770624 swapFree=67108772/67108860
[pid=15891] ppid=15888 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15891/stat : 15891 (xcsp3-exec) S 15888 15891 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88335525 115843072 363 33554432000 4194304 5098028 140731690209328 140731690207432 140237575746172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38641664 140731690210358 140731690210560 140731690210560 140731690213322 0
/proc/15891/statm: 28282 363 306 221 0 87 0
[pid=15893] ppid=15891 vsize=26104152 memory=39636 CPUtime=0.34 cores=0-7
/proc/15893/stat : 15893 (java) S 15891 15891 14928 0 -1 1077944320 8524 0 0 0 32 2 0 0 20 0 20 0 88335525 26730651648 9909 33554432000 4194304 4196468 140720788963680 140720788946224 140602071215863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
/proc/15893/statm: 6526038 9909 3171 1 0 6488315 0
[pid=15893/tid=15894] ppid=15891 vsize=26104152 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/15893/task/15894/stat : 15894 (java) D 15891 15891 14928 0 -1 1077944384 5614 0 0 0 19 1 0 0 20 0 20 0 88335525 26730651648 9909 33554432000 4194304 4196468 140720788963680 140602075439848 140602063893877 0 4 0 16800975 18446744072101572132 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15895] ppid=15891 vsize=26104152 memory=330 CPUtime=0 cores=0-7
/proc/15893/task/15895/stat : 15895 (java) S 15891 15891 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88335526 26730651648 9909 33554432000 4194304 4196468 140720788963680 140602023836176 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15896] ppid=15891 vsize=26104152 memory=140473656270370 CPUtime=0 cores=0-7
/proc/15893/task/15896/stat : 15896 (java) S 15891 15891 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88335526 26730651648 9909 33554432000 4194304 4196468 140720788963680 140602022783632 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15897] ppid=15891 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/15893/task/15897/stat : 15897 (java) S 15891 15891 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335526 26730651648 9909 33554432000 4194304 4196468 140720788963680 140602021730576 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15898] ppid=15891 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15898/stat : 15898 (java) S 15891 15891 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88335526 26730651648 9909 33554432000 4194304 4196468 140720788963680 140602020678032 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15899] ppid=15891 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15899/stat : 15899 (java) S 15891 15891 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335526 26730651648 9909 33554432000 4194304 4196468 140720788963680 140602019626000 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15900] ppid=15891 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/15893/task/15900/stat : 15900 (java) S 15891 15891 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335526 26730651648 9909 33554432000 4194304 4196468 140720788963680 140602018573456 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15901] ppid=15891 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15901/stat : 15901 (java) S 15891 15891 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335526 26730651648 9909 33554432000 4194304 4196468 140720788963680 140602017520400 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15902] ppid=15891 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15902/stat : 15902 (java) S 15891 15891 14928 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 88335526 26730651648 9909 33554432000 4194304 4196468 140720788963680 140602016467856 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15903] ppid=15891 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15903/stat : 15903 (java) S 15891 15891 14928 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88335528 26730651648 9909 33554432000 4194304 4196468 140720788963680 140601198614768 140602071227010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15904] ppid=15891 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15904/stat : 15904 (java) S 15891 15891 14928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88335528 26730651648 9909 33554432000 4194304 4196468 140720788963680 140601197560992 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15905] ppid=15891 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15905/stat : 15905 (java) S 15891 15891 14928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88335528 26730651648 9909 33554432000 4194304 4196468 140720788963680 140601196507888 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15906] ppid=15891 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15906/stat : 15906 (java) S 15891 15891 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335531 26730651648 9909 33554432000 4194304 4196468 140720788963680 140601195456464 140602071234459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15907] ppid=15891 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/15893/task/15907/stat : 15907 (java) S 15891 15891 14928 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 20 0 88335531 26730651648 9909 33554432000 4194304 4196468 140720788963680 140601194404592 140602071227010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15908] ppid=15891 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/15893/task/15908/stat : 15908 (java) S 15891 15891 14928 0 -1 1077944384 160 0 0 0 2 0 0 0 20 0 20 0 88335531 26730651648 9909 33554432000 4194304 4196468 140720788963680 140601193352048 140602071227010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15909] ppid=15891 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/15893/task/15909/stat : 15909 (java) S 15891 15891 14928 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 20 0 88335531 26730651648 9909 33554432000 4194304 4196468 140720788963680 140601192298992 140602071227010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15910] ppid=15891 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/15893/task/15910/stat : 15910 (java) S 15891 15891 14928 0 -1 1077944384 798 0 0 0 7 0 0 0 20 0 20 0 88335531 26730651648 9909 33554432000 4194304 4196468 140720788963680 140601123138160 140602071227010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15911] ppid=15891 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15911/stat : 15911 (java) S 15891 15891 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88335531 26730651648 9909 33554432000 4194304 4196468 140720788963680 140601122085344 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15912] ppid=15891 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/15893/task/15912/stat : 15912 (java) S 15891 15891 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335531 26730651648 9909 33554432000 4194304 4196468 140720788963680 140601121032880 140602071227010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41088 KiB

[startup+0.320544 s]*
/proc/loadavg: 8.32 8.21 8.22 3/199 15912
/proc/meminfo: memFree=22621972/32770624 swapFree=67108772/67108860
[pid=15891] ppid=15888 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15891/stat : 15891 (xcsp3-exec) S 15888 15891 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88335525 115843072 363 33554432000 4194304 5098028 140731690209328 140731690207432 140237575746172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38641664 140731690210358 140731690210560 140731690210560 140731690213322 0
/proc/15891/statm: 28282 363 306 221 0 87 0
[pid=15893] ppid=15891 vsize=26108408 memory=47248 CPUtime=0.54 cores=0-7
/proc/15893/stat : 15893 (java) S 15891 15891 14928 0 -1 1077944320 9527 0 0 0 51 3 0 0 20 0 20 0 88335525 26735009792 11812 33554432000 4194304 4196468 140720788963680 140720788946224 140602071215863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
/proc/15893/statm: 6527102 11812 3226 1 0 6488315 0
[pid=15893/tid=15894] ppid=15891 vsize=26108408 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/15893/task/15894/stat : 15894 (java) R 15891 15891 14928 0 -1 4202560 6416 0 0 0 29 1 0 0 20 0 20 0 88335525 26735009792 11812 33554432000 4194304 4196468 140720788963680 140602075446976 140602055296350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15895] ppid=15891 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15895/stat : 15895 (java) S 15891 15891 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88335526 26735009792 11812 33554432000 4194304 4196468 140720788963680 140602023836176 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15896] ppid=15891 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15896/stat : 15896 (java) S 15891 15891 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88335526 26735009792 11812 33554432000 4194304 4196468 140720788963680 140602022783632 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15897] ppid=15891 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15897/stat : 15897 (java) S 15891 15891 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335526 26735009792 11812 33554432000 4194304 4196468 140720788963680 140602021730576 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15898] ppid=15891 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15898/stat : 15898 (java) S 15891 15891 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88335526 26735009792 11812 33554432000 4194304 4196468 140720788963680 140602020678032 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15899] ppid=15891 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/15893/task/15899/stat : 15899 (java) S 15891 15891 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335526 26735009792 11812 33554432000 4194304 4196468 140720788963680 140602019626000 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15900] ppid=15891 vsize=26108408 memory=140473549288367 CPUtime=0 cores=0-7
/proc/15893/task/15900/stat : 15900 (java) S 15891 15891 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335526 26735009792 11812 33554432000 4194304 4196468 140720788963680 140602018573456 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15901] ppid=15891 vsize=26108408 memory=140473549290672 CPUtime=0 cores=0-7
/proc/15893/task/15901/stat : 15901 (java) S 15891 15891 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335526 26735009792 11812 33554432000 4194304 4196468 140720788963680 140602017520400 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15902] ppid=15891 vsize=26108408 memory=140473549292976 CPUtime=0 cores=0-7
/proc/15893/task/15902/stat : 15902 (java) S 15891 15891 14928 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 88335526 26735009792 11812 33554432000 4194304 4196468 140720788963680 140602016467856 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15903] ppid=15891 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15903/stat : 15903 (java) S 15891 15891 14928 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88335528 26735009792 11812 33554432000 4194304 4196468 140720788963680 140601198614768 140602071227010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15904] ppid=15891 vsize=26108408 memory=280947098592912 CPUtime=0 cores=0-7
/proc/15893/task/15904/stat : 15904 (java) S 15891 15891 14928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88335528 26735009792 11812 33554432000 4194304 4196468 140720788963680 140601197560992 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15905] ppid=15891 vsize=26108408 memory=280947098599824 CPUtime=0 cores=0-7
/proc/15893/task/15905/stat : 15905 (java) S 15891 15891 14928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88335528 26735009792 11812 33554432000 4194304 4196468 140720788963680 140601196507888 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15906] ppid=15891 vsize=26108408 memory=280947098540976 CPUtime=0 cores=0-7
/proc/15893/task/15906/stat : 15906 (java) S 15891 15891 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335531 26735009792 11812 33554432000 4194304 4196468 140720788963680 140601195456464 140602071234459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15907] ppid=15891 vsize=26108408 memory=280947098613648 CPUtime=0.02 cores=0-7
/proc/15893/task/15907/stat : 15907 (java) S 15891 15891 14928 0 -1 1077944384 396 0 0 0 2 0 0 0 20 0 20 0 88335531 26735009792 11812 33554432000 4194304 4196468 140720788963680 140601194404592 140602071227010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15908] ppid=15891 vsize=26108408 memory=280947098620560 CPUtime=0.04 cores=0-7
/proc/15893/task/15908/stat : 15908 (java) R 15891 15891 14928 0 -1 1077944384 254 0 0 0 4 0 0 0 20 0 20 0 88335531 26735009792 11812 33554432000 4194304 4196468 140720788963680 140601193352048 140602071227010 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15909] ppid=15891 vsize=26108408 memory=280947098618256 CPUtime=0.01 cores=0-7
/proc/15893/task/15909/stat : 15909 (java) S 15891 15891 14928 0 -1 1077944384 265 0 0 0 1 0 0 0 20 0 20 0 88335531 26735009792 11812 33554432000 4194304 4196468 140720788963680 140601192298992 140602071227010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15910] ppid=15891 vsize=26108408 memory=280947098634416 CPUtime=0.12 cores=0-7
/proc/15893/task/15910/stat : 15910 (java) R 15891 15891 14928 0 -1 1077944384 886 0 0 0 12 0 0 0 20 0 20 0 88335531 26735009792 11812 33554432000 4194304 4196468 140720788963680 140601123138160 140602071227010 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15911] ppid=15891 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15911/stat : 15911 (java) S 15891 15891 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88335531 26735009792 11812 33554432000 4194304 4196468 140720788963680 140601122085344 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15912] ppid=15891 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/15893/task/15912/stat : 15912 (java) S 15891 15891 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335531 26735009792 11812 33554432000 4194304 4196468 140720788963680 140601121032880 140602071227010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48700 KiB

[startup+0.700985 s]
/proc/loadavg: 8.32 8.21 8.22 5/199 15912
/proc/meminfo: memFree=22600012/32770624 swapFree=67108772/67108860
[pid=15891] ppid=15888 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15891/stat : 15891 (xcsp3-exec) S 15888 15891 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88335525 115843072 363 33554432000 4194304 5098028 140731690209328 140731690207432 140237575746172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38641664 140731690210358 140731690210560 140731690210560 140731690213322 0
/proc/15891/statm: 28282 363 306 221 0 87 0
[pid=15893] ppid=15891 vsize=26110532 memory=101264 CPUtime=1.99 cores=0-7
/proc/15893/stat : 15893 (java) S 15891 15891 14928 0 -1 1077944320 14493 0 0 0 194 5 0 0 20 0 20 0 88335525 26737184768 25316 33554432000 4194304 4196468 140720788963680 140720788946224 140602071215863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
/proc/15893/statm: 6527633 25316 3362 1 0 6488827 0
[pid=15893/tid=15894] ppid=15891 vsize=26110532 memory=280947098992304 CPUtime=0.67 cores=0-7
/proc/15893/task/15894/stat : 15894 (java) R 15891 15891 14928 0 -1 4202560 7190 0 0 0 65 2 0 0 20 0 20 0 88335525 26737184768 25316 33554432000 4194304 4196468 140720788963680 140602075451152 140602050926144 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15895] ppid=15891 vsize=26110532 memory=140473549497200 CPUtime=0 cores=0-7
/proc/15893/task/15895/stat : 15895 (java) S 15891 15891 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88335526 26737184768 25316 33554432000 4194304 4196468 140720788963680 140602023836176 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15896] ppid=15891 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/15893/task/15896/stat : 15896 (java) S 15891 15891 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88335526 26737184768 25316 33554432000 4194304 4196468 140720788963680 140602022783632 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15897] ppid=15891 vsize=26110532 memory=4616 CPUtime=0 cores=0-7
/proc/15893/task/15897/stat : 15897 (java) S 15891 15891 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335526 26737184768 25316 33554432000 4194304 4196468 140720788963680 140602021730576 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0

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

[pid=15893/tid=15991] ppid=15891 vsize=26645092 memory=1232 CPUtime=2012.16 cores=0-7
/proc/15893/task/15991/stat : 15991 (java) R 15891 15891 14928 0 -1 4202560 9039 0 0 0 201207 9 0 0 20 0 28 0 88377059 27284574208 1147358 33554432000 4194304 4196468 140720788963680 140601108234072 140601688920600 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
Current children cumulated CPU time: 18563 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 4590884 KiB

[startup+2502.3 s]
/proc/loadavg: 8.03 8.21 8.16 9/209 16026
/proc/meminfo: memFree=18047268/32770624 swapFree=67108772/67108860
[pid=15891] ppid=15888 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15891/stat : 15891 (xcsp3-exec) S 15888 15891 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88335525 115843072 363 33554432000 4194304 5098028 140731690209328 140731690207432 140237575746172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38641664 140731690210358 140731690210560 140731690210560 140731690213322 0
/proc/15891/statm: 28282 363 306 221 0 87 0
[pid=15893] ppid=15891 vsize=26645092 memory=4616140 CPUtime=19041.6 cores=0-7
/proc/15893/stat : 15893 (java) S 15891 15891 14928 0 -1 1077944320 577189 0 0 0 1903238 922 0 0 20 0 28 0 88335525 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140720788946224 140602071215863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
/proc/15893/statm: 6661273 1154035 3468 1 0 6622467 0
[pid=15893/tid=15894] ppid=15891 vsize=26645092 memory=4616140 CPUtime=3.4 cores=0-7
/proc/15893/task/15894/stat : 15894 (java) S 15891 15891 14928 0 -1 1077944384 11702 0 0 0 330 10 0 0 20 0 28 0 88335525 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140602075456640 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15895] ppid=15891 vsize=26645092 memory=4601760 CPUtime=5.15 cores=0-7
/proc/15893/task/15895/stat : 15895 (java) S 15891 15891 14928 0 -1 1077944384 10286 0 0 0 489 26 0 0 20 0 28 0 88335526 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140602023836176 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15896] ppid=15891 vsize=26645092 memory=4601760 CPUtime=5.13 cores=0-7
/proc/15893/task/15896/stat : 15896 (java) S 15891 15891 14928 0 -1 1077944384 12284 0 0 0 486 27 0 0 20 0 28 0 88335526 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140602022783632 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15897] ppid=15891 vsize=26645092 memory=4616140 CPUtime=5.13 cores=0-7
/proc/15893/task/15897/stat : 15897 (java) S 15891 15891 14928 0 -1 1077944384 11923 0 0 0 485 28 0 0 20 0 28 0 88335526 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140602021730576 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15898] ppid=15891 vsize=26645092 memory=4616140 CPUtime=5.15 cores=0-7
/proc/15893/task/15898/stat : 15898 (java) S 15891 15891 14928 0 -1 1077944384 13133 0 0 0 486 29 0 0 20 0 28 0 88335526 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140602020678032 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15899] ppid=15891 vsize=26645092 memory=4616140 CPUtime=5.17 cores=0-7
/proc/15893/task/15899/stat : 15899 (java) S 15891 15891 14928 0 -1 1077944384 10069 0 0 0 490 27 0 0 20 0 28 0 88335526 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140602019626000 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15900] ppid=15891 vsize=26645092 memory=1452 CPUtime=5.16 cores=0-7
/proc/15893/task/15900/stat : 15900 (java) S 15891 15891 14928 0 -1 1077944384 12834 0 0 0 491 25 0 0 20 0 28 0 88335526 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140602018573456 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15901] ppid=15891 vsize=26645092 memory=1452 CPUtime=5.17 cores=0-7
/proc/15893/task/15901/stat : 15901 (java) S 15891 15891 14928 0 -1 1077944384 11145 0 0 0 483 34 0 0 20 0 28 0 88335526 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140602017520400 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15902] ppid=15891 vsize=26645092 memory=4616140 CPUtime=5.16 cores=0-7
/proc/15893/task/15902/stat : 15902 (java) S 15891 15891 14928 0 -1 1077944384 9549 0 0 0 489 27 0 0 20 0 28 0 88335526 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140602016467856 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15903] ppid=15891 vsize=26645092 memory=4589432 CPUtime=5.63 cores=0-7
/proc/15893/task/15903/stat : 15903 (java) S 15891 15891 14928 0 -1 1077944384 31149 0 0 0 531 32 0 0 20 0 28 0 88335528 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140601198614768 140602071227010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15904] ppid=15891 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/15893/task/15904/stat : 15904 (java) S 15891 15891 14928 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 88335528 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140601197561056 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15905] ppid=15891 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/15893/task/15905/stat : 15905 (java) S 15891 15891 14928 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 88335528 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140601196507904 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15906] ppid=15891 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/15893/task/15906/stat : 15906 (java) S 15891 15891 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88335531 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140601195456464 140602071234459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15907] ppid=15891 vsize=26645092 memory=4601760 CPUtime=5.93 cores=0-7
/proc/15893/task/15907/stat : 15907 (java) S 15891 15891 14928 0 -1 1077944384 44026 0 0 0 584 9 0 0 20 0 28 0 88335531 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140601194404592 140602071227010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15908] ppid=15891 vsize=26645092 memory=4601760 CPUtime=6.19 cores=0-7
/proc/15893/task/15908/stat : 15908 (java) S 15891 15891 14928 0 -1 1077944384 56173 0 0 0 605 14 0 0 20 0 28 0 88335531 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140601193352048 140602071227010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15909] ppid=15891 vsize=26645092 memory=4601760 CPUtime=5.97 cores=0-7
/proc/15893/task/15909/stat : 15909 (java) S 15891 15891 14928 0 -1 1077944384 47298 0 0 0 588 9 0 0 20 0 28 0 88335531 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140601192298992 140602071227010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15910] ppid=15891 vsize=26645092 memory=1452 CPUtime=1.18 cores=0-7
/proc/15893/task/15910/stat : 15910 (java) S 15891 15891 14928 0 -1 1077944384 28472 0 0 0 111 7 0 0 20 0 28 0 88335531 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140601123138160 140602071227010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15911] ppid=15891 vsize=26645092 memory=4601760 CPUtime=0 cores=0-7
/proc/15893/task/15911/stat : 15911 (java) S 15891 15891 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88335531 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140601122085344 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15912] ppid=15891 vsize=26645092 memory=1452 CPUtime=1.11 cores=0-7
/proc/15893/task/15912/stat : 15912 (java) S 15891 15891 14928 0 -1 1077944384 7012 0 0 0 53 58 0 0 20 0 28 0 88335531 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140601121032880 140602071227010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15984] ppid=15891 vsize=26645092 memory=1452 CPUtime=2079.99 cores=0-7
/proc/15893/task/15984/stat : 15984 (java) R 15891 15891 14928 0 -1 4202560 10446 0 0 0 207991 8 0 0 20 0 28 0 88377059 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140601102972112 140601688913083 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15985] ppid=15891 vsize=26645092 memory=280947098909056 CPUtime=2069.22 cores=0-7
/proc/15893/task/15985/stat : 15985 (java) R 15891 15891 14928 0 -1 4202560 6796 0 0 0 206914 8 0 0 20 0 28 0 88377059 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140601109286760 140601687199715 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15986] ppid=15891 vsize=26645092 memory=1452 CPUtime=2077.62 cores=0-7
/proc/15893/task/15986/stat : 15986 (java) R 15891 15891 14928 0 -1 4202560 8362 0 0 0 207752 10 0 0 20 0 28 0 88377059 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140601106129000 140601687277561 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15987] ppid=15891 vsize=26645092 memory=1452 CPUtime=2074.15 cores=0-7
/proc/15893/task/15987/stat : 15987 (java) R 15891 15891 14928 0 -1 4202560 80936 0 0 0 207220 195 0 0 20 0 28 0 88377059 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140601110340200 140601689368972 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15988] ppid=15891 vsize=26645092 memory=4616140 CPUtime=2079.86 cores=0-7
/proc/15893/task/15988/stat : 15988 (java) R 15891 15891 14928 0 -1 4202560 42717 0 0 0 207916 70 0 0 20 0 28 0 88377059 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140601105076152 140601683237824 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15989] ppid=15891 vsize=26645092 memory=1452 CPUtime=2070.88 cores=0-7
/proc/15893/task/15989/stat : 15989 (java) R 15891 15891 14928 0 -1 4202560 5398 0 0 0 207081 7 0 0 20 0 28 0 88377059 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140601104023280 140601688913310 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15990] ppid=15891 vsize=26645092 memory=4616140 CPUtime=2073.48 cores=0-7
/proc/15893/task/15990/stat : 15990 (java) R 15891 15891 14928 0 -1 4202560 11781 0 0 0 207335 13 0 0 20 0 28 0 88377059 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140601107181160 140601687199866 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15991] ppid=15891 vsize=26645092 memory=1452 CPUtime=2072.07 cores=0-7
/proc/15893/task/15991/stat : 15991 (java) R 15891 15891 14928 0 -1 4202560 9232 0 0 0 207198 9 0 0 20 0 28 0 88377059 27284574208 1154035 33554432000 4194304 4196468 140720788963680 140601108234344 140601687199767 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
Current children cumulated CPU time: 19041.6 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 4617592 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.03 8.20 8.16 9/209 16026
/proc/meminfo: memFree=18036840/32770624 swapFree=67108772/67108860
[pid=15891] ppid=15888 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15891/stat : 15891 (xcsp3-exec) S 15888 15891 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88335525 115843072 363 33554432000 4194304 5098028 140731690209328 140731690207432 140237575746172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38641664 140731690210358 140731690210560 140731690210560 140731690213322 0
/proc/15891/statm: 28282 363 306 221 0 87 0
[pid=15893] ppid=15891 vsize=26645092 memory=4626380 CPUtime=19182.9 cores=0-7
/proc/15893/stat : 15893 (java) S 15891 15891 14928 0 -1 1077944320 581118 0 0 0 1917363 925 0 0 20 0 28 0 88335525 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140720788946224 140602071215863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
/proc/15893/statm: 6661273 1156595 3468 1 0 6622467 0
[pid=15893/tid=15894] ppid=15891 vsize=26645092 memory=6791534058613427641 CPUtime=3.4 cores=0-7
/proc/15893/task/15894/stat : 15894 (java) S 15891 15891 14928 0 -1 1077944384 11702 0 0 0 330 10 0 0 20 0 28 0 88335525 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140602075456640 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15895] ppid=15891 vsize=26645092 memory=2200 CPUtime=5.17 cores=0-7
/proc/15893/task/15895/stat : 15895 (java) S 15891 15891 14928 0 -1 1077944384 10387 0 0 0 491 26 0 0 20 0 28 0 88335526 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140602023836176 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15896] ppid=15891 vsize=26645092 memory=7284 CPUtime=5.15 cores=0-7
/proc/15893/task/15896/stat : 15896 (java) S 15891 15891 14928 0 -1 1077944384 12296 0 0 0 488 27 0 0 20 0 28 0 88335526 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140602022783632 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15897] ppid=15891 vsize=26645092 memory=840 CPUtime=5.15 cores=0-7
/proc/15893/task/15897/stat : 15897 (java) S 15891 15891 14928 0 -1 1077944384 11989 0 0 0 487 28 0 0 20 0 28 0 88335526 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140602021730576 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15898] ppid=15891 vsize=26645092 memory=4872558044660077418 CPUtime=5.17 cores=0-7
/proc/15893/task/15898/stat : 15898 (java) S 15891 15891 14928 0 -1 1077944384 13328 0 0 0 488 29 0 0 20 0 28 0 88335526 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140602020678032 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15899] ppid=15891 vsize=26645092 memory=952 CPUtime=5.19 cores=0-7
/proc/15893/task/15899/stat : 15899 (java) S 15891 15891 14928 0 -1 1077944384 10231 0 0 0 492 27 0 0 20 0 28 0 88335526 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140602019626000 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15900] ppid=15891 vsize=26645092 memory=1232 CPUtime=5.18 cores=0-7
/proc/15893/task/15900/stat : 15900 (java) S 15891 15891 14928 0 -1 1077944384 12942 0 0 0 493 25 0 0 20 0 28 0 88335526 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140602018573456 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15901] ppid=15891 vsize=26645092 memory=2424 CPUtime=5.2 cores=0-7
/proc/15893/task/15901/stat : 15901 (java) S 15891 15891 14928 0 -1 1077944384 11241 0 0 0 485 35 0 0 20 0 28 0 88335526 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140602017520400 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15902] ppid=15891 vsize=26645092 memory=1576 CPUtime=5.19 cores=0-7
/proc/15893/task/15902/stat : 15902 (java) S 15891 15891 14928 0 -1 1077944384 10233 0 0 0 492 27 0 0 20 0 28 0 88335526 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140602016467856 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15903] ppid=15891 vsize=26645092 memory=928 CPUtime=5.63 cores=0-7
/proc/15893/task/15903/stat : 15903 (java) S 15891 15891 14928 0 -1 1077944384 31455 0 0 0 531 32 0 0 20 0 28 0 88335528 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140601198614768 140602071227010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15904] ppid=15891 vsize=26645092 memory=2240 CPUtime=0 cores=0-7
/proc/15893/task/15904/stat : 15904 (java) S 15891 15891 14928 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 88335528 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140601197561056 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15905] ppid=15891 vsize=26645092 memory=4124 CPUtime=0 cores=0-7
/proc/15893/task/15905/stat : 15905 (java) S 15891 15891 14928 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 88335528 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140601196507904 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15906] ppid=15891 vsize=26645092 memory=1444 CPUtime=0 cores=0-7
/proc/15893/task/15906/stat : 15906 (java) S 15891 15891 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88335531 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140601195456464 140602071234459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15907] ppid=15891 vsize=26645092 memory=5668 CPUtime=5.93 cores=0-7
/proc/15893/task/15907/stat : 15907 (java) S 15891 15891 14928 0 -1 1077944384 44029 0 0 0 584 9 0 0 20 0 28 0 88335531 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140601194404592 140602071227010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15908] ppid=15891 vsize=26645092 memory=4616 CPUtime=6.19 cores=0-7
/proc/15893/task/15908/stat : 15908 (java) S 15891 15891 14928 0 -1 1077944384 56182 0 0 0 605 14 0 0 20 0 28 0 88335531 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140601193352048 140602071227010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15909] ppid=15891 vsize=26645092 memory=14076 CPUtime=5.97 cores=0-7
/proc/15893/task/15909/stat : 15909 (java) S 15891 15891 14928 0 -1 1077944384 47301 0 0 0 588 9 0 0 20 0 28 0 88335531 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140601192298992 140602071227010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15910] ppid=15891 vsize=26645092 memory=1204 CPUtime=1.18 cores=0-7
/proc/15893/task/15910/stat : 15910 (java) S 15891 15891 14928 0 -1 1077944384 28475 0 0 0 111 7 0 0 20 0 28 0 88335531 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140601123138160 140602071227010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15911] ppid=15891 vsize=26645092 memory=15872 CPUtime=0 cores=0-7
/proc/15893/task/15911/stat : 15911 (java) S 15891 15891 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88335531 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140601122085344 140602071226069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15912] ppid=15891 vsize=26645092 memory=4008 CPUtime=1.12 cores=0-7
/proc/15893/task/15912/stat : 15912 (java) S 15891 15891 14928 0 -1 1077944384 7036 0 0 0 53 59 0 0 20 0 28 0 88335531 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140601121032880 140602071227010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15984] ppid=15891 vsize=26645092 memory=18264 CPUtime=2097.67 cores=0-7
/proc/15893/task/15984/stat : 15984 (java) R 15891 15891 14928 0 -1 4202560 10597 0 0 0 209759 8 0 0 20 0 28 0 88377059 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140601102969400 140601687199914 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15985] ppid=15891 vsize=26645092 memory=2408 CPUtime=2086.9 cores=0-7
/proc/15893/task/15985/stat : 15985 (java) R 15891 15891 14928 0 -1 4202560 6895 0 0 0 208681 9 0 0 20 0 28 0 88377059 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140601109286376 140601687199914 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15986] ppid=15891 vsize=26645092 memory=1724 CPUtime=2095.3 cores=0-7
/proc/15893/task/15986/stat : 15986 (java) R 15891 15891 14928 0 -1 4202560 8428 0 0 0 209520 10 0 0 20 0 28 0 88377059 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140601106129384 140601686806922 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15987] ppid=15891 vsize=26645092 memory=1004 CPUtime=2091.83 cores=0-7
/proc/15893/task/15987/stat : 15987 (java) R 15891 15891 14928 0 -1 4202560 81946 0 0 0 208987 196 0 0 20 0 28 0 88377059 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140601110339952 140601689369869 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15988] ppid=15891 vsize=26645092 memory=1952 CPUtime=2097.53 cores=0-7
/proc/15893/task/15988/stat : 15988 (java) R 15891 15891 14928 0 -1 4202560 43183 0 0 0 209683 70 0 0 20 0 28 0 88377059 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140601105076152 140601688920658 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15989] ppid=15891 vsize=26645092 memory=1708 CPUtime=2088.2 cores=0-7
/proc/15893/task/15989/stat : 15989 (java) R 15891 15891 14928 0 -1 4202560 5483 0 0 0 208813 7 0 0 20 0 28 0 88377059 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140601104023752 140601687007071 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15990] ppid=15891 vsize=26645092 memory=792 CPUtime=2091.15 cores=0-7
/proc/15893/task/15990/stat : 15990 (java) R 15891 15891 14928 0 -1 4202560 11961 0 0 0 209102 13 0 0 20 0 28 0 88377059 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140601107184160 140601688913144 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
[pid=15893/tid=15991] ppid=15891 vsize=26645092 memory=1228 CPUtime=2089.75 cores=0-7
/proc/15893/task/15991/stat : 15991 (java) R 15891 15891 14928 0 -1 4202560 9332 0 0 0 208966 9 0 0 20 0 28 0 88377059 27284574208 1156595 33554432000 4194304 4196468 140720788963680 140601108233976 140601687199706 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 9547776 140720788972673 140720788972845 140720788972845 140720788975567 0
Current children cumulated CPU time: 19182.9 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 4627832 KiB

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

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

[startup+2520.13 s]
# the end of solver process 15893 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19174.4 s, system=9.28167 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): 2520.13
CPU time (s): 19183.7
CPU user time (s): 19174.4
CPU system time (s): 9.28167
CPU usage (%): 761.216
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 4627832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19174.4
system time used= 9.28167
maximum resident set size= 4626784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 582202
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68639
involuntary context switches= 193809


# summary of solver processes directly reported to runsolver:
#   pid: 15891,15893
#   total CPU time (s): 19183.7
#   total CPU user time (s): 19174.4
#   total CPU system time (s): 9.28167

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.1753 second user time and 30.9571 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
Best value of the objective obtained on this benchmark	22
Best CPU time to get the best result obtained on this benchmark	19183.7
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 4297887

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
