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)	29	20076	2520.16
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 (14365 MiB free)
  memory of node 1: 16384 MiB (13316 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297389-1532702370/watcher-4297389-1532702370 -o /tmp/evaluation-result-4297389-1532702370/solver-4297389-1532702370 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1532694684-20048 --watchdog 2580 HOME/xcsp3-exec -seed 178395831 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297389-1532702370.xml 

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

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


[startup+0.104239 s]*
/proc/loadavg: 7.71 8.02 8.19 2/199 21188
/proc/meminfo: memFree=28331316/32770624 swapFree=67108860/67108860
[pid=21167] ppid=21164 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21167/stat : 21167 (xcsp3-exec) S 21164 21167 20021 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87800174 115843072 363 33554432000 4194304 5098028 140728432163728 140728432161832 140333090845308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32190464 140728432165942 140728432166144 140728432166144 140728432168906 0
/proc/21167/statm: 28282 363 306 221 0 87 0
[pid=21169] ppid=21167 vsize=26104152 memory=27344 CPUtime=0.11 cores=0-7
/proc/21169/stat : 21169 (java) S 21167 21167 20021 0 -1 1077944320 5688 0 0 0 10 1 0 0 20 0 20 0 87800174 26730651648 6836 33554432000 4194304 4196468 140735813854384 140735813836928 140359477001975 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
/proc/21169/statm: 6526038 6836 3020 1 0 6488315 0
[pid=21169/tid=21170] ppid=21167 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/21169/task/21170/stat : 21170 (java) R 21167 21167 20021 0 -1 4202560 3674 0 0 0 8 1 0 0 20 0 20 0 87800174 26730651648 6836 33554432000 4194304 4196468 140735813854384 140359481235248 140359477013910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21171] ppid=21167 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21169/task/21171/stat : 21171 (java) S 21167 21167 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87800175 26730651648 6836 33554432000 4194304 4196468 140735813854384 140359399582736 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21172] ppid=21167 vsize=26104152 memory=139691158804096 CPUtime=0 cores=0-7
/proc/21169/task/21172/stat : 21172 (java) S 21167 21167 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87800175 26730651648 6836 33554432000 4194304 4196468 140735813854384 140359398530192 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21173] ppid=21167 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21173/stat : 21173 (java) S 21167 21167 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87800175 26730651648 6836 33554432000 4194304 4196468 140735813854384 140359033182992 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21174] ppid=21167 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21174/stat : 21174 (java) S 21167 21167 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87800175 26730651648 6836 33554432000 4194304 4196468 140735813854384 140359032130448 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21175] ppid=21167 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21175/stat : 21175 (java) S 21167 21167 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87800175 26730651648 6836 33554432000 4194304 4196468 140735813854384 140359031077392 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21176] ppid=21167 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21169/task/21176/stat : 21176 (java) S 21167 21167 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87800175 26730651648 6836 33554432000 4194304 4196468 140735813854384 140359030024848 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21177] ppid=21167 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21177/stat : 21177 (java) S 21167 21167 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87800175 26730651648 6836 33554432000 4194304 4196468 140735813854384 140359028971792 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21178] ppid=21167 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21178/stat : 21178 (java) S 21167 21167 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87800175 26730651648 6836 33554432000 4194304 4196468 140735813854384 140359027919248 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21179] ppid=21167 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21179/stat : 21179 (java) S 21167 21167 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87800177 26730651648 6836 33554432000 4194304 4196468 140735813854384 140358604282608 140359477013122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21180] ppid=21167 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21180/stat : 21180 (java) S 21167 21167 20021 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87800177 26730651648 6836 33554432000 4194304 4196468 140735813854384 140358603228832 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21181] ppid=21167 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21181/stat : 21181 (java) S 21167 21167 20021 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87800177 26730651648 6836 33554432000 4194304 4196468 140735813854384 140358602175728 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21182] ppid=21167 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21182/stat : 21182 (java) S 21167 21167 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87800180 26730651648 6836 33554432000 4194304 4196468 140735813854384 140358601124304 140359477020571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21183] ppid=21167 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21183/stat : 21183 (java) S 21167 21167 20021 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 87800180 26730651648 6836 33554432000 4194304 4196468 140735813854384 140358600071408 140359477013122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21184] ppid=21167 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21184/stat : 21184 (java) S 21167 21167 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87800180 26730651648 6836 33554432000 4194304 4196468 140735813854384 140358599018864 140359477013122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21185] ppid=21167 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21185/stat : 21185 (java) S 21167 21167 20021 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 87800180 26730651648 6836 33554432000 4194304 4196468 140735813854384 140358597965808 140359477013122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21186] ppid=21167 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/21169/task/21186/stat : 21186 (java) R 21167 21167 20021 0 -1 4202560 289 0 0 0 1 0 0 0 20 0 20 0 87800180 26730651648 6836 33554432000 4194304 4196468 140735813854384 140358596913264 140359462298404 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21187] ppid=21167 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21187/stat : 21187 (java) S 21167 21167 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87800180 26730651648 6836 33554432000 4194304 4196468 140735813854384 140358595861472 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21188] ppid=21167 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21169/task/21188/stat : 21188 (java) S 21167 21167 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87800180 26730651648 6836 33554432000 4194304 4196468 140735813854384 140358594809008 140359477013122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28796 KiB

