2018 XCSP3 competition: parallel solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b par (e747e1e)	SAT (TO)	66	20086	2520.13
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11588 MiB free)
  memory of node 1: 16384 MiB (15135 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297487-1532699271/watcher-4297487-1532699271 -o /tmp/evaluation-result-4297487-1532699271/solver-4297487-1532699271 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1532694226-19779 --watchdog 2580 HOME/xcsp3-exec -seed 693425535 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297487-1532699271.xml 

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

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

solver pid=20255, runsolver pid=20252

[startup+0.100176 s]*
/proc/loadavg: 8.57 8.89 8.88 3/204 20276
/proc/meminfo: memFree=27348660/32770624 swapFree=67108860/67108860
[pid=20255] ppid=20252 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20255/stat : 20255 (xcsp3-exec) S 20252 20255 19752 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 87490297 115843072 364 33554432000 4194304 5098028 140736844911888 140736844909992 140582782866044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33312768 140736844919862 140736844920064 140736844920064 140736844922826 0
/proc/20255/statm: 28282 364 306 221 0 87 0
[pid=20257] ppid=20255 vsize=26104152 memory=27204 CPUtime=0.11 cores=0-7
/proc/20257/stat : 20257 (java) S 20255 20255 19752 0 -1 1077944320 5685 0 0 0 10 1 0 0 20 0 20 0 87490297 26730651648 6801 33554432000 4194304 4196468 140735183581472 140735183564016 140322659163895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
/proc/20257/statm: 6526038 6801 3009 1 0 6488315 0
[pid=20257/tid=20258] ppid=20255 vsize=26104152 memory=7824049360276988060 CPUtime=0.08 cores=0-7
/proc/20257/task/20258/stat : 20258 (java) R 20255 20255 19752 0 -1 4202560 3682 0 0 0 8 0 0 0 20 0 20 0 87490297 26730651648 6801 33554432000 4194304 4196468 140735183581472 140322663392128 140322643244382 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20259] ppid=20255 vsize=26104152 memory=732370079854218213 CPUtime=0 cores=0-7
/proc/20257/task/20259/stat : 20259 (java) S 20255 20255 19752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87490298 26730651648 6801 33554432000 4194304 4196468 140735183581472 140322216999952 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20260] ppid=20255 vsize=26104152 memory=139941516764800 CPUtime=0 cores=0-7
/proc/20257/task/20260/stat : 20260 (java) S 20255 20255 19752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87490298 26730651648 6801 33554432000 4194304 4196468 140735183581472 140322215947408 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20261] ppid=20255 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20261/stat : 20261 (java) S 20255 20255 19752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87490298 26730651648 6801 33554432000 4194304 4196468 140735183581472 140322214894352 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20262] ppid=20255 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20262/stat : 20262 (java) S 20255 20255 19752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87490298 26730651648 6801 33554432000 4194304 4196468 140735183581472 140322213841808 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20263] ppid=20255 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20263/stat : 20263 (java) S 20255 20255 19752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87490298 26730651648 6801 33554432000 4194304 4196468 140735183581472 140322212788752 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20264] ppid=20255 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20257/task/20264/stat : 20264 (java) S 20255 20255 19752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87490298 26730651648 6801 33554432000 4194304 4196468 140735183581472 140322211736208 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20265] ppid=20255 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20265/stat : 20265 (java) S 20255 20255 19752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87490298 26730651648 6801 33554432000 4194304 4196468 140735183581472 140322210683152 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20266] ppid=20255 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20266/stat : 20266 (java) S 20255 20255 19752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87490298 26730651648 6801 33554432000 4194304 4196468 140735183581472 140322209630608 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20267] ppid=20255 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20267/stat : 20267 (java) S 20255 20255 19752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87490299 26730651648 6801 33554432000 4194304 4196468 140735183581472 140321132325616 140322659175042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20268] ppid=20255 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20268/stat : 20268 (java) S 20255 20255 19752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87490300 26730651648 6801 33554432000 4194304 4196468 140735183581472 140321131271840 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20269] ppid=20255 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20269/stat : 20269 (java) S 20255 20255 19752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87490300 26730651648 6801 33554432000 4194304 4196468 140735183581472 140321130218736 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20270] ppid=20255 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20270/stat : 20270 (java) S 20255 20255 19752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87490303 26730651648 6801 33554432000 4194304 4196468 140735183581472 140321129167312 140322659182491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20271] ppid=20255 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20271/stat : 20271 (java) S 20255 20255 19752 0 -1 1077944384 441 0 0 0 0 0 0 0 20 0 20 0 87490303 26730651648 6801 33554432000 4194304 4196468 140735183581472 140321128114416 140322659175042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20272] ppid=20255 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20272/stat : 20272 (java) S 20255 20255 19752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87490303 26730651648 6801 33554432000 4194304 4196468 140735183581472 140321127061872 140322659175042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20273] ppid=20255 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20273/stat : 20273 (java) S 20255 20255 19752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87490303 26730651648 6801 33554432000 4194304 4196468 140735183581472 140321126008816 140322659175042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20274] ppid=20255 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/20257/task/20274/stat : 20274 (java) R 20255 20255 19752 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 20 0 87490303 26730651648 6801 33554432000 4194304 4196468 140735183581472 140321124956272 140322644845690 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20275] ppid=20255 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20275/stat : 20275 (java) S 20255 20255 19752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87490303 26730651648 6801 33554432000 4194304 4196468 140735183581472 140321123904480 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20276] ppid=20255 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20257/task/20276/stat : 20276 (java) S 20255 20255 19752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87490303 26730651648 6801 33554432000 4194304 4196468 140735183581472 140321122852016 140322659175042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28660 KiB

