2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b seq (e747e1e)	SAT (TO)	70	252.034	248.023
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 (10696 MiB free)
  memory of node 1: 16384 MiB (12468 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301339-1532890251/watcher-4301339-1532890251 -o /tmp/evaluation-result-4301339-1532890251/solver-4301339-1532890251 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532878307-6427 --watchdog 312 HOME/xcsp3-exec -seed 1970256098 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301339-1532890251.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100166 s]*
/proc/loadavg: 1.94 1.87 1.87 3/217 16895
/proc/meminfo: memFree=23703572/32770624 swapFree=67108860/67108860
[pid=16879] ppid=16876 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16879/stat : 16879 (xcsp3-exec) S 16876 16879 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106588295 115843072 363 33554432000 4194304 5098028 140733536038400 140733536036504 140579154788988 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35422208 140733536044096 140733536044297 140733536044297 140733536047050 0
/proc/16879/statm: 28282 363 305 221 0 87 0
[pid=16881] ppid=16879 vsize=14082940 memory=28576 CPUtime=0.12 cores=0,2,4,6
/proc/16881/stat : 16881 (java) S 16879 16879 6396 0 -1 1077944320 5566 0 0 0 11 1 0 0 20 0 15 0 106588295 14420930560 7144 33554432000 4194304 4196468 140735305289872 140735305272416 140666141708023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
/proc/16881/statm: 3520735 7144 2999 1 0 3483012 0
[pid=16881/tid=16882] ppid=16879 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/16881/task/16882/stat : 16882 (java) R 16879 16879 6396 0 -1 4202560 3582 0 0 0 9 0 0 0 20 0 15 0 106588296 14420930560 7144 33554432000 4194304 4196468 140735305289872 140666145938896 140666141719958 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16883] ppid=16879 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16883/stat : 16883 (java) S 16879 16879 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106588296 14420930560 7144 33554432000 4194304 4196468 140735305289872 140666094328848 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16884] ppid=16879 vsize=14082940 memory=140247534294656 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16884/stat : 16884 (java) S 16879 16879 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106588296 14420930560 7144 33554432000 4194304 4196468 140735305289872 140666093276304 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16885] ppid=16879 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16885/stat : 16885 (java) S 16879 16879 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106588296 14420930560 7144 33554432000 4194304 4196468 140735305289872 140666092223248 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16886] ppid=16879 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16886/stat : 16886 (java) S 16879 16879 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106588296 14420930560 7144 33554432000 4194304 4196468 140735305289872 140666091170704 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16887] ppid=16879 vsize=14082940 memory=140247534294656 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16887/stat : 16887 (java) S 16879 16879 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106588298 14420930560 7144 33554432000 4194304 4196468 140735305289872 140665683056880 140666141719170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16888] ppid=16879 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16888/stat : 16888 (java) S 16879 16879 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106588298 14420930560 7144 33554432000 4194304 4196468 140735305289872 140665480537248 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16889] ppid=16879 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16889/stat : 16889 (java) S 16879 16879 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106588298 14420930560 7144 33554432000 4194304 4196468 140735305289872 140665479484144 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16890] ppid=16879 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16890/stat : 16890 (java) S 16879 16879 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106588301 14420930560 7144 33554432000 4194304 4196468 140735305289872 140665478432720 140666141726619 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16891] ppid=16879 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16891/stat : 16891 (java) S 16879 16879 6396 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 106588301 14420930560 7144 33554432000 4194304 4196468 140735305289872 140665477380848 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16892] ppid=16879 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16892/stat : 16892 (java) S 16879 16879 6396 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 106588301 14420930560 7144 33554432000 4194304 4196468 140735305289872 140665476328304 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16893] ppid=16879 vsize=14082940 memory=140247534294656 CPUtime=0.01 cores=0,2,4,6
/proc/16881/task/16893/stat : 16893 (java) R 16879 16879 6396 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 15 0 106588301 14420930560 7144 33554432000 4194304 4196468 140735305289872 140665475275248 140666122967178 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16894] ppid=16879 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16894/stat : 16894 (java) S 16879 16879 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106588301 14420930560 7144 33554432000 4194304 4196468 140735305289872 140665474222944 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16895] ppid=16879 vsize=14082940 memory=140247534294656 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16895/stat : 16895 (java) S 16879 16879 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106588301 14420930560 7144 33554432000 4194304 4196468 140735305289872 140665473169968 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30028 KiB

