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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24 parallel	SAT (TO)	12	1995.22	252.104
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 (14033 MiB free)
  memory of node 1: 16384 MiB (10974 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407301-1569346630/watcher-4407301-1569346630 -o /var/tmp/evaluation-result-4407301-1569346630/solver-4407301-1569346630 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 403979807 HOME/instance-4407301-1569346630.xml 

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

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


[startup+0.100135 s]*
/proc/loadavg: 7.69 8.09 8.14 2/211 13318
/proc/meminfo: memFree=25590944/32770624 swapFree=66997516/67108860
[pid=13297] ppid=13294 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13297/stat : 13297 (xcsp3-exec) S 13294 13297 9260 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510601341 115843072 364 33554432000 4194304 5098028 140735541389808 140735541387912 139715626852988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37875712 140735541396312 140735541396570 140735541396570 140735541399494 0
/proc/13297/statm: 28282 364 305 221 0 87 0
[pid=13299] ppid=13297 vsize=28227396 memory=29788 CPUtime=0.12 cores=0-7
/proc/13299/stat : 13299 (java) S 13297 13297 9260 0 -1 1077944320 5931 0 0 0 11 1 0 0 20 0 20 0 510601342 28904853504 7447 33554432000 4194304 4196468 140735436402608 140735436385152 140232309497591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
/proc/13299/statm: 7056849 7447 3122 1 0 7019032 0
[pid=13299/tid=13300] ppid=13297 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/13299/task/13300/stat : 13300 (java) R 13297 13297 9260 0 -1 4202560 3839 0 0 0 8 1 0 0 20 0 20 0 510601342 28904853504 7447 33554432000 4194304 4196468 140735436402608 140232313730656 140232309509526 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13301] ppid=13297 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/13299/task/13301/stat : 13301 (java) S 13297 13297 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 7447 33554432000 4194304 4196468 140735436402608 140232229350160 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13302] ppid=13297 vsize=28227396 memory=140206000522880 CPUtime=0 cores=0-7
/proc/13299/task/13302/stat : 13302 (java) S 13297 13297 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 7447 33554432000 4194304 4196468 140735436402608 140232228297616 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13303] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13303/stat : 13303 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 7447 33554432000 4194304 4196468 140735436402608 140232227245072 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13304] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13304/stat : 13304 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231857790096 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13305] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13305/stat : 13305 (java) S 13297 13297 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231856736528 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13306] ppid=13297 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13299/task/13306/stat : 13306 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231855683984 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13307] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13307/stat : 13307 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231854631440 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13308] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13308/stat : 13308 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231853578896 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13309] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13309/stat : 13309 (java) S 13297 13297 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510601344 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231694166512 140232309508738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13310] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13310/stat : 13310 (java) S 13297 13297 9260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510601345 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231693112736 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13311] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13311/stat : 13311 (java) S 13297 13297 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510601345 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231692060144 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13312] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13312/stat : 13312 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601347 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231691008720 140232309516187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13313] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13313/stat : 13313 (java) R 13297 13297 9260 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 510601347 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231689955312 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13314] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13314/stat : 13314 (java) S 13297 13297 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510601347 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231621732464 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13315] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13315/stat : 13315 (java) R 13297 13297 9260 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 20 0 510601347 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231620679920 140232292914048 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13316] ppid=13297 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/13299/task/13316/stat : 13316 (java) R 13297 13297 9260 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 20 0 510601347 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231619627376 140232288767734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13317] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13317/stat : 13317 (java) S 13297 13297 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510601348 28904853504 7447 33554432000 4194304 4196468 140735436402608 140231618575072 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13318] ppid=13297 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13299/task/13318/stat : 13318 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601348 28904853504 7513 33554432000 4194304 4196468 140735436402608 140231617522608 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31244 KiB