[startup+0.210119 s]*
/proc/loadavg: 8.57 8.89 8.88 3/204 20276
/proc/meminfo: memFree=27337308/32770624 swapFree=67108860/67108860
[pid=20255] ppid=20252 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20255/stat : 20255 (xcsp3-exec) S 20252 20255 19752 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 87490297 115843072 364 33554432000 4194304 5098028 140736844911888 140736844909992 140582782866044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33312768 140736844919862 140736844920064 140736844920064 140736844922826 0
/proc/20255/statm: 28282 364 306 221 0 87 0
[pid=20257] ppid=20255 vsize=26104152 memory=39836 CPUtime=0.32 cores=0-7
/proc/20257/stat : 20257 (java) S 20255 20255 19752 0 -1 1077944320 8493 0 0 0 30 2 0 0 20 0 20 0 87490297 26730651648 9959 33554432000 4194304 4196468 140735183581472 140735183564016 140322659163895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
/proc/20257/statm: 6526038 9959 3164 1 0 6488315 0
[pid=20257/tid=20258] ppid=20255 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7
/proc/20257/task/20258/stat : 20258 (java) R 20255 20255 19752 0 -1 4202560 5580 0 0 0 18 1 0 0 20 0 20 0 87490297 26730651648 9959 33554432000 4194304 4196468 140735183581472 140322663400944 140322643244382 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20259] ppid=20255 vsize=26104152 memory=732370079854218213 CPUtime=0 cores=0-7
/proc/20257/task/20259/stat : 20259 (java) S 20255 20255 19752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87490298 26730651648 9959 33554432000 4194304 4196468 140735183581472 140322216999952 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20260] ppid=20255 vsize=26104152 memory=139941516764800 CPUtime=0 cores=0-7
/proc/20257/task/20260/stat : 20260 (java) S 20255 20255 19752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87490298 26730651648 9959 33554432000 4194304 4196468 140735183581472 140322215947408 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20261] ppid=20255 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20261/stat : 20261 (java) S 20255 20255 19752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87490298 26730651648 9959 33554432000 4194304 4196468 140735183581472 140322214894352 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20262] ppid=20255 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20262/stat : 20262 (java) S 20255 20255 19752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87490298 26730651648 9959 33554432000 4194304 4196468 140735183581472 140322213841808 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20263] ppid=20255 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20263/stat : 20263 (java) S 20255 20255 19752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87490298 26730651648 9959 33554432000 4194304 4196468 140735183581472 140322212788752 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20264] ppid=20255 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20257/task/20264/stat : 20264 (java) S 20255 20255 19752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87490298 26730651648 9959 33554432000 4194304 4196468 140735183581472 140322211736208 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20265] ppid=20255 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20265/stat : 20265 (java) S 20255 20255 19752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87490298 26730651648 9959 33554432000 4194304 4196468 140735183581472 140322210683152 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20266] ppid=20255 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20266/stat : 20266 (java) S 20255 20255 19752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87490298 26730651648 9959 33554432000 4194304 4196468 140735183581472 140322209630608 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20267] ppid=20255 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20267/stat : 20267 (java) S 20255 20255 19752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87490299 26730651648 9959 33554432000 4194304 4196468 140735183581472 140321132325616 140322659175042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20268] ppid=20255 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20268/stat : 20268 (java) S 20255 20255 19752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87490300 26730651648 9959 33554432000 4194304 4196468 140735183581472 140321131271840 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20269] ppid=20255 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20269/stat : 20269 (java) S 20255 20255 19752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87490300 26730651648 9959 33554432000 4194304 4196468 140735183581472 140321130218736 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20270] ppid=20255 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20270/stat : 20270 (java) S 20255 20255 19752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87490303 26730651648 9959 33554432000 4194304 4196468 140735183581472 140321129167312 140322659182491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20271] ppid=20255 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20271/stat : 20271 (java) S 20255 20255 19752 0 -1 1077944384 441 0 0 0 0 0 0 0 20 0 20 0 87490303 26730651648 9959 33554432000 4194304 4196468 140735183581472 140321128114416 140322659175042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20272] ppid=20255 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/20257/task/20272/stat : 20272 (java) S 20255 20255 19752 0 -1 1077944384 144 0 0 0 2 0 0 0 20 0 20 0 87490303 26730651648 9959 33554432000 4194304 4196468 140735183581472 140321127061872 140322659175042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20273] ppid=20255 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/20257/task/20273/stat : 20273 (java) R 20255 20255 19752 0 -1 4202560 278 0 0 0 1 0 0 0 20 0 20 0 87490303 26730651648 9959 33554432000 4194304 4196468 140735183581472 140321126008816 140322652148937 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20274] ppid=20255 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7
/proc/20257/task/20274/stat : 20274 (java) S 20255 20255 19752 0 -1 1077944384 738 0 0 0 7 0 0 0 20 0 20 0 87490303 26730651648 9959 33554432000 4194304 4196468 140735183581472 140321124956272 140322659175042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20275] ppid=20255 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20275/stat : 20275 (java) S 20255 20255 19752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87490303 26730651648 9959 33554432000 4194304 4196468 140735183581472 140321123904480 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20276] ppid=20255 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20257/task/20276/stat : 20276 (java) S 20255 20255 19752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87490303 26730651648 9959 33554432000 4194304 4196468 140735183581472 140321122852016 140322659175042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41292 KiB