[startup+0.210754 s]*
/proc/loadavg: 2.02 1.89 1.88 4/217 16895
/proc/meminfo: memFree=23691580/32770624 swapFree=67108860/67108860
[pid=16879] ppid=16876 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16879/stat : 16879 (xcsp3-exec) S 16876 16879 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106588295 115843072 363 33554432000 4194304 5098028 140733536038400 140733536036504 140579154788988 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35422208 140733536044096 140733536044297 140733536044297 140733536047050 0
/proc/16879/statm: 28282 363 305 221 0 87 0
[pid=16881] ppid=16879 vsize=14082940 memory=40924 CPUtime=0.34 cores=0,2,4,6
/proc/16881/stat : 16881 (java) S 16879 16879 6396 0 -1 1077944320 8296 0 0 0 32 2 0 0 20 0 15 0 106588295 14420930560 10231 33554432000 4194304 4196468 140735305289872 140735305272416 140666141708023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
/proc/16881/statm: 3520735 10231 3181 1 0 3483012 0
[pid=16881/tid=16882] ppid=16879 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/16881/task/16882/stat : 16882 (java) R 16879 16879 6396 0 -1 4202560 5440 0 0 0 19 1 0 0 20 0 15 0 106588296 14420930560 10231 33554432000 4194304 4196468 140735305289872 140666145943008 140666141729949 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16883] ppid=16879 vsize=14082940 memory=12591 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16883/stat : 16883 (java) S 16879 16879 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106588296 14420930560 10231 33554432000 4194304 4196468 140735305289872 140666094328848 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16884] ppid=16879 vsize=14082940 memory=140247534931275 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16884/stat : 16884 (java) S 16879 16879 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106588296 14420930560 10231 33554432000 4194304 4196468 140735305289872 140666093276304 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16885] ppid=16879 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16885/stat : 16885 (java) S 16879 16879 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106588296 14420930560 10231 33554432000 4194304 4196468 140735305289872 140666092223248 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16886] ppid=16879 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16886/stat : 16886 (java) S 16879 16879 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106588296 14420930560 10231 33554432000 4194304 4196468 140735305289872 140666091170704 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16887] ppid=16879 vsize=14082940 memory=140247534294656 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16887/stat : 16887 (java) S 16879 16879 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106588298 14420930560 10231 33554432000 4194304 4196468 140735305289872 140665683056880 140666141719170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16888] ppid=16879 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16888/stat : 16888 (java) S 16879 16879 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106588298 14420930560 10231 33554432000 4194304 4196468 140735305289872 140665480537248 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16889] ppid=16879 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16889/stat : 16889 (java) S 16879 16879 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106588298 14420930560 10231 33554432000 4194304 4196468 140735305289872 140665479484144 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16890] ppid=16879 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16890/stat : 16890 (java) S 16879 16879 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106588301 14420930560 10295 33554432000 4194304 4196468 140735305289872 140665478432720 140666141726619 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16891] ppid=16879 vsize=14082940 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16881/task/16891/stat : 16891 (java) S 16879 16879 6396 0 -1 1077944384 583 0 0 0 3 0 0 0 20 0 15 0 106588301 14420930560 10295 33554432000 4194304 4196468 140735305289872 140665477380848 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16892] ppid=16879 vsize=14082940 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/16881/task/16892/stat : 16892 (java) S 16879 16879 6396 0 -1 1077944384 205 0 0 0 1 0 0 0 20 0 15 0 106588301 14420930560 10295 33554432000 4194304 4196468 140735305289872 140665476328304 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16893] ppid=16879 vsize=14082940 memory=140247534294656 CPUtime=0.08 cores=0,2,4,6
/proc/16881/task/16893/stat : 16893 (java) S 16879 16879 6396 0 -1 1077944384 768 0 0 0 8 0 0 0 20 0 15 0 106588301 14420930560 10295 33554432000 4194304 4196468 140735305289872 140665475275248 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16894] ppid=16879 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16894/stat : 16894 (java) S 16879 16879 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106588301 14420930560 10295 33554432000 4194304 4196468 140735305289872 140665474222944 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16895] ppid=16879 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16895/stat : 16895 (java) S 16879 16879 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106588301 14420930560 10295 33554432000 4194304 4196468 140735305289872 140665473169968 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42376 KiB

