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 parallel	SAT (TO)	18	20050	2520.11
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 (10783 MiB free)
  memory of node 1: 16384 MiB (14152 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407208-1569363594/watcher-4407208-1569363594 -o /tmp/evaluation-result-4407208-1569363594/solver-4407208-1569363594 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569358820-16113 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 642661352 HOME/instance-4407208-1569363594.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=17178, runsolver pid=17175
Current StackSize limit: 8192 KiB


[startup+0.100126 s]*
/proc/loadavg: 1.68 1.95 4.32 3/211 17199
/proc/meminfo: memFree=25517604/32770624 swapFree=67002584/67108860
[pid=17178] ppid=17175 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17178/stat : 17178 (xcsp3-exec) S 17175 17178 16086 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 512520969 115843072 363 33554432000 4194304 5098028 140735510646656 140735510644760 140099582829180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17113088 140735510655862 140735510656105 140735510656105 140735510659018 0
/proc/17178/statm: 28282 363 304 221 0 87 0
[pid=17180] ppid=17178 vsize=28227396 memory=29208 CPUtime=0.12 cores=0-7
/proc/17180/stat : 17180 (java) S 17178 17178 16086 0 -1 1077944320 5705 0 0 0 11 1 0 0 20 0 20 0 512520969 28904853504 7302 33554432000 4194304 4196468 140722638071216 140722638053760 139874157752055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
/proc/17180/statm: 7056849 7302 3144 1 0 7019032 0
[pid=17180/tid=17181] ppid=17178 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/17180/task/17181/stat : 17181 (java) R 17178 17178 16086 0 -1 4202560 3628 0 0 0 8 0 0 0 20 0 20 0 512520970 28904853504 7302 33554432000 4194304 4196468 140722638071216 139874161991296 139873746945874 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17182] ppid=17178 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17182/stat : 17182 (java) S 17178 17178 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512520970 28904853504 7302 33554432000 4194304 4196468 140722638071216 139874077604496 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17183] ppid=17178 vsize=28227396 memory=288370288349206144 CPUtime=0 cores=0-7
/proc/17180/task/17183/stat : 17183 (java) S 17178 17178 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512520970 28904853504 7302 33554432000 4194304 4196468 140722638071216 139874076551696 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17184] ppid=17178 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17184/stat : 17184 (java) S 17178 17178 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512520970 28904853504 7302 33554432000 4194304 4196468 140722638071216 139874075498896 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17185] ppid=17178 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17185/stat : 17185 (java) S 17178 17178 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512520970 28904853504 7302 33554432000 4194304 4196468 140722638071216 139874074446096 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17186] ppid=17178 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17186/stat : 17186 (java) S 17178 17178 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512520970 28904853504 7302 33554432000 4194304 4196468 140722638071216 139874073394320 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17187] ppid=17178 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17180/task/17187/stat : 17187 (java) S 17178 17178 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512520970 28904853504 7302 33554432000 4194304 4196468 140722638071216 139874072341520 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17188] ppid=17178 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17188/stat : 17188 (java) S 17178 17178 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512520970 28904853504 7302 33554432000 4194304 4196468 140722638071216 139874071288720 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17189] ppid=17178 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17189/stat : 17189 (java) S 17178 17178 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512520970 28904853504 7302 33554432000 4194304 4196468 140722638071216 139874070235920 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17190] ppid=17178 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17190/stat : 17190 (java) S 17178 17178 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512520972 28904853504 7302 33554432000 4194304 4196468 140722638071216 139873542580592 139874157763202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17191] ppid=17178 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17191/stat : 17191 (java) S 17178 17178 16086 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512520972 28904853504 7302 33554432000 4194304 4196468 140722638071216 139873541526560 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17192] ppid=17178 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17192/stat : 17192 (java) S 17178 17178 16086 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512520973 28904853504 7302 33554432000 4194304 4196468 140722638071216 139873540473712 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17193] ppid=17178 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17193/stat : 17193 (java) S 17178 17178 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512520975 28904853504 7302 33554432000 4194304 4196468 140722638071216 139873539422032 139874157770651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17194] ppid=17178 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17194/stat : 17194 (java) S 17178 17178 16086 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 20 0 512520975 28904853504 7302 33554432000 4194304 4196468 140722638071216 139873538370416 139874157763202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17195] ppid=17178 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17195/stat : 17195 (java) S 17178 17178 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512520975 28904853504 7302 33554432000 4194304 4196468 140722638071216 139873537317616 139874157763202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17196] ppid=17178 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17196/stat : 17196 (java) S 17178 17178 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512520975 28904853504 7302 33554432000 4194304 4196468 140722638071216 139873536264816 139874157763202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17197] ppid=17178 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/17180/task/17197/stat : 17197 (java) S 17178 17178 16086 0 -1 1077944384 335 0 0 0 2 0 0 0 20 0 20 0 512520975 28904853504 7302 33554432000 4194304 4196468 140722638071216 139873535212016 139874157763202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17198] ppid=17178 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17198/stat : 17198 (java) S 17178 17178 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512520975 28904853504 7302 33554432000 4194304 4196468 140722638071216 139873534159456 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17199] ppid=17178 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17180/task/17199/stat : 17199 (java) S 17178 17178 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512520976 28904853504 7302 33554432000 4194304 4196468 140722638071216 139873533106736 139874157763202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30660 KiB

