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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-09-24 parallel	SAT	247.934	40.5339
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 (14638 MiB free)
  memory of node 1: 16384 MiB (13434 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406769-1569352392/watcher-4406769-1569352392 -o /var/tmp/evaluation-result-4406769-1569352392/solver-4406769-1569352392 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569345579-15751 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 829057230 HOME/instance-4406769-1569352392.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=17441, runsolver pid=17438
Current StackSize limit: 8192 KiB


[startup+0.100111 s]*
/proc/loadavg: 8.91 8.56 8.31 2/211 17462
/proc/meminfo: memFree=28729480/32770624 swapFree=66954108/67108860
[pid=17441] ppid=17438 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17441/stat : 17441 (xcsp3-exec) S 17438 17441 15724 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511494510 115843072 363 33554432000 4194304 5098028 140729765476208 140729765474312 140186579489404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17641472 140729765483346 140729765483605 140729765483605 140729765486534 0
/proc/17441/statm: 28282 363 304 221 0 87 0
[pid=17443] ppid=17441 vsize=28227396 memory=29820 CPUtime=0.13 cores=0-7
/proc/17443/stat : 17443 (java) S 17441 17441 15724 0 -1 1077944320 5930 0 0 0 11 2 0 0 20 0 20 0 511494510 28904853504 7455 33554432000 4194304 4196468 140726107271104 140726107253648 140288546840311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
/proc/17443/statm: 7056849 7455 3120 1 0 7019032 0
[pid=17443/tid=17444] ppid=17441 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/17443/task/17444/stat : 17444 (java) R 17441 17441 15724 0 -1 4202560 3845 0 0 0 8 1 0 0 20 0 20 0 511494510 28904853504 7455 33554432000 4194304 4196468 140726107271104 140288551073584 140288546852246 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17445] ppid=17441 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17445/stat : 17445 (java) S 17441 17441 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511494511 28904853504 7455 33554432000 4194304 4196468 140726107271104 140288466692880 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17446] ppid=17441 vsize=28227396 memory=3545941509292517024 CPUtime=0 cores=0-7
/proc/17443/task/17446/stat : 17446 (java) S 17441 17441 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511494511 28904853504 7455 33554432000 4194304 4196468 140726107271104 140288465640336 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17447] ppid=17441 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17447/stat : 17447 (java) S 17441 17441 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511494511 28904853504 7455 33554432000 4194304 4196468 140726107271104 140288464587792 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17448] ppid=17441 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17448/stat : 17448 (java) S 17441 17441 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511494511 28904853504 7455 33554432000 4194304 4196468 140726107271104 140288095018128 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17449] ppid=17441 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17449/stat : 17449 (java) S 17441 17441 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511494511 28904853504 7455 33554432000 4194304 4196468 140726107271104 140288093964560 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17450] ppid=17441 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17443/task/17450/stat : 17450 (java) S 17441 17441 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511494511 28904853504 7455 33554432000 4194304 4196468 140726107271104 140288092912016 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17451] ppid=17441 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17451/stat : 17451 (java) S 17441 17441 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511494511 28904853504 7455 33554432000 4194304 4196468 140726107271104 140288091859472 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17452] ppid=17441 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17452/stat : 17452 (java) S 17441 17441 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511494511 28904853504 7455 33554432000 4194304 4196468 140726107271104 140288090806928 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17453] ppid=17441 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17453/stat : 17453 (java) S 17441 17441 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511494513 28904853504 7455 33554432000 4194304 4196468 140726107271104 140286675200496 140288546851458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17454] ppid=17441 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17454/stat : 17454 (java) S 17441 17441 15724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511494513 28904853504 7455 33554432000 4194304 4196468 140726107271104 140286674146720 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17455] ppid=17441 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17455/stat : 17455 (java) S 17441 17441 15724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511494513 28904853504 7455 33554432000 4194304 4196468 140726107271104 140286673094128 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17456] ppid=17441 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17456/stat : 17456 (java) S 17441 17441 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511494516 28904853504 7455 33554432000 4194304 4196468 140726107271104 140286672042704 140288546858907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17457] ppid=17441 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17457/stat : 17457 (java) S 17441 17441 15724 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 511494516 28904853504 7455 33554432000 4194304 4196468 140726107271104 140286670989296 140288546851458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17458] ppid=17441 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17458/stat : 17458 (java) S 17441 17441 15724 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 511494516 28904853504 7455 33554432000 4194304 4196468 140726107271104 140286669936752 140288546851458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17459] ppid=17441 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17459/stat : 17459 (java) S 17441 17441 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511494516 28904853504 7455 33554432000 4194304 4196468 140726107271104 140286668884208 140288546851458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17460] ppid=17441 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/17443/task/17460/stat : 17460 (java) R 17441 17441 15724 0 -1 4202560 345 0 0 0 1 0 0 0 20 0 20 0 511494516 28904853504 7455 33554432000 4194304 4196468 140726107271104 140286667831664 140288546852246 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17461] ppid=17441 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17461/stat : 17461 (java) S 17441 17441 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511494516 28904853504 7455 33554432000 4194304 4196468 140726107271104 140286666779360 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17462] ppid=17441 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17443/task/17462/stat : 17462 (java) S 17441 17441 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511494516 28904853504 7455 33554432000 4194304 4196468 140726107271104 140286665726896 140288546851458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31272 KiB

