2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-09-16 parallel	SAT	233.943	37.5023
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 (15339 MiB free)
  memory of node 1: 16384 MiB (15034 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399559-1568708266/watcher-4399559-1568708266 -o /tmp/evaluation-result-4399559-1568708266/solver-4399559-1568708266 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1568700445-18341 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 354380774 HOME/instance-4399559-1568708266.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=20364, runsolver pid=20361
Current StackSize limit: 8192 KiB


[startup+0.100126 s]*
/proc/loadavg: 7.83 8.31 8.31 2/211 20385
/proc/meminfo: memFree=31086088/32770624 swapFree=66988844/67108860
[pid=20364] ppid=20361 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20364/stat : 20364 (xcsp3-exec) S 20361 20364 18314 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447094433 115843072 364 33554432000 4194304 5098028 140726995966608 140726995964712 140508425331324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36229120 140726995972982 140726995973225 140726995973225 140726995976138 0
/proc/20364/statm: 28282 364 305 221 0 87 0
[pid=20366] ppid=20364 vsize=28227396 memory=28792 CPUtime=0.13 cores=0-7
/proc/20366/stat : 20366 (java) S 20364 20364 18314 0 -1 1077944320 5697 0 0 0 11 2 0 0 20 0 20 0 447094433 28904853504 7198 33554432000 4194304 4196468 140728977839888 140728977822432 139798785462007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
/proc/20366/statm: 7056849 7198 3121 1 0 7019032 0
[pid=20366/tid=20367] ppid=20364 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/20366/task/20367/stat : 20367 (java) R 20364 20364 18314 0 -1 4202560 3589 0 0 0 7 1 0 0 20 0 20 0 447094433 28904853504 7198 33554432000 4194304 4196468 140728977839888 139798789693696 139798785473942 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20368] ppid=20364 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/20366/task/20368/stat : 20368 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094434 28904853504 7198 33554432000 4194304 4196468 140728977839888 139798705314192 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20369] ppid=20364 vsize=28227396 memory=140076932630144 CPUtime=0 cores=0-7
/proc/20366/task/20369/stat : 20369 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094434 28904853504 7198 33554432000 4194304 4196468 140728977839888 139798704261392 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20370] ppid=20364 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20370/stat : 20370 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094434 28904853504 7198 33554432000 4194304 4196468 140728977839888 139798334528144 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20371] ppid=20364 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20371/stat : 20371 (java) S 20364 20364 18314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447094434 28904853504 7198 33554432000 4194304 4196468 140728977839888 139798333475344 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20372] ppid=20364 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20372/stat : 20372 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094434 28904853504 7198 33554432000 4194304 4196468 140728977839888 139798332423056 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20373] ppid=20364 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20366/task/20373/stat : 20373 (java) S 20364 20364 18314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447094434 28904853504 7198 33554432000 4194304 4196468 140728977839888 139798331370256 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20374] ppid=20364 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20374/stat : 20374 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094434 28904853504 7198 33554432000 4194304 4196468 140728977839888 139798330317968 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20375] ppid=20364 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20375/stat : 20375 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094434 28904853504 7198 33554432000 4194304 4196468 140728977839888 139798329265168 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20376] ppid=20364 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20376/stat : 20376 (java) S 20364 20364 18314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447094435 28904853504 7198 33554432000 4194304 4196468 140728977839888 139797500164208 139798785473154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20377] ppid=20364 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20377/stat : 20377 (java) S 20364 20364 18314 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447094436 28904853504 7198 33554432000 4194304 4196468 140728977839888 139797499110176 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20378] ppid=20364 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20378/stat : 20378 (java) S 20364 20364 18314 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447094436 28904853504 7198 33554432000 4194304 4196468 140728977839888 139797498057840 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20379] ppid=20364 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20379/stat : 20379 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094439 28904853504 7198 33554432000 4194304 4196468 140728977839888 139797497006160 139798785480603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20380] ppid=20364 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20380/stat : 20380 (java) S 20364 20364 18314 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 447094439 28904853504 7198 33554432000 4194304 4196468 140728977839888 139797495954032 139798785473154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20381] ppid=20364 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20381/stat : 20381 (java) S 20364 20364 18314 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 447094439 28904853504 7198 33554432000 4194304 4196468 140728977839888 139797378230768 139798785473154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20382] ppid=20364 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20382/stat : 20382 (java) S 20364 20364 18314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447094439 28904853504 7198 33554432000 4194304 4196468 140728977839888 139797377178480 139798785473154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20383] ppid=20364 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/20366/task/20383/stat : 20383 (java) R 20364 20364 18314 0 -1 4202560 373 0 0 0 2 0 0 0 20 0 20 0 447094439 28904853504 7198 33554432000 4194304 4196468 140728977839888 139797376125680 139798764417568 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20384] ppid=20364 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20384/stat : 20384 (java) S 20364 20364 18314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447094439 28904853504 7198 33554432000 4194304 4196468 140728977839888 139797375072608 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20385] ppid=20364 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20366/task/20385/stat : 20385 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094439 28904853504 7198 33554432000 4194304 4196468 140728977839888 139797374019888 139798785473154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30248 KiB