[startup+0.210166 s]*
/proc/loadavg: 1.70 1.95 4.31 2/211 17199
/proc/meminfo: memFree=25504648/32770624 swapFree=67002584/67108860
[pid=17178] ppid=17175 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17178/stat : 17178 (xcsp3-exec) S 17175 17178 16086 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 512520969 115843072 363 33554432000 4194304 5098028 140735510646656 140735510644760 140099582829180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17113088 140735510655862 140735510656105 140735510656105 140735510659018 0
/proc/17178/statm: 28282 363 304 221 0 87 0
[pid=17180] ppid=17178 vsize=28227396 memory=41116 CPUtime=0.33 cores=0-7
/proc/17180/stat : 17180 (java) S 17178 17178 16086 0 -1 1077944320 9495 0 0 0 29 4 0 0 20 0 20 0 512520969 28904853504 10279 33554432000 4194304 4196468 140722638071216 140722638053760 139874157752055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
/proc/17180/statm: 7056849 10279 3286 1 0 7019032 0
[pid=17180/tid=17181] ppid=17178 vsize=28227396 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/17180/task/17181/stat : 17181 (java) R 17178 17178 16086 0 -1 4202560 6653 0 0 0 17 2 0 0 20 0 20 0 512520970 28904853504 10279 33554432000 4194304 4196468 140722638071216 139874161983136 139874157773402 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17182] ppid=17178 vsize=28227396 memory=14976 CPUtime=0 cores=0-7
/proc/17180/task/17182/stat : 17182 (java) S 17178 17178 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512520970 28904853504 10279 33554432000 4194304 4196468 140722638071216 139874077604496 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17183] ppid=17178 vsize=28227396 memory=139912197511381 CPUtime=0 cores=0-7
/proc/17180/task/17183/stat : 17183 (java) S 17178 17178 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512520970 28904853504 10279 33554432000 4194304 4196468 140722638071216 139874076551696 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17184] ppid=17178 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17180/task/17184/stat : 17184 (java) S 17178 17178 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512520970 28904853504 10279 33554432000 4194304 4196468 140722638071216 139874075498896 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17185] ppid=17178 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17185/stat : 17185 (java) S 17178 17178 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512520970 28904853504 10279 33554432000 4194304 4196468 140722638071216 139874074446096 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17186] ppid=17178 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17186/stat : 17186 (java) S 17178 17178 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512520970 28904853504 10279 33554432000 4194304 4196468 140722638071216 139874073394320 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17187] ppid=17178 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17180/task/17187/stat : 17187 (java) S 17178 17178 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512520970 28904853504 10279 33554432000 4194304 4196468 140722638071216 139874072341520 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17188] ppid=17178 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17188/stat : 17188 (java) S 17178 17178 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512520970 28904853504 10279 33554432000 4194304 4196468 140722638071216 139874071288720 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17189] ppid=17178 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17189/stat : 17189 (java) S 17178 17178 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512520970 28904853504 10279 33554432000 4194304 4196468 140722638071216 139874070235920 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17190] ppid=17178 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17190/stat : 17190 (java) S 17178 17178 16086 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512520972 28904853504 10279 33554432000 4194304 4196468 140722638071216 139873542580592 139874157763202 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17191] ppid=17178 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17191/stat : 17191 (java) S 17178 17178 16086 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512520972 28904853504 10279 33554432000 4194304 4196468 140722638071216 139873541526560 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17192] ppid=17178 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17192/stat : 17192 (java) S 17178 17178 16086 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512520973 28904853504 10279 33554432000 4194304 4196468 140722638071216 139873540473712 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17193] ppid=17178 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17193/stat : 17193 (java) S 17178 17178 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512520975 28904853504 10279 33554432000 4194304 4196468 140722638071216 139873539422032 139874157770651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17194] ppid=17178 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/17180/task/17194/stat : 17194 (java) S 17178 17178 16086 0 -1 1077944384 691 0 0 0 2 0 0 0 20 0 20 0 512520975 28904853504 10279 33554432000 4194304 4196468 140722638071216 139873538370416 139874157763202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17195] ppid=17178 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/17180/task/17195/stat : 17195 (java) S 17178 17178 16086 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 20 0 512520975 28904853504 10279 33554432000 4194304 4196468 140722638071216 139873537317616 139874157763202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17196] ppid=17178 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17180/task/17196/stat : 17196 (java) S 17178 17178 16086 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 512520975 28904853504 10279 33554432000 4194304 4196468 140722638071216 139873536264816 139874157763202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17197] ppid=17178 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/17180/task/17197/stat : 17197 (java) R 17178 17178 16086 0 -1 4202560 733 0 0 0 7 0 0 0 20 0 20 0 512520975 28904853504 10279 33554432000 4194304 4196468 140722638071216 139873535211824 139874149989182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17198] ppid=17178 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17198/stat : 17198 (java) S 17178 17178 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512520975 28904853504 10279 33554432000 4194304 4196468 140722638071216 139873534159456 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17199] ppid=17178 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17180/task/17199/stat : 17199 (java) S 17178 17178 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512520976 28904853504 10279 33554432000 4194304 4196468 140722638071216 139873533106736 139874157763202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42568 KiB

