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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16 parallel	OPT	4	5971.39	752.313
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 (15282 MiB free)
  memory of node 1: 16384 MiB (15695 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399932-1568701119/watcher-4399932-1568701119 -o /tmp/evaluation-result-4399932-1568701119/solver-4399932-1568701119 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1186413560 HOME/instance-4399932-1568701119.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=30338, runsolver pid=30335
Current StackSize limit: 8192 KiB


[startup+0.100113 s]*
/proc/loadavg: 7.85 7.95 7.77 2/212 30359
/proc/meminfo: memFree=31704404/32770624 swapFree=66977100/67108860
[pid=30338] ppid=30335 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30338/stat : 30338 (xcsp3-exec) S 30335 30338 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446374569 115843072 363 33554432000 4194304 5098028 140724581684208 140724581682312 140128043086460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11829248 140724581692277 140724581692521 140724581692521 140724581695434 0
/proc/30338/statm: 28282 363 304 221 0 87 0
[pid=30340] ppid=30338 vsize=28227396 memory=29880 CPUtime=0.11 cores=0-7
/proc/30340/stat : 30340 (java) S 30338 30338 29062 0 -1 1077944320 5954 0 0 0 11 0 0 0 20 0 20 0 446374569 28904853504 7470 33554432000 4194304 4196468 140733959817248 140733959799792 140511576047351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
/proc/30340/statm: 7056849 7470 3118 1 0 7019032 0
[pid=30340/tid=30341] ppid=30338 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/30340/task/30341/stat : 30341 (java) R 30338 30338 29062 0 -1 4202560 3841 0 0 0 8 0 0 0 20 0 20 0 446374569 28904853504 7470 33554432000 4194304 4196468 140733959817248 140511580279616 140511211962725 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30342] ppid=30338 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30342/stat : 30342 (java) S 30338 30338 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374570 28904853504 7470 33554432000 4194304 4196468 140733959817248 140511534807696 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30343] ppid=30338 vsize=28227396 memory=140157751756416 CPUtime=0 cores=0-7
/proc/30340/task/30343/stat : 30343 (java) S 30338 30338 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374570 28904853504 7470 33554432000 4194304 4196468 140733959817248 140511125973520 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30344] ppid=30338 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30344/stat : 30344 (java) S 30338 30338 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374570 28904853504 7470 33554432000 4194304 4196468 140733959817248 140511124920720 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30345] ppid=30338 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30345/stat : 30345 (java) S 30338 30338 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374570 28904853504 7470 33554432000 4194304 4196468 140733959817248 140511123867920 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30346] ppid=30338 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30346/stat : 30346 (java) S 30338 30338 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374570 28904853504 7470 33554432000 4194304 4196468 140733959817248 140511122816144 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30347] ppid=30338 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30340/task/30347/stat : 30347 (java) S 30338 30338 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374570 28904853504 7470 33554432000 4194304 4196468 140733959817248 140511121763344 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30348] ppid=30338 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30348/stat : 30348 (java) S 30338 30338 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374570 28904853504 7470 33554432000 4194304 4196468 140733959817248 140511120710544 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30349] ppid=30338 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30349/stat : 30349 (java) S 30338 30338 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446374570 28904853504 7470 33554432000 4194304 4196468 140733959817248 140511119657744 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30350] ppid=30338 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30350/stat : 30350 (java) S 30338 30338 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374572 28904853504 7470 33554432000 4194304 4196468 140733959817248 140510174431600 140511576058498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30351] ppid=30338 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30351/stat : 30351 (java) S 30338 30338 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446374572 28904853504 7470 33554432000 4194304 4196468 140733959817248 140510173377568 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30352] ppid=30338 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30352/stat : 30352 (java) S 30338 30338 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446374572 28904853504 7470 33554432000 4194304 4196468 140733959817248 140510172324720 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30353] ppid=30338 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30353/stat : 30353 (java) S 30338 30338 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374575 28904853504 7470 33554432000 4194304 4196468 140733959817248 140510171273040 140511576065947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30354] ppid=30338 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30354/stat : 30354 (java) S 30338 30338 29062 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 446374575 28904853504 7470 33554432000 4194304 4196468 140733959817248 140510170221424 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30355] ppid=30338 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30355/stat : 30355 (java) S 30338 30338 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374575 28904853504 7470 33554432000 4194304 4196468 140733959817248 140510169168624 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30356] ppid=30338 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30356/stat : 30356 (java) S 30338 30338 29062 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 446374575 28904853504 7470 33554432000 4194304 4196468 140733959817248 140510168115824 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30357] ppid=30338 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/30340/task/30357/stat : 30357 (java) R 30338 30338 29062 0 -1 4202560 366 0 0 0 1 0 0 0 20 0 20 0 446374575 28904853504 7470 33554432000 4194304 4196468 140733959817248 140510167063024 140511554966113 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30358] ppid=30338 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30358/stat : 30358 (java) S 30338 30338 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446374575 28904853504 7470 33554432000 4194304 4196468 140733959817248 140510166010464 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30359] ppid=30338 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30340/task/30359/stat : 30359 (java) S 30338 30338 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374576 28904853504 7470 33554432000 4194304 4196468 140733959817248 140510164957744 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31332 KiB