[startup+0.210202 s]*
/proc/loadavg: 7.83 8.31 8.31 3/211 20385
/proc/meminfo: memFree=31072464/32770624 swapFree=66988844/67108860
[pid=20364] ppid=20361 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20364/stat : 20364 (xcsp3-exec) S 20361 20364 18314 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447094433 115843072 364 33554432000 4194304 5098028 140726995966608 140726995964712 140508425331324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36229120 140726995972982 140726995973225 140726995973225 140726995976138 0
/proc/20364/statm: 28282 364 305 221 0 87 0
[pid=20366] ppid=20364 vsize=28227396 memory=40924 CPUtime=0.33 cores=0-7
/proc/20366/stat : 20366 (java) S 20364 20364 18314 0 -1 1077944320 9500 0 0 0 30 3 0 0 20 0 20 0 447094433 28904853504 10231 33554432000 4194304 4196468 140728977839888 140728977822432 139798785462007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
/proc/20366/statm: 7056849 10231 3276 1 0 7019032 0
[pid=20366/tid=20367] ppid=20364 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/20366/task/20367/stat : 20367 (java) R 20364 20364 18314 0 -1 4202560 6622 0 0 0 17 2 0 0 20 0 20 0 447094433 28904853504 10231 33554432000 4194304 4196468 140728977839888 139798789693920 139798785473942 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20368] ppid=20364 vsize=28227396 memory=330 CPUtime=0 cores=0-7
/proc/20366/task/20368/stat : 20368 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094434 28904853504 10231 33554432000 4194304 4196468 140728977839888 139798705314192 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20369] ppid=20364 vsize=28227396 memory=140076932649343 CPUtime=0 cores=0-7
/proc/20366/task/20369/stat : 20369 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094434 28904853504 10231 33554432000 4194304 4196468 140728977839888 139798704261392 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20370] ppid=20364 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20366/task/20370/stat : 20370 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094434 28904853504 10231 33554432000 4194304 4196468 140728977839888 139798334528144 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20371] ppid=20364 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20371/stat : 20371 (java) S 20364 20364 18314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447094434 28904853504 10231 33554432000 4194304 4196468 140728977839888 139798333475344 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20372] ppid=20364 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20372/stat : 20372 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094434 28904853504 10231 33554432000 4194304 4196468 140728977839888 139798332423056 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20373] ppid=20364 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20366/task/20373/stat : 20373 (java) S 20364 20364 18314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447094434 28904853504 10231 33554432000 4194304 4196468 140728977839888 139798331370256 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20374] ppid=20364 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20374/stat : 20374 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094434 28904853504 10231 33554432000 4194304 4196468 140728977839888 139798330317968 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20375] ppid=20364 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20375/stat : 20375 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094434 28904853504 10231 33554432000 4194304 4196468 140728977839888 139798329265168 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20376] ppid=20364 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20376/stat : 20376 (java) S 20364 20364 18314 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447094435 28904853504 10231 33554432000 4194304 4196468 140728977839888 139797500164208 139798785473154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20377] ppid=20364 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20377/stat : 20377 (java) S 20364 20364 18314 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447094436 28904853504 10231 33554432000 4194304 4196468 140728977839888 139797499110176 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20378] ppid=20364 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20378/stat : 20378 (java) S 20364 20364 18314 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447094436 28904853504 10231 33554432000 4194304 4196468 140728977839888 139797498057840 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20379] ppid=20364 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20379/stat : 20379 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094439 28904853504 10231 33554432000 4194304 4196468 140728977839888 139797497006160 139798785480603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20380] ppid=20364 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/20366/task/20380/stat : 20380 (java) S 20364 20364 18314 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 20 0 447094439 28904853504 10231 33554432000 4194304 4196468 140728977839888 139797495954032 139798785473154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20381] ppid=20364 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/20366/task/20381/stat : 20381 (java) S 20364 20364 18314 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 20 0 447094439 28904853504 10231 33554432000 4194304 4196468 140728977839888 139797378230768 139798785473154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20382] ppid=20364 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/20366/task/20382/stat : 20382 (java) S 20364 20364 18314 0 -1 1077944384 248 0 0 0 2 0 0 0 20 0 20 0 447094439 28904853504 10231 33554432000 4194304 4196468 140728977839888 139797377178480 139798785473154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20383] ppid=20364 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/20366/task/20383/stat : 20383 (java) S 20364 20364 18314 0 -1 1077944384 784 0 0 0 8 0 0 0 20 0 20 0 447094439 28904853504 10231 33554432000 4194304 4196468 140728977839888 139797376125680 139798785473154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20384] ppid=20364 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20384/stat : 20384 (java) S 20364 20364 18314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447094439 28904853504 10231 33554432000 4194304 4196468 140728977839888 139797375072608 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20385] ppid=20364 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20366/task/20385/stat : 20385 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094439 28904853504 10231 33554432000 4194304 4196468 140728977839888 139797374019888 139798785473154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42380 KiB