[startup+0.210085 s]*
/proc/loadavg: 8.91 8.56 8.31 2/211 17462
/proc/meminfo: memFree=28716492/32770624 swapFree=66954108/67108860
[pid=17441] ppid=17438 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17441/stat : 17441 (xcsp3-exec) S 17438 17441 15724 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511494510 115843072 363 33554432000 4194304 5098028 140729765476208 140729765474312 140186579489404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17641472 140729765483346 140729765483605 140729765483605 140729765486534 0
/proc/17441/statm: 28282 363 304 221 0 87 0
[pid=17443] ppid=17441 vsize=28227396 memory=40908 CPUtime=0.34 cores=0-7
/proc/17443/stat : 17443 (java) S 17441 17441 15724 0 -1 1077944320 9495 0 0 0 31 3 0 0 20 0 20 0 511494510 28904853504 10227 33554432000 4194304 4196468 140726107271104 140726107253648 140288546840311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
/proc/17443/statm: 7056849 10227 3237 1 0 7019032 0
[pid=17443/tid=17444] ppid=17441 vsize=28227396 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/17443/task/17444/stat : 17444 (java) R 17441 17441 15724 0 -1 4202560 6657 0 0 0 17 2 0 0 20 0 20 0 511494510 28904853504 10227 33554432000 4194304 4196468 140726107271104 140288551070032 140288546862237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17445] ppid=17441 vsize=28227396 memory=10927 CPUtime=0 cores=0-7
/proc/17443/task/17445/stat : 17445 (java) S 17441 17441 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511494511 28904853504 10227 33554432000 4194304 4196468 140726107271104 140288466692880 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17446] ppid=17441 vsize=28227396 memory=140526076845801 CPUtime=0 cores=0-7
/proc/17443/task/17446/stat : 17446 (java) S 17441 17441 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511494511 28904853504 10227 33554432000 4194304 4196468 140726107271104 140288465640336 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17447] ppid=17441 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17443/task/17447/stat : 17447 (java) S 17441 17441 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511494511 28904853504 10227 33554432000 4194304 4196468 140726107271104 140288464587792 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17448] ppid=17441 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17448/stat : 17448 (java) S 17441 17441 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511494511 28904853504 10227 33554432000 4194304 4196468 140726107271104 140288095018128 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17449] ppid=17441 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17449/stat : 17449 (java) S 17441 17441 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511494511 28904853504 10227 33554432000 4194304 4196468 140726107271104 140288093964560 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17450] ppid=17441 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17443/task/17450/stat : 17450 (java) S 17441 17441 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511494511 28904853504 10227 33554432000 4194304 4196468 140726107271104 140288092912016 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17451] ppid=17441 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17451/stat : 17451 (java) S 17441 17441 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511494511 28904853504 10227 33554432000 4194304 4196468 140726107271104 140288091859472 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17452] ppid=17441 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17452/stat : 17452 (java) S 17441 17441 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511494511 28904853504 10227 33554432000 4194304 4196468 140726107271104 140288090806928 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17453] ppid=17441 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17453/stat : 17453 (java) S 17441 17441 15724 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511494513 28904853504 10227 33554432000 4194304 4196468 140726107271104 140286675200496 140288546851458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17454] ppid=17441 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17454/stat : 17454 (java) S 17441 17441 15724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511494513 28904853504 10227 33554432000 4194304 4196468 140726107271104 140286674146720 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17455] ppid=17441 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17455/stat : 17455 (java) S 17441 17441 15724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511494513 28904853504 10227 33554432000 4194304 4196468 140726107271104 140286673094128 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17456] ppid=17441 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17456/stat : 17456 (java) S 17441 17441 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511494516 28904853504 10227 33554432000 4194304 4196468 140726107271104 140286672042704 140288546858907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17457] ppid=17441 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/17443/task/17457/stat : 17457 (java) S 17441 17441 15724 0 -1 1077944384 380 0 0 0 1 0 0 0 20 0 20 0 511494516 28904853504 10227 33554432000 4194304 4196468 140726107271104 140286670989296 140288546851458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17458] ppid=17441 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17458/stat : 17458 (java) S 17441 17441 15724 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 20 0 511494516 28904853504 10227 33554432000 4194304 4196468 140726107271104 140286669936752 140288546851458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17459] ppid=17441 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/17443/task/17459/stat : 17459 (java) S 17441 17441 15724 0 -1 1077944384 278 0 0 0 2 0 0 0 20 0 20 0 511494516 28904853504 10227 33554432000 4194304 4196468 140726107271104 140286668884208 140288546851458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17460] ppid=17441 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/17443/task/17460/stat : 17460 (java) S 17441 17441 15724 0 -1 1077944384 735 0 0 0 8 0 0 0 20 0 20 0 511494516 28904853504 10227 33554432000 4194304 4196468 140726107271104 140286667831664 140288546851458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17461] ppid=17441 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17461/stat : 17461 (java) S 17441 17441 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511494516 28904853504 10227 33554432000 4194304 4196468 140726107271104 140286666779360 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17462] ppid=17441 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17443/task/17462/stat : 17462 (java) S 17441 17441 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511494516 28904853504 10227 33554432000 4194304 4196468 140726107271104 140286665726896 140288546851458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42360 KiB