[startup+0.209917 s]*
/proc/loadavg: 7.85 7.95 7.77 2/212 30359
/proc/meminfo: memFree=31691224/32770624 swapFree=66977100/67108860
[pid=30338] ppid=30335 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30338/stat : 30338 (xcsp3-exec) S 30335 30338 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446374569 115843072 363 33554432000 4194304 5098028 140724581684208 140724581682312 140128043086460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11829248 140724581692277 140724581692521 140724581692521 140724581695434 0
/proc/30338/statm: 28282 363 304 221 0 87 0
[pid=30340] ppid=30338 vsize=28227396 memory=41180 CPUtime=0.33 cores=0-7
/proc/30340/stat : 30340 (java) S 30338 30338 29062 0 -1 1077944320 9516 0 0 0 30 3 0 0 20 0 20 0 446374569 28904853504 10295 33554432000 4194304 4196468 140733959817248 140733959799792 140511576047351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
/proc/30340/statm: 7056849 10295 3289 1 0 7019032 0
[pid=30340/tid=30341] ppid=30338 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/30340/task/30341/stat : 30341 (java) R 30338 30338 29062 0 -1 4202560 6659 0 0 0 17 2 0 0 20 0 20 0 446374569 28904853504 10295 33554432000 4194304 4196468 140733959817248 140511580287024 140511568725365 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30342] ppid=30338 vsize=28227396 memory=329 CPUtime=0 cores=0-7
/proc/30340/task/30342/stat : 30342 (java) S 30338 30338 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374570 28904853504 10295 33554432000 4194304 4196468 140733959817248 140511534807696 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30343] ppid=30338 vsize=28227396 memory=288370533903468160 CPUtime=0 cores=0-7
/proc/30340/task/30343/stat : 30343 (java) S 30338 30338 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374570 28904853504 10295 33554432000 4194304 4196468 140733959817248 140511125973520 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30344] ppid=30338 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30340/task/30344/stat : 30344 (java) S 30338 30338 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374570 28904853504 10295 33554432000 4194304 4196468 140733959817248 140511124920720 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30345] ppid=30338 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30345/stat : 30345 (java) S 30338 30338 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374570 28904853504 10295 33554432000 4194304 4196468 140733959817248 140511123867920 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30346] ppid=30338 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30346/stat : 30346 (java) S 30338 30338 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374570 28904853504 10295 33554432000 4194304 4196468 140733959817248 140511122816144 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30347] ppid=30338 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30340/task/30347/stat : 30347 (java) S 30338 30338 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374570 28904853504 10295 33554432000 4194304 4196468 140733959817248 140511121763344 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30348] ppid=30338 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30348/stat : 30348 (java) S 30338 30338 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374570 28904853504 10295 33554432000 4194304 4196468 140733959817248 140511120710544 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30349] ppid=30338 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30349/stat : 30349 (java) S 30338 30338 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446374570 28904853504 10295 33554432000 4194304 4196468 140733959817248 140511119657744 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30350] ppid=30338 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30350/stat : 30350 (java) S 30338 30338 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446374572 28904853504 10295 33554432000 4194304 4196468 140733959817248 140510174431600 140511576058498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30351] ppid=30338 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30351/stat : 30351 (java) S 30338 30338 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446374572 28904853504 10295 33554432000 4194304 4196468 140733959817248 140510173377568 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30352] ppid=30338 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30352/stat : 30352 (java) S 30338 30338 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446374572 28904853504 10295 33554432000 4194304 4196468 140733959817248 140510172324720 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30353] ppid=30338 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30353/stat : 30353 (java) S 30338 30338 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374575 28904853504 10295 33554432000 4194304 4196468 140733959817248 140510171273040 140511576065947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30354] ppid=30338 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/30340/task/30354/stat : 30354 (java) S 30338 30338 29062 0 -1 1077944384 407 0 0 0 1 0 0 0 20 0 20 0 446374575 28904853504 10295 33554432000 4194304 4196468 140733959817248 140510170221424 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30355] ppid=30338 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/30340/task/30355/stat : 30355 (java) S 30338 30338 29062 0 -1 1077944384 211 0 0 0 1 0 0 0 20 0 20 0 446374575 28904853504 10295 33554432000 4194304 4196468 140733959817248 140510169168624 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30356] ppid=30338 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/30340/task/30356/stat : 30356 (java) S 30338 30338 29062 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 20 0 446374575 28904853504 10295 33554432000 4194304 4196468 140733959817248 140510168115824 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30357] ppid=30338 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/30340/task/30357/stat : 30357 (java) S 30338 30338 29062 0 -1 1077944384 759 0 0 0 7 0 0 0 20 0 20 0 446374575 28904853504 10295 33554432000 4194304 4196468 140733959817248 140510167063024 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30358] ppid=30338 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30358/stat : 30358 (java) S 30338 30338 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446374575 28904853504 10295 33554432000 4194304 4196468 140733959817248 140510166010464 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30359] ppid=30338 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30340/task/30359/stat : 30359 (java) S 30338 30338 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374576 28904853504 10295 33554432000 4194304 4196468 140733959817248 140510164957744 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42632 KiB

