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-24 parallel	OPT	394	28.3087	5.37004
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 (13703 MiB free)
  memory of node 1: 16384 MiB (14477 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407047-1569363721/watcher-4407047-1569363721 -o /tmp/evaluation-result-4407047-1569363721/solver-4407047-1569363721 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569357166-2374 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 900267716 HOME/instance-4407047-1569363721.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=3505, runsolver pid=3502
Current StackSize limit: 8192 KiB


[startup+0.100134 s]*
/proc/loadavg: 7.58 8.12 8.22 2/213 3526
/proc/meminfo: memFree=28840528/32770624 swapFree=66999256/67108860
[pid=3505] ppid=3502 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3505/stat : 3505 (xcsp3-exec) S 3502 3505 2347 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512625179 115843072 363 33554432000 4194304 5098028 140727625707504 140727625705608 139702159254140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9564160 140727625712502 140727625712745 140727625712745 140727625715658 0
/proc/3505/statm: 28282 363 304 221 0 87 0
[pid=3507] ppid=3505 vsize=28227396 memory=29100 CPUtime=0.12 cores=0-7
/proc/3507/stat : 3507 (java) S 3505 3505 2347 0 -1 1077944320 5751 0 0 0 11 1 0 0 20 0 20 0 512625179 28904853504 7275 33554432000 4194304 4196468 140737116845488 140737116828032 139681471663863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
/proc/3507/statm: 7056849 7275 3120 1 0 7019032 0
[pid=3507/tid=3508] ppid=3505 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/3507/task/3508/stat : 3508 (java) R 3505 3505 2347 0 -1 4202560 3664 0 0 0 8 0 0 0 20 0 20 0 512625180 28904853504 7275 33554432000 4194304 4196468 140737116845488 139681475893040 139681471685789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3509] ppid=3505 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3507/task/3509/stat : 3509 (java) S 3505 3505 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512625181 28904853504 7275 33554432000 4194304 4196468 140737116845488 139681424284432 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3510] ppid=3505 vsize=28227396 memory=140006766380672 CPUtime=0 cores=0-7
/proc/3507/task/3510/stat : 3510 (java) S 3505 3505 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512625181 28904853504 7275 33554432000 4194304 4196468 140737116845488 139681423231888 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3511] ppid=3505 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3511/stat : 3511 (java) S 3505 3505 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512625181 28904853504 7275 33554432000 4194304 4196468 140737116845488 139681422179344 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3512] ppid=3505 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3512/stat : 3512 (java) S 3505 3505 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512625181 28904853504 7275 33554432000 4194304 4196468 140737116845488 139681421126800 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3513] ppid=3505 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3513/stat : 3513 (java) S 3505 3505 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512625181 28904853504 7275 33554432000 4194304 4196468 140737116845488 139681420073232 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3514] ppid=3505 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3507/task/3514/stat : 3514 (java) S 3505 3505 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512625181 28904853504 7275 33554432000 4194304 4196468 140737116845488 139681419020688 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3515] ppid=3505 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3515/stat : 3515 (java) S 3505 3505 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512625181 28904853504 7275 33554432000 4194304 4196468 140737116845488 139681417968144 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3516] ppid=3505 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3516/stat : 3516 (java) S 3505 3505 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512625181 28904853504 7275 33554432000 4194304 4196468 140737116845488 139681416915600 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3517] ppid=3505 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3517/stat : 3517 (java) S 3505 3505 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512625182 28904853504 7275 33554432000 4194304 4196468 140737116845488 139679801395696 139681471675010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3518] ppid=3505 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3518/stat : 3518 (java) S 3505 3505 2347 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512625182 28904853504 7275 33554432000 4194304 4196468 140737116845488 139679800341920 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3519] ppid=3505 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3519/stat : 3519 (java) S 3505 3505 2347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512625183 28904853504 7275 33554432000 4194304 4196468 140737116845488 139679799289328 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3520] ppid=3505 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3520/stat : 3520 (java) S 3505 3505 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512625185 28904853504 7275 33554432000 4194304 4196468 140737116845488 139679798237904 139681471682459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3521] ppid=3505 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3521/stat : 3521 (java) S 3505 3505 2347 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 512625185 28904853504 7275 33554432000 4194304 4196468 140737116845488 139679797184496 139681471675010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3522] ppid=3505 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3522/stat : 3522 (java) S 3505 3505 2347 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 512625185 28904853504 7275 33554432000 4194304 4196468 140737116845488 139679796131952 139681471675010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3523] ppid=3505 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3523/stat : 3523 (java) S 3505 3505 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512625185 28904853504 7275 33554432000 4194304 4196468 140737116845488 139679795079408 139681471675010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3524] ppid=3505 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/3507/task/3524/stat : 3524 (java) R 3505 3505 2347 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 20 0 512625185 28904853504 7275 33554432000 4194304 4196468 140737116845488 139679794026864 139681471685210 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3525] ppid=3505 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3525/stat : 3525 (java) S 3505 3505 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512625185 28904853504 7275 33554432000 4194304 4196468 140737116845488 139679792974560 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3526] ppid=3505 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3507/task/3526/stat : 3526 (java) S 3505 3505 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512625186 28904853504 7275 33554432000 4194304 4196468 140737116845488 139679791922096 139681471675010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30552 KiB

