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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20 parallel	OPT	6	326.891	43.9995
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 (9727 MiB free)
  memory of node 1: 16384 MiB (8265 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404924-1569003394/watcher-4404924-1569003394 -o /tmp/evaluation-result-4404924-1569003394/solver-4404924-1569003394 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568989783-14694 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1901265839 HOME/instance-4404924-1569003394.xml 

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

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

solver pid=21792, runsolver pid=21789

[startup+0.100141 s]*
/proc/loadavg: 7.98 8.01 8.05 2/210 21813
/proc/meminfo: memFree=18408104/32770624 swapFree=66986244/67108860
[pid=21792] ppid=21789 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/21792/stat : 21792 (xcsp3-exec) S 21789 21792 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476596227 115843072 362 33554432000 4194304 5098028 140721573399712 140721573397816 140361042834044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15843328 140721573401467 140721573401710 140721573401710 140721573404618 0
/proc/21792/statm: 28282 362 304 221 0 87 0
[pid=21794] ppid=21792 vsize=28227396 memory=29244 CPUtime=0.12 cores=0-7
/proc/21794/stat : 21794 (java) S 21792 21792 14667 0 -1 1077944320 5715 0 0 0 11 1 0 0 20 0 20 0 476596227 28904853504 7311 33554432000 4194304 4196468 140731186230592 140731186213136 140701361241847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
/proc/21794/statm: 7056849 7311 3158 1 0 7019032 0
[pid=21794/tid=21795] ppid=21792 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/21794/task/21795/stat : 21795 (java) R 21792 21792 14667 0 -1 4202560 3630 0 0 0 8 1 0 0 20 0 20 0 476596227 28904853504 7311 33554432000 4194304 4196468 140731186230592 140701365475120 140700999061789 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21796] ppid=21792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21796/stat : 21796 (java) S 21792 21792 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476596228 28904853504 7311 33554432000 4194304 4196468 140731186230592 140701317794704 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21797] ppid=21792 vsize=28227396 memory=140324611611163 CPUtime=0 cores=0-7
/proc/21794/task/21797/stat : 21797 (java) S 21792 21792 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476596228 28904853504 7311 33554432000 4194304 4196468 140731186230592 140700912048912 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21798] ppid=21792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21798/stat : 21798 (java) S 21792 21792 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476596228 28904853504 7311 33554432000 4194304 4196468 140731186230592 140700910996624 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21799] ppid=21792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21799/stat : 21799 (java) S 21792 21792 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476596228 28904853504 7311 33554432000 4194304 4196468 140731186230592 140700909943824 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21800] ppid=21792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21800/stat : 21800 (java) S 21792 21792 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476596228 28904853504 7311 33554432000 4194304 4196468 140731186230592 140700908890512 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21801] ppid=21792 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21794/task/21801/stat : 21801 (java) S 21792 21792 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476596228 28904853504 7311 33554432000 4194304 4196468 140731186230592 140700907837712 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21802] ppid=21792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21802/stat : 21802 (java) S 21792 21792 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476596228 28904853504 7311 33554432000 4194304 4196468 140731186230592 140700906785424 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21803] ppid=21792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21803/stat : 21803 (java) S 21792 21792 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476596228 28904853504 7311 33554432000 4194304 4196468 140731186230592 140700905732624 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21804] ppid=21792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21804/stat : 21804 (java) S 21792 21792 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476596230 28904853504 7311 33554432000 4194304 4196468 140731186230592 140700008647280 140701361252994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21805] ppid=21792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21805/stat : 21805 (java) S 21792 21792 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476596230 28904853504 7311 33554432000 4194304 4196468 140731186230592 140700007593248 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21806] ppid=21792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21806/stat : 21806 (java) S 21792 21792 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476596230 28904853504 7311 33554432000 4194304 4196468 140731186230592 140700006540912 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21807] ppid=21792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21807/stat : 21807 (java) S 21792 21792 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476596233 28904853504 7311 33554432000 4194304 4196468 140731186230592 140700005489232 140701361260443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21808] ppid=21792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21808/stat : 21808 (java) S 21792 21792 14667 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 20 0 476596233 28904853504 7311 33554432000 4194304 4196468 140731186230592 140700004436080 140701361252994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21809] ppid=21792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21809/stat : 21809 (java) S 21792 21792 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476596233 28904853504 7311 33554432000 4194304 4196468 140731186230592 140700003383280 140701361252994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21810] ppid=21792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21810/stat : 21810 (java) S 21792 21792 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476596233 28904853504 7311 33554432000 4194304 4196468 140731186230592 140700002330992 140701361252994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21811] ppid=21792 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/21794/task/21811/stat : 21811 (java) R 21792 21792 14667 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 20 0 476596233 28904853504 7311 33554432000 4194304 4196468 140731186230592 140700001278192 140701361255729 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21812] ppid=21792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21812/stat : 21812 (java) S 21792 21792 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476596233 28904853504 7311 33554432000 4194304 4196468 140731186230592 140700000226144 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21813] ppid=21792 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21794/task/21813/stat : 21813 (java) S 21792 21792 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476596233 28904853504 7311 33554432000 4194304 4196468 140731186230592 140699999173424 140701361252994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30692 KiB

