2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16 parallel	SAT (TO)	34	1551.22	252.031
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 (14432 MiB free)
  memory of node 1: 16384 MiB (15216 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400308-1568720405/watcher-4400308-1568720405 -o /tmp/evaluation-result-4400308-1568720405/solver-4400308-1568720405 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568707545-31265 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 385227989 HOME/instance-4400308-1568720405.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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 threadsolver pid=32530, runsolver pid=32527
Current StackSize limit: 8192 KiB



[startup+0.10016 s]*
/proc/loadavg: 4.52 5.91 7.30 2/211 32551
/proc/meminfo: memFree=30342960/32770624 swapFree=67000168/67108860
[pid=32530] ppid=32527 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/32530/stat : 32530 (xcsp3-exec) S 32527 32530 31238 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448294992 115843072 363 33554432000 4194304 5098028 140732645131488 140732645129592 140591198806652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8740864 140732645139324 140732645139566 140732645139566 140732645142474 0
/proc/32530/statm: 28282 363 304 221 0 87 0
[pid=32532] ppid=32530 vsize=28227396 memory=28736 CPUtime=0.13 cores=0-7
/proc/32532/stat : 32532 (java) S 32530 32530 31238 0 -1 1077944320 5694 0 0 0 12 1 0 0 20 0 20 0 448294992 28904853504 7184 33554432000 4194304 4196468 140733991249344 140733991231888 140158293274359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
/proc/32532/statm: 7056849 7184 3115 1 0 7019032 0
[pid=32532/tid=32533] ppid=32530 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/32532/task/32533/stat : 32533 (java) R 32530 32530 31238 0 -1 4202560 3593 0 0 0 9 0 0 0 20 0 20 0 448294992 28904853504 7184 33554432000 4194304 4196468 140733991249344 140158297506288 140158293286294 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32534] ppid=32530 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32534/stat : 32534 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294993 28904853504 7184 33554432000 4194304 4196468 140733991249344 140158213126800 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32535] ppid=32530 vsize=28227396 memory=140610245465728 CPUtime=0 cores=0-7
/proc/32532/task/32535/stat : 32535 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294993 28904853504 7184 33554432000 4194304 4196468 140733991249344 140158212074000 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32536] ppid=32530 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32536/stat : 32536 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294993 28904853504 7184 33554432000 4194304 4196468 140733991249344 140158211021200 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32537] ppid=32530 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32537/stat : 32537 (java) S 32530 32530 31238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448294993 28904853504 7184 33554432000 4194304 4196468 140733991249344 140158209968400 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32538] ppid=32530 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32538/stat : 32538 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294993 28904853504 7184 33554432000 4194304 4196468 140733991249344 140158208916624 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32539] ppid=32530 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32532/task/32539/stat : 32539 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294993 28904853504 7184 33554432000 4194304 4196468 140733991249344 140158207863824 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32540] ppid=32530 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32540/stat : 32540 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294993 28904853504 7184 33554432000 4194304 4196468 140733991249344 140158206811024 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32541] ppid=32530 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32541/stat : 32541 (java) S 32530 32530 31238 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 448294993 28904853504 7184 33554432000 4194304 4196468 140733991249344 140158205758224 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32542] ppid=32530 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32542/stat : 32542 (java) S 32530 32530 31238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448294995 28904853504 7184 33554432000 4194304 4196468 140733991249344 140157677300080 140158293285506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32543] ppid=32530 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32543/stat : 32543 (java) S 32530 32530 31238 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448294995 28904853504 7184 33554432000 4194304 4196468 140733991249344 140157676246048 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32544] ppid=32530 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32544/stat : 32544 (java) S 32530 32530 31238 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448294995 28904853504 7184 33554432000 4194304 4196468 140733991249344 140157675193200 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32545] ppid=32530 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32545/stat : 32545 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294998 28904853504 7184 33554432000 4194304 4196468 140733991249344 140157674141520 140158293292955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32546] ppid=32530 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32546/stat : 32546 (java) S 32530 32530 31238 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 448294998 28904853504 7184 33554432000 4194304 4196468 140733991249344 140157673089904 140158293285506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32547] ppid=32530 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32547/stat : 32547 (java) S 32530 32530 31238 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 448294998 28904853504 7184 33554432000 4194304 4196468 140733991249344 140157672037104 140158293285506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32548] ppid=32530 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32548/stat : 32548 (java) S 32530 32530 31238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448294998 28904853504 7184 33554432000 4194304 4196468 140733991249344 140157670984304 140158293285506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32549] ppid=32530 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/32532/task/32549/stat : 32549 (java) R 32530 32530 31238 0 -1 4202560 368 0 0 0 2 0 0 0 20 0 20 0 448294998 28904853504 7184 33554432000 4194304 4196468 140733991249344 140157669931504 140158277354062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32550] ppid=32530 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32550/stat : 32550 (java) S 32530 32530 31238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448294998 28904853504 7184 33554432000 4194304 4196468 140733991249344 140157668878944 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32551] ppid=32530 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32532/task/32551/stat : 32551 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294998 28904853504 7184 33554432000 4194304 4196468 140733991249344 140157600655920 140158293285506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30188 KiB