[startup+0.309911 s]*
/proc/loadavg: 7.83 8.31 8.31 2/211 20385
/proc/meminfo: memFree=31052536/32770624 swapFree=66988844/67108860
[pid=20364] ppid=20361 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20364/stat : 20364 (xcsp3-exec) S 20361 20364 18314 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447094433 115843072 364 33554432000 4194304 5098028 140726995966608 140726995964712 140508425331324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36229120 140726995972982 140726995973225 140726995973225 140726995976138 0
/proc/20364/statm: 28282 364 305 221 0 87 0
[pid=20366] ppid=20364 vsize=28231652 memory=49696 CPUtime=0.52 cores=0-7
/proc/20366/stat : 20366 (java) S 20364 20364 18314 0 -1 1077944320 10801 0 0 0 48 4 0 0 20 0 20 0 447094433 28909211648 12424 33554432000 4194304 4196468 140728977839888 140728977822432 139798785462007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
/proc/20366/statm: 7057913 12424 3310 1 0 7019032 0
[pid=20366/tid=20367] ppid=20364 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/20366/task/20367/stat : 20367 (java) R 20364 20364 18314 0 -1 4202560 7695 0 0 0 26 3 0 0 20 0 20 0 447094433 28909211648 12424 33554432000 4194304 4196468 140728977839888 139798789693120 139798769542494 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20368] ppid=20364 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20368/stat : 20368 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094434 28909211648 12424 33554432000 4194304 4196468 140728977839888 139798705314192 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20369] ppid=20364 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20369/stat : 20369 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094434 28909211648 12424 33554432000 4194304 4196468 140728977839888 139798704261392 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20370] ppid=20364 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20370/stat : 20370 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094434 28909211648 12424 33554432000 4194304 4196468 140728977839888 139798334528144 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20371] ppid=20364 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20371/stat : 20371 (java) S 20364 20364 18314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447094434 28909211648 12424 33554432000 4194304 4196468 140728977839888 139798333475344 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20372] ppid=20364 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20372/stat : 20372 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094434 28909211648 12424 33554432000 4194304 4196468 140728977839888 139798332423056 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20373] ppid=20364 vsize=28231652 memory=140076801682095 CPUtime=0 cores=0-7
/proc/20366/task/20373/stat : 20373 (java) S 20364 20364 18314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447094434 28909211648 12424 33554432000 4194304 4196468 140728977839888 139798331370256 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20374] ppid=20364 vsize=28231652 memory=140076801684400 CPUtime=0 cores=0-7
/proc/20366/task/20374/stat : 20374 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094434 28909211648 12424 33554432000 4194304 4196468 140728977839888 139798330317968 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20375] ppid=20364 vsize=28231652 memory=140076801686704 CPUtime=0 cores=0-7
/proc/20366/task/20375/stat : 20375 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094434 28909211648 12424 33554432000 4194304 4196468 140728977839888 139798329265168 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20376] ppid=20364 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20376/stat : 20376 (java) S 20364 20364 18314 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447094435 28909211648 12424 33554432000 4194304 4196468 140728977839888 139797500164208 139798785473154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20377] ppid=20364 vsize=28231652 memory=280153603387280 CPUtime=0 cores=0-7
/proc/20366/task/20377/stat : 20377 (java) S 20364 20364 18314 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447094436 28909211648 12424 33554432000 4194304 4196468 140728977839888 139797499110176 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20378] ppid=20364 vsize=28231652 memory=280153603384976 CPUtime=0 cores=0-7
/proc/20366/task/20378/stat : 20378 (java) S 20364 20364 18314 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447094436 28909211648 12424 33554432000 4194304 4196468 140728977839888 139797498057840 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20379] ppid=20364 vsize=28231652 memory=280153603391888 CPUtime=0 cores=0-7
/proc/20366/task/20379/stat : 20379 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094439 28909211648 12424 33554432000 4194304 4196468 140728977839888 139797497006160 139798785480603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20380] ppid=20364 vsize=28231652 memory=280153603333168 CPUtime=0.02 cores=0-7
/proc/20366/task/20380/stat : 20380 (java) S 20364 20364 18314 0 -1 1077944384 359 0 0 0 2 0 0 0 20 0 20 0 447094439 28909211648 12424 33554432000 4194304 4196468 140728977839888 139797495954032 139798785473154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20381] ppid=20364 vsize=28231652 memory=280153603405712 CPUtime=0.02 cores=0-7
/proc/20366/task/20381/stat : 20381 (java) S 20364 20364 18314 0 -1 1077944384 194 0 0 0 2 0 0 0 20 0 20 0 447094439 28909211648 12424 33554432000 4194304 4196468 140728977839888 139797378230768 139798785473154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20382] ppid=20364 vsize=28231652 memory=280153603412624 CPUtime=0.03 cores=0-7
/proc/20366/task/20382/stat : 20382 (java) R 20364 20364 18314 0 -1 4202560 359 0 0 0 3 0 0 0 20 0 20 0 447094439 28909211648 12424 33554432000 4194304 4196468 140728977839888 139797377178480 139798768962622 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20383] ppid=20364 vsize=28231652 memory=280153603410320 CPUtime=0.13 cores=0-7
/proc/20366/task/20383/stat : 20383 (java) S 20364 20364 18314 0 -1 1077944384 889 0 0 0 13 0 0 0 20 0 20 0 447094439 28909211648 12424 33554432000 4194304 4196468 140728977839888 139797376125680 139798785473154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20384] ppid=20364 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20384/stat : 20384 (java) S 20364 20364 18314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447094439 28909211648 12424 33554432000 4194304 4196468 140728977839888 139797375072608 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20385] ppid=20364 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/20366/task/20385/stat : 20385 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094439 28909211648 12424 33554432000 4194304 4196468 140728977839888 139797374019888 139798785473154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51152 KiB