[startup+0.210496 s]*
/proc/loadavg: 7.98 8.01 8.05 2/210 21813
/proc/meminfo: memFree=18394824/32770624 swapFree=66986244/67108860
[pid=21792] ppid=21789 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/21792/stat : 21792 (xcsp3-exec) S 21789 21792 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476596227 115843072 362 33554432000 4194304 5098028 140721573399712 140721573397816 140361042834044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15843328 140721573401467 140721573401710 140721573401710 140721573404618 0
/proc/21792/statm: 28282 362 304 221 0 87 0
[pid=21794] ppid=21792 vsize=28227396 memory=40120 CPUtime=0.34 cores=0-7
/proc/21794/stat : 21794 (java) S 21792 21792 14667 0 -1 1077944320 9362 0 0 0 31 3 0 0 20 0 20 0 476596227 28904853504 10030 33554432000 4194304 4196468 140731186230592 140731186213136 140701361241847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
/proc/21794/statm: 7056849 10030 3262 1 0 7019032 0
[pid=21794/tid=21795] ppid=21792 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/21794/task/21795/stat : 21795 (java) R 21792 21792 14667 0 -1 4202560 6599 0 0 0 17 2 0 0 20 0 20 0 476596227 28904853504 10030 33554432000 4194304 4196468 140731186230592 140701365472128 140700998046964 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21796] ppid=21792 vsize=28227396 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/21794/task/21796/stat : 21796 (java) S 21792 21792 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476596228 28904853504 10030 33554432000 4194304 4196468 140731186230592 140701317794704 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21797] ppid=21792 vsize=28227396 memory=288370700763305600 CPUtime=0 cores=0-7
/proc/21794/task/21797/stat : 21797 (java) S 21792 21792 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476596228 28904853504 10030 33554432000 4194304 4196468 140731186230592 140700912048912 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21798] ppid=21792 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21794/task/21798/stat : 21798 (java) S 21792 21792 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476596228 28904853504 10030 33554432000 4194304 4196468 140731186230592 140700910996624 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21799] ppid=21792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21799/stat : 21799 (java) S 21792 21792 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476596228 28904853504 10030 33554432000 4194304 4196468 140731186230592 140700909943824 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21800] ppid=21792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21800/stat : 21800 (java) S 21792 21792 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476596228 28904853504 10030 33554432000 4194304 4196468 140731186230592 140700908890512 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21801] ppid=21792 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21794/task/21801/stat : 21801 (java) S 21792 21792 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476596228 28904853504 10030 33554432000 4194304 4196468 140731186230592 140700907837712 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21802] ppid=21792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21802/stat : 21802 (java) S 21792 21792 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476596228 28904853504 10030 33554432000 4194304 4196468 140731186230592 140700906785424 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21803] ppid=21792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21803/stat : 21803 (java) S 21792 21792 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476596228 28904853504 10030 33554432000 4194304 4196468 140731186230592 140700905732624 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21804] ppid=21792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21804/stat : 21804 (java) S 21792 21792 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476596230 28904853504 10030 33554432000 4194304 4196468 140731186230592 140700008647280 140701361252994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21805] ppid=21792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21805/stat : 21805 (java) S 21792 21792 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476596230 28904853504 10030 33554432000 4194304 4196468 140731186230592 140700007593248 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21806] ppid=21792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21806/stat : 21806 (java) S 21792 21792 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476596230 28904853504 10030 33554432000 4194304 4196468 140731186230592 140700006540912 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21807] ppid=21792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21807/stat : 21807 (java) S 21792 21792 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476596233 28904853504 10030 33554432000 4194304 4196468 140731186230592 140700005489232 140701361260443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21808] ppid=21792 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/21794/task/21808/stat : 21808 (java) S 21792 21792 14667 0 -1 1077944384 504 0 0 0 1 0 0 0 20 0 20 0 476596233 28904853504 10030 33554432000 4194304 4196468 140731186230592 140700004436080 140701361252994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21809] ppid=21792 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/21794/task/21809/stat : 21809 (java) S 21792 21792 14667 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 476596233 28904853504 10030 33554432000 4194304 4196468 140731186230592 140700003383280 140701361252994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21810] ppid=21792 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/21794/task/21810/stat : 21810 (java) S 21792 21792 14667 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 476596233 28904853504 10030 33554432000 4194304 4196468 140731186230592 140700002330992 140701361252994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21811] ppid=21792 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/21794/task/21811/stat : 21811 (java) R 21792 21792 14667 0 -1 4202560 789 0 0 0 7 0 0 0 20 0 20 0 476596233 28904853504 10030 33554432000 4194304 4196468 140731186230592 140700001278192 140701340117138 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21812] ppid=21792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21812/stat : 21812 (java) S 21792 21792 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476596233 28904853504 10030 33554432000 4194304 4196468 140731186230592 140700000226144 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21813] ppid=21792 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21794/task/21813/stat : 21813 (java) S 21792 21792 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476596233 28904853504 10030 33554432000 4194304 4196468 140731186230592 140699999173424 140701361252994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41568 KiB