[startup+0.210858 s]*
/proc/loadavg: 7.69 8.09 8.14 3/211 13318
/proc/meminfo: memFree=25578324/32770624 swapFree=66997516/67108860
[pid=13297] ppid=13294 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13297/stat : 13297 (xcsp3-exec) S 13294 13297 9260 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510601341 115843072 364 33554432000 4194304 5098028 140735541389808 140735541387912 139715626852988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37875712 140735541396312 140735541396570 140735541396570 140735541399494 0
/proc/13297/statm: 28282 364 305 221 0 87 0
[pid=13299] ppid=13297 vsize=28227396 memory=41020 CPUtime=0.34 cores=0-7
/proc/13299/stat : 13299 (java) S 13297 13297 9260 0 -1 1077944320 9530 0 0 0 30 4 0 0 20 0 20 0 510601342 28904853504 10255 33554432000 4194304 4196468 140735436402608 140735436385152 140232309497591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
/proc/13299/statm: 7056849 10255 3300 1 0 7019032 0
[pid=13299/tid=13300] ppid=13297 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/13299/task/13300/stat : 13300 (java) R 13297 13297 9260 0 -1 4202560 6675 0 0 0 17 3 0 0 20 0 20 0 510601342 28904853504 10255 33554432000 4194304 4196468 140735436402608 140232313730768 140232293578078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13301] ppid=13297 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/13299/task/13301/stat : 13301 (java) S 13297 13297 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 10255 33554432000 4194304 4196468 140735436402608 140232229350160 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13302] ppid=13297 vsize=28227396 memory=4049498805863663264 CPUtime=0 cores=0-7
/proc/13299/task/13302/stat : 13302 (java) S 13297 13297 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 10255 33554432000 4194304 4196468 140735436402608 140232228297616 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13303] ppid=13297 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13299/task/13303/stat : 13303 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 10255 33554432000 4194304 4196468 140735436402608 140232227245072 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13304] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13304/stat : 13304 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231857790096 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13305] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13305/stat : 13305 (java) S 13297 13297 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231856736528 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13306] ppid=13297 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13299/task/13306/stat : 13306 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231855683984 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13307] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13307/stat : 13307 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231854631440 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13308] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13308/stat : 13308 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231853578896 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13309] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13309/stat : 13309 (java) S 13297 13297 9260 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510601344 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231694166512 140232309508738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13310] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13310/stat : 13310 (java) S 13297 13297 9260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510601345 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231693112736 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13311] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13311/stat : 13311 (java) S 13297 13297 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510601345 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231692060144 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13312] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13312/stat : 13312 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601347 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231691008720 140232309516187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13313] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13313/stat : 13313 (java) S 13297 13297 9260 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 20 0 510601347 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231689955312 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13314] ppid=13297 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13299/task/13314/stat : 13314 (java) S 13297 13297 9260 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 20 0 510601347 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231621732464 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13315] ppid=13297 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/13299/task/13315/stat : 13315 (java) S 13297 13297 9260 0 -1 1077944384 493 0 0 0 2 0 0 0 20 0 20 0 510601347 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231620679920 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13316] ppid=13297 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/13299/task/13316/stat : 13316 (java) R 13297 13297 9260 0 -1 4202560 673 0 0 0 8 0 0 0 20 0 20 0 510601347 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231619627184 140232309518938 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13317] ppid=13297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13317/stat : 13317 (java) S 13297 13297 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510601348 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231618575072 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13318] ppid=13297 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13299/task/13318/stat : 13318 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601348 28904853504 10255 33554432000 4194304 4196468 140735436402608 140231617522608 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42476 KiB