[startup+0.210799 s]*
/proc/loadavg: 7.58 8.12 8.22 2/213 3526
/proc/meminfo: memFree=28827016/32770624 swapFree=66999256/67108860
[pid=3505] ppid=3502 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3505/stat : 3505 (xcsp3-exec) S 3502 3505 2347 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512625179 115843072 363 33554432000 4194304 5098028 140727625707504 140727625705608 139702159254140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9564160 140727625712502 140727625712745 140727625712745 140727625715658 0
/proc/3505/statm: 28282 363 304 221 0 87 0
[pid=3507] ppid=3505 vsize=28227396 memory=40304 CPUtime=0.34 cores=0-7
/proc/3507/stat : 3507 (java) S 3505 3505 2347 0 -1 1077944320 9381 0 0 0 31 3 0 0 20 0 20 0 512625179 28904853504 10076 33554432000 4194304 4196468 140737116845488 140737116828032 139681471663863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
/proc/3507/statm: 7056849 10076 3261 1 0 7019032 0
[pid=3507/tid=3508] ppid=3505 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/3507/task/3508/stat : 3508 (java) R 3505 3505 2347 0 -1 4202560 6640 0 0 0 18 2 0 0 20 0 20 0 512625180 28904853504 10076 33554432000 4194304 4196468 140737116845488 139681475897984 139681077545988 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3509] ppid=3505 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/3507/task/3509/stat : 3509 (java) S 3505 3505 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512625181 28904853504 10076 33554432000 4194304 4196468 140737116845488 139681424284432 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3510] ppid=3505 vsize=28227396 memory=3762672315416413856 CPUtime=0 cores=0-7
/proc/3507/task/3510/stat : 3510 (java) S 3505 3505 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512625181 28904853504 10076 33554432000 4194304 4196468 140737116845488 139681423231888 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3511] ppid=3505 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3507/task/3511/stat : 3511 (java) S 3505 3505 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512625181 28904853504 10076 33554432000 4194304 4196468 140737116845488 139681422179344 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3512] ppid=3505 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3512/stat : 3512 (java) S 3505 3505 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512625181 28904853504 10076 33554432000 4194304 4196468 140737116845488 139681421126800 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3513] ppid=3505 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3513/stat : 3513 (java) S 3505 3505 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512625181 28904853504 10076 33554432000 4194304 4196468 140737116845488 139681420073232 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3514] ppid=3505 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3507/task/3514/stat : 3514 (java) S 3505 3505 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512625181 28904853504 10076 33554432000 4194304 4196468 140737116845488 139681419020688 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3515] ppid=3505 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3515/stat : 3515 (java) S 3505 3505 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512625181 28904853504 10076 33554432000 4194304 4196468 140737116845488 139681417968144 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3516] ppid=3505 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3516/stat : 3516 (java) S 3505 3505 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512625181 28904853504 10076 33554432000 4194304 4196468 140737116845488 139681416915600 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3517] ppid=3505 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3517/stat : 3517 (java) S 3505 3505 2347 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512625182 28904853504 10076 33554432000 4194304 4196468 140737116845488 139679801395696 139681471675010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3518] ppid=3505 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3518/stat : 3518 (java) S 3505 3505 2347 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512625182 28904853504 10076 33554432000 4194304 4196468 140737116845488 139679800341920 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3519] ppid=3505 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3519/stat : 3519 (java) S 3505 3505 2347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512625183 28904853504 10076 33554432000 4194304 4196468 140737116845488 139679799289328 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3520] ppid=3505 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3520/stat : 3520 (java) S 3505 3505 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512625185 28904853504 10076 33554432000 4194304 4196468 140737116845488 139679798237904 139681471682459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3521] ppid=3505 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/3507/task/3521/stat : 3521 (java) S 3505 3505 2347 0 -1 1077944384 427 0 0 0 2 0 0 0 20 0 20 0 512625185 28904853504 10076 33554432000 4194304 4196468 140737116845488 139679797184496 139681471675010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3522] ppid=3505 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3522/stat : 3522 (java) S 3505 3505 2347 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 20 0 512625185 28904853504 10076 33554432000 4194304 4196468 140737116845488 139679796131952 139681471675010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3523] ppid=3505 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3507/task/3523/stat : 3523 (java) S 3505 3505 2347 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 512625185 28904853504 10076 33554432000 4194304 4196468 140737116845488 139679795079408 139681471675010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3524] ppid=3505 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/3507/task/3524/stat : 3524 (java) R 3505 3505 2347 0 -1 4202560 781 0 0 0 8 0 0 0 20 0 20 0 512625185 28904853504 10076 33554432000 4194304 4196468 140737116845488 139679794026864 139681456024690 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3525] ppid=3505 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3525/stat : 3525 (java) S 3505 3505 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512625185 28904853504 10076 33554432000 4194304 4196468 140737116845488 139679792974560 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3526] ppid=3505 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3507/task/3526/stat : 3526 (java) S 3505 3505 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512625186 28904853504 10076 33554432000 4194304 4196468 140737116845488 139679791922096 139681471675010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41756 KiB