[startup+0.310041 s]*
/proc/loadavg: 8.57 8.89 8.88 5/204 20276
/proc/meminfo: memFree=27330980/32770624 swapFree=67108860/67108860
[pid=20255] ppid=20252 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20255/stat : 20255 (xcsp3-exec) S 20252 20255 19752 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 87490297 115843072 364 33554432000 4194304 5098028 140736844911888 140736844909992 140582782866044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33312768 140736844919862 140736844920064 140736844920064 140736844922826 0
/proc/20255/statm: 28282 364 306 221 0 87 0
[pid=20257] ppid=20255 vsize=26108408 memory=46840 CPUtime=0.51 cores=0-7
/proc/20257/stat : 20257 (java) S 20255 20255 19752 0 -1 1077944320 9374 0 0 0 48 3 0 0 20 0 20 0 87490297 26735009792 11710 33554432000 4194304 4196468 140735183581472 140735183564016 140322659163895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
/proc/20257/statm: 6527102 11710 3246 1 0 6488315 0
[pid=20257/tid=20258] ppid=20255 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/20257/task/20258/stat : 20258 (java) R 20255 20255 19752 0 -1 4202560 6275 0 0 0 27 2 0 0 20 0 20 0 87490297 26735009792 11710 33554432000 4194304 4196468 140735183581472 140322663395008 140322643244382 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20259] ppid=20255 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20259/stat : 20259 (java) S 20255 20255 19752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87490298 26735009792 11710 33554432000 4194304 4196468 140735183581472 140322216999952 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20260] ppid=20255 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20260/stat : 20260 (java) S 20255 20255 19752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87490298 26735009792 11710 33554432000 4194304 4196468 140735183581472 140322215947408 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20261] ppid=20255 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20261/stat : 20261 (java) S 20255 20255 19752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87490298 26735009792 11710 33554432000 4194304 4196468 140735183581472 140322214894352 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20262] ppid=20255 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20262/stat : 20262 (java) S 20255 20255 19752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87490298 26735009792 11723 33554432000 4194304 4196468 140735183581472 140322213841808 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20263] ppid=20255 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/20257/task/20263/stat : 20263 (java) S 20255 20255 19752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87490298 26735009792 11723 33554432000 4194304 4196468 140735183581472 140322212788752 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20264] ppid=20255 vsize=26108408 memory=139941375996847 CPUtime=0 cores=0-7
/proc/20257/task/20264/stat : 20264 (java) S 20255 20255 19752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87490298 26735009792 11723 33554432000 4194304 4196468 140735183581472 140322211736208 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20265] ppid=20255 vsize=26108408 memory=139941375999152 CPUtime=0 cores=0-7
/proc/20257/task/20265/stat : 20265 (java) S 20255 20255 19752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87490298 26735009792 11723 33554432000 4194304 4196468 140735183581472 140322210683152 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20266] ppid=20255 vsize=26108408 memory=139941376001456 CPUtime=0 cores=0-7
/proc/20257/task/20266/stat : 20266 (java) S 20255 20255 19752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87490298 26735009792 11723 33554432000 4194304 4196468 140735183581472 140322209630608 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20267] ppid=20255 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20267/stat : 20267 (java) S 20255 20255 19752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87490299 26735009792 11723 33554432000 4194304 4196468 140735183581472 140321132325616 140322659175042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20268] ppid=20255 vsize=26108408 memory=279882752009872 CPUtime=0 cores=0-7
/proc/20257/task/20268/stat : 20268 (java) S 20255 20255 19752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87490300 26735009792 11723 33554432000 4194304 4196468 140735183581472 140321131271840 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20269] ppid=20255 vsize=26108408 memory=279882752016784 CPUtime=0 cores=0-7
/proc/20257/task/20269/stat : 20269 (java) S 20255 20255 19752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87490300 26735009792 11723 33554432000 4194304 4196468 140735183581472 140321130218736 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20270] ppid=20255 vsize=26108408 memory=279882751958064 CPUtime=0 cores=0-7
/proc/20257/task/20270/stat : 20270 (java) S 20255 20255 19752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87490303 26735009792 11723 33554432000 4194304 4196468 140735183581472 140321129167312 140322659182491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20271] ppid=20255 vsize=26108408 memory=279882752030608 CPUtime=0.02 cores=0-7
/proc/20257/task/20271/stat : 20271 (java) R 20255 20255 19752 0 -1 4202560 566 0 0 0 2 0 0 0 20 0 20 0 87490303 26735009792 11723 33554432000 4194304 4196468 140735183581472 140321128114416 140322640685077 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20272] ppid=20255 vsize=26108408 memory=279882752037520 CPUtime=0.03 cores=0-7
/proc/20257/task/20272/stat : 20272 (java) S 20255 20255 19752 0 -1 1077944384 148 0 0 0 3 0 0 0 20 0 20 0 87490303 26735009792 11723 33554432000 4194304 4196468 140735183581472 140321127061872 140322659175042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20273] ppid=20255 vsize=26108408 memory=279882752035216 CPUtime=0.02 cores=0-7
/proc/20257/task/20273/stat : 20273 (java) S 20255 20255 19752 0 -1 1077944384 282 0 0 0 2 0 0 0 20 0 20 0 87490303 26735009792 11723 33554432000 4194304 4196468 140735183581472 140321126008816 140322659175042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20274] ppid=20255 vsize=26108408 memory=279882752051376 CPUtime=0.12 cores=0-7
/proc/20257/task/20274/stat : 20274 (java) S 20255 20255 19752 0 -1 1077944384 792 0 0 0 12 0 0 0 20 0 20 0 87490303 26735009792 11723 33554432000 4194304 4196468 140735183581472 140321124956272 140322659175042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20275] ppid=20255 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20275/stat : 20275 (java) S 20255 20255 19752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87490303 26735009792 11723 33554432000 4194304 4196468 140735183581472 140321123904480 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20276] ppid=20255 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/20257/task/20276/stat : 20276 (java) S 20255 20255 19752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87490303 26735009792 11723 33554432000 4194304 4196468 140735183581472 140321122852016 140322659175042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48296 KiB