[startup+0.310261 s]*
/proc/loadavg: 7.98 8.01 8.05 5/210 21813
/proc/meminfo: memFree=18386696/32770624 swapFree=66986244/67108860
[pid=21792] ppid=21789 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/21792/stat : 21792 (xcsp3-exec) S 21789 21792 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476596227 115843072 362 33554432000 4194304 5098028 140721573399712 140721573397816 140361042834044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15843328 140721573401467 140721573401710 140721573401710 140721573404618 0
/proc/21792/statm: 28282 362 304 221 0 87 0
[pid=21794] ppid=21792 vsize=28231652 memory=50116 CPUtime=0.52 cores=0-7
/proc/21794/stat : 21794 (java) S 21792 21792 14667 0 -1 1077944320 10829 0 0 0 48 4 0 0 20 0 20 0 476596227 28909211648 12529 33554432000 4194304 4196468 140731186230592 140731186213136 140701361241847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
/proc/21794/statm: 7057913 12529 3373 1 0 7019032 0
[pid=21794/tid=21795] ppid=21792 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/21794/task/21795/stat : 21795 (java) R 21792 21792 14667 0 -1 4202560 7724 0 0 0 26 3 0 0 20 0 20 0 476596227 28909211648 12529 33554432000 4194304 4196468 140731186230592 140701365472960 140701345322334 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21796] ppid=21792 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21796/stat : 21796 (java) S 21792 21792 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476596228 28909211648 12529 33554432000 4194304 4196468 140731186230592 140701317794704 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21797] ppid=21792 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21797/stat : 21797 (java) S 21792 21792 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476596228 28909211648 12529 33554432000 4194304 4196468 140731186230592 140700912048912 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21798] ppid=21792 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21798/stat : 21798 (java) S 21792 21792 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476596228 28909211648 12529 33554432000 4194304 4196468 140731186230592 140700910996624 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21799] ppid=21792 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21799/stat : 21799 (java) S 21792 21792 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476596228 28909211648 12529 33554432000 4194304 4196468 140731186230592 140700909943824 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21800] ppid=21792 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21800/stat : 21800 (java) S 21792 21792 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476596228 28909211648 12529 33554432000 4194304 4196468 140731186230592 140700908890512 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21801] ppid=21792 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21801/stat : 21801 (java) S 21792 21792 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476596228 28909211648 12529 33554432000 4194304 4196468 140731186230592 140700907837712 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21802] ppid=21792 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21802/stat : 21802 (java) S 21792 21792 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476596228 28909211648 12529 33554432000 4194304 4196468 140731186230592 140700906785424 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21803] ppid=21792 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21803/stat : 21803 (java) S 21792 21792 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476596228 28909211648 12529 33554432000 4194304 4196468 140731186230592 140700905732624 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21804] ppid=21792 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21804/stat : 21804 (java) S 21792 21792 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476596230 28909211648 12529 33554432000 4194304 4196468 140731186230592 140700008647280 140701361252994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21805] ppid=21792 vsize=28231652 memory=280649001016704 CPUtime=0 cores=0-7
/proc/21794/task/21805/stat : 21805 (java) S 21792 21792 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476596230 28909211648 12529 33554432000 4194304 4196468 140731186230592 140700007593248 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21806] ppid=21792 vsize=28231652 memory=280649001021312 CPUtime=0 cores=0-7
/proc/21794/task/21806/stat : 21806 (java) S 21792 21792 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476596230 28909211648 12529 33554432000 4194304 4196468 140731186230592 140700006540912 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21807] ppid=21792 vsize=28231652 memory=280649001025920 CPUtime=0 cores=0-7
/proc/21794/task/21807/stat : 21807 (java) S 21792 21792 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476596233 28909211648 12529 33554432000 4194304 4196468 140731186230592 140700005489232 140701361260443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21808] ppid=21792 vsize=28231652 memory=280649001030528 CPUtime=0.02 cores=0-7
/proc/21794/task/21808/stat : 21808 (java) S 21792 21792 14667 0 -1 1077944384 529 0 0 0 2 0 0 0 20 0 20 0 476596233 28909211648 12529 33554432000 4194304 4196468 140731186230592 140700004436080 140701361252994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21809] ppid=21792 vsize=28231652 memory=280649001035136 CPUtime=0.03 cores=0-7
/proc/21794/task/21809/stat : 21809 (java) R 21792 21792 14667 0 -1 4202560 166 0 0 0 3 0 0 0 20 0 20 0 476596233 28909211648 12529 33554432000 4194304 4196468 140731186230592 140700003383280 140701340934939 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21810] ppid=21792 vsize=28231652 memory=280649001039744 CPUtime=0.02 cores=0-7
/proc/21794/task/21810/stat : 21810 (java) S 21792 21792 14667 0 -1 1077944384 133 0 0 0 2 0 0 0 20 0 20 0 476596233 28909211648 12529 33554432000 4194304 4196468 140731186230592 140700002330992 140701361252994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21811] ppid=21792 vsize=28231652 memory=280649001044352 CPUtime=0.12 cores=0-7
/proc/21794/task/21811/stat : 21811 (java) S 21792 21792 14667 0 -1 1077944384 964 0 0 0 12 0 0 0 20 0 20 0 476596233 28909211648 12529 33554432000 4194304 4196468 140731186230592 140700001278192 140701361252994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21812] ppid=21792 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21812/stat : 21812 (java) S 21792 21792 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476596233 28909211648 12529 33554432000 4194304 4196468 140731186230592 140700000226144 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21813] ppid=21792 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/21794/task/21813/stat : 21813 (java) S 21792 21792 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476596233 28909211648 12529 33554432000 4194304 4196468 140731186230592 140699999173424 140701361252994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51564 KiB