[startup+0.210528 s]*
/proc/loadavg: 7.71 8.02 8.19 2/199 21188
/proc/meminfo: memFree=28318740/32770624 swapFree=67108860/67108860
[pid=21167] ppid=21164 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21167/stat : 21167 (xcsp3-exec) S 21164 21167 20021 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87800174 115843072 363 33554432000 4194304 5098028 140728432163728 140728432161832 140333090845308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32190464 140728432165942 140728432166144 140728432166144 140728432168906 0
/proc/21167/statm: 28282 363 306 221 0 87 0
[pid=21169] ppid=21167 vsize=26104152 memory=41556 CPUtime=0.33 cores=0-7
/proc/21169/stat : 21169 (java) S 21167 21167 20021 0 -1 1077944320 8374 0 0 0 31 2 0 0 20 0 20 0 87800174 26730651648 10389 33554432000 4194304 4196468 140735813854384 140735813836928 140359477001975 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
/proc/21169/statm: 6526038 10389 3214 1 0 6488315 0
[pid=21169/tid=21170] ppid=21167 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/21169/task/21170/stat : 21170 (java) R 21167 21167 20021 0 -1 4202560 5433 0 0 0 18 1 0 0 20 0 20 0 87800174 26730651648 10389 33554432000 4194304 4196468 140735813854384 140359481238736 140359461082462 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21171] ppid=21167 vsize=26104152 memory=339 CPUtime=0 cores=0-7
/proc/21169/task/21171/stat : 21171 (java) S 21167 21167 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87800175 26730651648 10389 33554432000 4194304 4196468 140735813854384 140359399582736 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21172] ppid=21167 vsize=26104152 memory=139691159306449 CPUtime=0 cores=0-7
/proc/21169/task/21172/stat : 21172 (java) S 21167 21167 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87800175 26730651648 10389 33554432000 4194304 4196468 140735813854384 140359398530192 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21173] ppid=21167 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21169/task/21173/stat : 21173 (java) S 21167 21167 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87800175 26730651648 10389 33554432000 4194304 4196468 140735813854384 140359033182992 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21174] ppid=21167 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21174/stat : 21174 (java) S 21167 21167 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87800175 26730651648 10389 33554432000 4194304 4196468 140735813854384 140359032130448 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21175] ppid=21167 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21175/stat : 21175 (java) S 21167 21167 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87800175 26730651648 10389 33554432000 4194304 4196468 140735813854384 140359031077392 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21176] ppid=21167 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21169/task/21176/stat : 21176 (java) S 21167 21167 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87800175 26730651648 10389 33554432000 4194304 4196468 140735813854384 140359030024848 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21177] ppid=21167 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21177/stat : 21177 (java) S 21167 21167 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87800175 26730651648 10389 33554432000 4194304 4196468 140735813854384 140359028971792 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21178] ppid=21167 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21178/stat : 21178 (java) S 21167 21167 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87800175 26730651648 10389 33554432000 4194304 4196468 140735813854384 140359027919248 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21179] ppid=21167 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21179/stat : 21179 (java) S 21167 21167 20021 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87800177 26730651648 10389 33554432000 4194304 4196468 140735813854384 140358604282608 140359477013122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21180] ppid=21167 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21180/stat : 21180 (java) S 21167 21167 20021 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87800177 26730651648 10389 33554432000 4194304 4196468 140735813854384 140358603228832 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21181] ppid=21167 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21181/stat : 21181 (java) S 21167 21167 20021 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87800177 26730651648 10389 33554432000 4194304 4196468 140735813854384 140358602175728 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21182] ppid=21167 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21182/stat : 21182 (java) S 21167 21167 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87800180 26730651648 10389 33554432000 4194304 4196468 140735813854384 140358601124304 140359477020571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21183] ppid=21167 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/21169/task/21183/stat : 21183 (java) S 21167 21167 20021 0 -1 1077944384 333 0 0 0 1 0 0 0 20 0 20 0 87800180 26730651648 10389 33554432000 4194304 4196468 140735813854384 140358600071408 140359477013122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21184] ppid=21167 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/21169/task/21184/stat : 21184 (java) R 21167 21167 20021 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 20 0 87800180 26730651648 10389 33554432000 4194304 4196468 140735813854384 140358599018864 140359477013122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21185] ppid=21167 vsize=26104152 memory=-1 CPUtime=0.02 cores=0-7
/proc/21169/task/21185/stat : 21185 (java) R 21167 21167 20021 0 -1 4202560 216 0 0 0 2 0 0 0 20 0 20 0 87800180 26730651648 10389 33554432000 4194304 4196468 140735813854384 140358597965808 140359469987017 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21186] ppid=21167 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/21169/task/21186/stat : 21186 (java) R 21167 21167 20021 0 -1 4202560 739 0 0 0 7 0 0 0 20 0 20 0 87800180 26730651648 10389 33554432000 4194304 4196468 140735813854384 140358596913264 140359461082462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21187] ppid=21167 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21187/stat : 21187 (java) S 21167 21167 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87800180 26730651648 10389 33554432000 4194304 4196468 140735813854384 140358595861472 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21188] ppid=21167 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21169/task/21188/stat : 21188 (java) S 21167 21167 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87800180 26730651648 10389 33554432000 4194304 4196468 140735813854384 140358594809008 140359477013122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 43008 KiB