[startup+0.210466 s]*
/proc/loadavg: 4.52 5.91 7.30 3/211 32551
/proc/meminfo: memFree=30327356/32770624 swapFree=67000168/67108860
[pid=32530] ppid=32527 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/32530/stat : 32530 (xcsp3-exec) S 32527 32530 31238 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448294992 115843072 363 33554432000 4194304 5098028 140732645131488 140732645129592 140591198806652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8740864 140732645139324 140732645139566 140732645139566 140732645142474 0
/proc/32530/statm: 28282 363 304 221 0 87 0
[pid=32532] ppid=32530 vsize=28227396 memory=40972 CPUtime=0.34 cores=0-7
/proc/32532/stat : 32532 (java) S 32530 32530 31238 0 -1 1077944320 9506 0 0 0 31 3 0 0 20 0 20 0 448294992 28904853504 10243 33554432000 4194304 4196468 140733991249344 140733991231888 140158293274359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
/proc/32532/statm: 7056849 10243 3288 1 0 7019032 0
[pid=32532/tid=32533] ppid=32530 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/32532/task/32533/stat : 32533 (java) R 32530 32530 31238 0 -1 4202560 6623 0 0 0 18 2 0 0 20 0 20 0 448294992 28904853504 10243 33554432000 4194304 4196468 140733991249344 140158297508064 140158293286294 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32534] ppid=32530 vsize=28227396 memory=329 CPUtime=0 cores=0-7
/proc/32532/task/32534/stat : 32534 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294993 28904853504 10243 33554432000 4194304 4196468 140733991249344 140158213126800 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32535] ppid=32530 vsize=28227396 memory=288370986397177472 CPUtime=0 cores=0-7
/proc/32532/task/32535/stat : 32535 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294993 28904853504 10243 33554432000 4194304 4196468 140733991249344 140158212074000 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32536] ppid=32530 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32532/task/32536/stat : 32536 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294993 28904853504 10243 33554432000 4194304 4196468 140733991249344 140158211021200 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32537] ppid=32530 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32537/stat : 32537 (java) S 32530 32530 31238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448294993 28904853504 10309 33554432000 4194304 4196468 140733991249344 140158209968400 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32538] ppid=32530 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32538/stat : 32538 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294993 28904853504 10309 33554432000 4194304 4196468 140733991249344 140158208916624 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32539] ppid=32530 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32532/task/32539/stat : 32539 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294993 28904853504 10309 33554432000 4194304 4196468 140733991249344 140158207863824 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32540] ppid=32530 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32540/stat : 32540 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294993 28904853504 10309 33554432000 4194304 4196468 140733991249344 140158206811024 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32541] ppid=32530 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32541/stat : 32541 (java) S 32530 32530 31238 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 448294993 28904853504 10309 33554432000 4194304 4196468 140733991249344 140158205758224 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32542] ppid=32530 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32542/stat : 32542 (java) S 32530 32530 31238 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 448294995 28904853504 10309 33554432000 4194304 4196468 140733991249344 140157677300080 140158293285506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32543] ppid=32530 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32543/stat : 32543 (java) S 32530 32530 31238 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448294995 28904853504 10309 33554432000 4194304 4196468 140733991249344 140157676246048 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32544] ppid=32530 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32544/stat : 32544 (java) S 32530 32530 31238 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448294995 28904853504 10309 33554432000 4194304 4196468 140733991249344 140157675193200 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32545] ppid=32530 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32545/stat : 32545 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294998 28904853504 10309 33554432000 4194304 4196468 140733991249344 140157674141520 140158293292955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32546] ppid=32530 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/32532/task/32546/stat : 32546 (java) S 32530 32530 31238 0 -1 1077944384 558 0 0 0 2 0 0 0 20 0 20 0 448294998 28904853504 10309 33554432000 4194304 4196468 140733991249344 140157673089904 140158293285506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32547] ppid=32530 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/32532/task/32547/stat : 32547 (java) S 32530 32530 31238 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 20 0 448294998 28904853504 10309 33554432000 4194304 4196468 140733991249344 140157672037104 140158293285506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32548] ppid=32530 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32532/task/32548/stat : 32548 (java) S 32530 32530 31238 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 448294998 28904853504 10309 33554432000 4194304 4196468 140733991249344 140157670984304 140158293285506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32549] ppid=32530 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/32532/task/32549/stat : 32549 (java) R 32530 32530 31238 0 -1 4202560 792 0 0 0 8 0 0 0 20 0 20 0 448294998 28904853504 10309 33554432000 4194304 4196468 140733991249344 140157669931504 140158270868966 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32550] ppid=32530 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32550/stat : 32550 (java) S 32530 32530 31238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448294998 28904853504 10309 33554432000 4194304 4196468 140733991249344 140157668878944 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32551] ppid=32530 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32532/task/32551/stat : 32551 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294998 28904853504 10309 33554432000 4194304 4196468 140733991249344 140157600655920 140158293285506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42424 KiB