[startup+0.310745 s]*
/proc/loadavg: 2.02 1.89 1.88 4/217 16895
/proc/meminfo: memFree=23685792/32770624 swapFree=67108860/67108860
[pid=16879] ppid=16876 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16879/stat : 16879 (xcsp3-exec) S 16876 16879 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106588295 115843072 363 33554432000 4194304 5098028 140733536038400 140733536036504 140579154788988 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35422208 140733536044096 140733536044297 140733536044297 140733536047050 0
/proc/16879/statm: 28282 363 305 221 0 87 0
[pid=16881] ppid=16879 vsize=14087196 memory=48164 CPUtime=0.53 cores=0,2,4,6
/proc/16881/stat : 16881 (java) S 16879 16879 6396 0 -1 1077944320 9179 0 0 0 50 3 0 0 20 0 15 0 106588295 14425288704 12041 33554432000 4194304 4196468 140735305289872 140735305272416 140666141708023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
/proc/16881/statm: 3521799 12041 3265 1 0 3483012 0
[pid=16881/tid=16882] ppid=16879 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/16881/task/16882/stat : 16882 (java) R 16879 16879 6396 0 -1 4202560 6141 0 0 0 28 2 0 0 20 0 15 0 106588296 14425288704 12041 33554432000 4194304 4196468 140735305289872 140666145937696 140666125788510 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16883] ppid=16879 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16883/stat : 16883 (java) S 16879 16879 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106588296 14425288704 12041 33554432000 4194304 4196468 140735305289872 140666094328848 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16884] ppid=16879 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16884/stat : 16884 (java) S 16879 16879 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106588296 14425288704 12041 33554432000 4194304 4196468 140735305289872 140666093276304 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16885] ppid=16879 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16885/stat : 16885 (java) S 16879 16879 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106588296 14425288704 12041 33554432000 4194304 4196468 140735305289872 140666092223248 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16886] ppid=16879 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16886/stat : 16886 (java) S 16879 16879 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106588296 14425288704 12041 33554432000 4194304 4196468 140735305289872 140666091170704 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16887] ppid=16879 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16887/stat : 16887 (java) S 16879 16879 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106588298 14425288704 12041 33554432000 4194304 4196468 140735305289872 140665683056880 140666141719170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16888] ppid=16879 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16888/stat : 16888 (java) S 16879 16879 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106588298 14425288704 12041 33554432000 4194304 4196468 140735305289872 140665480537248 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16889] ppid=16879 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16889/stat : 16889 (java) S 16879 16879 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106588298 14425288704 12041 33554432000 4194304 4196468 140735305289872 140665479484144 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16890] ppid=16879 vsize=14087196 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16890/stat : 16890 (java) S 16879 16879 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106588301 14425288704 12041 33554432000 4194304 4196468 140735305289872 140665478432720 140666141726619 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16891] ppid=16879 vsize=14087196 memory=4628975386420216973 CPUtime=0.06 cores=0,2,4,6
/proc/16881/task/16891/stat : 16891 (java) S 16879 16879 6396 0 -1 1077944384 666 0 0 0 6 0 0 0 20 0 15 0 106588301 14425288704 12041 33554432000 4194304 4196468 140735305289872 140665477380848 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16892] ppid=16879 vsize=14087196 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16881/task/16892/stat : 16892 (java) S 16879 16879 6396 0 -1 1077944384 221 0 0 0 3 0 0 0 20 0 15 0 106588301 14425288704 12041 33554432000 4194304 4196468 140735305289872 140665476328304 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16893] ppid=16879 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/16881/task/16893/stat : 16893 (java) S 16879 16879 6396 0 -1 1077944384 853 0 0 0 12 0 0 0 20 0 15 0 106588301 14425288704 12041 33554432000 4194304 4196468 140735305289872 140665475275248 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16894] ppid=16879 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16894/stat : 16894 (java) S 16879 16879 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106588301 14425288704 12041 33554432000 4194304 4196468 140735305289872 140665474222944 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16895] ppid=16879 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16895/stat : 16895 (java) S 16879 16879 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106588301 14425288704 12041 33554432000 4194304 4196468 140735305289872 140665473169968 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49616 KiB