[startup+0.310545 s]*
/proc/loadavg: 7.69 8.09 8.14 4/211 13318
/proc/meminfo: memFree=25571904/32770624 swapFree=66997516/67108860
[pid=13297] ppid=13294 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13297/stat : 13297 (xcsp3-exec) S 13294 13297 9260 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510601341 115843072 364 33554432000 4194304 5098028 140735541389808 140735541387912 139715626852988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37875712 140735541396312 140735541396570 140735541396570 140735541399494 0
/proc/13297/statm: 28282 364 305 221 0 87 0
[pid=13299] ppid=13297 vsize=28231652 memory=50276 CPUtime=0.53 cores=0-7
/proc/13299/stat : 13299 (java) S 13297 13297 9260 0 -1 1077944320 10883 0 0 0 48 5 0 0 20 0 20 0 510601342 28909211648 12569 33554432000 4194304 4196468 140735436402608 140735436385152 140232309497591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
/proc/13299/statm: 7057913 12569 3372 1 0 7019032 0
[pid=13299/tid=13300] ppid=13297 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13299/task/13300/stat : 13300 (java) R 13297 13297 9260 0 -1 4202560 7847 0 0 0 26 3 0 0 20 0 20 0 510601342 28909211648 12569 33554432000 4194304 4196468 140735436402608 140232313731376 140232293578078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13301] ppid=13297 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13301/stat : 13301 (java) S 13297 13297 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510601343 28909211648 12569 33554432000 4194304 4196468 140735436402608 140232229350160 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13302] ppid=13297 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13302/stat : 13302 (java) S 13297 13297 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510601343 28909211648 12569 33554432000 4194304 4196468 140735436402608 140232228297616 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13303] ppid=13297 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13303/stat : 13303 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28909211648 12569 33554432000 4194304 4196468 140735436402608 140232227245072 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13304] ppid=13297 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13304/stat : 13304 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231857790096 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13305] ppid=13297 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/13299/task/13305/stat : 13305 (java) S 13297 13297 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510601343 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231856736528 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13306] ppid=13297 vsize=28231652 memory=140205852029871 CPUtime=0 cores=0-7
/proc/13299/task/13306/stat : 13306 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231855683984 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13307] ppid=13297 vsize=28231652 memory=140205852032176 CPUtime=0 cores=0-7
/proc/13299/task/13307/stat : 13307 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231854631440 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13308] ppid=13297 vsize=28231652 memory=140205852034480 CPUtime=0 cores=0-7
/proc/13299/task/13308/stat : 13308 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231853578896 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13309] ppid=13297 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13309/stat : 13309 (java) S 13297 13297 9260 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510601344 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231694166512 140232309508738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13310] ppid=13297 vsize=28231652 memory=280411704075920 CPUtime=0 cores=0-7
/proc/13299/task/13310/stat : 13310 (java) S 13297 13297 9260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510601345 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231693112736 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13311] ppid=13297 vsize=28231652 memory=280411704082832 CPUtime=0 cores=0-7
/proc/13299/task/13311/stat : 13311 (java) S 13297 13297 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510601345 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231692060144 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13312] ppid=13297 vsize=28231652 memory=280411704023984 CPUtime=0 cores=0-7
/proc/13299/task/13312/stat : 13312 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601347 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231691008720 140232309516187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13313] ppid=13297 vsize=28231652 memory=280411704096656 CPUtime=0.01 cores=0-7
/proc/13299/task/13313/stat : 13313 (java) S 13297 13297 9260 0 -1 1077944384 339 0 0 0 1 0 0 0 20 0 20 0 510601347 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231689955312 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13314] ppid=13297 vsize=28231652 memory=280411704103568 CPUtime=0.02 cores=0-7
/proc/13299/task/13314/stat : 13314 (java) S 13297 13297 9260 0 -1 1077944384 67 0 0 0 2 0 0 0 20 0 20 0 510601347 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231621732464 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13315] ppid=13297 vsize=28231652 memory=280411704101264 CPUtime=0.04 cores=0-7
/proc/13299/task/13315/stat : 13315 (java) R 13297 13297 9260 0 -1 4202560 580 0 0 0 4 0 0 0 20 0 20 0 510601347 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231620679920 140232291023064 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13316] ppid=13297 vsize=28231652 memory=280411704117424 CPUtime=0.12 cores=0-7
/proc/13299/task/13316/stat : 13316 (java) S 13297 13297 9260 0 -1 1077944384 746 0 0 0 12 0 0 0 20 0 20 0 510601347 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231619627376 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13317] ppid=13297 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13317/stat : 13317 (java) S 13297 13297 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510601348 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231618575072 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13318] ppid=13297 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/13299/task/13318/stat : 13318 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601348 28909211648 12569 33554432000 4194304 4196468 140735436402608 140231617522608 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51732 KiB

[startup+0.701016 s]
/proc/loadavg: 7.69 8.09 8.14 5/211 13318
/proc/meminfo: memFree=25549936/32770624 swapFree=66997516/67108860
[pid=13297] ppid=13294 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13297/stat : 13297 (xcsp3-exec) S 13294 13297 9260 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510601341 115843072 364 33554432000 4194304 5098028 140735541389808 140735541387912 139715626852988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37875712 140735541396312 140735541396570 140735541396570 140735541399494 0
/proc/13297/statm: 28282 364 305 221 0 87 0
[pid=13299] ppid=13297 vsize=28233776 memory=93644 CPUtime=1.69 cores=0-7
/proc/13299/stat : 13299 (java) S 13297 13297 9260 0 -1 1077944320 15074 0 0 0 161 8 0 0 20 0 20 0 510601342 28911386624 23411 33554432000 4194304 4196468 140735436402608 140735436385152 140232309497591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
/proc/13299/statm: 7058444 23411 3442 1 0 7019544 0
[pid=13299/tid=13300] ppid=13297 vsize=28233776 memory=280411704475312 CPUtime=0.68 cores=0-7
/proc/13299/task/13300/stat : 13300 (java) R 13297 13297 9260 0 -1 4202560 9111 0 0 0 63 5 0 0 20 0 20 0 510601342 28911386624 23411 33554432000 4194304 4196468 140735436402608 140232313728912 140232309509526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13301] ppid=13297 vsize=28233776 memory=140205852238704 CPUtime=0 cores=0-7
/proc/13299/task/13301/stat : 13301 (java) S 13297 13297 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510601343 28911386624 23411 33554432000 4194304 4196468 140735436402608 140232229350160 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13302] ppid=13297 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/13299/task/13302/stat : 13302 (java) S 13297 13297 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510601343 28911386624 23411 33554432000 4194304 4196468 140735436402608 140232228297616 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13303] ppid=13297 vsize=28233776 memory=6124 CPUtime=0 cores=0-7
/proc/13299/task/13303/stat : 13303 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510601343 28911386624 23411 33554432000 4194304 4196468 140735436402608 140232227245072 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0

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