[startup+0.726391 s]*
/proc/loadavg: 7.83 8.31 8.31 3/211 20385
/proc/meminfo: memFree=31018288/32770624 swapFree=66988844/67108860
[pid=20364] ppid=20361 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20364/stat : 20364 (xcsp3-exec) S 20361 20364 18314 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447094433 115843072 364 33554432000 4194304 5098028 140726995966608 140726995964712 140508425331324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36229120 140726995972982 140726995973225 140726995973225 140726995976138 0
/proc/20364/statm: 28282 364 305 221 0 87 0
[pid=20366] ppid=20364 vsize=28233776 memory=98880 CPUtime=2.03 cores=0-7
/proc/20366/stat : 20366 (java) S 20364 20364 18314 0 -1 1077944320 15884 0 0 0 196 7 0 0 20 0 20 0 447094433 28911386624 24720 33554432000 4194304 4196468 140728977839888 140728977822432 139798785462007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
/proc/20366/statm: 7058444 24720 3449 1 0 7019544 0
[pid=20366/tid=20367] ppid=20364 vsize=28233776 memory=8316850467074736180 CPUtime=0.7 cores=0-7
/proc/20366/task/20367/stat : 20367 (java) R 20364 20364 18314 0 -1 4202560 9026 0 0 0 66 4 0 0 20 0 20 0 447094433 28911386624 24720 33554432000 4194304 4196468 140728977839888 139798789676704 139798388451337 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20368] ppid=20364 vsize=28233776 memory=9318 CPUtime=0 cores=0-7
/proc/20366/task/20368/stat : 20368 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094434 28911386624 24720 33554432000 4194304 4196468 140728977839888 139798705314192 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20369] ppid=20364 vsize=28233776 memory=140076932649343 CPUtime=0 cores=0-7
/proc/20366/task/20369/stat : 20369 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094434 28911386624 24720 33554432000 4194304 4196468 140728977839888 139798704261392 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20370] ppid=20364 vsize=28233776 memory=-1 CPUtime=0 cores=0-7
/proc/20366/task/20370/stat : 20370 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447094434 28911386624 24720 33554432000 4194304 4196468 140728977839888 139798334528144 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0

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

[pid=20366/tid=20390] ppid=20364 vsize=28766288 memory=984 CPUtime=3.86 cores=0-7
/proc/20366/task/20390/stat : 20390 (java) R 20364 20364 18314 0 -1 4202560 80 0 0 0 386 0 0 0 20 0 28 0 447097574 29456678912 3309093 33554432000 4194304 4196468 140728977839888 139797362933816 139798391446896 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20391] ppid=20364 vsize=28766288 memory=2004 CPUtime=3.93 cores=0-7
/proc/20366/task/20391/stat : 20391 (java) R 20364 20364 18314 0 -1 4202560 788 0 0 0 389 4 0 0 20 0 28 0 447097574 29456678912 3309093 33554432000 4194304 4196468 140728977839888 139797361881144 139798391447026 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20392] ppid=20364 vsize=28766288 memory=1212 CPUtime=4.05 cores=0-7
/proc/20366/task/20392/stat : 20392 (java) R 20364 20364 18314 0 -1 4202560 529 0 0 0 405 0 0 0 20 0 28 0 447097574 29456678912 3309093 33554432000 4194304 4196468 140728977839888 139797293158224 139798391621586 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20393] ppid=20364 vsize=28766288 memory=1060 CPUtime=3.95 cores=0-7
/proc/20366/task/20393/stat : 20393 (java) R 20364 20364 18314 0 -1 4202560 459 0 0 0 395 0 0 0 20 0 28 0 447097574 29456678912 3309093 33554432000 4194304 4196468 140728977839888 139797292109256 139798391447069 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20394] ppid=20364 vsize=28766288 memory=740 CPUtime=3.94 cores=0-7
/proc/20366/task/20394/stat : 20394 (java) R 20364 20364 18314 0 -1 4202560 6369 0 0 0 394 0 0 0 20 0 28 0 447097574 29456678912 3309093 33554432000 4194304 4196468 140728977839888 139797291055712 139798391621666 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20395] ppid=20364 vsize=28766288 memory=1228 CPUtime=3.94 cores=0-7
/proc/20366/task/20395/stat : 20395 (java) R 20364 20364 18314 0 -1 4202560 654 0 0 0 394 0 0 0 20 0 28 0 447097574 29456678912 3309093 33554432000 4194304 4196468 140728977839888 139797289999816 139798391447036 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
Current children cumulated CPU time: 218.62 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 13237828 KiB