[startup+0.700791 s]
/proc/loadavg: 2.02 1.89 1.88 5/217 16895
/proc/meminfo: memFree=23658928/32770624 swapFree=67108860/67108860
[pid=16879] ppid=16876 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16879/stat : 16879 (xcsp3-exec) S 16876 16879 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106588295 115843072 363 33554432000 4194304 5098028 140733536038400 140733536036504 140579154788988 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35422208 140733536044096 140733536044297 140733536044297 140733536047050 0
/proc/16879/statm: 28282 363 305 221 0 87 0
[pid=16881] ppid=16879 vsize=14089320 memory=106980 CPUtime=1.74 cores=0,2,4,6
/proc/16881/stat : 16881 (java) S 16879 16879 6396 0 -1 1077944320 12665 0 0 0 169 5 0 0 20 0 15 0 106588295 14427463680 26745 33554432000 4194304 4196468 140735305289872 140735305272416 140666141708023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
/proc/16881/statm: 3522330 26745 3355 1 0 3483524 0
[pid=16881/tid=16882] ppid=16879 vsize=14089320 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/16881/task/16882/stat : 16882 (java) R 16879 16879 6396 0 -1 4202560 6747 0 0 0 64 3 0 0 20 0 15 0 106588296 14427463680 26745 33554432000 4194304 4196468 140735305289872 140666145915264 140666125788510 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16883] ppid=16879 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16883/stat : 16883 (java) S 16879 16879 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106588296 14427463680 26745 33554432000 4194304 4196468 140735305289872 140666094328848 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16884] ppid=16879 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16884/stat : 16884 (java) S 16879 16879 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106588296 14427463680 26745 33554432000 4194304 4196468 140735305289872 140666093276304 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16885] ppid=16879 vsize=14089320 memory=30308 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16885/stat : 16885 (java) S 16879 16879 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106588296 14427463680 26745 33554432000 4194304 4196468 140735305289872 140666092223248 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16886] ppid=16879 vsize=14089320 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16886/stat : 16886 (java) S 16879 16879 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106588296 14427463680 26745 33554432000 4194304 4196468 140735305289872 140666091170704 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16887] ppid=16879 vsize=14089320 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16887/stat : 16887 (java) S 16879 16879 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106588298 14427463680 26745 33554432000 4194304 4196468 140735305289872 140665683056880 140666141719170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16888] ppid=16879 vsize=14089320 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16888/stat : 16888 (java) S 16879 16879 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106588298 14427463680 26745 33554432000 4194304 4196468 140735305289872 140665480537248 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16889] ppid=16879 vsize=14089320 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16889/stat : 16889 (java) S 16879 16879 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106588298 14427463680 26745 33554432000 4194304 4196468 140735305289872 140665479484144 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16890] ppid=16879 vsize=14089320 memory=796 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16890/stat : 16890 (java) S 16879 16879 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106588301 14427463680 26745 33554432000 4194304 4196468 140735305289872 140665478432720 140666141726619 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16891] ppid=16879 vsize=14089320 memory=5408 CPUtime=0.36 cores=0,2,4,6
/proc/16881/task/16891/stat : 16891 (java) R 16879 16879 6396 0 -1 4202560 1780 0 0 0 36 0 0 0 20 0 15 0 106588301 14427463680 26745 33554432000 4194304 4196468 140735305289872 140665477366928 140666123231321 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16892] ppid=16879 vsize=14089320 memory=1008 CPUtime=0.35 cores=0,2,4,6
/proc/16881/task/16892/stat : 16892 (java) R 16879 16879 6396 0 -1 4202560 1172 0 0 0 35 0 0 0 20 0 15 0 106588301 14427463680 26745 33554432000 4194304 4196468 140735305289872 140665476317568 140666120954420 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16893] ppid=16879 vsize=14089320 memory=9992 CPUtime=0.32 cores=0,2,4,6
/proc/16881/task/16893/stat : 16893 (java) S 16879 16879 6396 0 -1 1077944384 1658 0 0 0 32 0 0 0 20 0 15 0 106588301 14427463680 26745 33554432000 4194304 4196468 140735305289872 140665475275248 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16894] ppid=16879 vsize=14089320 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16894/stat : 16894 (java) S 16879 16879 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106588301 14427463680 26745 33554432000 4194304 4196468 140735305289872 140665474222944 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16895] ppid=16879 vsize=14089320 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16895/stat : 16895 (java) S 16879 16879 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106588301 14427463680 26745 33554432000 4194304 4196468 140735305289872 140665473169968 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 108432 KiB

[startup+1.50085 s]
/proc/loadavg: 2.02 1.89 1.88 5/217 16895
/proc/meminfo: memFree=23592468/32770624 swapFree=67108860/67108860
[pid=16879] ppid=16876 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16879/stat : 16879 (xcsp3-exec) S 16876 16879 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106588295 115843072 363 33554432000 4194304 5098028 140733536038400 140733536036504 140579154788988 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35422208 140733536044096 140733536044297 140733536044297 140733536047050 0
/proc/16879/statm: 28282 363 305 221 0 87 0

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

/proc/16881/task/16889/stat : 16889 (java) S 16879 16879 6396 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 106588298 14427463680 51066 33554432000 4194304 4196468 140735305289872 140665479484144 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16890] ppid=16879 vsize=14089320 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16890/stat : 16890 (java) S 16879 16879 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106588301 14427463680 51066 33554432000 4194304 4196468 140735305289872 140665478432720 140666141726619 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16891] ppid=16879 vsize=14089320 memory=30308 CPUtime=1.71 cores=0,2,4,6
/proc/16881/task/16891/stat : 16891 (java) S 16879 16879 6396 0 -1 1077944384 9883 0 0 0 170 1 0 0 20 0 15 0 106588301 14427463680 51066 33554432000 4194304 4196468 140735305289872 140665477380848 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16892] ppid=16879 vsize=14089320 memory=1292 CPUtime=1.52 cores=0,2,4,6
/proc/16881/task/16892/stat : 16892 (java) S 16879 16879 6396 0 -1 1077944384 10323 0 0 0 150 2 0 0 20 0 15 0 106588301 14427463680 51066 33554432000 4194304 4196468 140735305289872 140665476328304 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16893] ppid=16879 vsize=14089320 memory=1452 CPUtime=0.6 cores=0,2,4,6
/proc/16881/task/16893/stat : 16893 (java) S 16879 16879 6396 0 -1 1077944384 5919 0 0 0 59 1 0 0 20 0 15 0 106588301 14427463680 51066 33554432000 4194304 4196468 140735305289872 140665475275248 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16894] ppid=16879 vsize=14089320 memory=179044 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16894/stat : 16894 (java) S 16879 16879 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106588301 14427463680 51066 33554432000 4194304 4196468 140735305289872 140665474222944 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16895] ppid=16879 vsize=14089320 memory=2416 CPUtime=0.02 cores=0,2,4,6
/proc/16881/task/16895/stat : 16895 (java) S 16879 16879 6396 0 -1 1077944384 452 0 0 0 1 1 0 0 20 0 15 0 106588301 14427463680 51066 33554432000 4194304 4196468 140735305289872 140665473169968 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
Current children cumulated CPU time: 106.19 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 205716 KiB