[startup+0.309417 s]*
/proc/loadavg: 8.91 8.56 8.31 3/211 17462
/proc/meminfo: memFree=28711268/32770624 swapFree=66954108/67108860
[pid=17441] ppid=17438 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17441/stat : 17441 (xcsp3-exec) S 17438 17441 15724 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511494510 115843072 363 33554432000 4194304 5098028 140729765476208 140729765474312 140186579489404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17641472 140729765483346 140729765483605 140729765483605 140729765486534 0
/proc/17441/statm: 28282 363 304 221 0 87 0
[pid=17443] ppid=17441 vsize=28231652 memory=49240 CPUtime=0.52 cores=0-7
/proc/17443/stat : 17443 (java) S 17441 17441 15724 0 -1 1077944320 10702 0 0 0 48 4 0 0 20 0 20 0 511494510 28909211648 12310 33554432000 4194304 4196468 140726107271104 140726107253648 140288546840311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
/proc/17443/statm: 7057913 12310 3324 1 0 7019032 0
[pid=17443/tid=17444] ppid=17441 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/17443/task/17444/stat : 17444 (java) R 17441 17441 15724 0 -1 4202560 7722 0 0 0 27 3 0 0 20 0 20 0 511494510 28909211648 12310 33554432000 4194304 4196468 140726107271104 140288551072064 140288546862237 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17445] ppid=17441 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17445/stat : 17445 (java) S 17441 17441 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511494511 28909211648 12310 33554432000 4194304 4196468 140726107271104 140288466692880 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17446] ppid=17441 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17446/stat : 17446 (java) S 17441 17441 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511494511 28909211648 12310 33554432000 4194304 4196468 140726107271104 140288465640336 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17447] ppid=17441 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17447/stat : 17447 (java) S 17441 17441 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511494511 28909211648 12310 33554432000 4194304 4196468 140726107271104 140288464587792 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17448] ppid=17441 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17448/stat : 17448 (java) S 17441 17441 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511494511 28909211648 12310 33554432000 4194304 4196468 140726107271104 140288095018128 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17449] ppid=17441 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17449/stat : 17449 (java) S 17441 17441 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511494511 28909211648 12310 33554432000 4194304 4196468 140726107271104 140288093964560 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17450] ppid=17441 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17450/stat : 17450 (java) S 17441 17441 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511494511 28909211648 12310 33554432000 4194304 4196468 140726107271104 140288092912016 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17451] ppid=17441 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17451/stat : 17451 (java) S 17441 17441 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511494511 28909211648 12310 33554432000 4194304 4196468 140726107271104 140288091859472 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17452] ppid=17441 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17452/stat : 17452 (java) S 17441 17441 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511494511 28909211648 12310 33554432000 4194304 4196468 140726107271104 140288090806928 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17453] ppid=17441 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17453/stat : 17453 (java) S 17441 17441 15724 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511494513 28909211648 12310 33554432000 4194304 4196468 140726107271104 140286675200496 140288546851458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17454] ppid=17441 vsize=28231652 memory=281051922636160 CPUtime=0 cores=0-7
/proc/17443/task/17454/stat : 17454 (java) S 17441 17441 15724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511494513 28909211648 12310 33554432000 4194304 4196468 140726107271104 140286674146720 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17455] ppid=17441 vsize=28231652 memory=281051922640768 CPUtime=0 cores=0-7
/proc/17443/task/17455/stat : 17455 (java) S 17441 17441 15724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511494513 28909211648 12310 33554432000 4194304 4196468 140726107271104 140286673094128 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17456] ppid=17441 vsize=28231652 memory=281051922645376 CPUtime=0 cores=0-7
/proc/17443/task/17456/stat : 17456 (java) S 17441 17441 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511494516 28909211648 12310 33554432000 4194304 4196468 140726107271104 140286672042704 140288546858907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17457] ppid=17441 vsize=28231652 memory=281051922649984 CPUtime=0.02 cores=0-7
/proc/17443/task/17457/stat : 17457 (java) S 17441 17441 15724 0 -1 1077944384 391 0 0 0 2 0 0 0 20 0 20 0 511494516 28909211648 12376 33554432000 4194304 4196468 140726107271104 140286670989296 140288546851458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17458] ppid=17441 vsize=28231652 memory=281051922654592 CPUtime=0.01 cores=0-7
/proc/17443/task/17458/stat : 17458 (java) R 17441 17441 15724 0 -1 4202560 218 0 0 0 1 0 0 0 20 0 20 0 511494516 28909211648 12376 33554432000 4194304 4196468 140726107271104 140286669936752 140288527540608 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17459] ppid=17441 vsize=28231652 memory=281051922659200 CPUtime=0.03 cores=0-7
/proc/17443/task/17459/stat : 17459 (java) S 17441 17441 15724 0 -1 1077944384 284 0 0 0 3 0 0 0 20 0 20 0 511494516 28909211648 12376 33554432000 4194304 4196468 140726107271104 140286668884208 140288546851458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17460] ppid=17441 vsize=28231652 memory=281051922663808 CPUtime=0.13 cores=0-7
/proc/17443/task/17460/stat : 17460 (java) S 17441 17441 15724 0 -1 1077944384 826 0 0 0 13 0 0 0 20 0 20 0 511494516 28909211648 12376 33554432000 4194304 4196468 140726107271104 140286667831664 140288546851458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17461] ppid=17441 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17461/stat : 17461 (java) S 17441 17441 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511494516 28909211648 12376 33554432000 4194304 4196468 140726107271104 140286666779360 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17462] ppid=17441 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/17443/task/17462/stat : 17462 (java) S 17441 17441 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511494516 28909211648 12376 33554432000 4194304 4196468 140726107271104 140286665726896 140288546851458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50692 KiB