[startup+0.309896 s]*
/proc/loadavg: 1.70 1.95 4.31 5/211 17199
/proc/meminfo: memFree=25496768/32770624 swapFree=67002584/67108860
[pid=17178] ppid=17175 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17178/stat : 17178 (xcsp3-exec) S 17175 17178 16086 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 512520969 115843072 363 33554432000 4194304 5098028 140735510646656 140735510644760 140099582829180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17113088 140735510655862 140735510656105 140735510656105 140735510659018 0
/proc/17178/statm: 28282 363 304 221 0 87 0
[pid=17180] ppid=17178 vsize=28231652 memory=49812 CPUtime=0.51 cores=0-7
/proc/17180/stat : 17180 (java) S 17178 17178 16086 0 -1 1077944320 10877 0 0 0 47 4 0 0 20 0 20 0 512520969 28909211648 12453 33554432000 4194304 4196468 140722638071216 140722638053760 139874157752055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
/proc/17180/statm: 7057913 12453 3328 1 0 7019032 0
[pid=17180/tid=17181] ppid=17178 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/17180/task/17181/stat : 17181 (java) R 17178 17178 16086 0 -1 4202560 7778 0 0 0 27 3 0 0 20 0 20 0 512520970 28909211648 12482 33554432000 4194304 4196468 140722638071216 139874161983168 139874157775645 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17182] ppid=17178 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17182/stat : 17182 (java) S 17178 17178 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512520970 28909211648 12482 33554432000 4194304 4196468 140722638071216 139874077604496 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17183] ppid=17178 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17183/stat : 17183 (java) S 17178 17178 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512520970 28909211648 12482 33554432000 4194304 4196468 140722638071216 139874076551696 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17184] ppid=17178 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17184/stat : 17184 (java) S 17178 17178 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512520970 28909211648 12482 33554432000 4194304 4196468 140722638071216 139874075498896 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17185] ppid=17178 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17185/stat : 17185 (java) S 17178 17178 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512520970 28909211648 12482 33554432000 4194304 4196468 140722638071216 139874074446096 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17186] ppid=17178 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17186/stat : 17186 (java) S 17178 17178 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512520970 28909211648 12482 33554432000 4194304 4196468 140722638071216 139874073394320 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17187] ppid=17178 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17187/stat : 17187 (java) S 17178 17178 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512520970 28909211648 12482 33554432000 4194304 4196468 140722638071216 139874072341520 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17188] ppid=17178 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17188/stat : 17188 (java) S 17178 17178 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512520970 28909211648 12482 33554432000 4194304 4196468 140722638071216 139874071288720 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17189] ppid=17178 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17189/stat : 17189 (java) S 17178 17178 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512520970 28909211648 12482 33554432000 4194304 4196468 140722638071216 139874070235920 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17190] ppid=17178 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17190/stat : 17190 (java) S 17178 17178 16086 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512520972 28909211648 12482 33554432000 4194304 4196468 140722638071216 139873542580592 139874157763202 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17191] ppid=17178 vsize=28231652 memory=279824098860416 CPUtime=0 cores=0-7
/proc/17180/task/17191/stat : 17191 (java) S 17178 17178 16086 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512520972 28909211648 12482 33554432000 4194304 4196468 140722638071216 139873541526560 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17192] ppid=17178 vsize=28231652 memory=279824098865024 CPUtime=0 cores=0-7
/proc/17180/task/17192/stat : 17192 (java) S 17178 17178 16086 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512520973 28909211648 12482 33554432000 4194304 4196468 140722638071216 139873540473712 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17193] ppid=17178 vsize=28231652 memory=279824098869632 CPUtime=0 cores=0-7
/proc/17180/task/17193/stat : 17193 (java) S 17178 17178 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512520975 28909211648 12482 33554432000 4194304 4196468 140722638071216 139873539422032 139874157770651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17194] ppid=17178 vsize=28231652 memory=279824098874240 CPUtime=0.02 cores=0-7
/proc/17180/task/17194/stat : 17194 (java) S 17178 17178 16086 0 -1 1077944384 702 0 0 0 2 0 0 0 20 0 20 0 512520975 28909211648 12482 33554432000 4194304 4196468 140722638071216 139873538370416 139874157763202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17195] ppid=17178 vsize=28231652 memory=279824098878848 CPUtime=0.03 cores=0-7
/proc/17180/task/17195/stat : 17195 (java) R 17178 17178 16086 0 -1 4202560 194 0 0 0 3 0 0 0 20 0 20 0 512520975 28909211648 12482 33554432000 4194304 4196468 140722638071216 139873537308000 139874141136655 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17196] ppid=17178 vsize=28231652 memory=279824098883456 CPUtime=0.01 cores=0-7
/proc/17180/task/17196/stat : 17196 (java) S 17178 17178 16086 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 20 0 512520975 28909211648 12482 33554432000 4194304 4196468 140722638071216 139873536264816 139874157763202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17197] ppid=17178 vsize=28231652 memory=279824098888064 CPUtime=0.12 cores=0-7
/proc/17180/task/17197/stat : 17197 (java) S 17178 17178 16086 0 -1 1077944384 852 0 0 0 12 0 0 0 20 0 20 0 512520975 28909211648 12482 33554432000 4194304 4196468 140722638071216 139873535212016 139874157763202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17198] ppid=17178 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17198/stat : 17198 (java) S 17178 17178 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512520975 28909211648 12482 33554432000 4194304 4196468 140722638071216 139873534159456 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17199] ppid=17178 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/17180/task/17199/stat : 17199 (java) S 17178 17178 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512520976 28909211648 12482 33554432000 4194304 4196468 140722638071216 139873533106736 139874157763202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51264 KiB