[startup+162.301 s]
/proc/loadavg: 1.55 1.82 1.86 2/195 16948
/proc/meminfo: memFree=23743636/32770624 swapFree=67108860/67108860
[pid=16879] ppid=16876 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16879/stat : 16879 (xcsp3-exec) S 16876 16879 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106588295 115843072 363 33554432000 4194304 5098028 140733536038400 140733536036504 140579154788988 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35422208 140733536044096 140733536044297 140733536044297 140733536047050 0
/proc/16879/statm: 28282 363 305 221 0 87 0
[pid=16881] ppid=16879 vsize=14089320 memory=204444 CPUtime=166.24 cores=0,2,4,6
/proc/16881/stat : 16881 (java) S 16879 16879 6396 0 -1 1077944320 45372 0 0 0 16612 12 0 0 20 0 15 0 106588295 14427463680 51111 33554432000 4194304 4196468 140735305289872 140735305272416 140666141708023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
/proc/16881/statm: 3522330 51111 3416 1 0 3483524 0
[pid=16881/tid=16882] ppid=16879 vsize=14089320 memory=204444 CPUtime=162.23 cores=0,2,4,6
/proc/16881/task/16882/stat : 16882 (java) R 16879 16879 6396 0 -1 4202560 12097 0 0 0 16219 4 0 0 20 0 15 0 106588296 14427463680 51111 33554432000 4194304 4196468 140735305289872 140666145946424 140665771246456 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16883] ppid=16879 vsize=14089320 memory=204444 CPUtime=0.01 cores=0,2,4,6
/proc/16881/task/16883/stat : 16883 (java) S 16879 16879 6396 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 15 0 106588296 14427463680 51111 33554432000 4194304 4196468 140735305289872 140666094328848 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16884] ppid=16879 vsize=14089320 memory=204444 CPUtime=0.01 cores=0,2,4,6
/proc/16881/task/16884/stat : 16884 (java) S 16879 16879 6396 0 -1 1077944384 1210 0 0 0 1 0 0 0 20 0 15 0 106588296 14427463680 51111 33554432000 4194304 4196468 140735305289872 140666093276304 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16885] ppid=16879 vsize=14089320 memory=204444 CPUtime=0.01 cores=0,2,4,6
/proc/16881/task/16885/stat : 16885 (java) S 16879 16879 6396 0 -1 1077944384 450 0 0 0 1 0 0 0 20 0 15 0 106588296 14427463680 51111 33554432000 4194304 4196468 140735305289872 140666092223248 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16886] ppid=16879 vsize=14089320 memory=204444 CPUtime=0.01 cores=0,2,4,6
/proc/16881/task/16886/stat : 16886 (java) S 16879 16879 6396 0 -1 1077944384 1600 0 0 0 1 0 0 0 20 0 15 0 106588296 14427463680 51111 33554432000 4194304 4196468 140735305289872 140666091170704 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16887] ppid=16879 vsize=14089320 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/16881/task/16887/stat : 16887 (java) S 16879 16879 6396 0 -1 1077944384 974 0 0 0 1 0 0 0 20 0 15 0 106588298 14427463680 51111 33554432000 4194304 4196468 140735305289872 140665683056880 140666141719170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16888] ppid=16879 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16888/stat : 16888 (java) S 16879 16879 6396 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 106588298 14427463680 51111 33554432000 4194304 4196468 140735305289872 140665480537248 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16889] ppid=16879 vsize=14089320 memory=204444 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16889/stat : 16889 (java) S 16879 16879 6396 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 106588298 14427463680 51111 33554432000 4194304 4196468 140735305289872 140665479484144 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16890] ppid=16879 vsize=14089320 memory=204444 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16890/stat : 16890 (java) S 16879 16879 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106588301 14427463680 51111 33554432000 4194304 4196468 140735305289872 140665478432720 140666141726619 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16891] ppid=16879 vsize=14089320 memory=1452 CPUtime=1.71 cores=0,2,4,6
/proc/16881/task/16891/stat : 16891 (java) S 16879 16879 6396 0 -1 1077944384 9909 0 0 0 170 1 0 0 20 0 15 0 106588301 14427463680 51111 33554432000 4194304 4196468 140735305289872 140665477380848 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16892] ppid=16879 vsize=14089320 memory=1452 CPUtime=1.52 cores=0,2,4,6
/proc/16881/task/16892/stat : 16892 (java) S 16879 16879 6396 0 -1 1077944384 10328 0 0 0 150 2 0 0 20 0 15 0 106588301 14427463680 51111 33554432000 4194304 4196468 140735305289872 140665476328304 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16893] ppid=16879 vsize=14089320 memory=204416 CPUtime=0.61 cores=0,2,4,6
/proc/16881/task/16893/stat : 16893 (java) S 16879 16879 6396 0 -1 1077944384 6479 0 0 0 60 1 0 0 20 0 15 0 106588301 14427463680 51111 33554432000 4194304 4196468 140735305289872 140665475275248 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16894] ppid=16879 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16894/stat : 16894 (java) S 16879 16879 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106588301 14427463680 51111 33554432000 4194304 4196468 140735305289872 140665474222944 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16895] ppid=16879 vsize=14089320 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/16881/task/16895/stat : 16895 (java) S 16879 16879 6396 0 -1 1077944384 492 0 0 0 2 2 0 0 20 0 15 0 106588301 14427463680 51111 33554432000 4194304 4196468 140735305289872 140665473169968 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
Current children cumulated CPU time: 166.24 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 205896 KiB