[startup+0.310156 s]*
/proc/loadavg: 4.52 5.91 7.30 4/211 32551
/proc/meminfo: memFree=30320084/32770624 swapFree=67000168/67108860
[pid=32530] ppid=32527 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/32530/stat : 32530 (xcsp3-exec) S 32527 32530 31238 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448294992 115843072 363 33554432000 4194304 5098028 140732645131488 140732645129592 140591198806652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8740864 140732645139324 140732645139566 140732645139566 140732645142474 0
/proc/32530/statm: 28282 363 304 221 0 87 0
[pid=32532] ppid=32530 vsize=28231652 memory=49980 CPUtime=0.51 cores=0-7
/proc/32532/stat : 32532 (java) S 32530 32530 31238 0 -1 1077944320 10921 0 0 0 47 4 0 0 20 0 20 0 448294992 28909211648 12495 33554432000 4194304 4196468 140733991249344 140733991231888 140158293274359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
/proc/32532/statm: 7057913 12495 3360 1 0 7019032 0
[pid=32532/tid=32533] ppid=32530 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32532/task/32533/stat : 32533 (java) R 32530 32530 31238 0 -1 4202560 7778 0 0 0 26 3 0 0 20 0 20 0 448294992 28909211648 12495 33554432000 4194304 4196468 140733991249344 140158297508592 140158277354846 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32534] ppid=32530 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32534/stat : 32534 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294993 28909211648 12495 33554432000 4194304 4196468 140733991249344 140158213126800 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32535] ppid=32530 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32535/stat : 32535 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294993 28909211648 12495 33554432000 4194304 4196468 140733991249344 140158212074000 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32536] ppid=32530 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32536/stat : 32536 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294993 28909211648 12495 33554432000 4194304 4196468 140733991249344 140158211021200 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32537] ppid=32530 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32537/stat : 32537 (java) S 32530 32530 31238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448294993 28909211648 12495 33554432000 4194304 4196468 140733991249344 140158209968400 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32538] ppid=32530 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/32532/task/32538/stat : 32538 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294993 28909211648 12495 33554432000 4194304 4196468 140733991249344 140158208916624 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32539] ppid=32530 vsize=28231652 memory=140610115826607 CPUtime=0 cores=0-7
/proc/32532/task/32539/stat : 32539 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294993 28909211648 12495 33554432000 4194304 4196468 140733991249344 140158207863824 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32540] ppid=32530 vsize=28231652 memory=140610115828912 CPUtime=0 cores=0-7
/proc/32532/task/32540/stat : 32540 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294993 28909211648 12495 33554432000 4194304 4196468 140733991249344 140158206811024 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32541] ppid=32530 vsize=28231652 memory=140610115831216 CPUtime=0 cores=0-7
/proc/32532/task/32541/stat : 32541 (java) S 32530 32530 31238 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 448294993 28909211648 12495 33554432000 4194304 4196468 140733991249344 140158205758224 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32542] ppid=32530 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32542/stat : 32542 (java) S 32530 32530 31238 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 448294995 28909211648 12495 33554432000 4194304 4196468 140733991249344 140157677300080 140158293285506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32543] ppid=32530 vsize=28231652 memory=281220231669392 CPUtime=0 cores=0-7
/proc/32532/task/32543/stat : 32543 (java) S 32530 32530 31238 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448294995 28909211648 12495 33554432000 4194304 4196468 140733991249344 140157676246048 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32544] ppid=32530 vsize=28231652 memory=281220231676304 CPUtime=0 cores=0-7
/proc/32532/task/32544/stat : 32544 (java) S 32530 32530 31238 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448294995 28909211648 12495 33554432000 4194304 4196468 140733991249344 140157675193200 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32545] ppid=32530 vsize=28231652 memory=281220231617584 CPUtime=0 cores=0-7
/proc/32532/task/32545/stat : 32545 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294998 28909211648 12495 33554432000 4194304 4196468 140733991249344 140157674141520 140158293292955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32546] ppid=32530 vsize=28231652 memory=281220231690128 CPUtime=0.04 cores=0-7
/proc/32532/task/32546/stat : 32546 (java) R 32530 32530 31238 0 -1 4202560 650 0 0 0 4 0 0 0 20 0 20 0 448294998 28909211648 12495 33554432000 4194304 4196468 140733991249344 140157673080016 140158276831158 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32547] ppid=32530 vsize=28231652 memory=281220231697040 CPUtime=0.02 cores=0-7
/proc/32532/task/32547/stat : 32547 (java) S 32530 32530 31238 0 -1 1077944384 230 0 0 0 2 0 0 0 20 0 20 0 448294998 28909211648 12495 33554432000 4194304 4196468 140733991249344 140157672037104 140158293285506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32548] ppid=32530 vsize=28231652 memory=281220231694736 CPUtime=0.01 cores=0-7
/proc/32532/task/32548/stat : 32548 (java) S 32530 32530 31238 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 20 0 448294998 28909211648 12495 33554432000 4194304 4196468 140733991249344 140157670984304 140158293285506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32549] ppid=32530 vsize=28231652 memory=281220231710896 CPUtime=0.12 cores=0-7
/proc/32532/task/32549/stat : 32549 (java) S 32530 32530 31238 0 -1 1077944384 899 0 0 0 12 0 0 0 20 0 20 0 448294998 28909211648 12495 33554432000 4194304 4196468 140733991249344 140157669931504 140158293285506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32550] ppid=32530 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32550/stat : 32550 (java) S 32530 32530 31238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448294998 28909211648 12495 33554432000 4194304 4196468 140733991249344 140157668878944 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32551] ppid=32530 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/32532/task/32551/stat : 32551 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294998 28909211648 12495 33554432000 4194304 4196468 140733991249344 140157600655920 140158293285506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51432 KiB