[startup+0.701057 s]
/proc/loadavg: 8.57 8.89 8.88 3/204 20276
/proc/meminfo: memFree=27308112/32770624 swapFree=67108860/67108860
[pid=20255] ppid=20252 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20255/stat : 20255 (xcsp3-exec) S 20252 20255 19752 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 87490297 115843072 364 33554432000 4194304 5098028 140736844911888 140736844909992 140582782866044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33312768 140736844919862 140736844920064 140736844920064 140736844922826 0
/proc/20255/statm: 28282 364 306 221 0 87 0
[pid=20257] ppid=20255 vsize=26110532 memory=114316 CPUtime=1.93 cores=0-7
/proc/20257/stat : 20257 (java) S 20255 20255 19752 0 -1 1077944320 15221 0 0 0 187 6 0 0 20 0 20 0 87490297 26737184768 28579 33554432000 4194304 4196468 140735183581472 140735183564016 140322659163895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
/proc/20257/statm: 6527633 28579 3361 1 0 6488827 0
[pid=20257/tid=20258] ppid=20255 vsize=26110532 memory=279882752346304 CPUtime=0.67 cores=0-7
/proc/20257/task/20258/stat : 20258 (java) R 20255 20255 19752 0 -1 4202560 7038 0 0 0 64 3 0 0 20 0 20 0 87490297 26737184768 28579 33554432000 4194304 4196468 140735183581472 140322663402032 140322644534830 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20259] ppid=20255 vsize=26110532 memory=792 CPUtime=0 cores=0-7
/proc/20257/task/20259/stat : 20259 (java) S 20255 20255 19752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87490298 26737184768 28579 33554432000 4194304 4196468 140735183581472 140322216999952 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20260] ppid=20255 vsize=26110532 memory=1224 CPUtime=0 cores=0-7
/proc/20257/task/20260/stat : 20260 (java) S 20255 20255 19752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87490298 26737184768 28645 33554432000 4194304 4196468 140735183581472 140322215947408 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20261] ppid=20255 vsize=26110532 memory=1944 CPUtime=0 cores=0-7
/proc/20257/task/20261/stat : 20261 (java) S 20255 20255 19752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87490298 26737184768 28645 33554432000 4194304 4196468 140735183581472 140322214894352 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0

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

[pid=20257/tid=20373] ppid=20255 vsize=26643044 memory=2396372 CPUtime=2176 cores=0-7
/proc/20257/task/20373/stat : 20373 (java) R 20255 20255 19752 0 -1 4202560 44622 0 0 0 217519 81 0 0 20 0 28 0 87515940 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321108992384 140322303251402 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
Current children cumulated CPU time: 19465.3 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 2397828 KiB