[startup+0.700936 s]
/proc/loadavg: 7.98 8.01 8.05 6/210 21813
/proc/meminfo: memFree=18365412/32770624 swapFree=66986244/67108860
[pid=21792] ppid=21789 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/21792/stat : 21792 (xcsp3-exec) S 21789 21792 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476596227 115843072 362 33554432000 4194304 5098028 140721573399712 140721573397816 140361042834044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15843328 140721573401467 140721573401710 140721573401710 140721573404618 0
/proc/21792/statm: 28282 362 304 221 0 87 0
[pid=21794] ppid=21792 vsize=28233776 memory=124316 CPUtime=1.93 cores=0-7
/proc/21794/stat : 21794 (java) S 21792 21792 14667 0 -1 1077944320 15172 0 0 0 187 6 0 0 20 0 20 0 476596227 28911386624 31079 33554432000 4194304 4196468 140731186230592 140731186213136 140701361241847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
/proc/21794/statm: 7058444 31079 3451 1 0 7019544 0
[pid=21794/tid=21795] ppid=21792 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7
/proc/21794/task/21795/stat : 21795 (java) R 21792 21792 14667 0 -1 4202560 8345 0 0 0 63 4 0 0 20 0 20 0 476596227 28911386624 31079 33554432000 4194304 4196468 140731186230592 140701365474800 140700998052713 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21796] ppid=21792 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21796/stat : 21796 (java) S 21792 21792 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476596228 28911386624 31079 33554432000 4194304 4196468 140731186230592 140701317794704 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21797] ppid=21792 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/21794/task/21797/stat : 21797 (java) S 21792 21792 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476596228 28911386624 31079 33554432000 4194304 4196468 140731186230592 140700912048912 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21798] ppid=21792 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/21794/task/21798/stat : 21798 (java) S 21792 21792 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476596228 28911386624 31079 33554432000 4194304 4196468 140731186230592 140700910996624 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0

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

[pid=21794/tid=21811] ppid=21792 vsize=28769364 memory=1680 CPUtime=0.93 cores=0-7
/proc/21794/task/21811/stat : 21811 (java) S 21792 21792 14667 0 -1 1077944384 10466 0 0 0 90 3 0 0 20 0 28 0 476596233 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700001278192 140701361252994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21812] ppid=21792 vsize=28769364 memory=1440 CPUtime=0 cores=0-7
/proc/21794/task/21812/stat : 21812 (java) S 21792 21792 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476596233 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700000226144 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21813] ppid=21792 vsize=28769364 memory=912 CPUtime=0.01 cores=0-7
/proc/21794/task/21813/stat : 21813 (java) S 21792 21792 14667 0 -1 1077944384 1034 0 0 0 0 1 0 0 20 0 28 0 476596233 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699999173424 140701361252994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21919] ppid=21792 vsize=28769364 memory=1984 CPUtime=37.47 cores=0-7
/proc/21794/task/21919/stat : 21919 (java) R 21792 21792 14667 0 -1 4202560 3225 0 0 0 3733 14 0 0 20 0 28 0 476596777 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699984690200 140701007407383 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21920] ppid=21792 vsize=28769364 memory=2480 CPUtime=37.83 cores=0-7
/proc/21794/task/21920/stat : 21920 (java) R 21792 21792 14667 0 -1 4202560 498 0 0 0 3783 0 0 0 20 0 28 0 476596777 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699986797192 140701002017567 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21921] ppid=21792 vsize=28769364 memory=1768 CPUtime=37.64 cores=0-7
/proc/21794/task/21921/stat : 21921 (java) R 21792 21792 14667 0 -1 4202560 4088 0 0 0 3751 13 0 0 20 0 28 0 476596777 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699988901616 140701002266123 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21922] ppid=21792 vsize=28769364 memory=111632 CPUtime=37.56 cores=0-7
/proc/21794/task/21922/stat : 21922 (java) R 21792 21792 14667 0 -1 4202560 4436 0 0 0 3741 15 0 0 20 0 28 0 476596777 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699985743248 140701001880787 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21923] ppid=21792 vsize=28769364 memory=56 CPUtime=37.71 cores=0-7
/proc/21794/task/21923/stat : 21923 (java) R 21792 21792 14667 0 -1 4202560 707 0 0 0 3770 1 0 0 20 0 28 0 476596777 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699979436232 140701006660155 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21924] ppid=21792 vsize=28769364 memory=576461251985632562 CPUtime=37.69 cores=0-7
/proc/21794/task/21924/stat : 21924 (java) R 21792 21792 14667 0 -1 4202560 843 0 0 0 3768 1 0 0 20 0 28 0 476596777 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699989954680 140701000308114 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21925] ppid=21792 vsize=28769364 memory=288287787869012828 CPUtime=37.89 cores=0-7
/proc/21794/task/21925/stat : 21925 (java) R 21792 21792 14667 0 -1 4202560 701 0 0 0 3788 1 0 0 20 0 28 0 476596777 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699983639032 140701006660321 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21926] ppid=21792 vsize=28769364 memory=3977014037623079201 CPUtime=37.22 cores=0-7
/proc/21794/task/21926/stat : 21926 (java) R 21792 21792 14667 0 -1 4202560 6528 0 0 0 3692 30 0 0 20 0 28 0 476596777 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699982585608 140701006891274 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
Current children cumulated CPU time: 324.37 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 3434484 KiB