[startup+0.700997 s]
/proc/loadavg: 4.52 5.91 7.30 5/211 32551
/proc/meminfo: memFree=30299552/32770624 swapFree=67000168/67108860
[pid=32530] ppid=32527 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/32530/stat : 32530 (xcsp3-exec) S 32527 32530 31238 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448294992 115843072 363 33554432000 4194304 5098028 140732645131488 140732645129592 140591198806652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8740864 140732645139324 140732645139566 140732645139566 140732645142474 0
/proc/32530/statm: 28282 363 304 221 0 87 0
[pid=32532] ppid=32530 vsize=28233776 memory=106732 CPUtime=1.97 cores=0-7
/proc/32532/stat : 32532 (java) S 32530 32530 31238 0 -1 1077944320 16445 0 0 0 191 6 0 0 20 0 20 0 448294992 28911386624 26683 33554432000 4194304 4196468 140733991249344 140733991231888 140158293274359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
/proc/32532/statm: 7058444 26683 3447 1 0 7019544 0
[pid=32532/tid=32533] ppid=32530 vsize=28233776 memory=281220232068784 CPUtime=0.67 cores=0-7
/proc/32532/task/32533/stat : 32533 (java) R 32530 32530 31238 0 -1 4202560 8701 0 0 0 63 4 0 0 20 0 20 0 448294992 28911386624 26683 33554432000 4194304 4196468 140733991249344 140158297508320 140157886164452 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32534] ppid=32530 vsize=28233776 memory=140610116035440 CPUtime=0 cores=0-7
/proc/32532/task/32534/stat : 32534 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294993 28911386624 26683 33554432000 4194304 4196468 140733991249344 140158213126800 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32535] ppid=32530 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/32532/task/32535/stat : 32535 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294993 28911386624 26748 33554432000 4194304 4196468 140733991249344 140158212074000 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32536] ppid=32530 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/32532/task/32536/stat : 32536 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448294993 28911386624 26748 33554432000 4194304 4196468 140733991249344 140158211021200 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0

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