[startup+0.700948 s]
/proc/loadavg: 8.91 8.56 8.31 3/211 17462
/proc/meminfo: memFree=28690820/32770624 swapFree=66954108/67108860
[pid=17441] ppid=17438 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17441/stat : 17441 (xcsp3-exec) S 17438 17441 15724 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511494510 115843072 363 33554432000 4194304 5098028 140729765476208 140729765474312 140186579489404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17641472 140729765483346 140729765483605 140729765483605 140729765486534 0
/proc/17441/statm: 28282 363 304 221 0 87 0
[pid=17443] ppid=17441 vsize=28233776 memory=103892 CPUtime=1.95 cores=0-7
/proc/17443/stat : 17443 (java) S 17441 17441 15724 0 -1 1077944320 16633 0 0 0 189 6 0 0 20 0 20 0 511494510 28911386624 25973 33554432000 4194304 4196468 140726107271104 140726107253648 140288546840311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
/proc/17443/statm: 7058444 25973 3448 1 0 7019544 0
[pid=17443/tid=17444] ppid=17441 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/17443/task/17444/stat : 17444 (java) R 17441 17441 15724 0 -1 4202560 8998 0 0 0 64 4 0 0 20 0 20 0 511494510 28911386624 25973 33554432000 4194304 4196468 140726107271104 140288551054976 140288144329712 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17445] ppid=17441 vsize=28233776 memory=140525961520000 CPUtime=0 cores=0-7
/proc/17443/task/17445/stat : 17445 (java) S 17441 17441 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511494511 28911386624 25973 33554432000 4194304 4196468 140726107271104 140288466692880 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17446] ppid=17441 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/17443/task/17446/stat : 17446 (java) S 17441 17441 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511494511 28911386624 25973 33554432000 4194304 4196468 140726107271104 140288465640336 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17447] ppid=17441 vsize=28233776 memory=9364 CPUtime=0 cores=0-7
/proc/17443/task/17447/stat : 17447 (java) S 17441 17441 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511494511 28911386624 25973 33554432000 4194304 4196468 140726107271104 140288464587792 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0

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

[pid=17443/tid=17466] ppid=17441 vsize=28766288 memory=804 CPUtime=11.69 cores=0-7
/proc/17443/task/17466/stat : 17466 (java) R 17441 17441 15724 0 -1 4202560 2920 0 0 0 1165 4 0 0 20 0 28 0 511497216 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286654402152 140288152600378 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17467] ppid=17441 vsize=28766288 memory=4104 CPUtime=11.7 cores=0-7
/proc/17443/task/17467/stat : 17467 (java) R 17441 17441 15724 0 -1 4202560 2742 0 0 0 1146 24 0 0 20 0 28 0 511497216 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286653349472 140288152600890 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17468] ppid=17441 vsize=28766288 memory=2552 CPUtime=11.41 cores=0-7
/proc/17443/task/17468/stat : 17468 (java) S 17441 17441 15724 0 -1 1077944384 1325 0 0 0 1138 3 0 0 20 0 28 0 511497216 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286652302288 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17469] ppid=17441 vsize=28766288 memory=1760 CPUtime=11.62 cores=0-7
/proc/17443/task/17469/stat : 17469 (java) S 17441 17441 15724 0 -1 1077944384 2225 0 0 0 1147 15 0 0 20 0 28 0 511497216 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286343599184 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17470] ppid=17441 vsize=28766288 memory=111632 CPUtime=11.56 cores=0-7
/proc/17443/task/17470/stat : 17470 (java) S 17441 17441 15724 0 -1 1077944384 19117 0 0 0 1143 13 0 0 20 0 28 0 511497216 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286342546640 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17471] ppid=17441 vsize=28766288 memory=1712 CPUtime=11.45 cores=0-7
/proc/17443/task/17471/stat : 17471 (java) S 17441 17441 15724 0 -1 1077944384 2849 0 0 0 1125 20 0 0 20 0 28 0 511497216 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286341494096 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
Current children cumulated CPU time: 245.96 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 12558076 KiB