[startup+43.8017 s]
/proc/loadavg: 7.87 7.96 8.03 9/218 21928
/proc/meminfo: memFree=14997044/32770624 swapFree=66986244/67108860
[pid=21792] ppid=21789 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/21792/stat : 21792 (xcsp3-exec) S 21789 21792 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476596227 115843072 362 33554432000 4194304 5098028 140721573399712 140721573397816 140361042834044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15843328 140721573401467 140721573401710 140721573401710 140721573404618 0
/proc/21792/statm: 28282 362 304 221 0 87 0
[pid=21794] ppid=21792 vsize=28769364 memory=3433036 CPUtime=325.96 cores=0-7
/proc/21794/stat : 21794 (java) S 21792 21792 14667 0 -1 1077944320 87200 0 0 0 32423 173 0 0 20 0 28 0 476596227 29459828736 858259 33554432000 4194304 4196468 140731186230592 140731186213136 140701361241847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
/proc/21794/statm: 7192341 858259 3532 1 0 7153441 0
[pid=21794/tid=21795] ppid=21792 vsize=28769364 memory=6943487855420614559 CPUtime=3.36 cores=0-7
/proc/21794/task/21795/stat : 21795 (java) S 21792 21792 14667 0 -1 1077944384 11513 0 0 0 324 12 0 0 20 0 28 0 476596227 29459828736 858259 33554432000 4194304 4196468 140731186230592 140701365482624 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21796] ppid=21792 vsize=28769364 memory=-3252517613198930781 CPUtime=0.22 cores=0-7
/proc/21794/task/21796/stat : 21796 (java) S 21792 21792 14667 0 -1 1077944384 424 0 0 0 15 7 0 0 20 0 28 0 476596228 29459828736 858259 33554432000 4194304 4196468 140731186230592 140701317794704 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21797] ppid=21792 vsize=28769364 memory=-6368199152461293614 CPUtime=0.22 cores=0-7
/proc/21794/task/21797/stat : 21797 (java) S 21792 21792 14667 0 -1 1077944384 731 0 0 0 14 8 0 0 20 0 28 0 476596228 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700912048912 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21798] ppid=21792 vsize=28769364 memory=6645459911560372124 CPUtime=0.22 cores=0-7
/proc/21794/task/21798/stat : 21798 (java) S 21792 21792 14667 0 -1 1077944384 725 0 0 0 15 7 0 0 20 0 28 0 476596228 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700910996624 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21799] ppid=21792 vsize=28769364 memory=6944656592385698452 CPUtime=0.23 cores=0-7
/proc/21794/task/21799/stat : 21799 (java) S 21792 21792 14667 0 -1 1077944384 1077 0 0 0 15 8 0 0 20 0 28 0 476596228 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700909943824 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21800] ppid=21792 vsize=28769364 memory=606964509356221932 CPUtime=0.22 cores=0-7
/proc/21794/task/21800/stat : 21800 (java) S 21792 21792 14667 0 -1 1077944384 345 0 0 0 15 7 0 0 20 0 28 0 476596228 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700908890512 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21801] ppid=21792 vsize=28769364 memory=1898986 CPUtime=0.21 cores=0-7
/proc/21794/task/21801/stat : 21801 (java) S 21792 21792 14667 0 -1 1077944384 543 0 0 0 14 7 0 0 20 0 28 0 476596228 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700907837712 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21802] ppid=21792 vsize=28769364 memory=3977014037623079201 CPUtime=0.22 cores=0-7
/proc/21794/task/21802/stat : 21802 (java) S 21792 21792 14667 0 -1 1077944384 632 0 0 0 14 8 0 0 20 0 28 0 476596228 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700906785424 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21803] ppid=21792 vsize=28769364 memory=1448 CPUtime=0.24 cores=0-7
/proc/21794/task/21803/stat : 21803 (java) S 21792 21792 14667 0 -1 1077944384 374 0 0 0 16 8 0 0 20 0 28 0 476596228 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700905732624 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21804] ppid=21792 vsize=28769364 memory=3394384 CPUtime=0.03 cores=0-7
/proc/21794/task/21804/stat : 21804 (java) S 21792 21792 14667 0 -1 1077944384 3497 0 0 0 2 1 0 0 20 0 28 0 476596230 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700008647280 140701361252994 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21805] ppid=21792 vsize=28769364 memory=13849668345924206 CPUtime=0 cores=0-7
/proc/21794/task/21805/stat : 21805 (java) S 21792 21792 14667 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 476596230 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700007593312 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21806] ppid=21792 vsize=28769364 memory=-2892745056951965031 CPUtime=0 cores=0-7
/proc/21794/task/21806/stat : 21806 (java) S 21792 21792 14667 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 28 0 476596230 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700006540928 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21807] ppid=21792 vsize=28769364 memory=4206468019014099040 CPUtime=0 cores=0-7
/proc/21794/task/21807/stat : 21807 (java) S 21792 21792 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476596233 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700005489232 140701361260443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21808] ppid=21792 vsize=28769364 memory=-7384994778349281183 CPUtime=3.29 cores=0-7
/proc/21794/task/21808/stat : 21808 (java) S 21792 21792 14667 0 -1 1077944384 11912 0 0 0 327 2 0 0 20 0 28 0 476596233 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700004436080 140701361252994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21809] ppid=21792 vsize=28769364 memory=302022861288175260 CPUtime=3.49 cores=0-7
/proc/21794/task/21809/stat : 21809 (java) S 21792 21792 14667 0 -1 1077944384 9762 0 0 0 347 2 0 0 20 0 28 0 476596233 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700003383280 140701361252994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21810] ppid=21792 vsize=28769364 memory=16102559066420986 CPUtime=3.6 cores=0-7
/proc/21794/task/21810/stat : 21810 (java) S 21792 21792 14667 0 -1 1077944384 9179 0 0 0 357 3 0 0 20 0 28 0 476596233 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700002330992 140701361252994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21811] ppid=21792 vsize=28769364 memory=311431171917543064 CPUtime=0.93 cores=0-7
/proc/21794/task/21811/stat : 21811 (java) S 21792 21792 14667 0 -1 1077944384 10466 0 0 0 90 3 0 0 20 0 28 0 476596233 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700001278192 140701361252994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21812] ppid=21792 vsize=28769364 memory=280649001066528 CPUtime=0 cores=0-7
/proc/21794/task/21812/stat : 21812 (java) S 21792 21792 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476596233 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700000226144 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21813] ppid=21792 vsize=28769364 memory=280649002498528 CPUtime=0.01 cores=0-7
/proc/21794/task/21813/stat : 21813 (java) R 21792 21792 14667 0 -1 1077944384 1034 0 0 0 0 1 0 0 20 0 28 0 476596233 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699999173424 140701361252994 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21919] ppid=21792 vsize=28769364 memory=280649002498592 CPUtime=37.67 cores=0-7
/proc/21794/task/21919/stat : 21919 (java) R 21792 21792 14667 0 -1 4202560 3233 0 0 0 3753 14 0 0 20 0 28 0 476596777 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699984690200 140701002017718 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21920] ppid=21792 vsize=28769364 memory=3432820 CPUtime=38.03 cores=0-7
/proc/21794/task/21920/stat : 21920 (java) R 21792 21792 14667 0 -1 4202560 498 0 0 0 3803 0 0 0 20 0 28 0 476596777 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699986797192 140701007406652 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21921] ppid=21792 vsize=28769364 memory=280649002498720 CPUtime=37.84 cores=0-7
/proc/21794/task/21921/stat : 21921 (java) R 21792 21792 14667 0 -1 4202560 4100 0 0 0 3771 13 0 0 20 0 28 0 476596777 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699988901616 140701000308235 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21922] ppid=21792 vsize=28769364 memory=33 CPUtime=37.76 cores=0-7
/proc/21794/task/21922/stat : 21922 (java) R 21792 21792 14667 0 -1 4202560 4452 0 0 0 3761 15 0 0 20 0 28 0 476596777 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699985743248 140701007019099 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21923] ppid=21792 vsize=28769364 memory=7453285199793121637 CPUtime=37.91 cores=0-7
/proc/21794/task/21923/stat : 21923 (java) R 21792 21792 14667 0 -1 4202560 707 0 0 0 3790 1 0 0 20 0 28 0 476596777 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699979436232 140701006660228 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21924] ppid=21792 vsize=28769364 memory=1448 CPUtime=37.89 cores=0-7
/proc/21794/task/21924/stat : 21924 (java) R 21792 21792 14667 0 -1 4202560 843 0 0 0 3788 1 0 0 20 0 28 0 476596777 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699989954680 140701006660155 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21925] ppid=21792 vsize=28769364 memory=3432820 CPUtime=38.09 cores=0-7
/proc/21794/task/21925/stat : 21925 (java) R 21792 21792 14667 0 -1 4202560 703 0 0 0 3808 1 0 0 20 0 28 0 476596777 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699983639032 140701006660052 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21926] ppid=21792 vsize=28769364 memory=1448 CPUtime=37.42 cores=0-7
/proc/21794/task/21926/stat : 21926 (java) R 21792 21792 14667 0 -1 4202560 6536 0 0 0 3712 30 0 0 20 0 28 0 476596777 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699982585608 140701008030232 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
Current children cumulated CPU time: 325.96 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 3434484 KiB