[startup+36.3017 s]*
/proc/loadavg: 7.39 8.12 8.25 9/219 20395
/proc/meminfo: memFree=17854160/32770624 swapFree=66988844/67108860
[pid=20364] ppid=20361 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20364/stat : 20364 (xcsp3-exec) S 20361 20364 18314 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447094433 115843072 364 33554432000 4194304 5098028 140726995966608 140726995964712 140508425331324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36229120 140726995972982 140726995973225 140726995973225 140726995976138 0
/proc/20364/statm: 28282 364 305 221 0 87 0
[pid=20366] ppid=20364 vsize=28766288 memory=13236404 CPUtime=225.07 cores=0-7
/proc/20366/stat : 20366 (java) S 20364 20364 18314 0 -1 1077944320 167964 0 0 0 19702 2805 0 0 20 0 28 0 447094433 29456678912 3309101 33554432000 4194304 4196468 140728977839888 140728977822432 139798785462007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
/proc/20366/statm: 7191572 3309101 3524 1 0 7152672 0
[pid=20366/tid=20367] ppid=20364 vsize=28766288 memory=1398722017469774279 CPUtime=8.97 cores=0-7
/proc/20366/task/20367/stat : 20367 (java) S 20364 20364 18314 0 -1 1077944384 17437 0 0 0 875 22 0 0 20 0 28 0 447094433 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139798789702784 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20368] ppid=20364 vsize=28766288 memory=4126316290023845779 CPUtime=21.46 cores=0-7
/proc/20366/task/20368/stat : 20368 (java) S 20364 20364 18314 0 -1 1077944384 10636 0 0 0 1789 357 0 0 20 0 28 0 447094434 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139798705314192 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20369] ppid=20364 vsize=28766288 memory=4126316290023845779 CPUtime=21.44 cores=0-7
/proc/20366/task/20369/stat : 20369 (java) S 20364 20364 18314 0 -1 1077944384 11194 0 0 0 1805 339 0 0 20 0 28 0 447094434 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139798704261392 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20370] ppid=20364 vsize=28766288 memory=4126316290023845779 CPUtime=21.5 cores=0-7
/proc/20366/task/20370/stat : 20370 (java) S 20364 20364 18314 0 -1 1077944384 11172 0 0 0 1788 362 0 0 20 0 28 0 447094434 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139798334528144 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20371] ppid=20364 vsize=28766288 memory=0 CPUtime=21.53 cores=0-7
/proc/20366/task/20371/stat : 20371 (java) S 20364 20364 18314 0 -1 1077944384 15835 0 0 0 1832 321 0 0 20 0 28 0 447094434 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139798333475344 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20372] ppid=20364 vsize=28766288 memory=-3472574944341025154 CPUtime=21.53 cores=0-7
/proc/20366/task/20372/stat : 20372 (java) S 20364 20364 18314 0 -1 1077944384 13173 0 0 0 1832 321 0 0 20 0 28 0 447094434 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139798332423056 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20373] ppid=20364 vsize=28766288 memory=6656426216303648864 CPUtime=21.57 cores=0-7
/proc/20366/task/20373/stat : 20373 (java) S 20364 20364 18314 0 -1 1077944384 11746 0 0 0 1780 377 0 0 20 0 28 0 447094434 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139798331370256 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20374] ppid=20364 vsize=28766288 memory=6791534058613427641 CPUtime=21.59 cores=0-7
/proc/20366/task/20374/stat : 20374 (java) S 20364 20364 18314 0 -1 1077944384 11001 0 0 0 1829 330 0 0 20 0 28 0 447094434 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139798330317968 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20375] ppid=20364 vsize=28766288 memory=590024538733966346 CPUtime=21.43 cores=0-7
/proc/20366/task/20375/stat : 20375 (java) S 20364 20364 18314 0 -1 1077944384 12454 0 0 0 1801 342 0 0 20 0 28 0 447094434 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139798329265168 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20376] ppid=20364 vsize=28766288 memory=288284497873732157 CPUtime=0.4 cores=0-7
/proc/20366/task/20376/stat : 20376 (java) S 20364 20364 18314 0 -1 1077944384 16593 0 0 0 31 9 0 0 20 0 28 0 447094435 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139797500164208 139798785473154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20377] ppid=20364 vsize=28766288 memory=302075633538938482 CPUtime=0 cores=0-7
/proc/20366/task/20377/stat : 20377 (java) S 20364 20364 18314 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 447094436 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139797499110240 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20378] ppid=20364 vsize=28766288 memory=-7531822216213012384 CPUtime=0 cores=0-7
/proc/20366/task/20378/stat : 20378 (java) S 20364 20364 18314 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 447094436 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139797498057856 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20379] ppid=20364 vsize=28766288 memory=-8412658770403813517 CPUtime=0 cores=0-7
/proc/20366/task/20379/stat : 20379 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447094439 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139797497006160 139798785480603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20380] ppid=20364 vsize=28766288 memory=3047711553320166262 CPUtime=1.37 cores=0-7
/proc/20366/task/20380/stat : 20380 (java) S 20364 20364 18314 0 -1 1077944384 5758 0 0 0 136 1 0 0 20 0 28 0 447094439 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139797495954032 139798785473154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20381] ppid=20364 vsize=28766288 memory=0 CPUtime=1.5 cores=0-7
/proc/20366/task/20381/stat : 20381 (java) S 20364 20364 18314 0 -1 1077944384 8930 0 0 0 148 2 0 0 20 0 28 0 447094439 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139797378230768 139798785473154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20382] ppid=20364 vsize=28766288 memory=0 CPUtime=1.82 cores=0-7
/proc/20366/task/20382/stat : 20382 (java) S 20364 20364 18314 0 -1 1077944384 5195 0 0 0 181 1 0 0 20 0 28 0 447094439 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139797377178480 139798785473154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20383] ppid=20364 vsize=28766288 memory=0 CPUtime=0.64 cores=0-7
/proc/20366/task/20383/stat : 20383 (java) S 20364 20364 18314 0 -1 1077944384 3307 0 0 0 63 1 0 0 20 0 28 0 447094439 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139797376125680 139798785473154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20384] ppid=20364 vsize=28766288 memory=4638778398332698720 CPUtime=0 cores=0-7
/proc/20366/task/20384/stat : 20384 (java) S 20364 20364 18314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447094439 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139797375072608 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20385] ppid=20364 vsize=28766288 memory=7156895360736389994 CPUtime=0.01 cores=0-7
/proc/20366/task/20385/stat : 20385 (java) S 20364 20364 18314 0 -1 1077944384 348 0 0 0 0 1 0 0 20 0 28 0 447094439 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139797374019888 139798785473154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20388] ppid=20364 vsize=28766288 memory=8226000191929445702 CPUtime=4.81 cores=0-7
/proc/20366/task/20388/stat : 20388 (java) R 20364 20364 18314 0 -1 4202560 710 0 0 0 477 4 0 0 20 0 28 0 447097573 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139797365037496 139798391510590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20389] ppid=20364 vsize=28766288 memory=0 CPUtime=4.79 cores=0-7
/proc/20366/task/20389/stat : 20389 (java) R 20364 20364 18314 0 -1 4202560 780 0 0 0 479 0 0 0 20 0 28 0 447097573 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139797363986120 139798391620510 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20390] ppid=20364 vsize=28766288 memory=18164 CPUtime=4.64 cores=0-7
/proc/20366/task/20390/stat : 20390 (java) R 20364 20364 18314 0 -1 4202560 127 0 0 0 464 0 0 0 20 0 28 0 447097574 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139797362933816 139798391447018 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20391] ppid=20364 vsize=28766288 memory=280153604879504 CPUtime=4.74 cores=0-7
/proc/20366/task/20391/stat : 20391 (java) R 20364 20364 18314 0 -1 4202560 809 0 0 0 470 4 0 0 20 0 28 0 447097574 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139797361881144 139798391446954 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20392] ppid=20364 vsize=28766288 memory=6943526294502006880 CPUtime=4.86 cores=0-7
/proc/20366/task/20392/stat : 20392 (java) R 20364 20364 18314 0 -1 4202560 720 0 0 0 486 0 0 0 20 0 28 0 447097574 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139797293158224 139798391619682 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20393] ppid=20364 vsize=28766288 memory=0 CPUtime=4.75 cores=0-7
/proc/20366/task/20393/stat : 20393 (java) R 20364 20364 18314 0 -1 4202560 511 0 0 0 475 0 0 0 20 0 28 0 447097574 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139797292109256 139798391446954 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20394] ppid=20364 vsize=28766288 memory=0 CPUtime=4.75 cores=0-7
/proc/20366/task/20394/stat : 20394 (java) R 20364 20364 18314 0 -1 4202560 7183 0 0 0 475 0 0 0 20 0 28 0 447097574 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139797291055712 139798391447018 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20395] ppid=20364 vsize=28766288 memory=0 CPUtime=4.75 cores=0-7
/proc/20366/task/20395/stat : 20395 (java) R 20364 20364 18314 0 -1 4202560 995 0 0 0 475 0 0 0 20 0 28 0 447097574 29456678912 3309101 33554432000 4194304 4196468 140728977839888 139797289999816 139798391446932 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
Current children cumulated CPU time: 225.07 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 13237860 KiB