[pid=13299/tid=13350] ppid=13297 vsize=28768336 memory=1456 CPUtime=159.09 cores=0-7
/proc/13299/task/13350/stat : 13350 (java) R 13297 13297 9260 0 -1 4202560 2273 0 0 0 15908 1 0 0 20 0 28 0 510601553 29458776064 221325 33554432000 4194304 4196468 140735436402608 140231604093528 140231914999041 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
Current children cumulated CPU time: 1283.6 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 886756 KiB

[startup+222.301 s]
/proc/loadavg: 8.58 8.32 8.22 9/221 13372
/proc/meminfo: memFree=24648380/32770624 swapFree=66997516/67108860
[pid=13297] ppid=13294 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13297/stat : 13297 (xcsp3-exec) S 13294 13297 9260 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510601341 115843072 364 33554432000 4194304 5098028 140735541389808 140735541387912 139715626852988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37875712 140735541396312 140735541396570 140735541396570 140735541399494 0
/proc/13297/statm: 28282 364 305 221 0 87 0
[pid=13299] ppid=13297 vsize=28768336 memory=979156 CPUtime=1758.83 cores=0-7
/proc/13299/stat : 13299 (java) S 13297 13297 9260 0 -1 1077944320 150080 0 0 0 175754 129 0 0 20 0 28 0 510601342 29458776064 244789 33554432000 4194304 4196468 140735436402608 140735436385152 140232309497591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
/proc/13299/statm: 7192084 244789 3530 1 0 7153184 0
[pid=13299/tid=13300] ppid=13297 vsize=28768336 memory=976932 CPUtime=1.43 cores=0-7
/proc/13299/task/13300/stat : 13300 (java) S 13297 13297 9260 0 -1 1077944384 9853 0 0 0 136 7 0 0 20 0 28 0 510601342 29458776064 244789 33554432000 4194304 4196468 140735436402608 140232313738368 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13301] ppid=13297 vsize=28768336 memory=976932 CPUtime=0.51 cores=0-7
/proc/13299/task/13301/stat : 13301 (java) S 13297 13297 9260 0 -1 1077944384 3763 0 0 0 46 5 0 0 20 0 28 0 510601343 29458776064 244789 33554432000 4194304 4196468 140735436402608 140232229350160 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13302] ppid=13297 vsize=28768336 memory=976932 CPUtime=0.52 cores=0-7
/proc/13299/task/13302/stat : 13302 (java) S 13297 13297 9260 0 -1 1077944384 4180 0 0 0 46 6 0 0 20 0 28 0 510601343 29458776064 244789 33554432000 4194304 4196468 140735436402608 140232228297616 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13303] ppid=13297 vsize=28768336 memory=1456 CPUtime=0.51 cores=0-7
/proc/13299/task/13303/stat : 13303 (java) S 13297 13297 9260 0 -1 1077944384 3526 0 0 0 46 5 0 0 20 0 28 0 510601343 29458776064 244789 33554432000 4194304 4196468 140735436402608 140232227245072 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13304] ppid=13297 vsize=28768336 memory=976932 CPUtime=0.5 cores=0-7
/proc/13299/task/13304/stat : 13304 (java) S 13297 13297 9260 0 -1 1077944384 2872 0 0 0 46 4 0 0 20 0 28 0 510601343 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231857790096 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13305] ppid=13297 vsize=28768336 memory=977032 CPUtime=0.51 cores=0-7
/proc/13299/task/13305/stat : 13305 (java) S 13297 13297 9260 0 -1 1077944384 3168 0 0 0 46 5 0 0 20 0 28 0 510601343 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231856736528 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13306] ppid=13297 vsize=28768336 memory=1760 CPUtime=0.51 cores=0-7
/proc/13299/task/13306/stat : 13306 (java) S 13297 13297 9260 0 -1 1077944384 4941 0 0 0 46 5 0 0 20 0 28 0 510601343 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231855683984 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13307] ppid=13297 vsize=28768336 memory=114641267091522 CPUtime=0.53 cores=0-7
/proc/13299/task/13307/stat : 13307 (java) S 13297 13297 9260 0 -1 1077944384 3822 0 0 0 48 5 0 0 20 0 28 0 510601343 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231854631440 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13308] ppid=13297 vsize=28768336 memory=33 CPUtime=0.51 cores=0-7
/proc/13299/task/13308/stat : 13308 (java) S 13297 13297 9260 0 -1 1077944384 4539 0 0 0 46 5 0 0 20 0 28 0 510601343 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231853578896 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13309] ppid=13297 vsize=28768336 memory=0 CPUtime=0.36 cores=0-7
/proc/13299/task/13309/stat : 13309 (java) S 13297 13297 9260 0 -1 1077944384 12153 0 0 0 27 9 0 0 20 0 28 0 510601344 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231694166512 140232309508738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13310] ppid=13297 vsize=28768336 memory=6645459911560372124 CPUtime=0 cores=0-7
/proc/13299/task/13310/stat : 13310 (java) S 13297 13297 9260 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 510601345 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231693112800 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13311] ppid=13297 vsize=28768336 memory=280411704865440 CPUtime=0 cores=0-7
/proc/13299/task/13311/stat : 13311 (java) S 13297 13297 9260 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 510601345 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231692060160 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13312] ppid=13297 vsize=28768336 memory=288230591722422566 CPUtime=0 cores=0-7
/proc/13299/task/13312/stat : 13312 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510601347 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231691008720 140232309516187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13313] ppid=13297 vsize=28768336 memory=804 CPUtime=2.11 cores=0-7
/proc/13299/task/13313/stat : 13313 (java) S 13297 13297 9260 0 -1 1077944384 11722 0 0 0 208 3 0 0 20 0 28 0 510601347 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231689955312 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13314] ppid=13297 vsize=28768336 memory=1808 CPUtime=2.05 cores=0-7
/proc/13299/task/13314/stat : 13314 (java) S 13297 13297 9260 0 -1 1077944384 10351 0 0 0 203 2 0 0 20 0 28 0 510601347 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231621732464 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13315] ppid=13297 vsize=28768336 memory=954216 CPUtime=2.16 cores=0-7
/proc/13299/task/13315/stat : 13315 (java) S 13297 13297 9260 0 -1 1077944384 12981 0 0 0 213 3 0 0 20 0 28 0 510601347 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231620679920 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13316] ppid=13297 vsize=28768336 memory=1142796 CPUtime=0.91 cores=0-7
/proc/13299/task/13316/stat : 13316 (java) S 13297 13297 9260 0 -1 1077944384 14955 0 0 0 89 2 0 0 20 0 28 0 510601347 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231619627376 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13317] ppid=13297 vsize=28768336 memory=4108 CPUtime=0 cores=0-7
/proc/13299/task/13317/stat : 13317 (java) S 13297 13297 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510601348 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231618575072 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13318] ppid=13297 vsize=28768336 memory=1456 CPUtime=0.04 cores=0-7
/proc/13299/task/13318/stat : 13318 (java) S 13297 13297 9260 0 -1 1077944384 1995 0 0 0 4 0 0 0 20 0 28 0 510601348 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231617522608 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13343] ppid=13297 vsize=28768336 memory=1456 CPUtime=218.26 cores=0-7
/proc/13299/task/13343/stat : 13343 (java) R 13297 13297 9260 0 -1 4202560 3429 0 0 0 21824 2 0 0 20 0 28 0 510601552 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231608303144 140231914999095 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13344] ppid=13297 vsize=28768336 memory=929288 CPUtime=218.03 cores=0-7
/proc/13299/task/13344/stat : 13344 (java) R 13297 13297 9260 0 -1 4202560 3686 0 0 0 21800 3 0 0 20 0 28 0 510601552 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231601988192 140231914080733 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13345] ppid=13297 vsize=28768336 memory=1456 CPUtime=217.58 cores=0-7
/proc/13299/task/13345/stat : 13345 (java) R 13297 13297 9260 0 -1 4202560 12868 0 0 0 21741 17 0 0 20 0 28 0 510601552 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231605145208 140231914392131 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13346] ppid=13297 vsize=28768336 memory=3624 CPUtime=217.12 cores=0-7
/proc/13299/task/13346/stat : 13346 (java) R 13297 13297 9260 0 -1 4202560 4802 0 0 0 21708 4 0 0 20 0 28 0 510601552 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231600934376 140231917239373 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13347] ppid=13297 vsize=28768336 memory=43 CPUtime=217.81 cores=0-7
/proc/13299/task/13347/stat : 13347 (java) R 13297 13297 9260 0 -1 4202560 3895 0 0 0 21775 6 0 0 20 0 28 0 510601553 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231607251464 140231914722522 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13348] ppid=13297 vsize=28768336 memory=44 CPUtime=217.68 cores=0-7
/proc/13299/task/13348/stat : 13348 (java) R 13297 13297 9260 0 -1 4202560 6934 0 0 0 21754 14 0 0 20 0 28 0 510601553 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231606198552 140231915271721 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13349] ppid=13297 vsize=28768336 memory=532 CPUtime=217.02 cores=0-7
/proc/13299/task/13349/stat : 13349 (java) R 13297 13297 9260 0 -1 4202560 4863 0 0 0 21697 5 0 0 20 0 28 0 510601553 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231603043232 140231914722449 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13350] ppid=13297 vsize=28768336 memory=1556 CPUtime=218.36 cores=0-7
/proc/13299/task/13350/stat : 13350 (java) R 13297 13297 9260 0 -1 4202560 2741 0 0 0 21834 2 0 0 20 0 28 0 510601553 29458776064 244789 33554432000 4194304 4196468 140735436402608 140231604093992 140231914997719 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
Current children cumulated CPU time: 1758.83 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 980612 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.67 8.36 8.24 9/220 13372
/proc/meminfo: memFree=24589960/32770624 swapFree=66997516/67108860
[pid=13297] ppid=13294 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13297/stat : 13297 (xcsp3-exec) S 13294 13297 9260 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510601341 115843072 364 33554432000 4194304 5098028 140735541389808 140735541387912 139715626852988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37875712 140735541396312 140735541396570 140735541396570 140735541399494 0
/proc/13297/statm: 28282 364 305 221 0 87 0
[pid=13299] ppid=13297 vsize=28768336 memory=1035324 CPUtime=1994.56 cores=0-7
/proc/13299/stat : 13299 (java) S 13297 13297 9260 0 -1 1077944320 159900 0 0 0 199317 139 0 0 20 0 28 0 510601342 29458776064 258831 33554432000 4194304 4196468 140735436402608 140735436385152 140232309497591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
/proc/13299/statm: 7192084 258831 3530 1 0 7153184 0
[pid=13299/tid=13300] ppid=13297 vsize=28768336 memory=14004 CPUtime=1.43 cores=0-7
/proc/13299/task/13300/stat : 13300 (java) S 13297 13297 9260 0 -1 1077944384 9853 0 0 0 136 7 0 0 20 0 28 0 510601342 29458776064 258831 33554432000 4194304 4196468 140735436402608 140232313738368 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13301] ppid=13297 vsize=28768336 memory=14060 CPUtime=0.62 cores=0-7
/proc/13299/task/13301/stat : 13301 (java) S 13297 13297 9260 0 -1 1077944384 4019 0 0 0 56 6 0 0 20 0 28 0 510601343 29458776064 258831 33554432000 4194304 4196468 140735436402608 140232229350160 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13302] ppid=13297 vsize=28768336 memory=2116 CPUtime=0.63 cores=0-7
/proc/13299/task/13302/stat : 13302 (java) S 13297 13297 9260 0 -1 1077944384 4418 0 0 0 56 7 0 0 20 0 28 0 510601343 29458776064 258831 33554432000 4194304 4196468 140735436402608 140232228297616 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13303] ppid=13297 vsize=28768336 memory=4872558044660077418 CPUtime=0.63 cores=0-7
/proc/13299/task/13303/stat : 13303 (java) S 13297 13297 9260 0 -1 1077944384 4165 0 0 0 57 6 0 0 20 0 28 0 510601343 29458776064 258831 33554432000 4194304 4196468 140735436402608 140232227245072 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13304] ppid=13297 vsize=28768336 memory=2540 CPUtime=0.62 cores=0-7
/proc/13299/task/13304/stat : 13304 (java) S 13297 13297 9260 0 -1 1077944384 3478 0 0 0 57 5 0 0 20 0 28 0 510601343 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231857790096 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13305] ppid=13297 vsize=28768336 memory=1760 CPUtime=0.63 cores=0-7
/proc/13299/task/13305/stat : 13305 (java) S 13297 13297 9260 0 -1 1077944384 3505 0 0 0 56 7 0 0 20 0 28 0 510601343 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231856736528 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13306] ppid=13297 vsize=28768336 memory=1456 CPUtime=0.62 cores=0-7
/proc/13299/task/13306/stat : 13306 (java) S 13297 13297 9260 0 -1 1077944384 5242 0 0 0 56 6 0 0 20 0 28 0 510601343 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231855683984 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13307] ppid=13297 vsize=28768336 memory=1033204 CPUtime=0.65 cores=0-7
/proc/13299/task/13307/stat : 13307 (java) S 13297 13297 9260 0 -1 1077944384 4191 0 0 0 59 6 0 0 20 0 28 0 510601343 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231854631440 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13308] ppid=13297 vsize=28768336 memory=1808 CPUtime=0.63 cores=0-7
/proc/13299/task/13308/stat : 13308 (java) S 13297 13297 9260 0 -1 1077944384 5628 0 0 0 57 6 0 0 20 0 28 0 510601343 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231853578896 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13309] ppid=13297 vsize=28768336 memory=920 CPUtime=0.41 cores=0-7
/proc/13299/task/13309/stat : 13309 (java) S 13297 13297 9260 0 -1 1077944384 13380 0 0 0 32 9 0 0 20 0 28 0 510601344 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231694166512 140232309508738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13310] ppid=13297 vsize=28768336 memory=4484 CPUtime=0 cores=0-7
/proc/13299/task/13310/stat : 13310 (java) S 13297 13297 9260 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 510601345 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231693112800 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13311] ppid=13297 vsize=28768336 memory=4108 CPUtime=0 cores=0-7
/proc/13299/task/13311/stat : 13311 (java) S 13297 13297 9260 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 510601345 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231692060160 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13312] ppid=13297 vsize=28768336 memory=1412 CPUtime=0 cores=0-7
/proc/13299/task/13312/stat : 13312 (java) S 13297 13297 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510601347 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231691008720 140232309516187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13313] ppid=13297 vsize=28768336 memory=3612 CPUtime=2.11 cores=0-7
/proc/13299/task/13313/stat : 13313 (java) S 13297 13297 9260 0 -1 1077944384 11729 0 0 0 208 3 0 0 20 0 28 0 510601347 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231689955312 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13314] ppid=13297 vsize=28768336 memory=1456 CPUtime=2.05 cores=0-7
/proc/13299/task/13314/stat : 13314 (java) S 13297 13297 9260 0 -1 1077944384 10357 0 0 0 203 2 0 0 20 0 28 0 510601347 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231621732464 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13315] ppid=13297 vsize=28768336 memory=772 CPUtime=2.16 cores=0-7
/proc/13299/task/13315/stat : 13315 (java) S 13297 13297 9260 0 -1 1077944384 12988 0 0 0 213 3 0 0 20 0 28 0 510601347 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231620679920 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13316] ppid=13297 vsize=28768336 memory=10596 CPUtime=0.91 cores=0-7
/proc/13299/task/13316/stat : 13316 (java) S 13297 13297 9260 0 -1 1077944384 15990 0 0 0 89 2 0 0 20 0 28 0 510601347 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231619627376 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13317] ppid=13297 vsize=28768336 memory=1708 CPUtime=0 cores=0-7
/proc/13299/task/13317/stat : 13317 (java) S 13297 13297 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510601348 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231618575072 140232309507797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13318] ppid=13297 vsize=28768336 memory=988 CPUtime=0.05 cores=0-7
/proc/13299/task/13318/stat : 13318 (java) S 13297 13297 9260 0 -1 1077944384 2111 0 0 0 5 0 0 0 20 0 28 0 510601348 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231617522608 140232309508738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13343] ppid=13297 vsize=28768336 memory=3628 CPUtime=247.55 cores=0-7
/proc/13299/task/13343/stat : 13343 (java) R 13297 13297 9260 0 -1 4202560 3706 0 0 0 24753 2 0 0 20 0 28 0 510601552 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231608306672 140231914392134 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13344] ppid=13297 vsize=28768336 memory=14004 CPUtime=247.35 cores=0-7
/proc/13299/task/13344/stat : 13344 (java) R 13297 13297 9260 0 -1 4202560 3957 0 0 0 24732 3 0 0 20 0 28 0 510601552 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231601988768 140231914392147 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13345] ppid=13297 vsize=28768336 memory=14060 CPUtime=246.98 cores=0-7
/proc/13299/task/13345/stat : 13345 (java) R 13297 13297 9260 0 -1 4202560 13637 0 0 0 24681 17 0 0 20 0 28 0 510601552 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231605147360 140231914392131 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13346] ppid=13297 vsize=28768336 memory=2116 CPUtime=246.51 cores=0-7
/proc/13299/task/13346/stat : 13346 (java) R 13297 13297 9260 0 -1 4202560 5206 0 0 0 24647 4 0 0 20 0 28 0 510601552 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231600934512 140231913992740 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13347] ppid=13297 vsize=28768336 memory=33088 CPUtime=247.09 cores=0-7
/proc/13299/task/13347/stat : 13347 (java) R 13297 13297 9260 0 -1 4202560 4337 0 0 0 24703 6 0 0 20 0 28 0 510601553 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231607250880 140231914722517 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13348] ppid=13297 vsize=28768336 memory=532 CPUtime=247 cores=0-7
/proc/13299/task/13348/stat : 13348 (java) R 13297 13297 9260 0 -1 4202560 7507 0 0 0 24685 15 0 0 20 0 28 0 510601553 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231606198552 140231915271717 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13349] ppid=13297 vsize=28768336 memory=1556 CPUtime=246.41 cores=0-7
/proc/13299/task/13349/stat : 13349 (java) R 13297 13297 9260 0 -1 4202560 5378 0 0 0 24635 6 0 0 20 0 28 0 510601553 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231603040672 140231914997719 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
[pid=13299/tid=13350] ppid=13297 vsize=28768336 memory=1456 CPUtime=247.72 cores=0-7
/proc/13299/task/13350/stat : 13350 (java) R 13297 13297 9260 0 -1 4202560 3077 0 0 0 24770 2 0 0 20 0 28 0 510601553 29458776064 258831 33554432000 4194304 4196468 140735436402608 140231604093528 140231914997862 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 17641472 140735436403676 140735436403851 140735436403851 140735436406735 0
Current children cumulated CPU time: 1994.56 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1036780 KiB

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

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