[startup+43.9012 s]
/proc/loadavg: 7.87 7.96 8.03 9/218 21928
/proc/meminfo: memFree=14997044/32770624 swapFree=66986244/67108860
[pid=21792] ppid=21789 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/21792/stat : 21792 (xcsp3-exec) S 21789 21792 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476596227 115843072 362 33554432000 4194304 5098028 140721573399712 140721573397816 140361042834044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15843328 140721573401467 140721573401710 140721573401710 140721573404618 0
/proc/21792/statm: 28282 362 304 221 0 87 0
[pid=21794] ppid=21792 vsize=28769364 memory=3433036 CPUtime=326.75 cores=0-7
/proc/21794/stat : 21794 (java) S 21792 21792 14667 0 -1 1077944320 87351 0 0 0 32502 173 0 0 20 0 28 0 476596227 29459828736 858259 33554432000 4194304 4196468 140731186230592 140731186213136 140701361241847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
/proc/21794/statm: 7192341 858259 3532 1 0 7153441 0
[pid=21794/tid=21795] ppid=21792 vsize=28769364 memory=3433036 CPUtime=3.36 cores=0-7
/proc/21794/task/21795/stat : 21795 (java) S 21792 21792 14667 0 -1 1077944384 11513 0 0 0 324 12 0 0 20 0 28 0 476596227 29459828736 858259 33554432000 4194304 4196468 140731186230592 140701365482624 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21796] ppid=21792 vsize=28769364 memory=3433036 CPUtime=0.22 cores=0-7
/proc/21794/task/21796/stat : 21796 (java) S 21792 21792 14667 0 -1 1077944384 424 0 0 0 15 7 0 0 20 0 28 0 476596228 29459828736 858259 33554432000 4194304 4196468 140731186230592 140701317794704 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21797] ppid=21792 vsize=28769364 memory=29620 CPUtime=0.22 cores=0-7
/proc/21794/task/21797/stat : 21797 (java) S 21792 21792 14667 0 -1 1077944384 731 0 0 0 14 8 0 0 20 0 28 0 476596228 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700912048912 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21798] ppid=21792 vsize=28769364 memory=3433036 CPUtime=0.22 cores=0-7
/proc/21794/task/21798/stat : 21798 (java) S 21792 21792 14667 0 -1 1077944384 725 0 0 0 15 7 0 0 20 0 28 0 476596228 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700910996624 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21799] ppid=21792 vsize=28769364 memory=6944656592455360604 CPUtime=0.23 cores=0-7
/proc/21794/task/21799/stat : 21799 (java) S 21792 21792 14667 0 -1 1077944384 1077 0 0 0 15 8 0 0 20 0 28 0 476596228 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700909943824 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21800] ppid=21792 vsize=28769364 memory=6048 CPUtime=0.22 cores=0-7
/proc/21794/task/21800/stat : 21800 (java) S 21792 21792 14667 0 -1 1077944384 345 0 0 0 15 7 0 0 20 0 28 0 476596228 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700908890512 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21801] ppid=21792 vsize=28769364 memory=7552 CPUtime=0.21 cores=0-7
/proc/21794/task/21801/stat : 21801 (java) S 21792 21792 14667 0 -1 1077944384 543 0 0 0 14 7 0 0 20 0 28 0 476596228 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700907837712 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21802] ppid=21792 vsize=28769364 memory=3432820 CPUtime=0.22 cores=0-7
/proc/21794/task/21802/stat : 21802 (java) S 21792 21792 14667 0 -1 1077944384 632 0 0 0 14 8 0 0 20 0 28 0 476596228 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700906785424 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21803] ppid=21792 vsize=28769364 memory=1448 CPUtime=0.24 cores=0-7
/proc/21794/task/21803/stat : 21803 (java) S 21792 21792 14667 0 -1 1077944384 374 0 0 0 16 8 0 0 20 0 28 0 476596228 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700905732624 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21804] ppid=21792 vsize=28769364 memory=3432820 CPUtime=0.03 cores=0-7
/proc/21794/task/21804/stat : 21804 (java) S 21792 21792 14667 0 -1 1077944384 3497 0 0 0 2 1 0 0 20 0 28 0 476596230 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700008647280 140701361252994 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21805] ppid=21792 vsize=28769364 memory=3432820 CPUtime=0 cores=0-7
/proc/21794/task/21805/stat : 21805 (java) S 21792 21792 14667 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 476596230 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700007593312 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21806] ppid=21792 vsize=28769364 memory=3432820 CPUtime=0 cores=0-7
/proc/21794/task/21806/stat : 21806 (java) S 21792 21792 14667 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 28 0 476596230 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700006540928 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21807] ppid=21792 vsize=28769364 memory=-7101718590825193272 CPUtime=0 cores=0-7
/proc/21794/task/21807/stat : 21807 (java) S 21792 21792 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476596233 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700005489232 140701361260443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21808] ppid=21792 vsize=28769364 memory=6791534058613427641 CPUtime=3.29 cores=0-7
/proc/21794/task/21808/stat : 21808 (java) S 21792 21792 14667 0 -1 1077944384 11912 0 0 0 327 2 0 0 20 0 28 0 476596233 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700004436080 140701361252994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21809] ppid=21792 vsize=28769364 memory=7739270403250012260 CPUtime=3.49 cores=0-7
/proc/21794/task/21809/stat : 21809 (java) S 21792 21792 14667 0 -1 1077944384 9762 0 0 0 347 2 0 0 20 0 28 0 476596233 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700003383280 140701361252994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21810] ppid=21792 vsize=28769364 memory=7516902921102649707 CPUtime=3.6 cores=0-7
/proc/21794/task/21810/stat : 21810 (java) S 21792 21792 14667 0 -1 1077944384 9179 0 0 0 357 3 0 0 20 0 28 0 476596233 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700002330992 140701361252994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21811] ppid=21792 vsize=28769364 memory=1448 CPUtime=0.93 cores=0-7
/proc/21794/task/21811/stat : 21811 (java) S 21792 21792 14667 0 -1 1077944384 10466 0 0 0 90 3 0 0 20 0 28 0 476596233 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700001278192 140701361252994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21812] ppid=21792 vsize=28769364 memory=3616 CPUtime=0 cores=0-7
/proc/21794/task/21812/stat : 21812 (java) S 21792 21792 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476596233 29459828736 858259 33554432000 4194304 4196468 140731186230592 140700000226144 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21813] ppid=21792 vsize=28769364 memory=55608 CPUtime=0.01 cores=0-7
/proc/21794/task/21813/stat : 21813 (java) S 21792 21792 14667 0 -1 1077944384 1034 0 0 0 0 1 0 0 20 0 28 0 476596233 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699999173424 140701361252994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21919] ppid=21792 vsize=28769364 memory=1448 CPUtime=37.76 cores=0-7
/proc/21794/task/21919/stat : 21919 (java) S 21792 21792 14667 0 -1 1077944384 3251 0 0 0 3762 14 0 0 20 0 28 0 476596777 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699984695408 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21920] ppid=21792 vsize=28769364 memory=1448 CPUtime=38.13 cores=0-7
/proc/21794/task/21920/stat : 21920 (java) S 21792 21792 14667 0 -1 1077944384 517 0 0 0 3813 0 0 0 20 0 28 0 476596777 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699986802128 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21921] ppid=21792 vsize=28769364 memory=3432820 CPUtime=37.94 cores=0-7
/proc/21794/task/21921/stat : 21921 (java) R 21792 21792 14667 0 -1 4202560 4102 0 0 0 3781 13 0 0 20 0 28 0 476596777 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699988901616 140701007911427 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21922] ppid=21792 vsize=28769364 memory=1680 CPUtime=37.86 cores=0-7
/proc/21794/task/21922/stat : 21922 (java) S 21792 21792 14667 0 -1 1077944384 4517 0 0 0 3771 15 0 0 20 0 28 0 476596777 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699985748688 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21923] ppid=21792 vsize=28769364 memory=988 CPUtime=38.01 cores=0-7
/proc/21794/task/21923/stat : 21923 (java) S 21792 21792 14667 0 -1 1077944384 707 0 0 0 3800 1 0 0 20 0 28 0 476596777 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699979441232 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21924] ppid=21792 vsize=28769364 memory=2004 CPUtime=37.98 cores=0-7
/proc/21794/task/21924/stat : 21924 (java) S 21792 21792 14667 0 -1 1077944384 860 0 0 0 3797 1 0 0 20 0 28 0 476596777 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699989959632 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21925] ppid=21792 vsize=28769364 memory=1416 CPUtime=38.19 cores=0-7
/proc/21794/task/21925/stat : 21925 (java) S 21792 21792 14667 0 -1 1077944384 721 0 0 0 3818 1 0 0 20 0 28 0 476596777 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699983643984 140701361252053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
[pid=21794/tid=21926] ppid=21792 vsize=28769364 memory=1712 CPUtime=37.52 cores=0-7
/proc/21794/task/21926/stat : 21926 (java) R 21792 21792 14667 0 -1 4202560 6548 0 0 0 3722 30 0 0 20 0 28 0 476596777 29459828736 858259 33554432000 4194304 4196468 140731186230592 140699982585608 140701002057267 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34455552 140731186238448 140731186238619 140731186238619 140731186241487 0
Current children cumulated CPU time: 326.75 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 3434484 KiB