[startup+37.1027 s]
/proc/loadavg: 7.39 8.12 8.25 9/219 20395
/proc/meminfo: memFree=17854160/32770624 swapFree=66988844/67108860
[pid=20364] ppid=20361 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20364/stat : 20364 (xcsp3-exec) S 20361 20364 18314 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447094433 115843072 364 33554432000 4194304 5098028 140726995966608 140726995964712 140508425331324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36229120 140726995972982 140726995973225 140726995973225 140726995976138 0
/proc/20364/statm: 28282 364 305 221 0 87 0
[pid=20366] ppid=20364 vsize=28766288 memory=13238384 CPUtime=231.35 cores=0-7
/proc/20366/stat : 20366 (java) S 20364 20364 18314 0 -1 1077944320 175939 0 0 0 20320 2815 0 0 20 0 28 0 447094433 29456678912 3309596 33554432000 4194304 4196468 140728977839888 140728977822432 139798785462007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
/proc/20366/statm: 7191572 3309596 3526 1 0 7152672 0
[pid=20366/tid=20367] ppid=20364 vsize=28766288 memory=1456 CPUtime=8.97 cores=0-7
/proc/20366/task/20367/stat : 20367 (java) S 20364 20364 18314 0 -1 1077944384 17437 0 0 0 875 22 0 0 20 0 28 0 447094433 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139798789702784 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20368] ppid=20364 vsize=28766288 memory=13236372 CPUtime=21.46 cores=0-7
/proc/20366/task/20368/stat : 20368 (java) S 20364 20364 18314 0 -1 1077944384 10636 0 0 0 1789 357 0 0 20 0 28 0 447094434 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139798705314192 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20369] ppid=20364 vsize=28766288 memory=149 CPUtime=21.44 cores=0-7
/proc/20366/task/20369/stat : 20369 (java) S 20364 20364 18314 0 -1 1077944384 11194 0 0 0 1805 339 0 0 20 0 28 0 447094434 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139798704261392 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20370] ppid=20364 vsize=28766288 memory=58 CPUtime=21.5 cores=0-7
/proc/20366/task/20370/stat : 20370 (java) S 20364 20364 18314 0 -1 1077944384 11172 0 0 0 1788 362 0 0 20 0 28 0 447094434 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139798334528144 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20371] ppid=20364 vsize=28766288 memory=13236372 CPUtime=21.53 cores=0-7
/proc/20366/task/20371/stat : 20371 (java) S 20364 20364 18314 0 -1 1077944384 15835 0 0 0 1832 321 0 0 20 0 28 0 447094434 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139798333475344 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20372] ppid=20364 vsize=28766288 memory=13235216 CPUtime=21.53 cores=0-7
/proc/20366/task/20372/stat : 20372 (java) S 20364 20364 18314 0 -1 1077944384 13173 0 0 0 1832 321 0 0 20 0 28 0 447094434 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139798332423056 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20373] ppid=20364 vsize=28766288 memory=1456 CPUtime=21.57 cores=0-7
/proc/20366/task/20373/stat : 20373 (java) S 20364 20364 18314 0 -1 1077944384 11746 0 0 0 1780 377 0 0 20 0 28 0 447094434 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139798331370256 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20374] ppid=20364 vsize=28766288 memory=13233980 CPUtime=21.59 cores=0-7
/proc/20366/task/20374/stat : 20374 (java) S 20364 20364 18314 0 -1 1077944384 11001 0 0 0 1829 330 0 0 20 0 28 0 447094434 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139798330317968 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20375] ppid=20364 vsize=28766288 memory=3620 CPUtime=21.43 cores=0-7
/proc/20366/task/20375/stat : 20375 (java) S 20364 20364 18314 0 -1 1077944384 12454 0 0 0 1801 342 0 0 20 0 28 0 447094434 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139798329265168 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20376] ppid=20364 vsize=28766288 memory=1456 CPUtime=0.4 cores=0-7
/proc/20366/task/20376/stat : 20376 (java) S 20364 20364 18314 0 -1 1077944384 16639 0 0 0 31 9 0 0 20 0 28 0 447094435 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139797500164208 139798785473154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20377] ppid=20364 vsize=28766288 memory=1456 CPUtime=0 cores=0-7
/proc/20366/task/20377/stat : 20377 (java) S 20364 20364 18314 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 447094436 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139797499110240 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20378] ppid=20364 vsize=28766288 memory=13585 CPUtime=0 cores=0-7
/proc/20366/task/20378/stat : 20378 (java) S 20364 20364 18314 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 447094436 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139797498057856 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20379] ppid=20364 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20379/stat : 20379 (java) S 20364 20364 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447094439 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139797497006160 139798785480603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20380] ppid=20364 vsize=28766288 memory=0 CPUtime=1.71 cores=0-7
/proc/20366/task/20380/stat : 20380 (java) R 20364 20364 18314 0 -1 4202560 7672 0 0 0 169 2 0 0 20 0 28 0 447094439 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139797495938896 139798767009038 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20381] ppid=20364 vsize=28766288 memory=0 CPUtime=1.67 cores=0-7
/proc/20366/task/20381/stat : 20381 (java) R 20364 20364 18314 0 -1 1077944384 10159 0 0 0 165 2 0 0 20 0 28 0 447094439 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139797378230768 139798785473154 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20382] ppid=20364 vsize=28766288 memory=0 CPUtime=2.06 cores=0-7
/proc/20366/task/20382/stat : 20382 (java) S 20364 20364 18314 0 -1 1077944384 7291 0 0 0 205 1 0 0 20 0 28 0 447094439 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139797377178480 139798785473154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20383] ppid=20364 vsize=28766288 memory=0 CPUtime=0.67 cores=0-7
/proc/20366/task/20383/stat : 20383 (java) R 20364 20364 18314 0 -1 4202560 4074 0 0 0 66 1 0 0 20 0 28 0 447094439 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139797376120944 139798769785344 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20384] ppid=20364 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/20366/task/20384/stat : 20384 (java) S 20364 20364 18314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447094439 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139797375072608 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20385] ppid=20364 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7
/proc/20366/task/20385/stat : 20385 (java) S 20364 20364 18314 0 -1 1077944384 348 0 0 0 0 1 0 0 20 0 28 0 447094439 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139797374019888 139798785473154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20388] ppid=20364 vsize=28766288 memory=0 CPUtime=5.57 cores=0-7
/proc/20366/task/20388/stat : 20388 (java) R 20364 20364 18314 0 -1 4202560 908 0 0 0 549 8 0 0 20 0 28 0 447097573 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139797365035888 139798383814595 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20389] ppid=20364 vsize=28766288 memory=0 CPUtime=5.42 cores=0-7
/proc/20366/task/20389/stat : 20389 (java) R 20364 20364 18314 0 -1 4202560 892 0 0 0 542 0 0 0 20 0 28 0 447097573 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139797363985376 139798383788775 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20390] ppid=20364 vsize=28766288 memory=1984 CPUtime=5.26 cores=0-7
/proc/20366/task/20390/stat : 20390 (java) S 20364 20364 18314 0 -1 1077944384 596 0 0 0 525 1 0 0 20 0 28 0 447097574 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139797362932960 139798785472213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20391] ppid=20364 vsize=28766288 memory=2404 CPUtime=5.46 cores=0-7
/proc/20366/task/20391/stat : 20391 (java) R 20364 20364 18314 0 -1 4202560 1198 0 0 0 542 4 0 0 20 0 28 0 447097574 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139797361881152 139798384822362 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20392] ppid=20364 vsize=28766288 memory=1440 CPUtime=5.54 cores=0-7
/proc/20366/task/20392/stat : 20392 (java) R 20364 20364 18314 0 -1 4202560 835 0 0 0 554 0 0 0 20 0 28 0 447097574 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139797293157968 139798391814955 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20393] ppid=20364 vsize=28766288 memory=800 CPUtime=5.49 cores=0-7
/proc/20366/task/20393/stat : 20393 (java) R 20364 20364 18314 0 -1 4202560 730 0 0 0 546 3 0 0 20 0 28 0 447097574 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139797292105168 139798391646298 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20394] ppid=20364 vsize=28766288 memory=1764 CPUtime=5.41 cores=0-7
/proc/20366/task/20394/stat : 20394 (java) R 20364 20364 18314 0 -1 1077944384 7220 0 0 0 541 0 0 0 20 0 28 0 447097574 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139797291051216 139798785472213 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
[pid=20366/tid=20395] ppid=20364 vsize=28766288 memory=111628 CPUtime=5.41 cores=0-7
/proc/20366/task/20395/stat : 20395 (java) R 20364 20364 18314 0 -1 4202560 1493 0 0 0 541 0 0 0 20 0 28 0 447097574 29456678912 3309596 33554432000 4194304 4196468 140728977839888 139797289998000 139798383814595 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26185728 140728977843178 140728977843350 140728977843350 140728977846223 0
Current children cumulated CPU time: 231.35 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 13239840 KiB