[startup+0.700979 s]
/proc/loadavg: 1.70 1.95 4.31 5/211 17199
/proc/meminfo: memFree=25475672/32770624 swapFree=67002584/67108860
[pid=17178] ppid=17175 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17178/stat : 17178 (xcsp3-exec) S 17175 17178 16086 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 512520969 115843072 363 33554432000 4194304 5098028 140735510646656 140735510644760 140099582829180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17113088 140735510655862 140735510656105 140735510656105 140735510659018 0
/proc/17178/statm: 28282 363 304 221 0 87 0
[pid=17180] ppid=17178 vsize=28233776 memory=108020 CPUtime=1.97 cores=0-7
/proc/17180/stat : 17180 (java) S 17178 17178 16086 0 -1 1077944320 17053 0 0 0 190 7 0 0 20 0 20 0 512520969 28911386624 27005 33554432000 4194304 4196468 140722638071216 140722638053760 139874157752055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
/proc/17180/statm: 7058444 27005 3458 1 0 7019544 0
[pid=17180/tid=17181] ppid=17178 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/17180/task/17181/stat : 17181 (java) R 17178 17178 16086 0 -1 4202560 9124 0 0 0 64 4 0 0 20 0 20 0 512520970 28911386624 27005 33554432000 4194304 4196468 140722638071216 139874161987520 139874139315615 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17182] ppid=17178 vsize=28233776 memory=139912049632128 CPUtime=0 cores=0-7
/proc/17180/task/17182/stat : 17182 (java) S 17178 17178 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512520970 28911386624 27005 33554432000 4194304 4196468 140722638071216 139874077604496 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17183] ppid=17178 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/17180/task/17183/stat : 17183 (java) S 17178 17178 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512520970 28911386624 27005 33554432000 4194304 4196468 140722638071216 139874076551696 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17184] ppid=17178 vsize=28233776 memory=1052 CPUtime=0 cores=0-7
/proc/17180/task/17184/stat : 17184 (java) S 17178 17178 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512520970 28911386624 27005 33554432000 4194304 4196468 140722638071216 139874075498896 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0

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