[startup+40.0011 s]*
/proc/loadavg: 6.82 8.05 8.15 2/219 17473
/proc/meminfo: memFree=16178236/32770624 swapFree=66954108/67108860
[pid=17441] ppid=17438 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17441/stat : 17441 (xcsp3-exec) S 17438 17441 15724 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511494510 115843072 363 33554432000 4194304 5098028 140729765476208 140729765474312 140186579489404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17641472 140729765483346 140729765483605 140729765483605 140729765486534 0
/proc/17441/statm: 28282 363 304 221 0 87 0
[pid=17443] ppid=17441 vsize=28766288 memory=12556624 CPUtime=247.38 cores=0-7
/proc/17443/stat : 17443 (java) S 17441 17441 15724 0 -1 1077944320 209074 0 0 0 21928 2810 0 0 20 0 28 0 511494510 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140726107253648 140288546840311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
/proc/17443/statm: 7191572 3139156 3528 1 0 7152672 0
[pid=17443/tid=17444] ppid=17441 vsize=28766288 memory=2832 CPUtime=9.25 cores=0-7
/proc/17443/task/17444/stat : 17444 (java) S 17441 17441 15724 0 -1 1077944384 18482 0 0 0 898 27 0 0 20 0 28 0 511494510 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140288551081088 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17445] ppid=17441 vsize=28766288 memory=1452 CPUtime=17.03 cores=0-7
/proc/17443/task/17445/stat : 17445 (java) S 17441 17441 15724 0 -1 1077944384 12288 0 0 0 1392 311 0 0 20 0 28 0 511494511 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140288466692880 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17446] ppid=17441 vsize=28766288 memory=8317482817917895235 CPUtime=17.12 cores=0-7
/proc/17443/task/17446/stat : 17446 (java) S 17441 17441 15724 0 -1 1077944384 11704 0 0 0 1370 342 0 0 20 0 28 0 511494511 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140288465640336 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17447] ppid=17441 vsize=28766288 memory=4420 CPUtime=17.1 cores=0-7
/proc/17443/task/17447/stat : 17447 (java) S 17441 17441 15724 0 -1 1077944384 11290 0 0 0 1392 318 0 0 20 0 28 0 511494511 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140288464587792 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17448] ppid=17441 vsize=28766288 memory=6628 CPUtime=17.08 cores=0-7
/proc/17443/task/17448/stat : 17448 (java) S 17441 17441 15724 0 -1 1077944384 12055 0 0 0 1364 344 0 0 20 0 28 0 511494511 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140288095018128 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17449] ppid=17441 vsize=28766288 memory=22081 CPUtime=17.17 cores=0-7
/proc/17443/task/17449/stat : 17449 (java) S 17441 17441 15724 0 -1 1077944384 12568 0 0 0 1387 330 0 0 20 0 28 0 511494511 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140288093964560 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17450] ppid=17441 vsize=28766288 memory=4420 CPUtime=17.15 cores=0-7
/proc/17443/task/17450/stat : 17450 (java) S 17441 17441 15724 0 -1 1077944384 12719 0 0 0 1382 333 0 0 20 0 28 0 511494511 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140288092912016 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17451] ppid=17441 vsize=28766288 memory=6628 CPUtime=17.14 cores=0-7
/proc/17443/task/17451/stat : 17451 (java) S 17441 17441 15724 0 -1 1077944384 12459 0 0 0 1376 338 0 0 20 0 28 0 511494511 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140288091859472 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17452] ppid=17441 vsize=28766288 memory=8836 CPUtime=17.18 cores=0-7
/proc/17443/task/17452/stat : 17452 (java) S 17441 17441 15724 0 -1 1077944384 12083 0 0 0 1379 339 0 0 20 0 28 0 511494511 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140288090806928 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17453] ppid=17441 vsize=28766288 memory=11044 CPUtime=0.29 cores=0-7
/proc/17443/task/17453/stat : 17453 (java) S 17441 17441 15724 0 -1 1077944384 22652 0 0 0 24 5 0 0 20 0 28 0 511494513 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286675200496 140288546851458 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17454] ppid=17441 vsize=28766288 memory=13252 CPUtime=0 cores=0-7
/proc/17443/task/17454/stat : 17454 (java) S 17441 17441 15724 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 511494513 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286674146784 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17455] ppid=17441 vsize=28766288 memory=15460 CPUtime=0 cores=0-7
/proc/17443/task/17455/stat : 17455 (java) S 17441 17441 15724 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 511494513 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286673094144 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17456] ppid=17441 vsize=28766288 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/17443/task/17456/stat : 17456 (java) S 17441 17441 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511494516 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286672042704 140288546858907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17457] ppid=17441 vsize=28766288 memory=6656426216303648864 CPUtime=2.18 cores=0-7
/proc/17443/task/17457/stat : 17457 (java) S 17441 17441 15724 0 -1 1077944384 9451 0 0 0 216 2 0 0 20 0 28 0 511494516 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286670989296 140288546851458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17458] ppid=17441 vsize=28766288 memory=6944656575208382560 CPUtime=2.22 cores=0-7
/proc/17443/task/17458/stat : 17458 (java) S 17441 17441 15724 0 -1 1077944384 9935 0 0 0 220 2 0 0 20 0 28 0 511494516 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286669936752 140288546851458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17459] ppid=17441 vsize=28766288 memory=6944656592387989600 CPUtime=2.45 cores=0-7
/proc/17443/task/17459/stat : 17459 (java) S 17441 17441 15724 0 -1 1077944384 9383 0 0 0 243 2 0 0 20 0 28 0 511494516 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286668884208 140288546851458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17460] ppid=17441 vsize=28766288 memory=6944656592455359580 CPUtime=0.69 cores=0-7
/proc/17443/task/17460/stat : 17460 (java) S 17441 17441 15724 0 -1 1077944384 4535 0 0 0 68 1 0 0 20 0 28 0 511494516 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286667831664 140288546851458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17461] ppid=17441 vsize=28766288 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/17443/task/17461/stat : 17461 (java) S 17441 17441 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511494516 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286666779360 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17462] ppid=17441 vsize=28766288 memory=6944656592455097440 CPUtime=0.02 cores=0-7
/proc/17443/task/17462/stat : 17462 (java) S 17441 17441 15724 0 -1 1077944384 1191 0 0 0 1 1 0 0 20 0 28 0 511494516 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286665726896 140288546851458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17464] ppid=17441 vsize=28766288 memory=6944656575208382560 CPUtime=11.16 cores=0-7
/proc/17443/task/17464/stat : 17464 (java) S 17441 17441 15724 0 -1 1077944384 1486 0 0 0 1107 9 0 0 20 0 28 0 511497216 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286656511984 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17465] ppid=17441 vsize=28766288 memory=6656426216303648864 CPUtime=11.08 cores=0-7
/proc/17443/task/17465/stat : 17465 (java) S 17441 17441 15724 0 -1 1077944384 1849 0 0 0 1092 16 0 0 20 0 28 0 511497216 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286655460944 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17466] ppid=17441 vsize=28766288 memory=6944656575208382560 CPUtime=12.31 cores=0-7
/proc/17443/task/17466/stat : 17466 (java) S 17441 17441 15724 0 -1 1077944384 3248 0 0 0 1227 4 0 0 20 0 28 0 511497216 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286654407376 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17467] ppid=17441 vsize=28766288 memory=0 CPUtime=12.51 cores=0-7
/proc/17443/task/17467/stat : 17467 (java) R 17441 17441 15724 0 -1 4202560 2808 0 0 0 1226 25 0 0 20 0 28 0 511497216 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286653349472 140288152612549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17468] ppid=17441 vsize=28766288 memory=6944652177228980320 CPUtime=11.41 cores=0-7
/proc/17443/task/17468/stat : 17468 (java) S 17441 17441 15724 0 -1 1077944384 1325 0 0 0 1138 3 0 0 20 0 28 0 511497216 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286652302288 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17469] ppid=17441 vsize=28766288 memory=0 CPUtime=11.62 cores=0-7
/proc/17443/task/17469/stat : 17469 (java) S 17441 17441 15724 0 -1 1077944384 2225 0 0 0 1147 15 0 0 20 0 28 0 511497216 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286343599184 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17470] ppid=17441 vsize=28766288 memory=281051922432240 CPUtime=11.56 cores=0-7
/proc/17443/task/17470/stat : 17470 (java) S 17441 17441 15724 0 -1 1077944384 19117 0 0 0 1143 13 0 0 20 0 28 0 511497216 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286342546640 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17471] ppid=17441 vsize=28766288 memory=281051922643040 CPUtime=11.45 cores=0-7
/proc/17443/task/17471/stat : 17471 (java) S 17441 17441 15724 0 -1 1077944384 2849 0 0 0 1125 20 0 0 20 0 28 0 511497216 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286341494096 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
Current children cumulated CPU time: 247.38 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 12558076 KiB