[startup+0.318209 s]*
/proc/loadavg: 7.71 8.02 8.19 3/199 21188
/proc/meminfo: memFree=28311916/32770624 swapFree=67108860/67108860
[pid=21167] ppid=21164 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21167/stat : 21167 (xcsp3-exec) S 21164 21167 20021 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87800174 115843072 363 33554432000 4194304 5098028 140728432163728 140728432161832 140333090845308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32190464 140728432165942 140728432166144 140728432166144 140728432168906 0
/proc/21167/statm: 28282 363 306 221 0 87 0
[pid=21169] ppid=21167 vsize=26108408 memory=48468 CPUtime=0.53 cores=0-7
/proc/21169/stat : 21169 (java) S 21167 21167 20021 0 -1 1077944320 9340 0 0 0 49 4 0 0 20 0 20 0 87800174 26735009792 12117 33554432000 4194304 4196468 140735813854384 140735813836928 140359477001975 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
/proc/21169/statm: 6527102 12117 3253 1 0 6488315 0
[pid=21169/tid=21170] ppid=21167 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21169/task/21170/stat : 21170 (java) R 21167 21167 20021 0 -1 4202560 6214 0 0 0 27 2 0 0 20 0 20 0 87800174 26735009792 12117 33554432000 4194304 4196468 140735813854384 140359481233088 140359461082492 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21171] ppid=21167 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21171/stat : 21171 (java) S 21167 21167 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87800175 26735009792 12117 33554432000 4194304 4196468 140735813854384 140359399582736 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21172] ppid=21167 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21172/stat : 21172 (java) S 21167 21167 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87800175 26735009792 12117 33554432000 4194304 4196468 140735813854384 140359398530192 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21173] ppid=21167 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21173/stat : 21173 (java) S 21167 21167 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87800175 26735009792 12117 33554432000 4194304 4196468 140735813854384 140359033182992 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21174] ppid=21167 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21174/stat : 21174 (java) S 21167 21167 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87800175 26735009792 12117 33554432000 4194304 4196468 140735813854384 140359032130448 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21175] ppid=21167 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/21169/task/21175/stat : 21175 (java) S 21167 21167 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87800175 26735009792 12117 33554432000 4194304 4196468 140735813854384 140359031077392 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21176] ppid=21167 vsize=26108408 memory=139691059934127 CPUtime=0 cores=0-7
/proc/21169/task/21176/stat : 21176 (java) S 21167 21167 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87800175 26735009792 12117 33554432000 4194304 4196468 140735813854384 140359030024848 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21177] ppid=21167 vsize=26108408 memory=139691059936432 CPUtime=0 cores=0-7
/proc/21169/task/21177/stat : 21177 (java) S 21167 21167 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87800175 26735009792 12117 33554432000 4194304 4196468 140735813854384 140359028971792 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21178] ppid=21167 vsize=26108408 memory=139691059938736 CPUtime=0 cores=0-7
/proc/21169/task/21178/stat : 21178 (java) S 21167 21167 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87800175 26735009792 12117 33554432000 4194304 4196468 140735813854384 140359027919248 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21179] ppid=21167 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21179/stat : 21179 (java) S 21167 21167 20021 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87800177 26735009792 12117 33554432000 4194304 4196468 140735813854384 140358604282608 140359477013122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21180] ppid=21167 vsize=26108408 memory=279382119884432 CPUtime=0 cores=0-7
/proc/21169/task/21180/stat : 21180 (java) S 21167 21167 20021 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87800177 26735009792 12117 33554432000 4194304 4196468 140735813854384 140358603228832 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21181] ppid=21167 vsize=26108408 memory=279382119891344 CPUtime=0 cores=0-7
/proc/21169/task/21181/stat : 21181 (java) S 21167 21167 20021 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87800177 26735009792 12117 33554432000 4194304 4196468 140735813854384 140358602175728 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21182] ppid=21167 vsize=26108408 memory=279382119832624 CPUtime=0 cores=0-7
/proc/21169/task/21182/stat : 21182 (java) S 21167 21167 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87800180 26735009792 12117 33554432000 4194304 4196468 140735813854384 140358601124304 140359477020571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21183] ppid=21167 vsize=26108408 memory=279382119905168 CPUtime=0.02 cores=0-7
/proc/21169/task/21183/stat : 21183 (java) S 21167 21167 20021 0 -1 1077944384 344 0 0 0 2 0 0 0 20 0 20 0 87800180 26735009792 12117 33554432000 4194304 4196468 140735813854384 140358600071408 140359477013122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21184] ppid=21167 vsize=26108408 memory=279382119912080 CPUtime=0.03 cores=0-7
/proc/21169/task/21184/stat : 21184 (java) S 21167 21167 20021 0 -1 1077944384 446 0 0 0 3 0 0 0 20 0 20 0 87800180 26735009792 12117 33554432000 4194304 4196468 140735813854384 140358599018864 140359477013122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21185] ppid=21167 vsize=26108408 memory=279382119909776 CPUtime=0.02 cores=0-7
/proc/21169/task/21185/stat : 21185 (java) S 21167 21167 20021 0 -1 1077944384 221 0 0 0 2 0 0 0 20 0 20 0 87800180 26735009792 12117 33554432000 4194304 4196468 140735813854384 140358597965808 140359477013122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21186] ppid=21167 vsize=26108408 memory=279382119925936 CPUtime=0.12 cores=0-7
/proc/21169/task/21186/stat : 21186 (java) S 21167 21167 20021 0 -1 1077944384 805 0 0 0 12 0 0 0 20 0 20 0 87800180 26735009792 12117 33554432000 4194304 4196468 140735813854384 140358596913264 140359477013122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21187] ppid=21167 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21187/stat : 21187 (java) S 21167 21167 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87800180 26735009792 12117 33554432000 4194304 4196468 140735813854384 140358595861472 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21188] ppid=21167 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/21169/task/21188/stat : 21188 (java) S 21167 21167 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87800180 26735009792 12117 33554432000 4194304 4196468 140735813854384 140358594809008 140359477013122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 49920 KiB