[startup+37.5012 s]
/proc/loadavg: 7.39 8.12 8.25 12/219 20395
/proc/meminfo: memFree=17854416/32770624 swapFree=66988844/67108860
[pid=20364] ppid=20361 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20364/stat : 20364 (xcsp3-exec) S 20361 20364 18314 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447094433 115843072 364 33554432000 4194304 5098028 140726995966608 140726995964712 140508425331324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36229120 140726995972982 140726995973225 140726995973225 140726995976138 0
/proc/20364/statm: 28282 364 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB

Child status: 0
Real time (s): 37.5023
CPU time (s): 233.943
CPU user time (s): 205.694
CPU system time (s): 28.2488
CPU usage (%): 623.811
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 13240316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 205.694
system time used= 28.2488
maximum resident set size= 13239056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178852
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10812
involuntary context switches= 3106


# summary of solver processes directly reported to runsolver:
#   pid: 20364
#   total CPU time (s): 233.943
#   total CPU user time (s): 205.694
#   total CPU system time (s): 28.2488

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.310321 second user time and 0.454832 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si6-m4D/ Subisomorphism-si6-m4Dr4-m1296-04.xml
MD5SUM	bed822053ada34bca9e942ef4238d644
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.308784
Satisfiable
(Un)Satisfiability was proved
Number of variables	777
Number of constraints	2408
Number of domains	1
Minimum domain size	1296
Maximum domain size	1296
Distribution of domain sizes	[{"size":1296,"count":777}]
Minimum variable degree	2
Maximum variable degree	14
Distribution of variable degrees	[{"degree":2,"count":35},{"degree":3,"count":82},{"degree":4,"count":123},{"degree":6,"count":120},{"degree":7,"count":123},{"degree":8,"count":122},{"degree":9,"count":86},{"degree":10,"count":51},{"degree":11,"count":23},{"degree":12,"count":6},{"degree":13,"count":4},{"degree":14,"count":2}]
Minimum constraint arity	1
Maximum constraint arity	777
Distribution of constraint arities	[{"arity":1,"count":537},{"arity":2,"count":1870},{"arity":777,"count":1}]
Number of extensional constraints	2407
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":2407},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4399559

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