[startup+40.4011 s]
/proc/loadavg: 6.82 8.05 8.15 2/219 17473
/proc/meminfo: memFree=16178236/32770624 swapFree=66954108/67108860
[pid=17441] ppid=17438 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17441/stat : 17441 (xcsp3-exec) S 17438 17441 15724 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511494510 115843072 363 33554432000 4194304 5098028 140729765476208 140729765474312 140186579489404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17641472 140729765483346 140729765483605 140729765483605 140729765486534 0
/proc/17441/statm: 28282 363 304 221 0 87 0
[pid=17443] ppid=17441 vsize=28766288 memory=12556624 CPUtime=247.78 cores=0-7
/proc/17443/stat : 17443 (java) S 17441 17441 15724 0 -1 1077944320 209075 0 0 0 21968 2810 0 0 20 0 28 0 511494510 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140726107253648 140288546840311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
/proc/17443/statm: 7191572 3139156 3528 1 0 7152672 0
[pid=17443/tid=17444] ppid=17441 vsize=28766288 memory=776 CPUtime=9.25 cores=0-7
/proc/17443/task/17444/stat : 17444 (java) S 17441 17441 15724 0 -1 1077944384 18482 0 0 0 898 27 0 0 20 0 28 0 511494510 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140288551081088 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17445] ppid=17441 vsize=28766288 memory=1724 CPUtime=17.03 cores=0-7
/proc/17443/task/17445/stat : 17445 (java) S 17441 17441 15724 0 -1 1077944384 12288 0 0 0 1392 311 0 0 20 0 28 0 511494511 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140288466692880 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17446] ppid=17441 vsize=28766288 memory=8220 CPUtime=17.12 cores=0-7
/proc/17443/task/17446/stat : 17446 (java) S 17441 17441 15724 0 -1 1077944384 11704 0 0 0 1370 342 0 0 20 0 28 0 511494511 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140288465640336 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17447] ppid=17441 vsize=28766288 memory=3616 CPUtime=17.1 cores=0-7
/proc/17443/task/17447/stat : 17447 (java) S 17441 17441 15724 0 -1 1077944384 11290 0 0 0 1392 318 0 0 20 0 28 0 511494511 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140288464587792 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17448] ppid=17441 vsize=28766288 memory=1556 CPUtime=17.08 cores=0-7
/proc/17443/task/17448/stat : 17448 (java) S 17441 17441 15724 0 -1 1077944384 12055 0 0 0 1364 344 0 0 20 0 28 0 511494511 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140288095018128 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17449] ppid=17441 vsize=28766288 memory=804 CPUtime=17.17 cores=0-7
/proc/17443/task/17449/stat : 17449 (java) S 17441 17441 15724 0 -1 1077944384 12568 0 0 0 1387 330 0 0 20 0 28 0 511494511 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140288093964560 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17450] ppid=17441 vsize=28766288 memory=4104 CPUtime=17.15 cores=0-7
/proc/17443/task/17450/stat : 17450 (java) S 17441 17441 15724 0 -1 1077944384 12719 0 0 0 1382 333 0 0 20 0 28 0 511494511 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140288092912016 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17451] ppid=17441 vsize=28766288 memory=1804 CPUtime=17.14 cores=0-7
/proc/17443/task/17451/stat : 17451 (java) S 17441 17441 15724 0 -1 1077944384 12459 0 0 0 1376 338 0 0 20 0 28 0 511494511 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140288091859472 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17452] ppid=17441 vsize=28766288 memory=920 CPUtime=17.18 cores=0-7
/proc/17443/task/17452/stat : 17452 (java) S 17441 17441 15724 0 -1 1077944384 12083 0 0 0 1379 339 0 0 20 0 28 0 511494511 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140288090806928 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17453] ppid=17441 vsize=28766288 memory=4452 CPUtime=0.29 cores=0-7
/proc/17443/task/17453/stat : 17453 (java) S 17441 17441 15724 0 -1 1077944384 22652 0 0 0 24 5 0 0 20 0 28 0 511494513 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286675200496 140288546851458 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17454] ppid=17441 vsize=28766288 memory=1412 CPUtime=0 cores=0-7
/proc/17443/task/17454/stat : 17454 (java) S 17441 17441 15724 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 511494513 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286674146784 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17455] ppid=17441 vsize=28766288 memory=3172 CPUtime=0 cores=0-7
/proc/17443/task/17455/stat : 17455 (java) S 17441 17441 15724 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 511494513 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286673094144 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17456] ppid=17441 vsize=28766288 memory=1452 CPUtime=0 cores=0-7
/proc/17443/task/17456/stat : 17456 (java) S 17441 17441 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511494516 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286672042704 140288546858907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17457] ppid=17441 vsize=28766288 memory=6791534058613427641 CPUtime=2.18 cores=0-7
/proc/17443/task/17457/stat : 17457 (java) S 17441 17441 15724 0 -1 1077944384 9451 0 0 0 216 2 0 0 20 0 28 0 511494516 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286670989296 140288546851458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17458] ppid=17441 vsize=28766288 memory=6944656575208382560 CPUtime=2.22 cores=0-7
/proc/17443/task/17458/stat : 17458 (java) S 17441 17441 15724 0 -1 1077944384 9935 0 0 0 220 2 0 0 20 0 28 0 511494516 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286669936752 140288546851458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17459] ppid=17441 vsize=28766288 memory=6944656592455097440 CPUtime=2.45 cores=0-7
/proc/17443/task/17459/stat : 17459 (java) S 17441 17441 15724 0 -1 1077944384 9383 0 0 0 243 2 0 0 20 0 28 0 511494516 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286668884208 140288546851458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17460] ppid=17441 vsize=28766288 memory=6655300316396806240 CPUtime=0.69 cores=0-7
/proc/17443/task/17460/stat : 17460 (java) S 17441 17441 15724 0 -1 1077944384 4535 0 0 0 68 1 0 0 20 0 28 0 511494516 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286667831664 140288546851458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17461] ppid=17441 vsize=28766288 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/17443/task/17461/stat : 17461 (java) S 17441 17441 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511494516 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286666779360 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17462] ppid=17441 vsize=28766288 memory=6944656575208382560 CPUtime=0.02 cores=0-7
/proc/17443/task/17462/stat : 17462 (java) S 17441 17441 15724 0 -1 1077944384 1191 0 0 0 1 1 0 0 20 0 28 0 511494516 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286665726896 140288546851458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17464] ppid=17441 vsize=28766288 memory=6944656592455097440 CPUtime=11.16 cores=0-7
/proc/17443/task/17464/stat : 17464 (java) S 17441 17441 15724 0 -1 1077944384 1486 0 0 0 1107 9 0 0 20 0 28 0 511497216 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286656511984 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17465] ppid=17441 vsize=28766288 memory=6943526294502006880 CPUtime=11.08 cores=0-7
/proc/17443/task/17465/stat : 17465 (java) S 17441 17441 15724 0 -1 1077944384 1849 0 0 0 1092 16 0 0 20 0 28 0 511497216 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286655460944 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17466] ppid=17441 vsize=28766288 memory=6944656592455097440 CPUtime=12.31 cores=0-7
/proc/17443/task/17466/stat : 17466 (java) S 17441 17441 15724 0 -1 1077944384 3248 0 0 0 1227 4 0 0 20 0 28 0 511497216 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286654407376 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17467] ppid=17441 vsize=28766288 memory=6944656592455359580 CPUtime=12.9 cores=0-7
/proc/17443/task/17467/stat : 17467 (java) R 17441 17441 15724 0 -1 4202560 2809 0 0 0 1265 25 0 0 20 0 28 0 511497216 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286653349472 140288152600196 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17468] ppid=17441 vsize=28766288 memory=5936116289068683344 CPUtime=11.41 cores=0-7
/proc/17443/task/17468/stat : 17468 (java) S 17441 17441 15724 0 -1 1077944384 1325 0 0 0 1138 3 0 0 20 0 28 0 511497216 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286652302288 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17469] ppid=17441 vsize=28766288 memory=7649399362840442673 CPUtime=11.62 cores=0-7
/proc/17443/task/17469/stat : 17469 (java) S 17441 17441 15724 0 -1 1077944384 2225 0 0 0 1147 15 0 0 20 0 28 0 511497216 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286343599184 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17470] ppid=17441 vsize=28766288 memory=897 CPUtime=11.56 cores=0-7
/proc/17443/task/17470/stat : 17470 (java) S 17441 17441 15724 0 -1 1077944384 19117 0 0 0 1143 13 0 0 20 0 28 0 511497216 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286342546640 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
[pid=17443/tid=17471] ppid=17441 vsize=28766288 memory=0 CPUtime=11.45 cores=0-7
/proc/17443/task/17471/stat : 17471 (java) S 17441 17441 15724 0 -1 1077944384 2849 0 0 0 1125 20 0 0 20 0 28 0 511497216 29456678912 3139156 33554432000 4194304 4196468 140726107271104 140286341494096 140288546850517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19750912 140726107272150 140726107272326 140726107272326 140726107275215 0
Current children cumulated CPU time: 247.78 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 12558076 KiB