[startup+0.310693 s]*
/proc/loadavg: 7.58 8.12 8.22 4/213 3526
/proc/meminfo: memFree=28819480/32770624 swapFree=66999256/67108860
[pid=3505] ppid=3502 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3505/stat : 3505 (xcsp3-exec) S 3502 3505 2347 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512625179 115843072 363 33554432000 4194304 5098028 140727625707504 140727625705608 139702159254140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9564160 140727625712502 140727625712745 140727625712745 140727625715658 0
/proc/3505/statm: 28282 363 304 221 0 87 0
[pid=3507] ppid=3505 vsize=28231652 memory=50012 CPUtime=0.53 cores=0-7
/proc/3507/stat : 3507 (java) S 3505 3505 2347 0 -1 1077944320 10889 0 0 0 49 4 0 0 20 0 20 0 512625179 28909211648 12503 33554432000 4194304 4196468 140737116845488 140737116828032 139681471663863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
/proc/3507/statm: 7057913 12503 3352 1 0 7019032 0
[pid=3507/tid=3508] ppid=3505 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/3507/task/3508/stat : 3508 (java) R 3505 3505 2347 0 -1 4202560 7819 0 0 0 27 2 0 0 20 0 20 0 512625180 28909211648 12503 33554432000 4194304 4196468 140737116845488 139681475897632 139681471685789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3509] ppid=3505 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3509/stat : 3509 (java) S 3505 3505 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512625181 28909211648 12503 33554432000 4194304 4196468 140737116845488 139681424284432 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3510] ppid=3505 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3510/stat : 3510 (java) S 3505 3505 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512625181 28909211648 12503 33554432000 4194304 4196468 140737116845488 139681423231888 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3511] ppid=3505 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3511/stat : 3511 (java) S 3505 3505 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512625181 28909211648 12503 33554432000 4194304 4196468 140737116845488 139681422179344 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3512] ppid=3505 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3512/stat : 3512 (java) S 3505 3505 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512625181 28909211648 12503 33554432000 4194304 4196468 140737116845488 139681421126800 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3513] ppid=3505 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3513/stat : 3513 (java) S 3505 3505 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512625181 28909211648 12503 33554432000 4194304 4196468 140737116845488 139681420073232 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3514] ppid=3505 vsize=28231652 memory=140006605810351 CPUtime=0 cores=0-7
/proc/3507/task/3514/stat : 3514 (java) S 3505 3505 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512625181 28909211648 12503 33554432000 4194304 4196468 140737116845488 139681419020688 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3515] ppid=3505 vsize=28231652 memory=140006605812656 CPUtime=0 cores=0-7
/proc/3507/task/3515/stat : 3515 (java) S 3505 3505 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512625181 28909211648 12503 33554432000 4194304 4196468 140737116845488 139681417968144 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3516] ppid=3505 vsize=28231652 memory=140006605814960 CPUtime=0 cores=0-7
/proc/3507/task/3516/stat : 3516 (java) S 3505 3505 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512625181 28909211648 12503 33554432000 4194304 4196468 140737116845488 139681416915600 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3517] ppid=3505 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3517/stat : 3517 (java) S 3505 3505 2347 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512625182 28909211648 12503 33554432000 4194304 4196468 140737116845488 139679801395696 139681471675010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3518] ppid=3505 vsize=28231652 memory=280013211643792 CPUtime=0 cores=0-7
/proc/3507/task/3518/stat : 3518 (java) S 3505 3505 2347 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512625182 28909211648 12503 33554432000 4194304 4196468 140737116845488 139679800341920 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3519] ppid=3505 vsize=28231652 memory=280013211641488 CPUtime=0 cores=0-7
/proc/3507/task/3519/stat : 3519 (java) S 3505 3505 2347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512625183 28909211648 12503 33554432000 4194304 4196468 140737116845488 139679799289328 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3520] ppid=3505 vsize=28231652 memory=280013211648400 CPUtime=0 cores=0-7
/proc/3507/task/3520/stat : 3520 (java) S 3505 3505 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512625185 28909211648 12503 33554432000 4194304 4196468 140737116845488 139679798237904 139681471682459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3521] ppid=3505 vsize=28231652 memory=280013211589680 CPUtime=0.03 cores=0-7
/proc/3507/task/3521/stat : 3521 (java) S 3505 3505 2347 0 -1 1077944384 466 0 0 0 3 0 0 0 20 0 20 0 512625185 28909211648 12503 33554432000 4194304 4196468 140737116845488 139679797184496 139681471675010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3522] ppid=3505 vsize=28231652 memory=280013211662224 CPUtime=0.03 cores=0-7
/proc/3507/task/3522/stat : 3522 (java) R 3505 3505 2347 0 -1 4202560 288 0 0 0 3 0 0 0 20 0 20 0 512625185 28909211648 12503 33554432000 4194304 4196468 140737116845488 139679796122336 139681453188197 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3523] ppid=3505 vsize=28231652 memory=280013211669136 CPUtime=0.01 cores=0-7
/proc/3507/task/3523/stat : 3523 (java) S 3505 3505 2347 0 -1 1077944384 90 0 0 0 1 0 0 0 20 0 20 0 512625185 28909211648 12503 33554432000 4194304 4196468 140737116845488 139679795079408 139681471675010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3524] ppid=3505 vsize=28231652 memory=280013211666832 CPUtime=0.12 cores=0-7
/proc/3507/task/3524/stat : 3524 (java) S 3505 3505 2347 0 -1 1077944384 940 0 0 0 12 0 0 0 20 0 20 0 512625185 28909211648 12503 33554432000 4194304 4196468 140737116845488 139679794026864 139681471675010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3525] ppid=3505 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3525/stat : 3525 (java) S 3505 3505 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512625185 28909211648 12503 33554432000 4194304 4196468 140737116845488 139679792974560 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3526] ppid=3505 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/3507/task/3526/stat : 3526 (java) S 3505 3505 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512625186 28909211648 12503 33554432000 4194304 4196468 140737116845488 139679791922096 139681471675010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51464 KiB