[startup+252.104 s]
# the end of solver process 13299 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1993.81 s, system=1.40981 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): 252.104
CPU time (s): 1995.22
CPU user time (s): 1993.81
CPU system time (s): 1.40981
CPU usage (%): 791.425
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 1144764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1993.81
system time used= 1.40981
maximum resident set size= 1158116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161016
page faults= 0
swaps= 0
block input operations= 0
block output operations= 568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38813
involuntary context switches= 25610


# summary of solver processes directly reported to runsolver:
#   pid: 13297,13299
#   total CPU time (s): 1995.22
#   total CPU user time (s): 1993.81
#   total CPU system time (s): 1.40981

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.30011 second user time and 2.97244 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-homer.xml
MD5SUM	4034cc1c4ef788f4220b0fc076e8c883
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	12
Best CPU time to get the best result obtained on this benchmark	26.8114
Satisfiable
(Un)Satisfiability was proved
Number of variables	561
Number of constraints	1628
Number of domains	1
Minimum domain size	561
Maximum domain size	561
Distribution of domain sizes	[{"size":561,"count":561}]
Minimum variable degree	1
Maximum variable degree	100
Distribution of variable degrees	[{"degree":1,"count":5},{"degree":2,"count":208},{"degree":3,"count":104},{"degree":4,"count":48},{"degree":5,"count":28},{"degree":6,"count":18},{"degree":7,"count":15},{"degree":8,"count":19},{"degree":9,"count":15},{"degree":10,"count":12},{"degree":11,"count":8},{"degree":12,"count":5},{"degree":13,"count":11},{"degree":14,"count":7},{"degree":15,"count":11},{"degree":16,"count":3},{"degree":17,"count":3},{"degree":18,"count":4},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":3},{"degree":22,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":36,"count":1},{"degree":37,"count":1},{"degree":38,"count":1},{"degree":39,"count":1},{"degree":40,"count":2},{"degree":41,"count":1},{"degree":43,"count":2},{"degree":46,"count":1},{"degree":51,"count":1},{"degree":53,"count":1},{"degree":55,"count":1},{"degree":56,"count":1},{"degree":57,"count":1},{"degree":62,"count":1},{"degree":66,"count":1},{"degree":78,"count":1},{"degree":100,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":1628}]
Number of extensional constraints	0
Number of intensional constraints	1628
Distribution of constraint types	[{"type":"intension","count":1628}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4407301

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