[startup+222.301 s]
/proc/loadavg: 1.20 1.67 1.80 2/195 16949
/proc/meminfo: memFree=23749352/32770624 swapFree=67108860/67108860
[pid=16879] ppid=16876 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16879/stat : 16879 (xcsp3-exec) S 16876 16879 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106588295 115843072 363 33554432000 4194304 5098028 140733536038400 140733536036504 140579154788988 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35422208 140733536044096 140733536044297 140733536044297 140733536047050 0
/proc/16879/statm: 28282 363 305 221 0 87 0
[pid=16881] ppid=16879 vsize=14089320 memory=198820 CPUtime=226.27 cores=0,2,4,6
/proc/16881/stat : 16881 (java) S 16879 16879 6396 0 -1 1077944320 46301 0 0 0 22615 12 0 0 20 0 15 0 106588295 14427463680 49705 33554432000 4194304 4196468 140735305289872 140735305272416 140666141708023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
/proc/16881/statm: 3522330 49705 3416 1 0 3483524 0
[pid=16881/tid=16882] ppid=16879 vsize=14089320 memory=198820 CPUtime=222.22 cores=0,2,4,6
/proc/16881/task/16882/stat : 16882 (java) R 16879 16879 6396 0 -1 4202560 12341 0 0 0 22218 4 0 0 20 0 15 0 106588296 14427463680 49705 33554432000 4194304 4196468 140735305289872 140666145944952 140665771246594 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16883] ppid=16879 vsize=14089320 memory=198820 CPUtime=0.01 cores=0,2,4,6
/proc/16881/task/16883/stat : 16883 (java) S 16879 16879 6396 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 15 0 106588296 14427463680 49705 33554432000 4194304 4196468 140735305289872 140666094328848 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16884] ppid=16879 vsize=14089320 memory=198820 CPUtime=0.01 cores=0,2,4,6
/proc/16881/task/16884/stat : 16884 (java) S 16879 16879 6396 0 -1 1077944384 1244 0 0 0 1 0 0 0 20 0 15 0 106588296 14427463680 49705 33554432000 4194304 4196468 140735305289872 140666093276304 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16885] ppid=16879 vsize=14089320 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/16881/task/16885/stat : 16885 (java) S 16879 16879 6396 0 -1 1077944384 450 0 0 0 1 0 0 0 20 0 15 0 106588296 14427463680 49705 33554432000 4194304 4196468 140735305289872 140666092223248 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16886] ppid=16879 vsize=14089320 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/16881/task/16886/stat : 16886 (java) S 16879 16879 6396 0 -1 1077944384 1600 0 0 0 1 0 0 0 20 0 15 0 106588296 14427463680 49705 33554432000 4194304 4196468 140735305289872 140666091170704 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16887] ppid=16879 vsize=14089320 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/16881/task/16887/stat : 16887 (java) S 16879 16879 6396 0 -1 1077944384 991 0 0 0 1 0 0 0 20 0 15 0 106588298 14427463680 49705 33554432000 4194304 4196468 140735305289872 140665683056880 140666141719170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16888] ppid=16879 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16888/stat : 16888 (java) S 16879 16879 6396 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 106588298 14427463680 49705 33554432000 4194304 4196468 140735305289872 140665480537248 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16889] ppid=16879 vsize=14089320 memory=198820 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16889/stat : 16889 (java) S 16879 16879 6396 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 106588298 14427463680 49705 33554432000 4194304 4196468 140735305289872 140665479484144 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16890] ppid=16879 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16890/stat : 16890 (java) S 16879 16879 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106588301 14427463680 49705 33554432000 4194304 4196468 140735305289872 140665478432720 140666141726619 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16891] ppid=16879 vsize=14089320 memory=4128 CPUtime=1.72 cores=0,2,4,6
/proc/16881/task/16891/stat : 16891 (java) S 16879 16879 6396 0 -1 1077944384 10278 0 0 0 171 1 0 0 20 0 15 0 106588301 14427463680 49705 33554432000 4194304 4196468 140735305289872 140665477380848 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16892] ppid=16879 vsize=14089320 memory=30308 CPUtime=1.53 cores=0,2,4,6
/proc/16881/task/16892/stat : 16892 (java) S 16879 16879 6396 0 -1 1077944384 10541 0 0 0 151 2 0 0 20 0 15 0 106588301 14427463680 49705 33554432000 4194304 4196468 140735305289872 140665476328304 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16893] ppid=16879 vsize=14089320 memory=1796 CPUtime=0.61 cores=0,2,4,6
/proc/16881/task/16893/stat : 16893 (java) S 16879 16879 6396 0 -1 1077944384 6500 0 0 0 60 1 0 0 20 0 15 0 106588301 14427463680 49705 33554432000 4194304 4196468 140735305289872 140665475275248 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16894] ppid=16879 vsize=14089320 memory=916 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16894/stat : 16894 (java) S 16879 16879 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106588301 14427463680 49705 33554432000 4194304 4196468 140735305289872 140665474222944 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16895] ppid=16879 vsize=14089320 memory=1452 CPUtime=0.06 cores=0,2,4,6
/proc/16881/task/16895/stat : 16895 (java) S 16879 16879 6396 0 -1 1077944384 523 0 0 0 3 3 0 0 20 0 15 0 106588301 14427463680 49705 33554432000 4194304 4196468 140735305289872 140665473169968 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
Current children cumulated CPU time: 226.27 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 200272 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+248.001 s]*
/proc/loadavg: 1.08 1.60 1.78 2/195 16949
/proc/meminfo: memFree=23742152/32770624 swapFree=67108860/67108860
[pid=16879] ppid=16876 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16879/stat : 16879 (xcsp3-exec) S 16876 16879 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106588295 115843072 363 33554432000 4194304 5098028 140733536038400 140733536036504 140579154788988 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35422208 140733536044096 140733536044297 140733536044297 140733536047050 0
/proc/16879/statm: 28282 363 305 221 0 87 0
[pid=16881] ppid=16879 vsize=14089320 memory=205588 CPUtime=252 cores=0,2,4,6
/proc/16881/stat : 16881 (java) S 16879 16879 6396 0 -1 1077944320 48479 0 0 0 25187 13 0 0 20 0 15 0 106588295 14427463680 51397 33554432000 4194304 4196468 140735305289872 140735305272416 140666141708023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
/proc/16881/statm: 3522330 51397 3416 1 0 3483524 0
[pid=16881/tid=16882] ppid=16879 vsize=14089320 memory=17348 CPUtime=247.91 cores=0,2,4,6
/proc/16881/task/16882/stat : 16882 (java) R 16879 16879 6396 0 -1 4202560 12612 0 0 0 24787 4 0 0 20 0 15 0 106588296 14427463680 51397 33554432000 4194304 4196468 140735305289872 140666145947320 140665771277534 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16883] ppid=16879 vsize=14089320 memory=4872558044660077418 CPUtime=0.02 cores=0,2,4,6
/proc/16881/task/16883/stat : 16883 (java) S 16879 16879 6396 0 -1 1077944384 1341 0 0 0 2 0 0 0 20 0 15 0 106588296 14427463680 51397 33554432000 4194304 4196468 140735305289872 140666094328848 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16884] ppid=16879 vsize=14089320 memory=636 CPUtime=0.02 cores=0,2,4,6
/proc/16881/task/16884/stat : 16884 (java) S 16879 16879 6396 0 -1 1077944384 1325 0 0 0 2 0 0 0 20 0 15 0 106588296 14427463680 51397 33554432000 4194304 4196468 140735305289872 140666093276304 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16885] ppid=16879 vsize=14089320 memory=960 CPUtime=0.01 cores=0,2,4,6
/proc/16881/task/16885/stat : 16885 (java) S 16879 16879 6396 0 -1 1077944384 774 0 0 0 1 0 0 0 20 0 15 0 106588296 14427463680 51397 33554432000 4194304 4196468 140735305289872 140666092223248 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16886] ppid=16879 vsize=14089320 memory=1232 CPUtime=0.02 cores=0,2,4,6
/proc/16881/task/16886/stat : 16886 (java) S 16879 16879 6396 0 -1 1077944384 1687 0 0 0 2 0 0 0 20 0 15 0 106588296 14427463680 51397 33554432000 4194304 4196468 140735305289872 140666091170704 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16887] ppid=16879 vsize=14089320 memory=2344 CPUtime=0.01 cores=0,2,4,6
/proc/16881/task/16887/stat : 16887 (java) S 16879 16879 6396 0 -1 1077944384 1220 0 0 0 1 0 0 0 20 0 15 0 106588298 14427463680 51397 33554432000 4194304 4196468 140735305289872 140665683056880 140666141719170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16888] ppid=16879 vsize=14089320 memory=932 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16888/stat : 16888 (java) S 16879 16879 6396 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 106588298 14427463680 51397 33554432000 4194304 4196468 140735305289872 140665480537248 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16889] ppid=16879 vsize=14089320 memory=1580 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16889/stat : 16889 (java) S 16879 16879 6396 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 106588298 14427463680 51397 33554432000 4194304 4196468 140735305289872 140665479484144 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16890] ppid=16879 vsize=14089320 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16890/stat : 16890 (java) S 16879 16879 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106588301 14427463680 51397 33554432000 4194304 4196468 140735305289872 140665478432720 140666141726619 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16891] ppid=16879 vsize=14089320 memory=4124 CPUtime=1.72 cores=0,2,4,6
/proc/16881/task/16891/stat : 16891 (java) S 16879 16879 6396 0 -1 1077944384 10278 0 0 0 171 1 0 0 20 0 15 0 106588301 14427463680 51397 33554432000 4194304 4196468 140735305289872 140665477380848 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16892] ppid=16879 vsize=14089320 memory=2200 CPUtime=1.53 cores=0,2,4,6
/proc/16881/task/16892/stat : 16892 (java) S 16879 16879 6396 0 -1 1077944384 10541 0 0 0 151 2 0 0 20 0 15 0 106588301 14427463680 51397 33554432000 4194304 4196468 140735305289872 140665476328304 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16893] ppid=16879 vsize=14089320 memory=7528 CPUtime=0.61 cores=0,2,4,6
/proc/16881/task/16893/stat : 16893 (java) S 16879 16879 6396 0 -1 1077944384 6806 0 0 0 60 1 0 0 20 0 15 0 106588301 14427463680 51397 33554432000 4194304 4196468 140735305289872 140665475275248 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16894] ppid=16879 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16881/task/16894/stat : 16894 (java) S 16879 16879 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106588301 14427463680 51397 33554432000 4194304 4196468 140735305289872 140665474222944 140666141718229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
[pid=16881/tid=16895] ppid=16879 vsize=14089320 memory=1452 CPUtime=0.07 cores=0,2,4,6
/proc/16881/task/16895/stat : 16895 (java) S 16879 16879 6396 0 -1 1077944384 525 0 0 0 4 3 0 0 20 0 15 0 106588301 14427463680 51397 33554432000 4194304 4196468 140735305289872 140665473169968 140666141719170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 16740352 140735305294988 140735305295158 140735305295158 140735305297871 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 207040 KiB

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