[startup+0.700983 s]
/proc/loadavg: 7.58 8.12 8.22 4/213 3526
/proc/meminfo: memFree=28797200/32770624 swapFree=66999256/67108860
[pid=3505] ppid=3502 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3505/stat : 3505 (xcsp3-exec) S 3502 3505 2347 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512625179 115843072 363 33554432000 4194304 5098028 140727625707504 140727625705608 139702159254140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9564160 140727625712502 140727625712745 140727625712745 140727625715658 0
/proc/3505/statm: 28282 363 304 221 0 87 0
[pid=3507] ppid=3505 vsize=28233776 memory=108224 CPUtime=2.01 cores=0-7
/proc/3507/stat : 3507 (java) S 3505 3505 2347 0 -1 1077944320 17089 0 0 0 195 6 0 0 20 0 20 0 512625179 28911386624 27056 33554432000 4194304 4196468 140737116845488 140737116828032 139681471663863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
/proc/3507/statm: 7058444 27056 3455 1 0 7019544 0
[pid=3507/tid=3508] ppid=3505 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/3507/task/3508/stat : 3508 (java) R 3505 3505 2347 0 -1 4202560 9095 0 0 0 64 3 0 0 20 0 20 0 512625180 28911386624 27056 33554432000 4194304 4196468 140737116845488 139681475889104 139681455744350 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3509] ppid=3505 vsize=28233776 memory=140006606021488 CPUtime=0 cores=0-7
/proc/3507/task/3509/stat : 3509 (java) S 3505 3505 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512625181 28911386624 27056 33554432000 4194304 4196468 140737116845488 139681424284432 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3510] ppid=3505 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3510/stat : 3510 (java) S 3505 3505 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512625181 28911386624 27056 33554432000 4194304 4196468 140737116845488 139681423231888 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3511] ppid=3505 vsize=28233776 memory=1004 CPUtime=0 cores=0-7
/proc/3507/task/3511/stat : 3511 (java) S 3505 3505 2347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512625181 28911386624 27056 33554432000 4194304 4196468 140737116845488 139681422179344 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0

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

[pid=3507/tid=3516] ppid=3505 vsize=28768336 memory=776 CPUtime=0.22 cores=0-7
/proc/3507/task/3516/stat : 3516 (java) S 3505 3505 2347 0 -1 1077944384 230 0 0 0 16 6 0 0 20 0 28 0 512625181 29458776064 197077 33554432000 4194304 4196468 140737116845488 139681416915600 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3517] ppid=3505 vsize=28768336 memory=3604 CPUtime=0.01 cores=0-7
/proc/3507/task/3517/stat : 3517 (java) S 3505 3505 2347 0 -1 1077944384 623 0 0 0 1 0 0 0 20 0 28 0 512625182 29458776064 197077 33554432000 4194304 4196468 140737116845488 139679801395696 139681471675010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3518] ppid=3505 vsize=28768336 memory=2828 CPUtime=0 cores=0-7
/proc/3507/task/3518/stat : 3518 (java) S 3505 3505 2347 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 512625182 29458776064 197077 33554432000 4194304 4196468 140737116845488 139679800341984 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3519] ppid=3505 vsize=28768336 memory=676 CPUtime=0 cores=0-7
/proc/3507/task/3519/stat : 3519 (java) S 3505 3505 2347 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 512625183 29458776064 197077 33554432000 4194304 4196468 140737116845488 139679799289344 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3520] ppid=3505 vsize=28768336 memory=1060 CPUtime=0 cores=0-7
/proc/3507/task/3520/stat : 3520 (java) S 3505 3505 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512625185 29458776064 197077 33554432000 4194304 4196468 140737116845488 139679798237904 139681471682459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3521] ppid=3505 vsize=28768336 memory=1548 CPUtime=3.56 cores=0-7
/proc/3507/task/3521/stat : 3521 (java) R 3505 3505 2347 0 -1 4202560 7474 0 0 0 354 2 0 0 20 0 28 0 512625185 29458776064 197077 33554432000 4194304 4196468 140737116845488 139679797171872 139681453183538 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3522] ppid=3505 vsize=28768336 memory=8560 CPUtime=3.64 cores=0-7
/proc/3507/task/3522/stat : 3522 (java) R 3505 3505 2347 0 -1 4202560 6939 0 0 0 362 2 0 0 20 0 28 0 512625185 29458776064 197077 33554432000 4194304 4196468 140737116845488 139679796118496 139681453208067 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3523] ppid=3505 vsize=28768336 memory=1712 CPUtime=3.52 cores=0-7
/proc/3507/task/3523/stat : 3523 (java) R 3505 3505 2347 0 -1 4202560 7023 0 0 0 350 2 0 0 20 0 28 0 512625185 29458776064 197077 33554432000 4194304 4196468 140737116845488 139679795079408 139681456586958 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3524] ppid=3505 vsize=28768336 memory=1452 CPUtime=0.84 cores=0-7
/proc/3507/task/3524/stat : 3524 (java) R 3505 3505 2347 0 -1 1077944384 5415 0 0 0 82 2 0 0 20 0 28 0 512625185 29458776064 197077 33554432000 4194304 4196468 140737116845488 139679794026864 139681471675010 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3525] ppid=3505 vsize=28768336 memory=787668 CPUtime=0 cores=0-7
/proc/3507/task/3525/stat : 3525 (java) S 3505 3505 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512625185 29458776064 197077 33554432000 4194304 4196468 140737116845488 139679792974560 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3526] ppid=3505 vsize=28768336 memory=6084 CPUtime=0 cores=0-7
/proc/3507/task/3526/stat : 3526 (java) S 3505 3505 2347 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 512625186 29458776064 197077 33554432000 4194304 4196468 140737116845488 139679791922096 139681471675010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3527] ppid=3505 vsize=28768336 memory=14008 CPUtime=1.07 cores=0-7
/proc/3507/task/3527/stat : 3527 (java) R 3505 3505 2347 0 -1 4202560 211 0 0 0 107 0 0 0 20 0 28 0 512625503 29458776064 197077 33554432000 4194304 4196468 140737116845488 139679786991016 139681088195033 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3528] ppid=3505 vsize=28768336 memory=2124 CPUtime=1.2 cores=0-7
/proc/3507/task/3528/stat : 3528 (java) R 3505 3505 2347 0 -1 4202560 87 0 0 0 120 0 0 0 20 0 28 0 512625504 29458776064 197077 33554432000 4194304 4196468 140737116845488 139679712043592 139681087622674 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3529] ppid=3505 vsize=28768336 memory=1452 CPUtime=1.19 cores=0-7
/proc/3507/task/3529/stat : 3529 (java) R 3505 3505 2347 0 -1 4202560 111 0 0 0 119 0 0 0 20 0 28 0 512625504 29458776064 197077 33554432000 4194304 4196468 140737116845488 139679710990216 139681087982717 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3530] ppid=3505 vsize=28768336 memory=0 CPUtime=1.19 cores=0-7
/proc/3507/task/3530/stat : 3530 (java) R 3505 3505 2347 0 -1 4202560 128 0 0 0 119 0 0 0 20 0 28 0 512625504 29458776064 197077 33554432000 4194304 4196468 140737116845488 139679709937672 139681087769790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3531] ppid=3505 vsize=28768336 memory=0 CPUtime=1.26 cores=0-7
/proc/3507/task/3531/stat : 3531 (java) R 3505 3505 2347 0 -1 4202560 193 0 0 0 126 0 0 0 20 0 28 0 512625504 29458776064 197077 33554432000 4194304 4196468 140737116845488 139679708887352 139681086665516 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3532] ppid=3505 vsize=28768336 memory=280013212325600 CPUtime=1.29 cores=0-7
/proc/3507/task/3532/stat : 3532 (java) R 3505 3505 2347 0 -1 4202560 90 0 0 0 129 0 0 0 20 0 28 0 512625504 29458776064 197077 33554432000 4194304 4196468 140737116845488 139679707831848 139681088269351 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3533] ppid=3505 vsize=28768336 memory=280013212325792 CPUtime=1.11 cores=0-7
/proc/3507/task/3533/stat : 3533 (java) R 3505 3505 2347 0 -1 4202560 41 0 0 0 111 0 0 0 20 0 28 0 512625504 29458776064 197077 33554432000 4194304 4196468 140737116845488 139679706779896 139681087420011 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3534] ppid=3505 vsize=28768336 memory=280013212325984 CPUtime=1.14 cores=0-7
/proc/3507/task/3534/stat : 3534 (java) R 3505 3505 2347 0 -1 4202560 44 0 0 0 114 0 0 0 20 0 28 0 512625504 29458776064 197077 33554432000 4194304 4196468 140737116845488 139679705726808 139681086665394 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
Current children cumulated CPU time: 25.86 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 789760 KiB