[startup+0.700964 s]
/proc/loadavg: 7.71 8.02 8.19 5/199 21188
/proc/meminfo: memFree=28283116/32770624 swapFree=67108860/67108860
[pid=21167] ppid=21164 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21167/stat : 21167 (xcsp3-exec) S 21164 21167 20021 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87800174 115843072 363 33554432000 4194304 5098028 140728432163728 140728432161832 140333090845308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32190464 140728432165942 140728432166144 140728432166144 140728432168906 0
/proc/21167/statm: 28282 363 306 221 0 87 0
[pid=21169] ppid=21167 vsize=26110532 memory=123424 CPUtime=1.85 cores=0-7
/proc/21169/stat : 21169 (java) S 21167 21167 20021 0 -1 1077944320 13215 0 0 0 179 6 0 0 20 0 20 0 87800174 26737184768 30856 33554432000 4194304 4196468 140735813854384 140735813836928 140359477001975 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
/proc/21169/statm: 6527633 30856 3346 1 0 6488827 0
[pid=21169/tid=21170] ppid=21167 vsize=26110532 memory=279382120283824 CPUtime=0.67 cores=0-7
/proc/21169/task/21170/stat : 21170 (java) R 21167 21167 20021 0 -1 4202560 6601 0 0 0 63 4 0 0 20 0 20 0 87800174 26737184768 30856 33554432000 4194304 4196468 140735813854384 140359481236512 140359078248569 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21171] ppid=21167 vsize=26110532 memory=139691060142960 CPUtime=0 cores=0-7
/proc/21169/task/21171/stat : 21171 (java) S 21167 21167 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87800175 26737184768 30856 33554432000 4194304 4196468 140735813854384 140359399582736 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21172] ppid=21167 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/21169/task/21172/stat : 21172 (java) S 21167 21167 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87800175 26737184768 30856 33554432000 4194304 4196468 140735813854384 140359398530192 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21173] ppid=21167 vsize=26110532 memory=8496 CPUtime=0 cores=0-7
/proc/21169/task/21173/stat : 21173 (java) S 21167 21167 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87800175 26737184768 30856 33554432000 4194304 4196468 140735813854384 140359033182992 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0

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