[pid=17180/tid=17294] ppid=17178 vsize=28768336 memory=804 CPUtime=1997.44 cores=0-7
/proc/17180/task/17294/stat : 17294 (java) R 17178 17178 16086 0 -1 4202560 2949 0 0 0 199741 3 0 0 20 0 28 0 512570736 29458776064 1351609 33554432000 4194304 4196468 140722638071216 139873530343048 139873757413786 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
Current children cumulated CPU time: 19908.2 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5407888 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 8.24 8.32 8.02 9/221 17477
/proc/meminfo: memFree=20168864/32770624 swapFree=67002584/67108860
[pid=17178] ppid=17175 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17178/stat : 17178 (xcsp3-exec) S 17175 17178 16086 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 512520969 115843072 363 33554432000 4194304 5098028 140735510646656 140735510644760 140099582829180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17113088 140735510655862 140735510656105 140735510656105 140735510659018 0
/proc/17178/statm: 28282 363 304 221 0 87 0
[pid=17180] ppid=17178 vsize=28768336 memory=5367492 CPUtime=20049.3 cores=0-7
/proc/17180/stat : 17180 (java) S 17178 17178 16086 0 -1 1077944320 542592 0 0 0 2004112 819 0 0 20 0 28 0 512520969 29458776064 1341873 33554432000 4194304 4196468 140722638071216 140722638053760 139874157752055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
/proc/17180/statm: 7192084 1341873 3556 1 0 7153184 0
[pid=17180/tid=17181] ppid=17178 vsize=28768336 memory=5367492 CPUtime=3.06 cores=0-7
/proc/17180/task/17181/stat : 17181 (java) S 17178 17178 16086 0 -1 1077944384 13499 0 0 0 294 12 0 0 20 0 28 0 512520970 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139874161992832 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17182] ppid=17178 vsize=28768336 memory=5367492 CPUtime=3.58 cores=0-7
/proc/17180/task/17182/stat : 17182 (java) S 17178 17178 16086 0 -1 1077944384 8233 0 0 0 326 32 0 0 20 0 28 0 512520970 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139874077604496 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17183] ppid=17178 vsize=28768336 memory=5367492 CPUtime=3.54 cores=0-7
/proc/17180/task/17183/stat : 17183 (java) S 17178 17178 16086 0 -1 1077944384 10643 0 0 0 330 24 0 0 20 0 28 0 512520970 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139874076551696 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17184] ppid=17178 vsize=28768336 memory=5367492 CPUtime=3.58 cores=0-7
/proc/17180/task/17184/stat : 17184 (java) S 17178 17178 16086 0 -1 1077944384 9719 0 0 0 331 27 0 0 20 0 28 0 512520970 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139874075498896 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17185] ppid=17178 vsize=28768336 memory=1452 CPUtime=3.54 cores=0-7
/proc/17180/task/17185/stat : 17185 (java) S 17178 17178 16086 0 -1 1077944384 12347 0 0 0 327 27 0 0 20 0 28 0 512520970 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139874074446096 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17186] ppid=17178 vsize=28768336 memory=1760 CPUtime=3.55 cores=0-7
/proc/17180/task/17186/stat : 17186 (java) S 17178 17178 16086 0 -1 1077944384 8022 0 0 0 331 24 0 0 20 0 28 0 512520970 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139874073394320 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17187] ppid=17178 vsize=28768336 memory=5367492 CPUtime=3.52 cores=0-7
/proc/17180/task/17187/stat : 17187 (java) S 17178 17178 16086 0 -1 1077944384 12022 0 0 0 326 26 0 0 20 0 28 0 512520970 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139874072341520 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17188] ppid=17178 vsize=28768336 memory=111632 CPUtime=3.59 cores=0-7
/proc/17180/task/17188/stat : 17188 (java) S 17178 17178 16086 0 -1 1077944384 10883 0 0 0 331 28 0 0 20 0 28 0 512520970 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139874071288720 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17189] ppid=17178 vsize=28768336 memory=1452 CPUtime=3.58 cores=0-7
/proc/17180/task/17189/stat : 17189 (java) S 17178 17178 16086 0 -1 1077944384 9408 0 0 0 328 30 0 0 20 0 28 0 512520970 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139874070235920 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17190] ppid=17178 vsize=28768336 memory=5406436 CPUtime=3.81 cores=0-7
/proc/17180/task/17190/stat : 17190 (java) S 17178 17178 16086 0 -1 1077944384 25335 0 0 0 361 20 0 0 20 0 28 0 512520972 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139873542580592 139874157763202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17191] ppid=17178 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/17180/task/17191/stat : 17191 (java) S 17178 17178 16086 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 512520972 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139873541526624 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17192] ppid=17178 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/17180/task/17192/stat : 17192 (java) S 17178 17178 16086 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 28 0 512520973 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139873540473728 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17193] ppid=17178 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/17180/task/17193/stat : 17193 (java) S 17178 17178 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512520975 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139873539422032 139874157770651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17194] ppid=17178 vsize=28768336 memory=1452 CPUtime=4.62 cores=0-7
/proc/17180/task/17194/stat : 17194 (java) S 17178 17178 16086 0 -1 1077944384 40632 0 0 0 455 7 0 0 20 0 28 0 512520975 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139873538370416 139874157763202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17195] ppid=17178 vsize=28768336 memory=3588 CPUtime=5.08 cores=0-7
/proc/17180/task/17195/stat : 17195 (java) S 17178 17178 16086 0 -1 1077944384 43942 0 0 0 497 11 0 0 20 0 28 0 512520975 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139873537317616 139874157763202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17196] ppid=17178 vsize=28768336 memory=3588 CPUtime=4.63 cores=0-7
/proc/17180/task/17196/stat : 17196 (java) S 17178 17178 16086 0 -1 1077944384 33679 0 0 0 458 5 0 0 20 0 28 0 512520975 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139873536264816 139874157763202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17197] ppid=17178 vsize=28768336 memory=64016 CPUtime=1.11 cores=0-7
/proc/17180/task/17197/stat : 17197 (java) S 17178 17178 16086 0 -1 1077944384 25909 0 0 0 105 6 0 0 20 0 28 0 512520975 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139873535212016 139874157763202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17198] ppid=17178 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/17180/task/17198/stat : 17198 (java) S 17178 17178 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512520975 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139873534159456 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17199] ppid=17178 vsize=28768336 memory=64044 CPUtime=1.02 cores=0-7
/proc/17180/task/17199/stat : 17199 (java) S 17178 17178 16086 0 -1 1077944384 5119 0 0 0 0 102 0 0 20 0 28 0 512520976 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139873533106736 139874157763202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17287] ppid=17178 vsize=28768336 memory=56 CPUtime=2011.99 cores=0-7
/proc/17180/task/17287/stat : 17287 (java) R 17178 17178 16086 0 -1 4202560 5802 0 0 0 201190 9 0 0 20 0 28 0 512570736 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139872259872128 139873759669287 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17288] ppid=17178 vsize=28768336 memory=-6009324441417651341 CPUtime=2012.23 cores=0-7
/proc/17180/task/17288/stat : 17288 (java) R 17178 17178 16086 0 -1 4202560 2878 0 0 0 201219 4 0 0 20 0 28 0 512570736 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139872263028488 139873757413990 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17289] ppid=17178 vsize=28768336 memory=1452 CPUtime=2018.97 cores=0-7
/proc/17180/task/17289/stat : 17289 (java) R 17178 17178 16086 0 -1 4202560 4869 0 0 0 201893 4 0 0 20 0 28 0 512570736 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139872260924008 139873756790607 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17290] ppid=17178 vsize=28768336 memory=1452 CPUtime=2020.14 cores=0-7
/proc/17180/task/17290/stat : 17290 (java) R 17178 17178 16086 0 -1 4202560 5049 0 0 0 202008 6 0 0 20 0 28 0 512570736 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139872258818376 139873750198270 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17291] ppid=17178 vsize=28768336 memory=1452 CPUtime=2016.23 cores=0-7
/proc/17180/task/17291/stat : 17291 (java) R 17178 17178 16086 0 -1 4202560 146920 0 0 0 201419 204 0 0 20 0 28 0 512570736 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139872264081568 139873757414466 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17292] ppid=17178 vsize=28768336 memory=1452 CPUtime=2015.21 cores=0-7
/proc/17180/task/17292/stat : 17292 (java) R 17178 17178 16086 0 -1 4202560 6639 0 0 0 201515 6 0 0 20 0 28 0 512570736 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139872261976328 139873757413786 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17293] ppid=17178 vsize=28768336 memory=1452 CPUtime=2008.75 cores=0-7
/proc/17180/task/17293/stat : 17293 (java) R 17178 17178 16086 0 -1 4202560 4638 0 0 0 200871 4 0 0 20 0 28 0 512570736 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139872257765064 139873757413813 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17294] ppid=17178 vsize=28768336 memory=504 CPUtime=2015.12 cores=0-7
/proc/17180/task/17294/stat : 17294 (java) R 17178 17178 16086 0 -1 4202560 2958 0 0 0 201509 3 0 0 20 0 28 0 512570736 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139873530343432 139873759669305 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
Current children cumulated CPU time: 20049.3 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5368944 KiB

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

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