[startup+5.20146 s]*
/proc/loadavg: 7.93 8.18 8.24 10/221 3534
/proc/meminfo: memFree=28078332/32770624 swapFree=66999256/67108860
[pid=3505] ppid=3502 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3505/stat : 3505 (xcsp3-exec) S 3502 3505 2347 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512625179 115843072 363 33554432000 4194304 5098028 140727625707504 140727625705608 139702159254140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9564160 140727625712502 140727625712745 140727625712745 140727625715658 0
/proc/3505/statm: 28282 363 304 221 0 87 0
[pid=3507] ppid=3505 vsize=28768336 memory=788484 CPUtime=27.5 cores=0-7
/proc/3507/stat : 3507 (java) S 3505 3505 2347 0 -1 1077944320 43400 0 0 0 2685 65 0 0 20 0 28 0 512625179 29458776064 197121 33554432000 4194304 4196468 140737116845488 140737116828032 139681471663863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
/proc/3507/statm: 7192084 197121 3533 1 0 7153184 0
[pid=3507/tid=3508] ppid=3505 vsize=28768336 memory=6944656592455097440 CPUtime=3.04 cores=0-7
/proc/3507/task/3508/stat : 3508 (java) S 3505 3505 2347 0 -1 1077944384 11494 0 0 0 295 9 0 0 20 0 28 0 512625180 29458776064 197153 33554432000 4194304 4196468 140737116845488 139681475904640 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3509] ppid=3505 vsize=28768336 memory=6944656592455097440 CPUtime=0.2 cores=0-7
/proc/3507/task/3509/stat : 3509 (java) S 3505 3505 2347 0 -1 1077944384 253 0 0 0 15 5 0 0 20 0 28 0 512625181 29458776064 197153 33554432000 4194304 4196468 140737116845488 139681424284432 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3510] ppid=3505 vsize=28768336 memory=0 CPUtime=0.17 cores=0-7
/proc/3507/task/3510/stat : 3510 (java) S 3505 3505 2347 0 -1 1077944384 220 0 0 0 13 4 0 0 20 0 28 0 512625181 29458776064 197153 33554432000 4194304 4196468 140737116845488 139681423231888 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3511] ppid=3505 vsize=28768336 memory=0 CPUtime=0.22 cores=0-7
/proc/3507/task/3511/stat : 3511 (java) S 3505 3505 2347 0 -1 1077944384 305 0 0 0 17 5 0 0 20 0 28 0 512625181 29458776064 197153 33554432000 4194304 4196468 140737116845488 139681422179344 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3512] ppid=3505 vsize=28768336 memory=-1 CPUtime=0.22 cores=0-7
/proc/3507/task/3512/stat : 3512 (java) S 3505 3505 2347 0 -1 1077944384 271 0 0 0 17 5 0 0 20 0 28 0 512625181 29458776064 197153 33554432000 4194304 4196468 140737116845488 139681421126800 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3513] ppid=3505 vsize=28768336 memory=0 CPUtime=0.19 cores=0-7
/proc/3507/task/3513/stat : 3513 (java) S 3505 3505 2347 0 -1 1077944384 297 0 0 0 14 5 0 0 20 0 28 0 512625181 29458776064 197153 33554432000 4194304 4196468 140737116845488 139681420073232 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3514] ppid=3505 vsize=28768336 memory=-1 CPUtime=0.2 cores=0-7
/proc/3507/task/3514/stat : 3514 (java) S 3505 3505 2347 0 -1 1077944384 229 0 0 0 15 5 0 0 20 0 28 0 512625181 29458776064 197153 33554432000 4194304 4196468 140737116845488 139681419020688 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3515] ppid=3505 vsize=28768336 memory=0 CPUtime=0.2 cores=0-7
/proc/3507/task/3515/stat : 3515 (java) S 3505 3505 2347 0 -1 1077944384 279 0 0 0 15 5 0 0 20 0 28 0 512625181 29458776064 197153 33554432000 4194304 4196468 140737116845488 139681417968144 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3516] ppid=3505 vsize=28768336 memory=0 CPUtime=0.22 cores=0-7
/proc/3507/task/3516/stat : 3516 (java) S 3505 3505 2347 0 -1 1077944384 230 0 0 0 16 6 0 0 20 0 28 0 512625181 29458776064 197153 33554432000 4194304 4196468 140737116845488 139681416915600 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3517] ppid=3505 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/3507/task/3517/stat : 3517 (java) S 3505 3505 2347 0 -1 1077944384 623 0 0 0 1 0 0 0 20 0 28 0 512625182 29458776064 197153 33554432000 4194304 4196468 140737116845488 139679801395696 139681471675010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3518] ppid=3505 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3518/stat : 3518 (java) S 3505 3505 2347 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 512625182 29458776064 197153 33554432000 4194304 4196468 140737116845488 139679800341984 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3519] ppid=3505 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3519/stat : 3519 (java) S 3505 3505 2347 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 512625183 29458776064 197153 33554432000 4194304 4196468 140737116845488 139679799289344 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3520] ppid=3505 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3520/stat : 3520 (java) S 3505 3505 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512625185 29458776064 197153 33554432000 4194304 4196468 140737116845488 139679798237904 139681471682459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3521] ppid=3505 vsize=28768336 memory=0 CPUtime=3.67 cores=0-7
/proc/3507/task/3521/stat : 3521 (java) R 3505 3505 2347 0 -1 1077944384 7499 0 0 0 365 2 0 0 20 0 28 0 512625185 29458776064 197153 33554432000 4194304 4196468 140737116845488 139679797184496 139681471675010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3522] ppid=3505 vsize=28768336 memory=0 CPUtime=3.77 cores=0-7
/proc/3507/task/3522/stat : 3522 (java) R 3505 3505 2347 0 -1 4202560 6969 0 0 0 375 2 0 0 20 0 28 0 512625185 29458776064 197153 33554432000 4194304 4196468 140737116845488 139679796132248 139681463953323 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3523] ppid=3505 vsize=28768336 memory=0 CPUtime=3.64 cores=0-7
/proc/3507/task/3523/stat : 3523 (java) R 3505 3505 2347 0 -1 4202560 7039 0 0 0 362 2 0 0 20 0 28 0 512625185 29458776064 197153 33554432000 4194304 4196468 140737116845488 139679795070864 139681471685210 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3524] ppid=3505 vsize=28768336 memory=0 CPUtime=0.85 cores=0-7
/proc/3507/task/3524/stat : 3524 (java) R 3505 3505 2347 0 -1 4202560 5420 0 0 0 83 2 0 0 20 0 28 0 512625185 29458776064 197153 33554432000 4194304 4196468 140737116845488 139679794026864 139681471675798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3525] ppid=3505 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3525/stat : 3525 (java) S 3505 3505 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512625185 29458776064 197153 33554432000 4194304 4196468 140737116845488 139679792974560 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3526] ppid=3505 vsize=28768336 memory=-1 CPUtime=0 cores=0-7
/proc/3507/task/3526/stat : 3526 (java) S 3505 3505 2347 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 512625186 29458776064 197153 33554432000 4194304 4196468 140737116845488 139679791922096 139681471675010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3527] ppid=3505 vsize=28768336 memory=-1 CPUtime=1.24 cores=0-7
/proc/3507/task/3527/stat : 3527 (java) S 3505 3505 2347 0 -1 1077944384 216 0 0 0 124 0 0 0 20 0 28 0 512625503 29458776064 197153 33554432000 4194304 4196468 140737116845488 139679786995696 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3528] ppid=3505 vsize=28768336 memory=0 CPUtime=1.41 cores=0-7
/proc/3507/task/3528/stat : 3528 (java) S 3505 3505 2347 0 -1 1077944384 87 0 0 0 141 0 0 0 20 0 28 0 512625504 29458776064 197153 33554432000 4194304 4196468 140737116845488 139679712048720 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3529] ppid=3505 vsize=28768336 memory=0 CPUtime=1.32 cores=0-7
/proc/3507/task/3529/stat : 3529 (java) S 3505 3505 2347 0 -1 1077944384 112 0 0 0 132 0 0 0 20 0 28 0 512625504 29458776064 197153 33554432000 4194304 4196468 140737116845488 139679710995152 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3530] ppid=3505 vsize=28768336 memory=0 CPUtime=1.38 cores=0-7
/proc/3507/task/3530/stat : 3530 (java) S 3505 3505 2347 0 -1 1077944384 128 0 0 0 138 0 0 0 20 0 28 0 512625504 29458776064 197153 33554432000 4194304 4196468 140737116845488 139679709942608 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3531] ppid=3505 vsize=28768336 memory=0 CPUtime=1.35 cores=0-7
/proc/3507/task/3531/stat : 3531 (java) S 3505 3505 2347 0 -1 1077944384 201 0 0 0 135 0 0 0 20 0 28 0 512625504 29458776064 197153 33554432000 4194304 4196468 140737116845488 139679708890064 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3532] ppid=3505 vsize=28768336 memory=0 CPUtime=1.42 cores=0-7
/proc/3507/task/3532/stat : 3532 (java) R 3505 3505 2347 0 -1 4202560 90 0 0 0 142 0 0 0 20 0 28 0 512625504 29458776064 197153 33554432000 4194304 4196468 140737116845488 139679707832432 139681471675798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3533] ppid=3505 vsize=28768336 memory=0 CPUtime=1.29 cores=0-7
/proc/3507/task/3533/stat : 3533 (java) S 3505 3505 2347 0 -1 1077944384 41 0 0 0 129 0 0 0 20 0 28 0 512625504 29458776064 197153 33554432000 4194304 4196468 140737116845488 139679706784976 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3534] ppid=3505 vsize=28768336 memory=0 CPUtime=1.31 cores=0-7
/proc/3507/task/3534/stat : 3534 (java) R 3505 3505 2347 0 -1 4202560 44 0 0 0 131 0 0 0 20 0 28 0 512625504 29458776064 197153 33554432000 4194304 4196468 140737116845488 139679705731296 139681087622329 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
Current children cumulated CPU time: 27.5 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 789936 KiB