Child status: 0
Real time (s): 43.9995
CPU time (s): 326.891
CPU user time (s): 325.117
CPU system time (s): 1.77414
CPU usage (%): 742.943
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 3434484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 325.117
system time used= 1.77414
maximum resident set size= 3433128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88844
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7077
involuntary context switches= 3879


# summary of solver processes directly reported to runsolver:
#   pid: 21792
#   total CPU time (s): 326.891
#   total CPU user time (s): 325.117
#   total CPU system time (s): 1.77414

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.406706 second user time and 0.539399 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-5.xml
MD5SUM	7175cc64c8263572fa1d1d1459976d33
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	6
Best CPU time to get the best result obtained on this benchmark	58.1955
Satisfiable
(Un)Satisfiability was proved
Number of variables	852
Number of constraints	12201
Number of domains	1
Minimum domain size	852
Maximum domain size	852
Distribution of domain sizes	[{"size":852,"count":852}]
Minimum variable degree	9
Maximum variable degree	216
Distribution of variable degrees	[{"degree":9,"count":4},{"degree":10,"count":10},{"degree":11,"count":10},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":28},{"degree":15,"count":20},{"degree":16,"count":40},{"degree":17,"count":26},{"degree":18,"count":52},{"degree":19,"count":24},{"degree":20,"count":52},{"degree":21,"count":10},{"degree":22,"count":20},{"degree":23,"count":24},{"degree":24,"count":48},{"degree":25,"count":18},{"degree":26,"count":36},{"degree":27,"count":20},{"degree":28,"count":40},{"degree":29,"count":16},{"degree":30,"count":32},{"degree":31,"count":32},{"degree":32,"count":64},{"degree":33,"count":4},{"degree":34,"count":8},{"degree":35,"count":4},{"degree":36,"count":8},{"degree":41,"count":4},{"degree":42,"count":8},{"degree":43,"count":8},{"degree":44,"count":16},{"degree":45,"count":8},{"degree":46,"count":16},{"degree":47,"count":16},{"degree":48,"count":32},{"degree":58,"count":4},{"degree":61,"count":4},{"degree":62,"count":8},{"degree":63,"count":8},{"degree":64,"count":16},{"degree":111,"count":4},{"degree":112,"count":8},{"degree":216,"count":4}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":12201}]
Number of extensional constraints	0
Number of intensional constraints	12201
Distribution of constraint types	[{"type":"intension","count":12201}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4404924

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