[startup+0.30964 s]*
/proc/loadavg: 7.85 7.95 7.77 3/211 30359
/proc/meminfo: memFree=31683008/32770624 swapFree=66977100/67108860
[pid=30338] ppid=30335 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30338/stat : 30338 (xcsp3-exec) S 30335 30338 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446374569 115843072 363 33554432000 4194304 5098028 140724581684208 140724581682312 140128043086460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11829248 140724581692277 140724581692521 140724581692521 140724581695434 0
/proc/30338/statm: 28282 363 304 221 0 87 0
[pid=30340] ppid=30338 vsize=28231652 memory=50216 CPUtime=0.52 cores=0-7
/proc/30340/stat : 30340 (java) S 30338 30338 29062 0 -1 1077944320 10853 0 0 0 48 4 0 0 20 0 20 0 446374569 28909211648 12554 33554432000 4194304 4196468 140733959817248 140733959799792 140511576047351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
/proc/30340/statm: 7057913 12554 3358 1 0 7019032 0
[pid=30340/tid=30341] ppid=30338 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/30340/task/30341/stat : 30341 (java) R 30338 30338 29062 0 -1 4202560 7776 0 0 0 27 3 0 0 20 0 20 0 446374569 28909211648 12554 33554432000 4194304 4196468 140733959817248 140511580278464 140511557631840 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30342] ppid=30338 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30342/stat : 30342 (java) S 30338 30338 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374570 28909211648 12554 33554432000 4194304 4196468 140733959817248 140511534807696 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30343] ppid=30338 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30343/stat : 30343 (java) S 30338 30338 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374570 28909211648 12554 33554432000 4194304 4196468 140733959817248 140511125973520 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30344] ppid=30338 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30344/stat : 30344 (java) S 30338 30338 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374570 28909211648 12554 33554432000 4194304 4196468 140733959817248 140511124920720 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30345] ppid=30338 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30345/stat : 30345 (java) S 30338 30338 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374570 28909211648 12554 33554432000 4194304 4196468 140733959817248 140511123867920 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30346] ppid=30338 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/30340/task/30346/stat : 30346 (java) S 30338 30338 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374570 28909211648 12554 33554432000 4194304 4196468 140733959817248 140511122816144 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30347] ppid=30338 vsize=28231652 memory=140157600756655 CPUtime=0 cores=0-7
/proc/30340/task/30347/stat : 30347 (java) S 30338 30338 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374570 28909211648 12554 33554432000 4194304 4196468 140733959817248 140511121763344 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30348] ppid=30338 vsize=28231652 memory=140157600758960 CPUtime=0 cores=0-7
/proc/30340/task/30348/stat : 30348 (java) S 30338 30338 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374570 28909211648 12554 33554432000 4194304 4196468 140733959817248 140511120710544 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30349] ppid=30338 vsize=28231652 memory=140157600761264 CPUtime=0 cores=0-7
/proc/30340/task/30349/stat : 30349 (java) S 30338 30338 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446374570 28909211648 12554 33554432000 4194304 4196468 140733959817248 140511119657744 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30350] ppid=30338 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30350/stat : 30350 (java) S 30338 30338 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446374572 28909211648 12554 33554432000 4194304 4196468 140733959817248 140510174431600 140511576058498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30351] ppid=30338 vsize=28231652 memory=280315201529488 CPUtime=0 cores=0-7
/proc/30340/task/30351/stat : 30351 (java) S 30338 30338 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446374572 28909211648 12554 33554432000 4194304 4196468 140733959817248 140510173377568 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30352] ppid=30338 vsize=28231652 memory=280315201536400 CPUtime=0 cores=0-7
/proc/30340/task/30352/stat : 30352 (java) S 30338 30338 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446374572 28909211648 12554 33554432000 4194304 4196468 140733959817248 140510172324720 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30353] ppid=30338 vsize=28231652 memory=280315201477648 CPUtime=0 cores=0-7
/proc/30340/task/30353/stat : 30353 (java) S 30338 30338 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374575 28909211648 12554 33554432000 4194304 4196468 140733959817248 140510171273040 140511576065947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30354] ppid=30338 vsize=28231652 memory=280315201550224 CPUtime=0.03 cores=0-7
/proc/30340/task/30354/stat : 30354 (java) S 30338 30338 29062 0 -1 1077944384 419 0 0 0 3 0 0 0 20 0 20 0 446374575 28909211648 12554 33554432000 4194304 4196468 140733959817248 140510170221424 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30355] ppid=30338 vsize=28231652 memory=280315201557136 CPUtime=0.02 cores=0-7
/proc/30340/task/30355/stat : 30355 (java) S 30338 30338 29062 0 -1 1077944384 213 0 0 0 2 0 0 0 20 0 20 0 446374575 28909211648 12554 33554432000 4194304 4196468 140733959817248 140510169168624 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30356] ppid=30338 vsize=28231652 memory=280315201554832 CPUtime=0.02 cores=0-7
/proc/30340/task/30356/stat : 30356 (java) R 30338 30338 29062 0 -1 4202560 282 0 0 0 2 0 0 0 20 0 20 0 446374575 28909211648 12554 33554432000 4194304 4196468 140733959817248 140510168106208 140511557223274 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30357] ppid=30338 vsize=28231652 memory=280315201570992 CPUtime=0.12 cores=0-7
/proc/30340/task/30357/stat : 30357 (java) S 30338 30338 29062 0 -1 1077944384 848 0 0 0 12 0 0 0 20 0 20 0 446374575 28909211648 12554 33554432000 4194304 4196468 140733959817248 140510167063024 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30358] ppid=30338 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30358/stat : 30358 (java) S 30338 30338 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446374575 28909211648 12554 33554432000 4194304 4196468 140733959817248 140510166010464 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30359] ppid=30338 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/30340/task/30359/stat : 30359 (java) S 30338 30338 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374576 28909211648 12554 33554432000 4194304 4196468 140733959817248 140510164957744 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51668 KiB