[pid=32532/tid=32594] ppid=32530 vsize=28768336 memory=6791534058613427641 CPUtime=14.72 cores=0-7
/proc/32532/task/32594/stat : 32594 (java) S 32530 32530 31238 0 -1 1077944384 423 0 0 0 1472 0 0 0 20 0 28 0 448314147 29458776064 780909 33554432000 4194304 4196468 140733991249344 140157588530128 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
Current children cumulated CPU time: 1412.4 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3125088 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]
/proc/loadavg: 4.90 6.06 7.10 2/220 32605
/proc/meminfo: memFree=27241904/32770624 swapFree=67000172/67108860
[pid=32530] ppid=32527 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/32530/stat : 32530 (xcsp3-exec) S 32527 32530 31238 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448294992 115843072 363 33554432000 4194304 5098028 140732645131488 140732645129592 140591198806652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8740864 140732645139324 140732645139566 140732645139566 140732645142474 0
/proc/32530/statm: 28282 363 304 221 0 87 0
[pid=32532] ppid=32530 vsize=28768336 memory=3123704 CPUtime=1551.17 cores=0-7
/proc/32532/stat : 32532 (java) S 32530 32530 31238 0 -1 1077944320 201121 0 0 0 154811 306 0 0 20 0 28 0 448294992 29458776064 780926 33554432000 4194304 4196468 140733991249344 140733991231888 140158293274359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
/proc/32532/statm: 7192084 780926 3562 1 0 7153184 0
[pid=32532/tid=32533] ppid=32530 vsize=28768336 memory=3123704 CPUtime=3.22 cores=0-7
/proc/32532/task/32533/stat : 32533 (java) S 32530 32530 31238 0 -1 1077944384 12816 0 0 0 311 11 0 0 20 0 28 0 448294992 29458776064 780926 33554432000 4194304 4196468 140733991249344 140158297515136 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32534] ppid=32530 vsize=28768336 memory=140610115733833 CPUtime=1.1 cores=0-7
/proc/32532/task/32534/stat : 32534 (java) S 32530 32530 31238 0 -1 1077944384 1217 0 0 0 100 10 0 0 20 0 28 0 448294993 29458776064 780926 33554432000 4194304 4196468 140733991249344 140158213126800 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32535] ppid=32530 vsize=28768336 memory=3123704 CPUtime=1.1 cores=0-7
/proc/32532/task/32535/stat : 32535 (java) S 32530 32530 31238 0 -1 1077944384 1055 0 0 0 99 11 0 0 20 0 28 0 448294993 29458776064 780926 33554432000 4194304 4196468 140733991249344 140158212074000 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32536] ppid=32530 vsize=28768336 memory=36440 CPUtime=1.13 cores=0-7
/proc/32532/task/32536/stat : 32536 (java) S 32530 32530 31238 0 -1 1077944384 980 0 0 0 99 14 0 0 20 0 28 0 448294993 29458776064 780926 33554432000 4194304 4196468 140733991249344 140158211021200 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32537] ppid=32530 vsize=28768336 memory=984 CPUtime=1.13 cores=0-7
/proc/32532/task/32537/stat : 32537 (java) S 32530 32530 31238 0 -1 1077944384 1483 0 0 0 100 13 0 0 20 0 28 0 448294993 29458776064 780926 33554432000 4194304 4196468 140733991249344 140158209968400 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32538] ppid=32530 vsize=28768336 memory=33 CPUtime=1.14 cores=0-7
/proc/32532/task/32538/stat : 32538 (java) S 32530 32530 31238 0 -1 1077944384 1499 0 0 0 99 15 0 0 20 0 28 0 448294993 29458776064 780926 33554432000 4194304 4196468 140733991249344 140158208916624 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32539] ppid=32530 vsize=28768336 memory=920 CPUtime=1.15 cores=0-7
/proc/32532/task/32539/stat : 32539 (java) S 32530 32530 31238 0 -1 1077944384 1784 0 0 0 100 15 0 0 20 0 28 0 448294993 29458776064 780926 33554432000 4194304 4196468 140733991249344 140158207863824 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32540] ppid=32530 vsize=28768336 memory=1452 CPUtime=1.13 cores=0-7
/proc/32532/task/32540/stat : 32540 (java) S 32530 32530 31238 0 -1 1077944384 2433 0 0 0 97 16 0 0 20 0 28 0 448294993 29458776064 780926 33554432000 4194304 4196468 140733991249344 140158206811024 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32541] ppid=32530 vsize=28768336 memory=3123428 CPUtime=1.15 cores=0-7
/proc/32532/task/32541/stat : 32541 (java) S 32530 32530 31238 0 -1 1077944384 926 0 0 0 101 14 0 0 20 0 28 0 448294993 29458776064 780926 33554432000 4194304 4196468 140733991249344 140158205758224 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32542] ppid=32530 vsize=28768336 memory=0 CPUtime=3.25 cores=0-7
/proc/32532/task/32542/stat : 32542 (java) S 32530 32530 31238 0 -1 1077944384 11483 0 0 0 310 15 0 0 20 0 28 0 448294995 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157677300080 140158293285506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32543] ppid=32530 vsize=28768336 memory=7517217239462095763 CPUtime=0 cores=0-7
/proc/32532/task/32543/stat : 32543 (java) S 32530 32530 31238 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 448294995 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157676246112 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32544] ppid=32530 vsize=28768336 memory=3123704 CPUtime=0 cores=0-7
/proc/32532/task/32544/stat : 32544 (java) S 32530 32530 31238 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 448294995 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157675193216 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32545] ppid=32530 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/32532/task/32545/stat : 32545 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448294998 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157674141520 140158293292955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32546] ppid=32530 vsize=28768336 memory=772 CPUtime=5.08 cores=0-7
/proc/32532/task/32546/stat : 32546 (java) S 32530 32530 31238 0 -1 1077944384 28393 0 0 0 505 3 0 0 20 0 28 0 448294998 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157673089904 140158293285506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32547] ppid=32530 vsize=28768336 memory=4168 CPUtime=4.86 cores=0-7
/proc/32532/task/32547/stat : 32547 (java) S 32530 32530 31238 0 -1 1077944384 27878 0 0 0 479 7 0 0 20 0 28 0 448294998 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157672037104 140158293285506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32548] ppid=32530 vsize=28768336 memory=288230574492221466 CPUtime=5.82 cores=0-7
/proc/32532/task/32548/stat : 32548 (java) S 32530 32530 31238 0 -1 1077944384 35399 0 0 0 574 8 0 0 20 0 28 0 448294998 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157670984304 140158293285506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32549] ppid=32530 vsize=28768336 memory=288230617509003574 CPUtime=1.15 cores=0-7
/proc/32532/task/32549/stat : 32549 (java) S 32530 32530 31238 0 -1 1077944384 19393 0 0 0 110 5 0 0 20 0 28 0 448294998 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157669931504 140158293285506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32550] ppid=32530 vsize=28768336 memory=14972261127948741 CPUtime=0 cores=0-7
/proc/32532/task/32550/stat : 32550 (java) S 32530 32530 31238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448294998 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157668878944 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32551] ppid=32530 vsize=28768336 memory=3123636 CPUtime=0.14 cores=0-7
/proc/32532/task/32551/stat : 32551 (java) S 32530 32530 31238 0 -1 1077944384 2415 0 0 0 6 8 0 0 20 0 28 0 448294998 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157600655920 140158293285506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32598] ppid=32530 vsize=28768336 memory=0 CPUtime=15.49 cores=0-7
/proc/32532/task/32598/stat : 32598 (java) S 32530 32530 31238 0 -1 1077944384 942 0 0 0 1549 0 0 0 20 0 28 0 448318484 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157585370496 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32599] ppid=32530 vsize=28768336 memory=3123704 CPUtime=15.19 cores=0-7
/proc/32532/task/32599/stat : 32599 (java) S 32530 32530 31238 0 -1 1077944384 698 0 0 0 1519 0 0 0 20 0 28 0 448318484 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157589582544 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32600] ppid=32530 vsize=28768336 memory=1452 CPUtime=15.48 cores=0-7
/proc/32532/task/32600/stat : 32600 (java) S 32530 32530 31238 0 -1 1077944384 475 0 0 0 1548 0 0 0 20 0 28 0 448318484 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157588530768 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32601] ppid=32530 vsize=28768336 memory=3123704 CPUtime=15.52 cores=0-7
/proc/32532/task/32601/stat : 32601 (java) S 32530 32530 31238 0 -1 1077944384 2411 0 0 0 1551 1 0 0 20 0 28 0 448318484 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157586425296 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32602] ppid=32530 vsize=28768336 memory=1556 CPUtime=15.41 cores=0-7
/proc/32532/task/32602/stat : 32602 (java) S 32530 32530 31238 0 -1 1077944384 1096 0 0 0 1540 1 0 0 20 0 28 0 448318484 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157583267152 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32603] ppid=32530 vsize=28768336 memory=500 CPUtime=17.03 cores=0-7
/proc/32532/task/32603/stat : 32603 (java) R 32530 32530 31238 0 -1 4202560 1868 0 0 0 1703 0 0 0 20 0 28 0 448318484 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157584316328 140157896539067 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32604] ppid=32530 vsize=28768336 memory=3624 CPUtime=16.1 cores=0-7
/proc/32532/task/32604/stat : 32604 (java) S 32530 32530 31238 0 -1 1077944384 573 0 0 0 1609 1 0 0 20 0 28 0 448318484 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157587477584 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32605] ppid=32530 vsize=28768336 memory=36440 CPUtime=15.6 cores=0-7
/proc/32532/task/32605/stat : 32605 (java) S 32530 32530 31238 0 -1 1077944384 589 0 0 0 1560 0 0 0 20 0 28 0 448318484 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157582214096 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
Current children cumulated CPU time: 1551.17 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3125156 KiB

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