[startup+2502.3 s]
/proc/loadavg: 8.10 8.29 8.38 9/211 20456
/proc/meminfo: memFree=24976716/32770624 swapFree=67108860/67108860
[pid=20255] ppid=20252 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20255/stat : 20255 (xcsp3-exec) S 20252 20255 19752 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 87490297 115843072 364 33554432000 4194304 5098028 140736844911888 140736844909992 140582782866044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33312768 140736844919862 140736844920064 140736844920064 140736844922826 0
/proc/20255/statm: 28282 364 306 221 0 87 0
[pid=20257] ppid=20255 vsize=26643044 memory=2396372 CPUtime=19943.9 cores=0-7
/proc/20257/stat : 20257 (java) S 20255 20255 19752 0 -1 1077944320 370141 0 0 0 1993847 539 0 0 20 0 28 0 87490297 27282477056 599093 33554432000 4194304 4196468 140735183581472 140735183564016 140322659163895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
/proc/20257/statm: 6660761 599093 3457 1 0 6621955 0
[pid=20257/tid=20258] ppid=20255 vsize=26643044 memory=2396372 CPUtime=1.54 cores=0-7
/proc/20257/task/20258/stat : 20258 (java) S 20255 20255 19752 0 -1 1077944384 7960 0 0 0 148 6 0 0 20 0 28 0 87490297 27282477056 599093 33554432000 4194304 4196468 140735183581472 140322663404672 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20259] ppid=20255 vsize=26643044 memory=2396372 CPUtime=1.67 cores=0-7
/proc/20257/task/20259/stat : 20259 (java) S 20255 20255 19752 0 -1 1077944384 12103 0 0 0 145 22 0 0 20 0 28 0 87490298 27282477056 599093 33554432000 4194304 4196468 140735183581472 140322216999952 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20260] ppid=20255 vsize=26643044 memory=2396372 CPUtime=1.68 cores=0-7
/proc/20257/task/20260/stat : 20260 (java) S 20255 20255 19752 0 -1 1077944384 10130 0 0 0 147 21 0 0 20 0 28 0 87490298 27282477056 599093 33554432000 4194304 4196468 140735183581472 140322215947408 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20261] ppid=20255 vsize=26643044 memory=2396372 CPUtime=1.69 cores=0-7
/proc/20257/task/20261/stat : 20261 (java) S 20255 20255 19752 0 -1 1077944384 10605 0 0 0 148 21 0 0 20 0 28 0 87490298 27282477056 599093 33554432000 4194304 4196468 140735183581472 140322214894352 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20262] ppid=20255 vsize=26643044 memory=2396372 CPUtime=1.7 cores=0-7
/proc/20257/task/20262/stat : 20262 (java) S 20255 20255 19752 0 -1 1077944384 13434 0 0 0 148 22 0 0 20 0 28 0 87490298 27282477056 599093 33554432000 4194304 4196468 140735183581472 140322213841808 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20263] ppid=20255 vsize=26643044 memory=1456 CPUtime=1.67 cores=0-7
/proc/20257/task/20263/stat : 20263 (java) S 20255 20255 19752 0 -1 1077944384 9367 0 0 0 146 21 0 0 20 0 28 0 87490298 27282477056 599093 33554432000 4194304 4196468 140735183581472 140322212788752 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20264] ppid=20255 vsize=26643044 memory=2396372 CPUtime=1.69 cores=0-7
/proc/20257/task/20264/stat : 20264 (java) S 20255 20255 19752 0 -1 1077944384 9476 0 0 0 147 22 0 0 20 0 28 0 87490298 27282477056 599093 33554432000 4194304 4196468 140735183581472 140322211736208 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20265] ppid=20255 vsize=26643044 memory=2396372 CPUtime=1.7 cores=0-7
/proc/20257/task/20265/stat : 20265 (java) S 20255 20255 19752 0 -1 1077944384 9032 0 0 0 148 22 0 0 20 0 28 0 87490298 27282477056 599093 33554432000 4194304 4196468 140735183581472 140322210683152 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20266] ppid=20255 vsize=26643044 memory=2396372 CPUtime=1.7 cores=0-7
/proc/20257/task/20266/stat : 20266 (java) S 20255 20255 19752 0 -1 1077944384 12568 0 0 0 149 21 0 0 20 0 28 0 87490298 27282477056 599093 33554432000 4194304 4196468 140735183581472 140322209630608 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20267] ppid=20255 vsize=26643044 memory=1456 CPUtime=0.8 cores=0-7
/proc/20257/task/20267/stat : 20267 (java) S 20255 20255 19752 0 -1 1077944384 33911 0 0 0 63 17 0 0 20 0 28 0 87490299 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321132325616 140322659175042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20268] ppid=20255 vsize=26643044 memory=3472328296227679313 CPUtime=0 cores=0-7
/proc/20257/task/20268/stat : 20268 (java) S 20255 20255 19752 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 87490300 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321131271904 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20269] ppid=20255 vsize=26643044 memory=6368764330731202916 CPUtime=0 cores=0-7
/proc/20257/task/20269/stat : 20269 (java) S 20255 20255 19752 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 87490300 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321130218752 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20270] ppid=20255 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/20257/task/20270/stat : 20270 (java) S 20255 20255 19752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87490303 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321129167312 140322659182491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20271] ppid=20255 vsize=26643044 memory=7523376918531162212 CPUtime=2.21 cores=0-7
/proc/20257/task/20271/stat : 20271 (java) S 20255 20255 19752 0 -1 1077944384 12550 0 0 0 220 1 0 0 20 0 28 0 87490303 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321128114416 140322659175042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20272] ppid=20255 vsize=26643044 memory=2396372 CPUtime=2.19 cores=0-7
/proc/20257/task/20272/stat : 20272 (java) S 20255 20255 19752 0 -1 1077944384 5675 0 0 0 219 0 0 0 20 0 28 0 87490303 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321127061872 140322659175042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20273] ppid=20255 vsize=26643044 memory=1456 CPUtime=2 cores=0-7
/proc/20257/task/20273/stat : 20273 (java) S 20255 20255 19752 0 -1 1077944384 6651 0 0 0 199 1 0 0 20 0 28 0 87490303 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321126008816 140322659175042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20274] ppid=20255 vsize=26643044 memory=2396372 CPUtime=0.79 cores=0-7
/proc/20257/task/20274/stat : 20274 (java) S 20255 20255 19752 0 -1 1077944384 9755 0 0 0 77 2 0 0 20 0 28 0 87490303 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321124956272 140322659175042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20275] ppid=20255 vsize=26643044 memory=1456 CPUtime=0 cores=0-7
/proc/20257/task/20275/stat : 20275 (java) S 20255 20255 19752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87490303 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321123904480 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20276] ppid=20255 vsize=26643044 memory=0 CPUtime=0.44 cores=0-7
/proc/20257/task/20276/stat : 20276 (java) S 20255 20255 19752 0 -1 1077944384 6701 0 0 0 13 31 0 0 20 0 28 0 87490303 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321122852016 140322659175042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20366] ppid=20255 vsize=26643044 memory=57 CPUtime=2238.52 cores=0-7
/proc/20257/task/20366/stat : 20366 (java) R 20255 20255 19752 0 -1 4202560 11513 0 0 0 223848 4 0 0 20 0 28 0 87515940 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321107939000 140322302963847 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20367] ppid=20255 vsize=26643044 memory=1456 CPUtime=2236.68 cores=0-7
/proc/20257/task/20367/stat : 20367 (java) R 20255 20255 19752 0 -1 4202560 9439 0 0 0 223658 10 0 0 20 0 28 0 87515940 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321106887624 140322305389807 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20368] ppid=20255 vsize=26643044 memory=2396372 CPUtime=2239.11 cores=0-7
/proc/20257/task/20368/stat : 20368 (java) R 20255 20255 19752 0 -1 4202560 11084 0 0 0 223906 5 0 0 20 0 28 0 87515940 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321113203168 140322305390036 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20369] ppid=20255 vsize=26643044 memory=3560 CPUtime=2230.8 cores=0-7
/proc/20257/task/20369/stat : 20369 (java) R 20255 20255 19752 0 -1 4202560 42365 0 0 0 222984 96 0 0 20 0 28 0 87515940 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321110044792 140322305012339 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20370] ppid=20255 vsize=26643044 memory=25504 CPUtime=2237.32 cores=0-7
/proc/20257/task/20370/stat : 20370 (java) R 20255 20255 19752 0 -1 4202560 27231 0 0 0 223691 41 0 0 20 0 28 0 87515940 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321114257536 140322305390086 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20371] ppid=20255 vsize=26643044 memory=2396372 CPUtime=2236.67 cores=0-7
/proc/20257/task/20371/stat : 20371 (java) R 20255 20255 19752 0 -1 4202560 8662 0 0 0 223655 12 0 0 20 0 28 0 87515940 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321111097832 140322305390060 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20372] ppid=20255 vsize=26643044 memory=1456 CPUtime=2239.54 cores=0-7
/proc/20257/task/20372/stat : 20372 (java) R 20255 20255 19752 0 -1 4202560 9451 0 0 0 223950 4 0 0 20 0 28 0 87515940 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321112151144 140322305477958 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20373] ppid=20255 vsize=26643044 memory=1456 CPUtime=2235.78 cores=0-7
/proc/20257/task/20373/stat : 20373 (java) R 20255 20255 19752 0 -1 4202560 44880 0 0 0 223497 81 0 0 20 0 28 0 87515940 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321108992528 140322303251491 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
Current children cumulated CPU time: 19943.9 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 2397828 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.07 8.27 8.37 9/211 20456
/proc/meminfo: memFree=24976924/32770624 swapFree=67108860/67108860
[pid=20255] ppid=20252 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20255/stat : 20255 (xcsp3-exec) S 20252 20255 19752 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 87490297 115843072 364 33554432000 4194304 5098028 140736844911888 140736844909992 140582782866044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33312768 140736844919862 140736844920064 140736844920064 140736844922826 0
/proc/20255/statm: 28282 364 306 221 0 87 0
[pid=20257] ppid=20255 vsize=26643044 memory=2396372 CPUtime=20085.1 cores=0-7
/proc/20257/stat : 20257 (java) S 20255 20255 19752 0 -1 1077944320 371480 0 0 0 2007974 539 0 0 20 0 28 0 87490297 27282477056 599093 33554432000 4194304 4196468 140735183581472 140735183564016 140322659163895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
/proc/20257/statm: 6660761 599093 3457 1 0 6621955 0
[pid=20257/tid=20258] ppid=20255 vsize=26643044 memory=1788 CPUtime=1.54 cores=0-7
/proc/20257/task/20258/stat : 20258 (java) S 20255 20255 19752 0 -1 1077944384 7960 0 0 0 148 6 0 0 20 0 28 0 87490297 27282477056 599093 33554432000 4194304 4196468 140735183581472 140322663404672 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20259] ppid=20255 vsize=26643044 memory=1232 CPUtime=1.68 cores=0-7
/proc/20257/task/20259/stat : 20259 (java) S 20255 20255 19752 0 -1 1077944384 12129 0 0 0 146 22 0 0 20 0 28 0 87490298 27282477056 599093 33554432000 4194304 4196468 140735183581472 140322216999952 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20260] ppid=20255 vsize=26643044 memory=-7003737579269690708 CPUtime=1.68 cores=0-7
/proc/20257/task/20260/stat : 20260 (java) S 20255 20255 19752 0 -1 1077944384 10216 0 0 0 147 21 0 0 20 0 28 0 87490298 27282477056 599093 33554432000 4194304 4196468 140735183581472 140322215947408 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20261] ppid=20255 vsize=26643044 memory=952 CPUtime=1.7 cores=0-7
/proc/20257/task/20261/stat : 20261 (java) S 20255 20255 19752 0 -1 1077944384 10657 0 0 0 149 21 0 0 20 0 28 0 87490298 27282477056 599093 33554432000 4194304 4196468 140735183581472 140322214894352 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20262] ppid=20255 vsize=26643044 memory=2376 CPUtime=1.7 cores=0-7
/proc/20257/task/20262/stat : 20262 (java) S 20255 20255 19752 0 -1 1077944384 13457 0 0 0 148 22 0 0 20 0 28 0 87490298 27282477056 599093 33554432000 4194304 4196468 140735183581472 140322213841808 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20263] ppid=20255 vsize=26643044 memory=1536 CPUtime=1.68 cores=0-7
/proc/20257/task/20263/stat : 20263 (java) S 20255 20255 19752 0 -1 1077944384 9442 0 0 0 147 21 0 0 20 0 28 0 87490298 27282477056 599093 33554432000 4194304 4196468 140735183581472 140322212788752 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20264] ppid=20255 vsize=26643044 memory=928 CPUtime=1.69 cores=0-7
/proc/20257/task/20264/stat : 20264 (java) S 20255 20255 19752 0 -1 1077944384 9542 0 0 0 147 22 0 0 20 0 28 0 87490298 27282477056 599093 33554432000 4194304 4196468 140735183581472 140322211736208 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20265] ppid=20255 vsize=26643044 memory=2244 CPUtime=1.71 cores=0-7
/proc/20257/task/20265/stat : 20265 (java) S 20255 20255 19752 0 -1 1077944384 9297 0 0 0 149 22 0 0 20 0 28 0 87490298 27282477056 599093 33554432000 4194304 4196468 140735183581472 140322210683152 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20266] ppid=20255 vsize=26643044 memory=4132 CPUtime=1.7 cores=0-7
/proc/20257/task/20266/stat : 20266 (java) S 20255 20255 19752 0 -1 1077944384 12623 0 0 0 149 21 0 0 20 0 28 0 87490298 27282477056 599093 33554432000 4194304 4196468 140735183581472 140322209630608 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20267] ppid=20255 vsize=26643044 memory=2192 CPUtime=0.81 cores=0-7
/proc/20257/task/20267/stat : 20267 (java) S 20255 20255 19752 0 -1 1077944384 34154 0 0 0 64 17 0 0 20 0 28 0 87490299 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321132325616 140322659175042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20268] ppid=20255 vsize=26643044 memory=3560 CPUtime=0 cores=0-7
/proc/20257/task/20268/stat : 20268 (java) S 20255 20255 19752 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 87490300 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321131271904 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20269] ppid=20255 vsize=26643044 memory=1720 CPUtime=0 cores=0-7
/proc/20257/task/20269/stat : 20269 (java) S 20255 20255 19752 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 87490300 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321130218752 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20270] ppid=20255 vsize=26643044 memory=792 CPUtime=0 cores=0-7
/proc/20257/task/20270/stat : 20270 (java) S 20255 20255 19752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87490303 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321129167312 140322659182491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20271] ppid=20255 vsize=26643044 memory=1224 CPUtime=2.21 cores=0-7
/proc/20257/task/20271/stat : 20271 (java) S 20255 20255 19752 0 -1 1077944384 12552 0 0 0 220 1 0 0 20 0 28 0 87490303 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321128114416 140322659175042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20272] ppid=20255 vsize=26643044 memory=1944 CPUtime=2.19 cores=0-7
/proc/20257/task/20272/stat : 20272 (java) S 20255 20255 19752 0 -1 1077944384 5677 0 0 0 219 0 0 0 20 0 28 0 87490303 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321127061872 140322659175042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20273] ppid=20255 vsize=26643044 memory=5484 CPUtime=2 cores=0-7
/proc/20257/task/20273/stat : 20273 (java) S 20255 20255 19752 0 -1 1077944384 6654 0 0 0 199 1 0 0 20 0 28 0 87490303 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321126008816 140322659175042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20274] ppid=20255 vsize=26643044 memory=1444 CPUtime=0.79 cores=0-7
/proc/20257/task/20274/stat : 20274 (java) S 20255 20255 19752 0 -1 1077944384 9757 0 0 0 77 2 0 0 20 0 28 0 87490303 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321124956272 140322659175042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20275] ppid=20255 vsize=26643044 memory=1160 CPUtime=0 cores=0-7
/proc/20257/task/20275/stat : 20275 (java) S 20255 20255 19752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87490303 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321123904480 140322659174101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20276] ppid=20255 vsize=26643044 memory=968 CPUtime=0.44 cores=0-7
/proc/20257/task/20276/stat : 20276 (java) S 20255 20255 19752 0 -1 1077944384 6721 0 0 0 13 31 0 0 20 0 28 0 87490303 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321122852016 140322659175042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20366] ppid=20255 vsize=26643044 memory=12040 CPUtime=2256.22 cores=0-7
/proc/20257/task/20366/stat : 20366 (java) R 20255 20255 19752 0 -1 4202560 11558 0 0 0 225618 4 0 0 20 0 28 0 87515940 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321107938440 140322303231759 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20367] ppid=20255 vsize=26643044 memory=1696 CPUtime=2254.38 cores=0-7
/proc/20257/task/20367/stat : 20367 (java) R 20255 20255 19752 0 -1 4202560 9474 0 0 0 225428 10 0 0 20 0 28 0 87515940 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321106886928 140322643674240 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20368] ppid=20255 vsize=26643044 memory=8476 CPUtime=2256.77 cores=0-7
/proc/20257/task/20368/stat : 20368 (java) R 20255 20255 19752 0 -1 4202560 11124 0 0 0 225672 5 0 0 20 0 28 0 87515940 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321113202824 140322303407312 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20369] ppid=20255 vsize=26643044 memory=4576 CPUtime=2248.46 cores=0-7
/proc/20257/task/20369/stat : 20369 (java) R 20255 20255 19752 0 -1 4202560 42443 0 0 0 224750 96 0 0 20 0 28 0 87515940 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321110045016 140322305390182 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20370] ppid=20255 vsize=26643044 memory=15864 CPUtime=2254.87 cores=0-7
/proc/20257/task/20370/stat : 20370 (java) R 20255 20255 19752 0 -1 4202560 27324 0 0 0 225446 41 0 0 20 0 28 0 87515940 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321114255720 140322303777982 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20371] ppid=20255 vsize=26643044 memory=4012 CPUtime=2254.37 cores=0-7
/proc/20257/task/20371/stat : 20371 (java) R 20255 20255 19752 0 -1 4202560 8702 0 0 0 225425 12 0 0 20 0 28 0 87515940 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321111097288 140322304421916 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20372] ppid=20255 vsize=26643044 memory=15600 CPUtime=2257.24 cores=0-7
/proc/20257/task/20372/stat : 20372 (java) R 20255 20255 19752 0 -1 4202560 9460 0 0 0 225720 4 0 0 20 0 28 0 87515940 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321112151112 140322305390080 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
[pid=20257/tid=20373] ppid=20255 vsize=26643044 memory=18220 CPUtime=2253.35 cores=0-7
/proc/20257/task/20373/stat : 20373 (java) R 20255 20255 19752 0 -1 4202560 44959 0 0 0 225254 81 0 0 20 0 28 0 87515940 27282477056 599093 33554432000 4194304 4196468 140735183581472 140321108995088 140322303251468 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 8167424 140735183590529 140735183590701 140735183590701 140735183593423 0
Current children cumulated CPU time: 20085.1 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 2397828 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.13
CPU time (s): 20086
CPU user time (s): 20080.6
CPU system time (s): 5.41041
CPU usage (%): 797.022
Max. virtual memory (cumulated for all children) (KiB): 26756172
Max. memory (cumulated for all children) (KiB): 2542688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20080.6
system time used= 5.41041
maximum resident set size= 2543280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 372537
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116942
involuntary context switches= 224577


# summary of solver processes directly reported to runsolver:
#   pid: 20255,20257
#   total CPU time (s): 20086
#   total CPU user time (s): 20080.6
#   total CPU system time (s): 5.41041

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 29.5239 second user time and 20.4393 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	66
Best CPU time to get the best result obtained on this benchmark	20086
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 4297487

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