[startup+0.700989 s]
/proc/loadavg: 7.85 7.95 7.77 3/211 30359
/proc/meminfo: memFree=31661532/32770624 swapFree=66977100/67108860
[pid=30338] ppid=30335 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30338/stat : 30338 (xcsp3-exec) S 30335 30338 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446374569 115843072 363 33554432000 4194304 5098028 140724581684208 140724581682312 140128043086460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11829248 140724581692277 140724581692521 140724581692521 140724581695434 0
/proc/30338/statm: 28282 363 304 221 0 87 0
[pid=30340] ppid=30338 vsize=28234800 memory=111924 CPUtime=1.93 cores=0-7
/proc/30340/stat : 30340 (java) S 30338 30338 29062 0 -1 1077944320 16105 0 0 0 188 5 0 0 20 0 20 0 446374569 28912435200 27981 33554432000 4194304 4196468 140733959817248 140733959799792 140511576047351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
/proc/30340/statm: 7058700 27981 3454 1 0 7019800 0
[pid=30340/tid=30341] ppid=30338 vsize=28233776 memory=280315201928880 CPUtime=0.67 cores=0-7
/proc/30340/task/30341/stat : 30341 (java) R 30338 30338 29062 0 -1 4202560 8575 0 0 0 64 3 0 0 20 0 20 0 446374569 28911386624 27981 33554432000 4194304 4196468 140733959817248 140511580254880 140511568726573 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30342] ppid=30338 vsize=28233776 memory=140157600965488 CPUtime=0 cores=0-7
/proc/30340/task/30342/stat : 30342 (java) S 30338 30338 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374570 28911386624 27981 33554432000 4194304 4196468 140733959817248 140511534807696 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30343] ppid=30338 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/30340/task/30343/stat : 30343 (java) S 30338 30338 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374570 28911386624 27981 33554432000 4194304 4196468 140733959817248 140511125973520 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30344] ppid=30338 vsize=28234800 memory=7872 CPUtime=0 cores=0-7
/proc/30340/task/30344/stat : 30344 (java) S 30338 30338 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374570 28912435200 27981 33554432000 4194304 4196468 140733959817248 140511124920720 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0

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

[pid=30340/tid=30354] ppid=30338 vsize=28768336 memory=1452 CPUtime=3.48 cores=0-7
/proc/30340/task/30354/stat : 30354 (java) S 30338 30338 29062 0 -1 1077944384 21087 0 0 0 345 3 0 0 20 0 28 0 446374575 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510170221424 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30355] ppid=30338 vsize=28768336 memory=14008 CPUtime=3.35 cores=0-7
/proc/30340/task/30355/stat : 30355 (java) S 30338 30338 29062 0 -1 1077944384 17445 0 0 0 332 3 0 0 20 0 28 0 446374575 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510169168624 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30356] ppid=30338 vsize=28768336 memory=2120 CPUtime=3.58 cores=0-7
/proc/30340/task/30356/stat : 30356 (java) S 30338 30338 29062 0 -1 1077944384 17446 0 0 0 356 2 0 0 20 0 28 0 446374575 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510168115824 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30357] ppid=30338 vsize=28768336 memory=11976 CPUtime=0.97 cores=0-7
/proc/30340/task/30357/stat : 30357 (java) S 30338 30338 29062 0 -1 1077944384 17571 0 0 0 94 3 0 0 20 0 28 0 446374575 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510167063024 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30358] ppid=30338 vsize=28768336 memory=11496 CPUtime=0 cores=0-7
/proc/30340/task/30358/stat : 30358 (java) S 30338 30338 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446374575 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510166010464 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30359] ppid=30338 vsize=28768336 memory=512 CPUtime=0.27 cores=0-7
/proc/30340/task/30359/stat : 30359 (java) S 30338 30338 29062 0 -1 1077944384 3168 0 0 0 18 9 0 0 20 0 28 0 446374576 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510164957744 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30478] ppid=30338 vsize=28768336 memory=1564 CPUtime=7.25 cores=0-7
/proc/30340/task/30478/stat : 30478 (java) R 30338 30338 29062 0 -1 4202560 229 0 0 0 725 0 0 0 20 0 28 0 446448952 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510153632952 140511220409550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30479] ppid=30338 vsize=28768336 memory=928 CPUtime=7.26 cores=0-7
/proc/30340/task/30479/stat : 30479 (java) R 30338 30338 29062 0 -1 4202560 144 0 0 0 726 0 0 0 20 0 28 0 446448952 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510151528496 140511221233572 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30480] ppid=30338 vsize=28768336 memory=3784 CPUtime=7.26 cores=0-7
/proc/30340/task/30480/stat : 30480 (java) R 30338 30338 29062 0 -1 4202560 348 0 0 0 726 0 0 0 20 0 28 0 446448952 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510148371000 140511222238972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30481] ppid=30338 vsize=28768336 memory=1440 CPUtime=7.21 cores=0-7
/proc/30340/task/30481/stat : 30481 (java) R 30338 30338 29062 0 -1 4202560 190 0 0 0 721 0 0 0 20 0 28 0 446448952 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510149423464 140511213497924 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30482] ppid=30338 vsize=28768336 memory=904 CPUtime=7.26 cores=0-7
/proc/30340/task/30482/stat : 30482 (java) R 30338 30338 29062 0 -1 4202560 162 0 0 0 726 0 0 0 20 0 28 0 446448952 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510155739408 140511219920204 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30483] ppid=30338 vsize=28768336 memory=1984 CPUtime=7.25 cores=0-7
/proc/30340/task/30483/stat : 30483 (java) R 30338 30338 29062 0 -1 4202560 187 0 0 0 725 0 0 0 20 0 28 0 446448952 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510150475416 140511219920263 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30484] ppid=30338 vsize=28768336 memory=2528 CPUtime=7.24 cores=0-7
/proc/30340/task/30484/stat : 30484 (java) R 30338 30338 29062 0 -1 4202560 323 0 0 0 724 0 0 0 20 0 28 0 446448952 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510152580896 140511219920283 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30485] ppid=30338 vsize=28768336 memory=1764 CPUtime=7.29 cores=0-7
/proc/30340/task/30485/stat : 30485 (java) R 30338 30338 29062 0 -1 4202560 152 0 0 0 729 0 0 0 20 0 28 0 446448952 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510154689200 140511213497812 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
Current children cumulated CPU time: 5963.33 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2449996 KiB