[startup+252.011 s]
# the end of solver process 32530 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000968 s, system=0.002314 s

[startup+252.031 s]
# the end of solver process 32532 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1548.13 s, system=3.09092 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+252.001 s]
/proc/loadavg: 4.90 6.06 7.10 2/220 32605
/proc/meminfo: memFree=27241904/32770624 swapFree=67000172/67108860
[pid=32530] ppid=32527 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/32530/stat : 32530 (xcsp3-exec) S 32527 32530 31238 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448294992 115843072 363 33554432000 4194304 5098028 140732645131488 140732645129592 140591198806652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8740864 140732645139324 140732645139566 140732645139566 140732645142474 0
/proc/32530/statm: 28282 363 304 221 0 87 0
[pid=32532] ppid=32530 vsize=28768336 memory=3123704 CPUtime=1551.17 cores=0-7
/proc/32532/stat : 32532 (java) S 32530 32530 31238 0 -1 1077944320 201121 0 0 0 154811 306 0 0 20 0 28 0 448294992 29458776064 780926 33554432000 4194304 4196468 140733991249344 140733991231888 140158293274359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
/proc/32532/statm: 7192084 780926 3562 1 0 7153184 0
[pid=32532/tid=32533] ppid=32530 vsize=28768336 memory=3123704 CPUtime=3.22 cores=0-7
/proc/32532/task/32533/stat : 32533 (java) S 32530 32530 31238 0 -1 1077944384 12816 0 0 0 311 11 0 0 20 0 28 0 448294992 29458776064 780926 33554432000 4194304 4196468 140733991249344 140158297515136 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32534] ppid=32530 vsize=28768336 memory=140610115733833 CPUtime=1.1 cores=0-7
/proc/32532/task/32534/stat : 32534 (java) S 32530 32530 31238 0 -1 1077944384 1217 0 0 0 100 10 0 0 20 0 28 0 448294993 29458776064 780926 33554432000 4194304 4196468 140733991249344 140158213126800 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32535] ppid=32530 vsize=28768336 memory=3123704 CPUtime=1.1 cores=0-7
/proc/32532/task/32535/stat : 32535 (java) S 32530 32530 31238 0 -1 1077944384 1055 0 0 0 99 11 0 0 20 0 28 0 448294993 29458776064 780926 33554432000 4194304 4196468 140733991249344 140158212074000 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32536] ppid=32530 vsize=28768336 memory=36440 CPUtime=1.13 cores=0-7
/proc/32532/task/32536/stat : 32536 (java) S 32530 32530 31238 0 -1 1077944384 980 0 0 0 99 14 0 0 20 0 28 0 448294993 29458776064 780926 33554432000 4194304 4196468 140733991249344 140158211021200 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32537] ppid=32530 vsize=28768336 memory=984 CPUtime=1.13 cores=0-7
/proc/32532/task/32537/stat : 32537 (java) S 32530 32530 31238 0 -1 1077944384 1483 0 0 0 100 13 0 0 20 0 28 0 448294993 29458776064 780926 33554432000 4194304 4196468 140733991249344 140158209968400 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32538] ppid=32530 vsize=28768336 memory=33 CPUtime=1.14 cores=0-7
/proc/32532/task/32538/stat : 32538 (java) S 32530 32530 31238 0 -1 1077944384 1499 0 0 0 99 15 0 0 20 0 28 0 448294993 29458776064 780926 33554432000 4194304 4196468 140733991249344 140158208916624 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32539] ppid=32530 vsize=28768336 memory=920 CPUtime=1.15 cores=0-7
/proc/32532/task/32539/stat : 32539 (java) S 32530 32530 31238 0 -1 1077944384 1784 0 0 0 100 15 0 0 20 0 28 0 448294993 29458776064 780926 33554432000 4194304 4196468 140733991249344 140158207863824 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32540] ppid=32530 vsize=28768336 memory=1452 CPUtime=1.13 cores=0-7
/proc/32532/task/32540/stat : 32540 (java) S 32530 32530 31238 0 -1 1077944384 2433 0 0 0 97 16 0 0 20 0 28 0 448294993 29458776064 780926 33554432000 4194304 4196468 140733991249344 140158206811024 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32541] ppid=32530 vsize=28768336 memory=3123428 CPUtime=1.15 cores=0-7
/proc/32532/task/32541/stat : 32541 (java) S 32530 32530 31238 0 -1 1077944384 926 0 0 0 101 14 0 0 20 0 28 0 448294993 29458776064 780926 33554432000 4194304 4196468 140733991249344 140158205758224 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32542] ppid=32530 vsize=28768336 memory=0 CPUtime=3.25 cores=0-7
/proc/32532/task/32542/stat : 32542 (java) S 32530 32530 31238 0 -1 1077944384 11483 0 0 0 310 15 0 0 20 0 28 0 448294995 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157677300080 140158293285506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32543] ppid=32530 vsize=28768336 memory=7517217239462095763 CPUtime=0 cores=0-7
/proc/32532/task/32543/stat : 32543 (java) S 32530 32530 31238 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 448294995 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157676246112 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32544] ppid=32530 vsize=28768336 memory=3123704 CPUtime=0 cores=0-7
/proc/32532/task/32544/stat : 32544 (java) S 32530 32530 31238 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 448294995 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157675193216 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32545] ppid=32530 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/32532/task/32545/stat : 32545 (java) S 32530 32530 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448294998 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157674141520 140158293292955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32546] ppid=32530 vsize=28768336 memory=772 CPUtime=5.08 cores=0-7
/proc/32532/task/32546/stat : 32546 (java) S 32530 32530 31238 0 -1 1077944384 28393 0 0 0 505 3 0 0 20 0 28 0 448294998 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157673089904 140158293285506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32547] ppid=32530 vsize=28768336 memory=4168 CPUtime=4.86 cores=0-7
/proc/32532/task/32547/stat : 32547 (java) S 32530 32530 31238 0 -1 1077944384 27878 0 0 0 479 7 0 0 20 0 28 0 448294998 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157672037104 140158293285506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32548] ppid=32530 vsize=28768336 memory=288230574492221466 CPUtime=5.82 cores=0-7
/proc/32532/task/32548/stat : 32548 (java) S 32530 32530 31238 0 -1 1077944384 35399 0 0 0 574 8 0 0 20 0 28 0 448294998 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157670984304 140158293285506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32549] ppid=32530 vsize=28768336 memory=288230617509003574 CPUtime=1.15 cores=0-7
/proc/32532/task/32549/stat : 32549 (java) S 32530 32530 31238 0 -1 1077944384 19393 0 0 0 110 5 0 0 20 0 28 0 448294998 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157669931504 140158293285506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32550] ppid=32530 vsize=28768336 memory=14972261127948741 CPUtime=0 cores=0-7
/proc/32532/task/32550/stat : 32550 (java) S 32530 32530 31238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448294998 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157668878944 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32551] ppid=32530 vsize=28768336 memory=3123636 CPUtime=0.14 cores=0-7
/proc/32532/task/32551/stat : 32551 (java) S 32530 32530 31238 0 -1 1077944384 2415 0 0 0 6 8 0 0 20 0 28 0 448294998 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157600655920 140158293285506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32598] ppid=32530 vsize=28768336 memory=0 CPUtime=15.49 cores=0-7
/proc/32532/task/32598/stat : 32598 (java) S 32530 32530 31238 0 -1 1077944384 942 0 0 0 1549 0 0 0 20 0 28 0 448318484 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157585370496 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32599] ppid=32530 vsize=28768336 memory=3123704 CPUtime=15.19 cores=0-7
/proc/32532/task/32599/stat : 32599 (java) S 32530 32530 31238 0 -1 1077944384 698 0 0 0 1519 0 0 0 20 0 28 0 448318484 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157589582544 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32600] ppid=32530 vsize=28768336 memory=1452 CPUtime=15.48 cores=0-7
/proc/32532/task/32600/stat : 32600 (java) S 32530 32530 31238 0 -1 1077944384 475 0 0 0 1548 0 0 0 20 0 28 0 448318484 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157588530768 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32601] ppid=32530 vsize=28768336 memory=3123704 CPUtime=15.52 cores=0-7
/proc/32532/task/32601/stat : 32601 (java) S 32530 32530 31238 0 -1 1077944384 2411 0 0 0 1551 1 0 0 20 0 28 0 448318484 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157586425296 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32602] ppid=32530 vsize=28768336 memory=1556 CPUtime=15.41 cores=0-7
/proc/32532/task/32602/stat : 32602 (java) S 32530 32530 31238 0 -1 1077944384 1096 0 0 0 1540 1 0 0 20 0 28 0 448318484 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157583267152 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32603] ppid=32530 vsize=28768336 memory=500 CPUtime=17.03 cores=0-7
/proc/32532/task/32603/stat : 32603 (java) R 32530 32530 31238 0 -1 4202560 1868 0 0 0 1703 0 0 0 20 0 28 0 448318484 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157584316328 140157896539067 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32604] ppid=32530 vsize=28768336 memory=3624 CPUtime=16.1 cores=0-7
/proc/32532/task/32604/stat : 32604 (java) S 32530 32530 31238 0 -1 1077944384 573 0 0 0 1609 1 0 0 20 0 28 0 448318484 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157587477584 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
[pid=32532/tid=32605] ppid=32530 vsize=28768336 memory=36440 CPUtime=15.6 cores=0-7
/proc/32532/task/32605/stat : 32605 (java) S 32530 32530 31238 0 -1 1077944384 589 0 0 0 1560 0 0 0 20 0 28 0 448318484 29458776064 780926 33554432000 4194304 4196468 140733991249344 140157582214096 140158293284565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39133184 140733991252976 140733991253147 140733991253147 140733991256015 0
Current children cumulated CPU time: 1551.17 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3125156 KiB

Child status: 143
Real time (s): 252.031
CPU time (s): 1551.22
CPU user time (s): 1548.13
CPU system time (s): 3.09092
CPU usage (%): 615.487
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 3125156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1548.13
system time used= 3.09092
maximum resident set size= 3124288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202420
page faults= 0
swaps= 0
block input operations= 0
block output operations= 568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12448
involuntary context switches= 16567


# summary of solver processes directly reported to runsolver:
#   pid: 32530,32532
#   total CPU time (s): 1551.22
#   total CPU user time (s): 1548.13
#   total CPU system time (s): 3.09092

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.31774 second user time and 3.17766 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	2400.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 4400308

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