[startup+248.019 s]
# the end of solver process 16879 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001042 s, system=0.001515 s

[startup+248.023 s]
# the end of solver process 16881 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.886 s, system=0.147584 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 248.023
CPU time (s): 252.034
CPU user time (s): 251.886
CPU system time (s): 0.147584
CPU usage (%): 101.617
Max. virtual memory (cumulated for all children) (KiB): 14204176
Max. memory (cumulated for all children) (KiB): 207040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.886
system time used= 0.147584
maximum resident set size= 207128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49487
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8034
involuntary context switches= 217


# summary of solver processes directly reported to runsolver:
#   pid: 16879,16881
#   total CPU time (s): 252.034
#   total CPU user time (s): 251.886
#   total CPU system time (s): 0.147584

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.80825 second user time and 1.90015 second system time

The end
Name	PseudoBoolean-opt/ Pb-circ6-3_c18.xml
MD5SUM	d3b486de415a0401f3261f3cd9b637d1
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	70
Best CPU time to get the best result obtained on this benchmark	251.98
Satisfiable
(Un)Satisfiability was proved
Number of variables	540
Number of constraints	4476
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":540}]
Minimum variable degree	12
Maximum variable degree	76
Distribution of variable degrees	[{"degree":12,"count":12},{"degree":13,"count":60},{"degree":18,"count":12},{"degree":19,"count":12},{"degree":20,"count":54},{"degree":26,"count":30},{"degree":28,"count":120},{"degree":35,"count":30},{"degree":44,"count":30},{"degree":52,"count":30},{"degree":60,"count":30},{"degree":68,"count":30},{"degree":74,"count":30},{"degree":75,"count":30},{"degree":76,"count":30}]
Minimum constraint arity	2
Maximum constraint arity	20
Distribution of constraint arities	[{"arity":2,"count":630},{"arity":3,"count":1860},{"arity":4,"count":282},{"arity":5,"count":372},{"arity":6,"count":300},{"arity":7,"count":240},{"arity":8,"count":240},{"arity":9,"count":240},{"arity":10,"count":270},{"arity":20,"count":42}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":4476}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4301339

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