/proc/meminfo: memFree=21363728/32770624 swapFree=67108860/67108860
[pid=21167] ppid=21164 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21167/stat : 21167 (xcsp3-exec) S 21164 21167 20021 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87800174 115843072 363 33554432000 4194304 5098028 140728432163728 140728432161832 140333090845308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32190464 140728432165942 140728432166144 140728432166144 140728432168906 0
/proc/21167/statm: 28282 363 306 221 0 87 0
[pid=21169] ppid=21167 vsize=26645092 memory=6984388 CPUtime=19933.7 cores=0-7
/proc/21169/stat : 21169 (java) S 21167 21167 20021 0 -1 1077944320 201896 0 0 0 1992631 741 0 0 20 0 28 0 87800174 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140735813836928 140359477001975 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
/proc/21169/statm: 6661273 1746097 3444 1 0 6622467 0
[pid=21169/tid=21170] ppid=21167 vsize=26645092 memory=1452 CPUtime=5.43 cores=0-7
/proc/21169/task/21170/stat : 21170 (java) S 21167 21167 20021 0 -1 1077944384 8103 0 0 0 527 16 0 0 20 0 28 0 87800174 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140359481242752 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21171] ppid=21167 vsize=26645092 memory=27372374388 CPUtime=0.53 cores=0-7
/proc/21169/task/21171/stat : 21171 (java) S 21167 21167 20021 0 -1 1077944384 2578 0 0 0 36 17 0 0 20 0 28 0 87800175 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140359399582736 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21172] ppid=21167 vsize=26645092 memory=6984388 CPUtime=0.54 cores=0-7
/proc/21169/task/21172/stat : 21172 (java) S 21167 21167 20021 0 -1 1077944384 2367 0 0 0 37 17 0 0 20 0 28 0 87800175 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140359398530192 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21173] ppid=21167 vsize=26645092 memory=6984388 CPUtime=0.51 cores=0-7
/proc/21169/task/21173/stat : 21173 (java) S 21167 21167 20021 0 -1 1077944384 3000 0 0 0 35 16 0 0 20 0 28 0 87800175 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140359033182992 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21174] ppid=21167 vsize=26645092 memory=1452 CPUtime=0.54 cores=0-7
/proc/21169/task/21174/stat : 21174 (java) S 21167 21167 20021 0 -1 1077944384 3021 0 0 0 38 16 0 0 20 0 28 0 87800175 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140359032130448 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21175] ppid=21167 vsize=26645092 memory=1452 CPUtime=0.52 cores=0-7
/proc/21169/task/21175/stat : 21175 (java) S 21167 21167 20021 0 -1 1077944384 2039 0 0 0 35 17 0 0 20 0 28 0 87800175 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140359031077392 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21176] ppid=21167 vsize=26645092 memory=139695453771391 CPUtime=0.53 cores=0-7
/proc/21169/task/21176/stat : 21176 (java) S 21167 21167 20021 0 -1 1077944384 5302 0 0 0 35 18 0 0 20 0 28 0 87800175 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140359030024848 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21177] ppid=21167 vsize=26645092 memory=1452 CPUtime=0.52 cores=0-7
/proc/21169/task/21177/stat : 21177 (java) S 21167 21167 20021 0 -1 1077944384 2930 0 0 0 35 17 0 0 20 0 28 0 87800175 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140359028971792 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21178] ppid=21167 vsize=26645092 memory=6984388 CPUtime=0.53 cores=0-7
/proc/21169/task/21178/stat : 21178 (java) S 21167 21167 20021 0 -1 1077944384 3659 0 0 0 36 17 0 0 20 0 28 0 87800175 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140359027919248 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21179] ppid=21167 vsize=26645092 memory=139691059960785 CPUtime=0.09 cores=0-7
/proc/21169/task/21179/stat : 21179 (java) S 21167 21167 20021 0 -1 1077944384 9676 0 0 0 6 3 0 0 20 0 28 0 87800177 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140358604282608 140359477013122 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21180] ppid=21167 vsize=26645092 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/21169/task/21180/stat : 21180 (java) S 21167 21167 20021 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 87800177 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140358603228896 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21181] ppid=21167 vsize=26645092 memory=6984388 CPUtime=0 cores=0-7
/proc/21169/task/21181/stat : 21181 (java) S 21167 21167 20021 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 87800177 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140358602175744 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21182] ppid=21167 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/21169/task/21182/stat : 21182 (java) S 21167 21167 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87800180 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140358601124304 140359477020571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21183] ppid=21167 vsize=26645092 memory=1228 CPUtime=3.12 cores=0-7
/proc/21169/task/21183/stat : 21183 (java) S 21167 21167 20021 0 -1 1077944384 8078 0 0 0 310 2 0 0 20 0 28 0 87800180 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140358600071408 140359477013122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21184] ppid=21167 vsize=26645092 memory=1944 CPUtime=3.39 cores=0-7
/proc/21169/task/21184/stat : 21184 (java) S 21167 21167 20021 0 -1 1077944384 10674 0 0 0 336 3 0 0 20 0 28 0 87800180 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140358599018864 140359477013122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21185] ppid=21167 vsize=26645092 memory=6984388 CPUtime=3.36 cores=0-7
/proc/21169/task/21185/stat : 21185 (java) S 21167 21167 20021 0 -1 1077944384 10027 0 0 0 332 4 0 0 20 0 28 0 87800180 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140358597965808 140359477013122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21186] ppid=21167 vsize=26645092 memory=1452 CPUtime=0.89 cores=0-7
/proc/21169/task/21186/stat : 21186 (java) S 21167 21167 20021 0 -1 1077944384 7764 0 0 0 87 2 0 0 20 0 28 0 87800180 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140358596913264 140359477013122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21187] ppid=21167 vsize=26645092 memory=6984388 CPUtime=0 cores=0-7
/proc/21169/task/21187/stat : 21187 (java) S 21167 21167 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87800180 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140358595861472 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21188] ppid=21167 vsize=26645092 memory=1452 CPUtime=0.72 cores=0-7
/proc/21169/task/21188/stat : 21188 (java) R 21167 21167 20021 0 -1 1077944384 2308 0 0 0 72 0 0 0 20 0 28 0 87800180 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140358594809008 140359477013122 0 4 0 16800975 0 0 0 -1 4 0 0 31 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21205] ppid=21167 vsize=26645092 memory=844 CPUtime=2483.41 cores=0-7
/proc/21169/task/21205/stat : 21205 (java) R 21167 21167 20021 0 -1 4202560 4917 0 0 0 248337 4 0 0 20 0 28 0 87800934 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140357658811752 140359087524847 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21206] ppid=21167 vsize=26645092 memory=1796 CPUtime=2487.39 cores=0-7
/proc/21169/task/21206/stat : 21206 (java) R 21167 21167 20021 0 -1 4202560 4795 0 0 0 248736 3 0 0 20 0 28 0 87800934 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140357655655064 140359081117978 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21207] ppid=21167 vsize=26645092 memory=6984388 CPUtime=2493.35 cores=0-7
/proc/21169/task/21207/stat : 21207 (java) R 21167 21167 20021 0 -1 4202560 4977 0 0 0 249332 3 0 0 20 0 28 0 87800934 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140357657760024 140359087695768 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21208] ppid=21167 vsize=26645092 memory=1452 CPUtime=2478.07 cores=0-7
/proc/21169/task/21208/stat : 21208 (java) R 21167 21167 20021 0 -1 4202560 38985 0 0 0 247543 264 0 0 20 0 28 0 87800934 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140357659865496 140359087948977 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21209] ppid=21167 vsize=26645092 memory=6984388 CPUtime=2493.41 cores=0-7
/proc/21169/task/21209/stat : 21209 (java) R 21167 21167 20021 0 -1 4202560 26704 0 0 0 249182 159 0 0 20 0 28 0 87800934 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140357660917784 140359088820163 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21210] ppid=21167 vsize=26645092 memory=1452 CPUtime=2493.55 cores=0-7
/proc/21169/task/21210/stat : 21210 (java) R 21167 21167 20021 0 -1 4202560 4992 0 0 0 249351 4 0 0 20 0 28 0 87800934 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140357661970584 140359087524915 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21211] ppid=21167 vsize=26645092 memory=6984388 CPUtime=2489.28 cores=0-7
/proc/21169/task/21211/stat : 21211 (java) R 21167 21167 20021 0 -1 4202560 5107 0 0 0 248925 3 0 0 20 0 28 0 87800934 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140357656707296 140359088076033 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21212] ppid=21167 vsize=26645092 memory=25632 CPUtime=2482.3 cores=0-7
/proc/21169/task/21212/stat : 21212 (java) R 21167 21167 20021 0 -1 4202560 27472 0 0 0 248108 122 0 0 20 0 28 0 87800934 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140357663023520 140359087041161 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
Current children cumulated CPU time: 19933.7 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 6985840 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.77 8.38 8.32 9/208 21277
/proc/meminfo: memFree=21363752/32770624 swapFree=67108860/67108860
[pid=21167] ppid=21164 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21167/stat : 21167 (xcsp3-exec) S 21164 21167 20021 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87800174 115843072 363 33554432000 4194304 5098028 140728432163728 140728432161832 140333090845308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32190464 140728432165942 140728432166144 140728432166144 140728432168906 0
/proc/21167/statm: 28282 363 306 221 0 87 0
[pid=21169] ppid=21167 vsize=26645092 memory=6984388 CPUtime=20075 cores=0-7
/proc/21169/stat : 21169 (java) S 21167 21167 20021 0 -1 1077944320 202523 0 0 0 2006755 745 0 0 20 0 28 0 87800174 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140735813836928 140359477001975 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
/proc/21169/statm: 6661273 1746097 3444 1 0 6622467 0
[pid=21169/tid=21170] ppid=21167 vsize=26645092 memory=5788 CPUtime=5.43 cores=0-7
/proc/21169/task/21170/stat : 21170 (java) S 21167 21167 20021 0 -1 1077944384 8103 0 0 0 527 16 0 0 20 0 28 0 87800174 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140359481242752 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21171] ppid=21167 vsize=26645092 memory=792 CPUtime=0.53 cores=0-7
/proc/21169/task/21171/stat : 21171 (java) S 21167 21167 20021 0 -1 1077944384 2578 0 0 0 36 17 0 0 20 0 28 0 87800175 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140359399582736 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21172] ppid=21167 vsize=26645092 memory=1452 CPUtime=0.54 cores=0-7
/proc/21169/task/21172/stat : 21172 (java) S 21167 21167 20021 0 -1 1077944384 2367 0 0 0 37 17 0 0 20 0 28 0 87800175 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140359398530192 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21173] ppid=21167 vsize=26645092 memory=4872558044660077418 CPUtime=0.51 cores=0-7
/proc/21169/task/21173/stat : 21173 (java) S 21167 21167 20021 0 -1 1077944384 3000 0 0 0 35 16 0 0 20 0 28 0 87800175 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140359033182992 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21174] ppid=21167 vsize=26645092 memory=960 CPUtime=0.54 cores=0-7
/proc/21169/task/21174/stat : 21174 (java) S 21167 21167 20021 0 -1 1077944384 3021 0 0 0 38 16 0 0 20 0 28 0 87800175 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140359032130448 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21175] ppid=21167 vsize=26645092 memory=2340 CPUtime=0.52 cores=0-7
/proc/21169/task/21175/stat : 21175 (java) S 21167 21167 20021 0 -1 1077944384 2039 0 0 0 35 17 0 0 20 0 28 0 87800175 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140359031077392 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21176] ppid=21167 vsize=26645092 memory=928 CPUtime=0.53 cores=0-7
/proc/21169/task/21176/stat : 21176 (java) S 21167 21167 20021 0 -1 1077944384 5302 0 0 0 35 18 0 0 20 0 28 0 87800175 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140359030024848 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21177] ppid=21167 vsize=26645092 memory=1572 CPUtime=0.52 cores=0-7
/proc/21169/task/21177/stat : 21177 (java) S 21167 21167 20021 0 -1 1077944384 2930 0 0 0 35 17 0 0 20 0 28 0 87800175 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140359028971792 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21178] ppid=21167 vsize=26645092 memory=2244 CPUtime=0.53 cores=0-7
/proc/21169/task/21178/stat : 21178 (java) S 21167 21167 20021 0 -1 1077944384 3659 0 0 0 36 17 0 0 20 0 28 0 87800175 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140359027919248 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21179] ppid=21167 vsize=26645092 memory=4124 CPUtime=0.09 cores=0-7
/proc/21169/task/21179/stat : 21179 (java) S 21167 21167 20021 0 -1 1077944384 9676 0 0 0 6 3 0 0 20 0 28 0 87800177 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140358604282608 140359477013122 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21180] ppid=21167 vsize=26645092 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/21169/task/21180/stat : 21180 (java) S 21167 21167 20021 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 87800177 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140358603228896 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21181] ppid=21167 vsize=26645092 memory=1840 CPUtime=0 cores=0-7
/proc/21169/task/21181/stat : 21181 (java) S 21167 21167 20021 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 87800177 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140358602175744 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21182] ppid=21167 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/21169/task/21182/stat : 21182 (java) S 21167 21167 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87800180 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140358601124304 140359477020571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21183] ppid=21167 vsize=26645092 memory=6984388 CPUtime=3.12 cores=0-7
/proc/21169/task/21183/stat : 21183 (java) S 21167 21167 20021 0 -1 1077944384 8085 0 0 0 310 2 0 0 20 0 28 0 87800180 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140358600071408 140359477013122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21184] ppid=21167 vsize=26645092 memory=1572 CPUtime=3.39 cores=0-7
/proc/21169/task/21184/stat : 21184 (java) S 21167 21167 20021 0 -1 1077944384 10677 0 0 0 336 3 0 0 20 0 28 0 87800180 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140358599018864 140359477013122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21185] ppid=21167 vsize=26645092 memory=2244 CPUtime=3.36 cores=0-7
/proc/21169/task/21185/stat : 21185 (java) S 21167 21167 20021 0 -1 1077944384 10030 0 0 0 332 4 0 0 20 0 28 0 87800180 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140358597965808 140359477013122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21186] ppid=21167 vsize=26645092 memory=4124 CPUtime=0.89 cores=0-7
/proc/21169/task/21186/stat : 21186 (java) S 21167 21167 20021 0 -1 1077944384 7767 0 0 0 87 2 0 0 20 0 28 0 87800180 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140358596913264 140359477013122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21187] ppid=21167 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/21169/task/21187/stat : 21187 (java) S 21167 21167 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87800180 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140358595861472 140359477012181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21188] ppid=21167 vsize=26645092 memory=6984388 CPUtime=0.73 cores=0-7
/proc/21169/task/21188/stat : 21188 (java) S 21167 21167 20021 0 -1 1077944384 2308 0 0 0 73 0 0 0 20 0 28 0 87800180 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140358594809008 140359477013122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 31 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21205] ppid=21167 vsize=26645092 memory=844 CPUtime=2500.75 cores=0-7
/proc/21169/task/21205/stat : 21205 (java) R 21167 21167 20021 0 -1 4202560 4917 0 0 0 250071 4 0 0 20 0 28 0 87800934 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140357658811752 140359081119820 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21206] ppid=21167 vsize=26645092 memory=1796 CPUtime=2505.09 cores=0-7
/proc/21169/task/21206/stat : 21206 (java) R 21167 21167 20021 0 -1 4202560 4795 0 0 0 250506 3 0 0 20 0 28 0 87800934 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140357655655064 140359081117765 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21207] ppid=21167 vsize=26645092 memory=916 CPUtime=2511.05 cores=0-7
/proc/21169/task/21207/stat : 21207 (java) R 21167 21167 20021 0 -1 4202560 4977 0 0 0 251102 3 0 0 20 0 28 0 87800934 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140357657760024 140359087869705 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21208] ppid=21167 vsize=26645092 memory=4488 CPUtime=2495.78 cores=0-7
/proc/21169/task/21208/stat : 21208 (java) R 21167 21167 20021 0 -1 4202560 39181 0 0 0 249312 266 0 0 20 0 28 0 87800934 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140357659865496 140359087949012 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21209] ppid=21167 vsize=26645092 memory=4112 CPUtime=2511.11 cores=0-7
/proc/21169/task/21209/stat : 21209 (java) R 21167 21167 20021 0 -1 4202560 26839 0 0 0 250950 161 0 0 20 0 28 0 87800934 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140357660917784 140359081119242 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21210] ppid=21167 vsize=26645092 memory=1408 CPUtime=2511.26 cores=0-7
/proc/21169/task/21210/stat : 21210 (java) R 21167 21167 20021 0 -1 4202560 4992 0 0 0 251122 4 0 0 20 0 28 0 87800934 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140357661970584 140359088398639 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21211] ppid=21167 vsize=26645092 memory=3852 CPUtime=2506.99 cores=0-7
/proc/21169/task/21211/stat : 21211 (java) R 21167 21167 20021 0 -1 4202560 5107 0 0 0 250696 3 0 0 20 0 28 0 87800934 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140357656707296 140359088023510 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
[pid=21169/tid=21212] ppid=21167 vsize=26645092 memory=288230574492221466 CPUtime=2500.01 cores=0-7
/proc/21169/task/21212/stat : 21212 (java) R 21167 21167 20021 0 -1 4202560 27752 0 0 0 249878 123 0 0 20 0 28 0 87800934 27284574208 1746097 33554432000 4194304 4196468 140735813854384 140357663023520 140359087040763 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23142400 140735813858433 140735813858605 140735813858605 140735813861327 0
Current children cumulated CPU time: 20075 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 6985840 KiB

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

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

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

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