[startup+5.32045 s]
/proc/loadavg: 7.93 8.18 8.24 10/221 3534
/proc/meminfo: memFree=28078332/32770624 swapFree=66999256/67108860
[pid=3505] ppid=3502 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3505/stat : 3505 (xcsp3-exec) S 3502 3505 2347 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512625179 115843072 363 33554432000 4194304 5098028 140727625707504 140727625705608 139702159254140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9564160 140727625712502 140727625712745 140727625712745 140727625715658 0
/proc/3505/statm: 28282 363 304 221 0 87 0
[pid=3507] ppid=3505 vsize=28768336 memory=788704 CPUtime=28.14 cores=0-7
/proc/3507/stat : 3507 (java) S 3505 3505 2347 0 -1 1077944320 44012 0 0 0 2746 68 0 0 20 0 28 0 512625179 29458776064 197176 33554432000 4194304 4196468 140737116845488 140737116828032 139681471663863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
/proc/3507/statm: 7192084 197176 3536 1 0 7153184 0
[pid=3507/tid=3508] ppid=3505 vsize=28768336 memory=6944613755294413216 CPUtime=3.05 cores=0-7
/proc/3507/task/3508/stat : 3508 (java) S 3505 3505 2347 0 -1 1077944384 11562 0 0 0 296 9 0 0 20 0 28 0 512625180 29458776064 197176 33554432000 4194304 4196468 140737116845488 139681475904640 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3509] ppid=3505 vsize=28768336 memory=6933690279252828305 CPUtime=0.2 cores=0-7
/proc/3507/task/3509/stat : 3509 (java) S 3505 3505 2347 0 -1 1077944384 253 0 0 0 15 5 0 0 20 0 28 0 512625181 29458776064 197176 33554432000 4194304 4196468 140737116845488 139681424284432 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3510] ppid=3505 vsize=28768336 memory=55 CPUtime=0.17 cores=0-7
/proc/3507/task/3510/stat : 3510 (java) S 3505 3505 2347 0 -1 1077944384 220 0 0 0 13 4 0 0 20 0 28 0 512625181 29458776064 197176 33554432000 4194304 4196468 140737116845488 139681423231888 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3511] ppid=3505 vsize=28768336 memory=9319 CPUtime=0.22 cores=0-7
/proc/3507/task/3511/stat : 3511 (java) S 3505 3505 2347 0 -1 1077944384 305 0 0 0 17 5 0 0 20 0 28 0 512625181 29458776064 197176 33554432000 4194304 4196468 140737116845488 139681422179344 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3512] ppid=3505 vsize=28768336 memory=4066683 CPUtime=0.22 cores=0-7
/proc/3507/task/3512/stat : 3512 (java) S 3505 3505 2347 0 -1 1077944384 271 0 0 0 17 5 0 0 20 0 28 0 512625181 29458776064 197176 33554432000 4194304 4196468 140737116845488 139681421126800 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3513] ppid=3505 vsize=28768336 memory=0 CPUtime=0.19 cores=0-7
/proc/3507/task/3513/stat : 3513 (java) S 3505 3505 2347 0 -1 1077944384 297 0 0 0 14 5 0 0 20 0 28 0 512625181 29458776064 197176 33554432000 4194304 4196468 140737116845488 139681420073232 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3514] ppid=3505 vsize=28768336 memory=1452 CPUtime=0.2 cores=0-7
/proc/3507/task/3514/stat : 3514 (java) S 3505 3505 2347 0 -1 1077944384 229 0 0 0 15 5 0 0 20 0 28 0 512625181 29458776064 197176 33554432000 4194304 4196468 140737116845488 139681419020688 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3515] ppid=3505 vsize=28768336 memory=423156 CPUtime=0.2 cores=0-7
/proc/3507/task/3515/stat : 3515 (java) S 3505 3505 2347 0 -1 1077944384 279 0 0 0 15 5 0 0 20 0 28 0 512625181 29458776064 197176 33554432000 4194304 4196468 140737116845488 139681417968144 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3516] ppid=3505 vsize=28768336 memory=2244 CPUtime=0.22 cores=0-7
/proc/3507/task/3516/stat : 3516 (java) S 3505 3505 2347 0 -1 1077944384 230 0 0 0 16 6 0 0 20 0 28 0 512625181 29458776064 197176 33554432000 4194304 4196468 140737116845488 139681416915600 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3517] ppid=3505 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/3507/task/3517/stat : 3517 (java) S 3505 3505 2347 0 -1 1077944384 623 0 0 0 1 0 0 0 20 0 28 0 512625182 29458776064 197176 33554432000 4194304 4196468 140737116845488 139679801395696 139681471675010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3518] ppid=3505 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3518/stat : 3518 (java) S 3505 3505 2347 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 512625182 29458776064 197176 33554432000 4194304 4196468 140737116845488 139679800341984 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3519] ppid=3505 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/3507/task/3519/stat : 3519 (java) S 3505 3505 2347 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 512625183 29458776064 197176 33554432000 4194304 4196468 140737116845488 139679799289344 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3520] ppid=3505 vsize=28768336 memory=787880 CPUtime=0 cores=0-7
/proc/3507/task/3520/stat : 3520 (java) S 3505 3505 2347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512625185 29458776064 197176 33554432000 4194304 4196468 140737116845488 139679798237904 139681471682459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3521] ppid=3505 vsize=28768336 memory=1452 CPUtime=3.76 cores=0-7
/proc/3507/task/3521/stat : 3521 (java) R 3505 3505 2347 0 -1 4202560 7508 0 0 0 374 2 0 0 20 0 28 0 512625185 29458776064 197176 33554432000 4194304 4196468 140737116845488 139679797171008 139681455049298 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3522] ppid=3505 vsize=28768336 memory=1452 CPUtime=3.85 cores=0-7
/proc/3507/task/3522/stat : 3522 (java) S 3505 3505 2347 0 -1 1077944384 6992 0 0 0 383 2 0 0 20 0 28 0 512625185 29458776064 197176 33554432000 4194304 4196468 140737116845488 139679796131952 139681471675010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3523] ppid=3505 vsize=28768336 memory=787276 CPUtime=3.71 cores=0-7
/proc/3507/task/3523/stat : 3523 (java) S 3505 3505 2347 0 -1 1077944384 7054 0 0 0 369 2 0 0 20 0 28 0 512625185 29458776064 197176 33554432000 4194304 4196468 140737116845488 139679795079408 139681471675010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3524] ppid=3505 vsize=28768336 memory=3689913976284524592 CPUtime=0.87 cores=0-7
/proc/3507/task/3524/stat : 3524 (java) S 3505 3505 2347 0 -1 1077944384 5435 0 0 0 85 2 0 0 20 0 28 0 512625185 29458776064 197176 33554432000 4194304 4196468 140737116845488 139679794026864 139681471675010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3525] ppid=3505 vsize=28768336 memory=2241 CPUtime=0 cores=0-7
/proc/3507/task/3525/stat : 3525 (java) S 3505 3505 2347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512625185 29458776064 197176 33554432000 4194304 4196468 140737116845488 139679792974560 139681471674069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
[pid=3507/tid=3526] ppid=3505 vsize=28768336 memory=2244 CPUtime=0 cores=0-7
/proc/3507/task/3526/stat : 3526 (java) S 3505 3505 2347 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 512625186 29458776064 197176 33554432000 4194304 4196468 140737116845488 139679791922096 139681471675010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12210176 140737116853226 140737116853398 140737116853398 140737116856271 0
Current children cumulated CPU time: 28.14 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 790156 KiB