[startup+2520.11 s]
# the end of solver process 17180 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20041.7 s, system=8.22956 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

[startup+2520 s]
/proc/loadavg: 8.24 8.32 8.02 9/221 17477
/proc/meminfo: memFree=20168864/32770624 swapFree=67002584/67108860
[pid=17178] ppid=17175 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17178/stat : 17178 (xcsp3-exec) S 17175 17178 16086 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 512520969 115843072 363 33554432000 4194304 5098028 140735510646656 140735510644760 140099582829180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17113088 140735510655862 140735510656105 140735510656105 140735510659018 0
/proc/17178/statm: 28282 363 304 221 0 87 0
[pid=17180] ppid=17178 vsize=28768336 memory=5367492 CPUtime=20049.3 cores=0-7
/proc/17180/stat : 17180 (java) S 17178 17178 16086 0 -1 1077944320 542592 0 0 0 2004112 819 0 0 20 0 28 0 512520969 29458776064 1341873 33554432000 4194304 4196468 140722638071216 140722638053760 139874157752055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
/proc/17180/statm: 7192084 1341873 3556 1 0 7153184 0
[pid=17180/tid=17181] ppid=17178 vsize=28768336 memory=5367492 CPUtime=3.06 cores=0-7
/proc/17180/task/17181/stat : 17181 (java) S 17178 17178 16086 0 -1 1077944384 13499 0 0 0 294 12 0 0 20 0 28 0 512520970 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139874161992832 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17182] ppid=17178 vsize=28768336 memory=5367492 CPUtime=3.58 cores=0-7
/proc/17180/task/17182/stat : 17182 (java) S 17178 17178 16086 0 -1 1077944384 8233 0 0 0 326 32 0 0 20 0 28 0 512520970 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139874077604496 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17183] ppid=17178 vsize=28768336 memory=5367492 CPUtime=3.54 cores=0-7
/proc/17180/task/17183/stat : 17183 (java) S 17178 17178 16086 0 -1 1077944384 10643 0 0 0 330 24 0 0 20 0 28 0 512520970 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139874076551696 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17184] ppid=17178 vsize=28768336 memory=5367492 CPUtime=3.58 cores=0-7
/proc/17180/task/17184/stat : 17184 (java) S 17178 17178 16086 0 -1 1077944384 9719 0 0 0 331 27 0 0 20 0 28 0 512520970 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139874075498896 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17185] ppid=17178 vsize=28768336 memory=1452 CPUtime=3.54 cores=0-7
/proc/17180/task/17185/stat : 17185 (java) S 17178 17178 16086 0 -1 1077944384 12347 0 0 0 327 27 0 0 20 0 28 0 512520970 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139874074446096 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17186] ppid=17178 vsize=28768336 memory=1760 CPUtime=3.55 cores=0-7
/proc/17180/task/17186/stat : 17186 (java) S 17178 17178 16086 0 -1 1077944384 8022 0 0 0 331 24 0 0 20 0 28 0 512520970 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139874073394320 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17187] ppid=17178 vsize=28768336 memory=5367492 CPUtime=3.52 cores=0-7
/proc/17180/task/17187/stat : 17187 (java) S 17178 17178 16086 0 -1 1077944384 12022 0 0 0 326 26 0 0 20 0 28 0 512520970 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139874072341520 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17188] ppid=17178 vsize=28768336 memory=111632 CPUtime=3.59 cores=0-7
/proc/17180/task/17188/stat : 17188 (java) S 17178 17178 16086 0 -1 1077944384 10883 0 0 0 331 28 0 0 20 0 28 0 512520970 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139874071288720 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17189] ppid=17178 vsize=28768336 memory=1452 CPUtime=3.58 cores=0-7
/proc/17180/task/17189/stat : 17189 (java) S 17178 17178 16086 0 -1 1077944384 9408 0 0 0 328 30 0 0 20 0 28 0 512520970 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139874070235920 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17190] ppid=17178 vsize=28768336 memory=5406436 CPUtime=3.81 cores=0-7
/proc/17180/task/17190/stat : 17190 (java) S 17178 17178 16086 0 -1 1077944384 25335 0 0 0 361 20 0 0 20 0 28 0 512520972 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139873542580592 139874157763202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17191] ppid=17178 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/17180/task/17191/stat : 17191 (java) S 17178 17178 16086 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 512520972 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139873541526624 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17192] ppid=17178 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/17180/task/17192/stat : 17192 (java) S 17178 17178 16086 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 28 0 512520973 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139873540473728 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17193] ppid=17178 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/17180/task/17193/stat : 17193 (java) S 17178 17178 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512520975 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139873539422032 139874157770651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17194] ppid=17178 vsize=28768336 memory=1452 CPUtime=4.62 cores=0-7
/proc/17180/task/17194/stat : 17194 (java) S 17178 17178 16086 0 -1 1077944384 40632 0 0 0 455 7 0 0 20 0 28 0 512520975 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139873538370416 139874157763202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17195] ppid=17178 vsize=28768336 memory=3588 CPUtime=5.08 cores=0-7
/proc/17180/task/17195/stat : 17195 (java) S 17178 17178 16086 0 -1 1077944384 43942 0 0 0 497 11 0 0 20 0 28 0 512520975 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139873537317616 139874157763202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17196] ppid=17178 vsize=28768336 memory=3588 CPUtime=4.63 cores=0-7
/proc/17180/task/17196/stat : 17196 (java) S 17178 17178 16086 0 -1 1077944384 33679 0 0 0 458 5 0 0 20 0 28 0 512520975 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139873536264816 139874157763202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17197] ppid=17178 vsize=28768336 memory=64016 CPUtime=1.11 cores=0-7
/proc/17180/task/17197/stat : 17197 (java) S 17178 17178 16086 0 -1 1077944384 25909 0 0 0 105 6 0 0 20 0 28 0 512520975 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139873535212016 139874157763202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17198] ppid=17178 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/17180/task/17198/stat : 17198 (java) S 17178 17178 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512520975 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139873534159456 139874157762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17199] ppid=17178 vsize=28768336 memory=64044 CPUtime=1.02 cores=0-7
/proc/17180/task/17199/stat : 17199 (java) S 17178 17178 16086 0 -1 1077944384 5119 0 0 0 0 102 0 0 20 0 28 0 512520976 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139873533106736 139874157763202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17287] ppid=17178 vsize=28768336 memory=56 CPUtime=2011.99 cores=0-7
/proc/17180/task/17287/stat : 17287 (java) R 17178 17178 16086 0 -1 4202560 5802 0 0 0 201190 9 0 0 20 0 28 0 512570736 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139872259872128 139873759669287 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17288] ppid=17178 vsize=28768336 memory=-6009324441417651341 CPUtime=2012.23 cores=0-7
/proc/17180/task/17288/stat : 17288 (java) R 17178 17178 16086 0 -1 4202560 2878 0 0 0 201219 4 0 0 20 0 28 0 512570736 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139872263028488 139873757413990 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17289] ppid=17178 vsize=28768336 memory=1452 CPUtime=2018.97 cores=0-7
/proc/17180/task/17289/stat : 17289 (java) R 17178 17178 16086 0 -1 4202560 4869 0 0 0 201893 4 0 0 20 0 28 0 512570736 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139872260924008 139873756790607 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17290] ppid=17178 vsize=28768336 memory=1452 CPUtime=2020.14 cores=0-7
/proc/17180/task/17290/stat : 17290 (java) R 17178 17178 16086 0 -1 4202560 5049 0 0 0 202008 6 0 0 20 0 28 0 512570736 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139872258818376 139873750198270 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17291] ppid=17178 vsize=28768336 memory=1452 CPUtime=2016.23 cores=0-7
/proc/17180/task/17291/stat : 17291 (java) R 17178 17178 16086 0 -1 4202560 146920 0 0 0 201419 204 0 0 20 0 28 0 512570736 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139872264081568 139873757414466 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17292] ppid=17178 vsize=28768336 memory=1452 CPUtime=2015.21 cores=0-7
/proc/17180/task/17292/stat : 17292 (java) R 17178 17178 16086 0 -1 4202560 6639 0 0 0 201515 6 0 0 20 0 28 0 512570736 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139872261976328 139873757413786 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17293] ppid=17178 vsize=28768336 memory=1452 CPUtime=2008.75 cores=0-7
/proc/17180/task/17293/stat : 17293 (java) R 17178 17178 16086 0 -1 4202560 4638 0 0 0 200871 4 0 0 20 0 28 0 512570736 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139872257765064 139873757413813 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
[pid=17180/tid=17294] ppid=17178 vsize=28768336 memory=504 CPUtime=2015.12 cores=0-7
/proc/17180/task/17294/stat : 17294 (java) R 17178 17178 16086 0 -1 4202560 2958 0 0 0 201509 3 0 0 20 0 28 0 512570736 29458776064 1341873 33554432000 4194304 4196468 140722638071216 139873530343432 139873759669305 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15654912 140722638074858 140722638075030 140722638075030 140722638077903 0
Current children cumulated CPU time: 20049.3 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5368944 KiB

Child status: 143
Real time (s): 2520.11
CPU time (s): 20050
CPU user time (s): 20041.7
CPU system time (s): 8.22956
CPU usage (%): 795.598
Max. virtual memory (cumulated for all children) (KiB): 28883264
Max. memory (cumulated for all children) (KiB): 5613972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20041.7
system time used= 8.22956
maximum resident set size= 5612520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 544228
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65155
involuntary context switches= 219667


# summary of solver processes directly reported to runsolver:
#   pid: 17178,17180
#   total CPU time (s): 20050
#   total CPU user time (s): 20041.7
#   total CPU system time (s): 8.22956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.7499 second user time and 29.8886 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 4407208

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