[startup+2520.13 s]*
/proc/loadavg: 8.77 8.38 8.32 2/181 21279
/proc/meminfo: memFree=22212420/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.002272 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.16
CPU time (s): 20076
CPU user time (s): 20068.5
CPU system time (s): 7.49511
CPU usage (%): 796.615
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 7568372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20068.5
system time used= 7.49511
maximum resident set size= 7568968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205064
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62554
involuntary context switches= 205432


# summary of solver processes directly reported to runsolver:
#   pid: 21167,21169
#   total CPU time (s): 20076
#   total CPU user time (s): 20068.5
#   total CPU system time (s): 7.49511

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.8163 second user time and 24.6536 second system time

The end
Name	GraphColoring/ GraphColoring-qg-order30_c18.xml
MD5SUM	2f5cbdca11052f8d5a6d32bd8b795ba4
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	29
Best CPU time to get the best result obtained on this benchmark	20076
Satisfiable
(Un)Satisfiability was proved
Number of variables	900
Number of constraints	26100
Number of domains	1
Minimum domain size	900
Maximum domain size	900
Distribution of domain sizes	[{"size":900,"count":900}]
Minimum variable degree	59
Maximum variable degree	59
Distribution of variable degrees	[{"degree":59,"count":900}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":26100}]
Number of extensional constraints	0
Number of intensional constraints	26100
Distribution of constraint types	[{"type":"intension","count":26100}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4297389

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