[startup+40.5013 s]
/proc/loadavg: 6.82 8.05 8.15 2/219 17473
/proc/meminfo: memFree=16178236/32770624 swapFree=66954108/67108860
[pid=17441] ppid=17438 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17441/stat : 17441 (xcsp3-exec) S 17438 17441 15724 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511494510 115843072 363 33554432000 4194304 5098028 140729765476208 140729765474312 140186579489404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17641472 140729765483346 140729765483605 140729765483605 140729765486534 0
/proc/17441/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): 40.5339
CPU time (s): 247.934
CPU user time (s): 219.761
CPU system time (s): 28.1727
CPU usage (%): 611.671
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 12558076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 219.761
system time used= 28.1727
maximum resident set size= 12556696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209972
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9132
involuntary context switches= 2881


# summary of solver processes directly reported to runsolver:
#   pid: 17441
#   total CPU time (s): 247.934
#   total CPU user time (s): 219.761
#   total CPU system time (s): 28.1727

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.366734 second user time and 0.445093 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si6-m4D/ Subisomorphism-si6-m4Dr2-m1296-05.xml
MD5SUM	3130b580259b5cb9fe6f555a4358f6cc
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.886751
Satisfiable
(Un)Satisfiability was proved
Number of variables	777
Number of constraints	2559
Number of domains	1
Minimum domain size	1296
Maximum domain size	1296
Distribution of domain sizes	[{"size":1296,"count":777}]
Minimum variable degree	2
Maximum variable degree	12
Distribution of variable degrees	[{"degree":2,"count":29},{"degree":3,"count":78},{"degree":4,"count":92},{"degree":6,"count":92},{"degree":7,"count":115},{"degree":8,"count":149},{"degree":9,"count":139},{"degree":10,"count":60},{"degree":11,"count":21},{"degree":12,"count":2}]
Minimum constraint arity	1
Maximum constraint arity	777
Distribution of constraint arities	[{"arity":1,"count":578},{"arity":2,"count":1980},{"arity":777,"count":1}]
Number of extensional constraints	2558
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":2558},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4406769

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