[startup+752.001 s]*
/proc/loadavg: 9.14 8.55 8.14 9/220 30485
/proc/meminfo: memFree=29280328/32770624 swapFree=66977128/67108860
[pid=30338] ppid=30335 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30338/stat : 30338 (xcsp3-exec) S 30335 30338 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446374569 115843072 363 33554432000 4194304 5098028 140724581684208 140724581682312 140128043086460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11829248 140724581692277 140724581692521 140724581692521 140724581695434 0
/proc/30338/statm: 28282 363 304 221 0 87 0
[pid=30340] ppid=30338 vsize=28768336 memory=2448544 CPUtime=5969.76 cores=0-7
/proc/30340/stat : 30340 (java) S 30338 30338 29062 0 -1 1077944320 349604 0 0 0 596654 322 0 0 20 0 28 0 446374569 29458776064 612136 33554432000 4194304 4196468 140733959817248 140733959799792 140511576047351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
/proc/30340/statm: 7192084 612136 3558 1 0 7153184 0
[pid=30340/tid=30341] ppid=30338 vsize=28768336 memory=6791534058613427641 CPUtime=2.28 cores=0-7
/proc/30340/task/30341/stat : 30341 (java) S 30338 30338 29062 0 -1 1077944384 11515 0 0 0 221 7 0 0 20 0 28 0 446374569 29458776064 612136 33554432000 4194304 4196468 140733959817248 140511580288128 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30342] ppid=30338 vsize=28768336 memory=4126316290023845779 CPUtime=1.63 cores=0-7
/proc/30340/task/30342/stat : 30342 (java) S 30338 30338 29062 0 -1 1077944384 12037 0 0 0 152 11 0 0 20 0 28 0 446374570 29458776064 612136 33554432000 4194304 4196468 140733959817248 140511534807696 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30343] ppid=30338 vsize=28768336 memory=288283359827834591 CPUtime=1.66 cores=0-7
/proc/30340/task/30343/stat : 30343 (java) S 30338 30338 29062 0 -1 1077944384 12167 0 0 0 153 13 0 0 20 0 28 0 446374570 29458776064 612136 33554432000 4194304 4196468 140733959817248 140511125973520 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30344] ppid=30338 vsize=28768336 memory=2996588 CPUtime=1.64 cores=0-7
/proc/30340/task/30344/stat : 30344 (java) S 30338 30338 29062 0 -1 1077944384 14430 0 0 0 151 13 0 0 20 0 28 0 446374570 29458776064 612136 33554432000 4194304 4196468 140733959817248 140511124920720 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30345] ppid=30338 vsize=28768336 memory=3907209372954294175 CPUtime=1.68 cores=0-7
/proc/30340/task/30345/stat : 30345 (java) S 30338 30338 29062 0 -1 1077944384 11119 0 0 0 155 13 0 0 20 0 28 0 446374570 29458776064 612136 33554432000 4194304 4196468 140733959817248 140511123867920 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30346] ppid=30338 vsize=28768336 memory=512 CPUtime=1.7 cores=0-7
/proc/30340/task/30346/stat : 30346 (java) S 30338 30338 29062 0 -1 1077944384 10967 0 0 0 158 12 0 0 20 0 28 0 446374570 29458776064 612136 33554432000 4194304 4196468 140733959817248 140511122816144 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30347] ppid=30338 vsize=28768336 memory=1564 CPUtime=1.63 cores=0-7
/proc/30340/task/30347/stat : 30347 (java) S 30338 30338 29062 0 -1 1077944384 11074 0 0 0 151 12 0 0 20 0 28 0 446374570 29458776064 612136 33554432000 4194304 4196468 140733959817248 140511121763344 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30348] ppid=30338 vsize=28768336 memory=928 CPUtime=1.7 cores=0-7
/proc/30340/task/30348/stat : 30348 (java) S 30338 30338 29062 0 -1 1077944384 10808 0 0 0 159 11 0 0 20 0 28 0 446374570 29458776064 612136 33554432000 4194304 4196468 140733959817248 140511120710544 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30349] ppid=30338 vsize=28768336 memory=3784 CPUtime=1.68 cores=0-7
/proc/30340/task/30349/stat : 30349 (java) S 30338 30338 29062 0 -1 1077944384 10555 0 0 0 156 12 0 0 20 0 28 0 446374570 29458776064 612136 33554432000 4194304 4196468 140733959817248 140511119657744 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30350] ppid=30338 vsize=28768336 memory=1440 CPUtime=0.93 cores=0-7
/proc/30340/task/30350/stat : 30350 (java) S 30338 30338 29062 0 -1 1077944384 41759 0 0 0 78 15 0 0 20 0 28 0 446374572 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510174431600 140511576058498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30351] ppid=30338 vsize=28768336 memory=904 CPUtime=0 cores=0-7
/proc/30340/task/30351/stat : 30351 (java) S 30338 30338 29062 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 446374572 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510173377632 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30352] ppid=30338 vsize=28768336 memory=1984 CPUtime=0 cores=0-7
/proc/30340/task/30352/stat : 30352 (java) S 30338 30338 29062 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 446374572 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510172324736 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30353] ppid=30338 vsize=28768336 memory=111632 CPUtime=0 cores=0-7
/proc/30340/task/30353/stat : 30353 (java) S 30338 30338 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446374575 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510171273040 140511576065947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30354] ppid=30338 vsize=28768336 memory=804 CPUtime=3.48 cores=0-7
/proc/30340/task/30354/stat : 30354 (java) S 30338 30338 29062 0 -1 1077944384 21087 0 0 0 345 3 0 0 20 0 28 0 446374575 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510170221424 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30355] ppid=30338 vsize=28768336 memory=1628 CPUtime=3.35 cores=0-7
/proc/30340/task/30355/stat : 30355 (java) S 30338 30338 29062 0 -1 1077944384 17445 0 0 0 332 3 0 0 20 0 28 0 446374575 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510169168624 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30356] ppid=30338 vsize=28768336 memory=4108 CPUtime=3.58 cores=0-7
/proc/30340/task/30356/stat : 30356 (java) S 30338 30338 29062 0 -1 1077944384 17446 0 0 0 356 2 0 0 20 0 28 0 446374575 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510168115824 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30357] ppid=30338 vsize=28768336 memory=1808 CPUtime=0.97 cores=0-7
/proc/30340/task/30357/stat : 30357 (java) S 30338 30338 29062 0 -1 1077944384 17571 0 0 0 94 3 0 0 20 0 28 0 446374575 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510167063024 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30358] ppid=30338 vsize=28768336 memory=924 CPUtime=0 cores=0-7
/proc/30340/task/30358/stat : 30358 (java) S 30338 30338 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446374575 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510166010464 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30359] ppid=30338 vsize=28768336 memory=4136 CPUtime=0.27 cores=0-7
/proc/30340/task/30359/stat : 30359 (java) S 30338 30338 29062 0 -1 1077944384 3168 0 0 0 18 9 0 0 20 0 28 0 446374576 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510164957744 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30478] ppid=30338 vsize=28768336 memory=1412 CPUtime=8.05 cores=0-7
/proc/30340/task/30478/stat : 30478 (java) R 30338 30338 29062 0 -1 4202560 231 0 0 0 805 0 0 0 20 0 28 0 446448952 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510153634624 140511212987943 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30479] ppid=30338 vsize=28768336 memory=1060 CPUtime=8.05 cores=0-7
/proc/30340/task/30479/stat : 30479 (java) R 30338 30338 29062 0 -1 4202560 144 0 0 0 805 0 0 0 20 0 28 0 446448952 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510151528632 140511220450834 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30480] ppid=30338 vsize=28768336 memory=2828 CPUtime=8.07 cores=0-7
/proc/30340/task/30480/stat : 30480 (java) R 30338 30338 29062 0 -1 4202560 350 0 0 0 807 0 0 0 20 0 28 0 446448952 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510148373768 140511220724893 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30481] ppid=30338 vsize=28768336 memory=756 CPUtime=8.01 cores=0-7
/proc/30340/task/30481/stat : 30481 (java) R 30338 30338 29062 0 -1 4202560 215 0 0 0 801 0 0 0 20 0 28 0 446448952 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510149423920 140511220450858 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30482] ppid=30338 vsize=28768336 memory=1548 CPUtime=8.06 cores=0-7
/proc/30340/task/30482/stat : 30482 (java) R 30338 30338 29062 0 -1 4202560 164 0 0 0 806 0 0 0 20 0 28 0 446448952 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510155739960 140511219920695 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30483] ppid=30338 vsize=28768336 memory=7872 CPUtime=8.05 cores=0-7
/proc/30340/task/30483/stat : 30483 (java) R 30338 30338 29062 0 -1 4202560 189 0 0 0 805 0 0 0 20 0 28 0 446448952 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510150476144 140511220409557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30484] ppid=30338 vsize=28768336 memory=1164 CPUtime=8.04 cores=0-7
/proc/30340/task/30484/stat : 30484 (java) R 30338 30338 29062 0 -1 4202560 324 0 0 0 804 0 0 0 20 0 28 0 446448952 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510152581248 140511219814260 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30485] ppid=30338 vsize=28768336 memory=9448 CPUtime=8.09 cores=0-7
/proc/30340/task/30485/stat : 30485 (java) R 30338 30338 29062 0 -1 4202560 155 0 0 0 809 0 0 0 20 0 28 0 446448952 29458776064 612136 33554432000 4194304 4196468 140733959817248 140510154686904 140511220053676 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
Current children cumulated CPU time: 5969.76 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2449996 KiB