Child status: 0
Real time (s): 5.37004
CPU time (s): 28.3087
CPU user time (s): 27.608
CPU system time (s): 0.700677
CPU usage (%): 527.16
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 790936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.608
system time used= 0.700677
maximum resident set size= 789708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44789
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4354
involuntary context switches= 769


# summary of solver processes directly reported to runsolver:
#   pid: 3505
#   total CPU time (s): 28.3087
#   total CPU user time (s): 27.608
#   total CPU system time (s): 0.700677

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060009 second user time and 0.106432 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-10-opt_c18.xml
MD5SUM	d4eaac7549f90ed3ded0e25770a164a4
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	394
Best CPU time to get the best result obtained on this benchmark	5.68141
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3907
Number of domains	6
Minimum domain size	22
Maximum domain size	44
Distribution of domain sizes	[{"size":22,"count":40},{"size":24,"count":14},{"size":36,"count":146},{"size":42,"count":306},{"size":44,"count":174}]
Minimum variable degree	4
Maximum variable degree	25
Distribution of variable degrees	[{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":15},{"degree":7,"count":36},{"degree":8,"count":71},{"degree":9,"count":62},{"degree":10,"count":71},{"degree":11,"count":58},{"degree":12,"count":55},{"degree":13,"count":34},{"degree":14,"count":33},{"degree":15,"count":44},{"degree":16,"count":63},{"degree":17,"count":60},{"degree":18,"count":44},{"degree":19,"count":19},{"degree":20,"count":5},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":3907}]
Number of extensional constraints	0
Number of intensional constraints	3907
Distribution of constraint types	[{"type":"intension","count":3907}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4407047

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