[startup+752.201 s]
/proc/loadavg: 9.14 8.55 8.14 9/220 30485
/proc/meminfo: memFree=29280328/32770624 swapFree=66977128/67108860
[pid=30338] ppid=30335 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30338/stat : 30338 (xcsp3-exec) S 30335 30338 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446374569 115843072 363 33554432000 4194304 5098028 140724581684208 140724581682312 140128043086460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11829248 140724581692277 140724581692521 140724581692521 140724581695434 0
/proc/30338/statm: 28282 363 304 221 0 87 0
[pid=30340] ppid=30338 vsize=28768336 memory=2448008 CPUtime=5971.19 cores=0-7
/proc/30340/stat : 30340 (java) S 30338 30338 29062 0 -1 1077944320 350360 0 0 0 596797 322 0 0 20 0 28 0 446374569 29458776064 612002 33554432000 4194304 4196468 140733959817248 140733959799792 140511576047351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
/proc/30340/statm: 7192084 612002 3558 1 0 7153184 0
[pid=30340/tid=30341] ppid=30338 vsize=28768336 memory=4136 CPUtime=2.28 cores=0-7
/proc/30340/task/30341/stat : 30341 (java) S 30338 30338 29062 0 -1 1077944384 11661 0 0 0 221 7 0 0 20 0 28 0 446374569 29458776064 612002 33554432000 4194304 4196468 140733959817248 140511580288128 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30342] ppid=30338 vsize=28768336 memory=1412 CPUtime=1.63 cores=0-7
/proc/30340/task/30342/stat : 30342 (java) S 30338 30338 29062 0 -1 1077944384 12037 0 0 0 152 11 0 0 20 0 28 0 446374570 29458776064 612002 33554432000 4194304 4196468 140733959817248 140511534807696 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30343] ppid=30338 vsize=28768336 memory=3692 CPUtime=1.66 cores=0-7
/proc/30340/task/30343/stat : 30343 (java) S 30338 30338 29062 0 -1 1077944384 12167 0 0 0 153 13 0 0 20 0 28 0 446374570 29458776064 612002 33554432000 4194304 4196468 140733959817248 140511125973520 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30344] ppid=30338 vsize=28768336 memory=1452 CPUtime=1.64 cores=0-7
/proc/30340/task/30344/stat : 30344 (java) S 30338 30338 29062 0 -1 1077944384 14430 0 0 0 151 13 0 0 20 0 28 0 446374570 29458776064 612002 33554432000 4194304 4196468 140733959817248 140511124920720 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30345] ppid=30338 vsize=28768336 memory=2440332 CPUtime=1.68 cores=0-7
/proc/30340/task/30345/stat : 30345 (java) S 30338 30338 29062 0 -1 1077944384 11119 0 0 0 155 13 0 0 20 0 28 0 446374570 29458776064 612002 33554432000 4194304 4196468 140733959817248 140511123867920 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30346] ppid=30338 vsize=28768336 memory=14008 CPUtime=1.7 cores=0-7
/proc/30340/task/30346/stat : 30346 (java) S 30338 30338 29062 0 -1 1077944384 10967 0 0 0 158 12 0 0 20 0 28 0 446374570 29458776064 612002 33554432000 4194304 4196468 140733959817248 140511122816144 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30347] ppid=30338 vsize=28768336 memory=2120 CPUtime=1.63 cores=0-7
/proc/30340/task/30347/stat : 30347 (java) S 30338 30338 29062 0 -1 1077944384 11074 0 0 0 151 12 0 0 20 0 28 0 446374570 29458776064 612002 33554432000 4194304 4196468 140733959817248 140511121763344 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30348] ppid=30338 vsize=28768336 memory=11976 CPUtime=1.7 cores=0-7
/proc/30340/task/30348/stat : 30348 (java) S 30338 30338 29062 0 -1 1077944384 10808 0 0 0 159 11 0 0 20 0 28 0 446374570 29458776064 612002 33554432000 4194304 4196468 140733959817248 140511120710544 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30349] ppid=30338 vsize=28768336 memory=780 CPUtime=1.68 cores=0-7
/proc/30340/task/30349/stat : 30349 (java) S 30338 30338 29062 0 -1 1077944384 10555 0 0 0 156 12 0 0 20 0 28 0 446374570 29458776064 612002 33554432000 4194304 4196468 140733959817248 140511119657744 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30350] ppid=30338 vsize=28768336 memory=4088 CPUtime=0.93 cores=0-7
/proc/30340/task/30350/stat : 30350 (java) S 30338 30338 29062 0 -1 1077944384 41761 0 0 0 78 15 0 0 20 0 28 0 446374572 29458776064 612002 33554432000 4194304 4196468 140733959817248 140510174431600 140511576058498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30351] ppid=30338 vsize=28768336 memory=1580 CPUtime=0 cores=0-7
/proc/30340/task/30351/stat : 30351 (java) S 30338 30338 29062 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 446374572 29458776064 612002 33554432000 4194304 4196468 140733959817248 140510173377632 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30352] ppid=30338 vsize=28768336 memory=1028 CPUtime=0 cores=0-7
/proc/30340/task/30352/stat : 30352 (java) S 30338 30338 29062 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 446374572 29458776064 612002 33554432000 4194304 4196468 140733959817248 140510172324736 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30353] ppid=30338 vsize=28768336 memory=1060 CPUtime=0 cores=0-7
/proc/30340/task/30353/stat : 30353 (java) S 30338 30338 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446374575 29458776064 612002 33554432000 4194304 4196468 140733959817248 140510171273040 140511576065947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30354] ppid=30338 vsize=28768336 memory=2828 CPUtime=3.49 cores=0-7
/proc/30340/task/30354/stat : 30354 (java) S 30338 30338 29062 0 -1 1077944384 21284 0 0 0 346 3 0 0 20 0 28 0 446374575 29458776064 612002 33554432000 4194304 4196468 140733959817248 140510170221424 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30355] ppid=30338 vsize=28768336 memory=756 CPUtime=3.35 cores=0-7
/proc/30340/task/30355/stat : 30355 (java) S 30338 30338 29062 0 -1 1077944384 17445 0 0 0 332 3 0 0 20 0 28 0 446374575 29458776064 612002 33554432000 4194304 4196468 140733959817248 140510169168624 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30356] ppid=30338 vsize=28768336 memory=1548 CPUtime=3.58 cores=0-7
/proc/30340/task/30356/stat : 30356 (java) S 30338 30338 29062 0 -1 1077944384 17446 0 0 0 356 2 0 0 20 0 28 0 446374575 29458776064 612002 33554432000 4194304 4196468 140733959817248 140510168115824 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30357] ppid=30338 vsize=28768336 memory=7872 CPUtime=0.97 cores=0-7
/proc/30340/task/30357/stat : 30357 (java) S 30338 30338 29062 0 -1 1077944384 17571 0 0 0 94 3 0 0 20 0 28 0 446374575 29458776064 612002 33554432000 4194304 4196468 140733959817248 140510167063024 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30358] ppid=30338 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/30340/task/30358/stat : 30358 (java) S 30338 30338 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446374575 29458776064 612002 33554432000 4194304 4196468 140733959817248 140510166010464 140511576057557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
[pid=30340/tid=30359] ppid=30338 vsize=28768336 memory=2423840 CPUtime=0.27 cores=0-7
/proc/30340/task/30359/stat : 30359 (java) S 30338 30338 29062 0 -1 1077944384 3168 0 0 0 18 9 0 0 20 0 28 0 446374576 29458776064 612002 33554432000 4194304 4196468 140733959817248 140510164957744 140511576058498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33878016 140733959820266 140733959820438 140733959820438 140733959823311 0
Current children cumulated CPU time: 5971.19 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2449460 KiB

[startup+752.301 s]
/proc/loadavg: 9.14 8.55 8.14 9/220 30485
/proc/meminfo: memFree=29280328/32770624 swapFree=66977128/67108860
[pid=30338] ppid=30335 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30338/stat : 30338 (xcsp3-exec) S 30335 30338 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446374569 115843072 363 33554432000 4194304 5098028 140724581684208 140724581682312 140128043086460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11829248 140724581692277 140724581692521 140724581692521 140724581695434 0
/proc/30338/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

Child status: 0
Real time (s): 752.313
CPU time (s): 5971.39
CPU user time (s): 5968.14
CPU system time (s): 3.25051
CPU usage (%): 793.737
Max. virtual memory (cumulated for all children) (KiB): 28883568
Max. memory (cumulated for all children) (KiB): 2531464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5968.14
system time used= 3.25051
maximum resident set size= 2561244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 353382
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 83449
involuntary context switches= 73077


# summary of solver processes directly reported to runsolver:
#   pid: 30338
#   total CPU time (s): 5971.39
#   total CPU user time (s): 5968.14
#   total CPU system time (s): 3.25051

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.72176 second user time and 6.28029 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05b.xml
MD5SUM	1883a0b97ed6164a2c6d9bdd2047bad0
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	238.735
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	5734
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	13
Maximum variable degree	43
Distribution of variable degrees	[{"degree":13,"count":2},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":10},{"degree":18,"count":6},{"degree":19,"count":10},{"degree":20,"count":22},{"degree":21,"count":28},{"degree":22,"count":21},{"degree":23,"count":21},{"degree":24,"count":32},{"degree":25,"count":35},{"degree":26,"count":35},{"degree":27,"count":39},{"degree":28,"count":34},{"degree":29,"count":31},{"degree":30,"count":23},{"degree":31,"count":27},{"degree":32,"count":13},{"degree":33,"count":17},{"degree":34,"count":11},{"degree":35,"count":11},{"degree":36,"count":4},{"degree":37,"count":5},{"degree":38,"count":2},{"degree":39,"count":1},{"degree":40,"count":1},{"degree":41,"count":1},{"degree":42,"count":2},{"degree":43,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":5734}]
Number of extensional constraints	0
Number of intensional constraints	5734
Distribution of constraint types	[{"type":"intension","count":5734}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4399932

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
