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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14 parallel	OPT	3	22.5215	5.03998
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 (14746 MiB free)
  memory of node 1: 16384 MiB (15170 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393769-1568419594/watcher-4393769-1568419594 -o /tmp/evaluation-result-4393769-1568419594/solver-4393769-1568419594 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 71178136 HOME/instance-4393769-1568419594.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
Current StackSize limit: 8192 KiB

solver pid=15254, runsolver pid=15251

[startup+0.100114 s]*
/proc/loadavg: 7.72 7.78 6.35 2/212 15275
/proc/meminfo: memFree=30617232/32770624 swapFree=66997544/67108860
[pid=15254] ppid=15251 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15254/stat : 15254 (xcsp3-exec) S 15251 15254 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418214012 115843072 364 33554432000 4194304 5098028 140735047137760 140735047135864 140030800069244 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22720512 140735047140215 140735047140457 140735047140457 140735047143370 0
/proc/15254/statm: 28282 364 305 221 0 87 0
[pid=15256] ppid=15254 vsize=28227388 memory=29340 CPUtime=0.13 cores=0-7
/proc/15256/stat : 15256 (java) S 15254 15254 12749 0 -1 1077944320 5743 0 0 0 11 2 0 0 20 0 20 0 418214012 28904845312 7335 33554432000 4194304 4196468 140737201777152 140737201759696 139769771233015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
/proc/15256/statm: 7056847 7335 3155 1 0 7019032 0
[pid=15256/tid=15257] ppid=15254 vsize=28227388 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/15256/task/15257/stat : 15257 (java) R 15254 15254 12749 0 -1 4202560 3659 0 0 0 8 0 0 0 20 0 20 0 418214012 28904845312 7335 33554432000 4194304 4196468 140737201777152 139769775464928 139769771244950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15258] ppid=15254 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15258/stat : 15258 (java) S 15254 15254 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214013 28904845312 7335 33554432000 4194304 4196468 140737201777152 139769723853968 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15259] ppid=15254 vsize=28227388 memory=288370865696355968 CPUtime=0 cores=0-7
/proc/15256/task/15259/stat : 15259 (java) S 15254 15254 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418214013 28904845312 7335 33554432000 4194304 4196468 140737201777152 139769722801168 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15260] ppid=15254 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15260/stat : 15260 (java) S 15254 15254 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214013 28904845312 7335 33554432000 4194304 4196468 140737201777152 139769721748368 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15261] ppid=15254 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15261/stat : 15261 (java) S 15254 15254 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214013 28904845312 7335 33554432000 4194304 4196468 140737201777152 139769720695568 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15262] ppid=15254 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15262/stat : 15262 (java) S 15254 15254 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214013 28904845312 7335 33554432000 4194304 4196468 140737201777152 139769719642768 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15263] ppid=15254 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/15256/task/15263/stat : 15263 (java) S 15254 15254 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214013 28904845312 7335 33554432000 4194304 4196468 140737201777152 139769718589968 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15264] ppid=15254 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15264/stat : 15264 (java) S 15254 15254 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214013 28904845312 7335 33554432000 4194304 4196468 140737201777152 139769717537168 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15265] ppid=15254 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15265/stat : 15265 (java) S 15254 15254 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214013 28904845312 7335 33554432000 4194304 4196468 140737201777152 139769716484368 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15266] ppid=15254 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15266/stat : 15266 (java) S 15254 15254 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214015 28904845312 7335 33554432000 4194304 4196468 140737201777152 139768100809584 139769771244162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15267] ppid=15254 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15267/stat : 15267 (java) S 15254 15254 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418214015 28904845312 7335 33554432000 4194304 4196468 140737201777152 139768099755552 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15268] ppid=15254 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15268/stat : 15268 (java) S 15254 15254 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418214015 28904845312 7335 33554432000 4194304 4196468 140737201777152 139768098702704 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15269] ppid=15254 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15269/stat : 15269 (java) S 15254 15254 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214018 28904845312 7335 33554432000 4194304 4196468 140737201777152 139768097651024 139769771251611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15270] ppid=15254 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15270/stat : 15270 (java) S 15254 15254 12749 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 20 0 418214018 28904845312 7335 33554432000 4194304 4196468 140737201777152 139768096598384 139769771244162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15271] ppid=15254 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15271/stat : 15271 (java) S 15254 15254 12749 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 20 0 418214018 28904845312 7335 33554432000 4194304 4196468 140737201777152 139768095545584 139769771244162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15272] ppid=15254 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15272/stat : 15272 (java) S 15254 15254 12749 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 418214018 28904845312 7335 33554432000 4194304 4196468 140737201777152 139768094492784 139769771244162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15273] ppid=15254 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/15256/task/15273/stat : 15273 (java) S 15254 15254 12749 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 20 0 418214018 28904845312 7335 33554432000 4194304 4196468 140737201777152 139768093439984 139769771244162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15274] ppid=15254 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15274/stat : 15274 (java) S 15254 15254 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418214018 28904845312 7335 33554432000 4194304 4196468 140737201777152 139768092388448 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15275] ppid=15254 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/15256/task/15275/stat : 15275 (java) S 15254 15254 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214018 28904845312 7335 33554432000 4194304 4196468 140737201777152 139768091335728 139769771244162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30796 KiB

[startup+0.210619 s]*
/proc/loadavg: 7.72 7.78 6.35 2/212 15275
/proc/meminfo: memFree=30605136/32770624 swapFree=66997544/67108860
[pid=15254] ppid=15251 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15254/stat : 15254 (xcsp3-exec) S 15251 15254 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418214012 115843072 364 33554432000 4194304 5098028 140735047137760 140735047135864 140030800069244 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22720512 140735047140215 140735047140457 140735047140457 140735047143370 0
/proc/15254/statm: 28282 364 305 221 0 87 0
[pid=15256] ppid=15254 vsize=28227388 memory=40824 CPUtime=0.34 cores=0-7
/proc/15256/stat : 15256 (java) S 15254 15254 12749 0 -1 1077944320 9482 0 0 0 30 4 0 0 20 0 20 0 418214012 28904845312 10206 33554432000 4194304 4196468 140737201777152 140737201759696 139769771233015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
/proc/15256/statm: 7056847 10206 3260 1 0 7019032 0
[pid=15256/tid=15257] ppid=15254 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/15256/task/15257/stat : 15257 (java) R 15254 15254 12749 0 -1 4202560 6660 0 0 0 18 2 0 0 20 0 20 0 418214012 28904845312 10206 33554432000 4194304 4196468 140737201777152 139769775462736 139769771244950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15258] ppid=15254 vsize=28227388 memory=288230591823085922 CPUtime=0 cores=0-7
/proc/15256/task/15258/stat : 15258 (java) S 15254 15254 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214013 28904845312 10206 33554432000 4194304 4196468 140737201777152 139769723853968 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15259] ppid=15254 vsize=28227388 memory=140489544657270 CPUtime=0 cores=0-7
/proc/15256/task/15259/stat : 15259 (java) S 15254 15254 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418214013 28904845312 10206 33554432000 4194304 4196468 140737201777152 139769722801168 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15260] ppid=15254 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/15256/task/15260/stat : 15260 (java) S 15254 15254 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214013 28904845312 10206 33554432000 4194304 4196468 140737201777152 139769721748368 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15261] ppid=15254 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15261/stat : 15261 (java) S 15254 15254 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214013 28904845312 10206 33554432000 4194304 4196468 140737201777152 139769720695568 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15262] ppid=15254 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15262/stat : 15262 (java) S 15254 15254 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214013 28904845312 10206 33554432000 4194304 4196468 140737201777152 139769719642768 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15263] ppid=15254 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/15256/task/15263/stat : 15263 (java) S 15254 15254 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214013 28904845312 10206 33554432000 4194304 4196468 140737201777152 139769718589968 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15264] ppid=15254 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15264/stat : 15264 (java) S 15254 15254 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214013 28904845312 10206 33554432000 4194304 4196468 140737201777152 139769717537168 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15265] ppid=15254 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15265/stat : 15265 (java) S 15254 15254 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214013 28904845312 10206 33554432000 4194304 4196468 140737201777152 139769716484368 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15266] ppid=15254 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15266/stat : 15266 (java) S 15254 15254 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418214015 28904845312 10206 33554432000 4194304 4196468 140737201777152 139768100809584 139769771244162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15267] ppid=15254 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15267/stat : 15267 (java) S 15254 15254 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418214015 28904845312 10206 33554432000 4194304 4196468 140737201777152 139768099755552 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15268] ppid=15254 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15268/stat : 15268 (java) S 15254 15254 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418214015 28904845312 10206 33554432000 4194304 4196468 140737201777152 139768098702704 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15269] ppid=15254 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15269/stat : 15269 (java) S 15254 15254 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214018 28904845312 10206 33554432000 4194304 4196468 140737201777152 139768097651024 139769771251611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15270] ppid=15254 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/15256/task/15270/stat : 15270 (java) S 15254 15254 12749 0 -1 1077944384 394 0 0 0 1 0 0 0 20 0 20 0 418214018 28904845312 10206 33554432000 4194304 4196468 140737201777152 139768096598384 139769771244162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15271] ppid=15254 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/15256/task/15271/stat : 15271 (java) S 15254 15254 12749 0 -1 1077944384 302 0 0 0 1 0 0 0 20 0 20 0 418214018 28904845312 10206 33554432000 4194304 4196468 140737201777152 139768095545584 139769771244162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15272] ppid=15254 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/15256/task/15272/stat : 15272 (java) S 15254 15254 12749 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 418214018 28904845312 10206 33554432000 4194304 4196468 140737201777152 139768094492784 139769771244162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15273] ppid=15254 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7
/proc/15256/task/15273/stat : 15273 (java) R 15254 15254 12749 0 -1 4202560 757 0 0 0 7 0 0 0 20 0 20 0 418214018 28904845312 10206 33554432000 4194304 4196468 140737201777152 139768093439984 139769763470142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15274] ppid=15254 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15274/stat : 15274 (java) S 15254 15254 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418214018 28904845312 10206 33554432000 4194304 4196468 140737201777152 139768092388448 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15275] ppid=15254 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/15256/task/15275/stat : 15275 (java) S 15254 15254 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214018 28904845312 10206 33554432000 4194304 4196468 140737201777152 139768091335728 139769771244162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42280 KiB

[startup+0.310265 s]*
/proc/loadavg: 7.72 7.78 6.35 3/212 15275
/proc/meminfo: memFree=30599416/32770624 swapFree=66997544/67108860
[pid=15254] ppid=15251 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15254/stat : 15254 (xcsp3-exec) S 15251 15254 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418214012 115843072 364 33554432000 4194304 5098028 140735047137760 140735047135864 140030800069244 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22720512 140735047140215 140735047140457 140735047140457 140735047143370 0
/proc/15254/statm: 28282 364 305 221 0 87 0
[pid=15256] ppid=15254 vsize=28231644 memory=50212 CPUtime=0.52 cores=0-7
/proc/15256/stat : 15256 (java) S 15254 15254 12749 0 -1 1077944320 10881 0 0 0 47 5 0 0 20 0 20 0 418214012 28909203456 12553 33554432000 4194304 4196468 140737201777152 140737201759696 139769771233015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
/proc/15256/statm: 7057911 12553 3355 1 0 7019032 0
[pid=15256/tid=15257] ppid=15254 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/15256/task/15257/stat : 15257 (java) R 15254 15254 12749 0 -1 4202560 7772 0 0 0 27 2 0 0 20 0 20 0 418214012 28909203456 12553 33554432000 4194304 4196468 140737201777152 139769775468344 139769755313502 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15258] ppid=15254 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15258/stat : 15258 (java) S 15254 15254 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214013 28909203456 12553 33554432000 4194304 4196468 140737201777152 139769723853968 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15259] ppid=15254 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15259/stat : 15259 (java) S 15254 15254 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418214013 28909203456 12553 33554432000 4194304 4196468 140737201777152 139769722801168 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15260] ppid=15254 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15260/stat : 15260 (java) S 15254 15254 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214013 28909203456 12553 33554432000 4194304 4196468 140737201777152 139769721748368 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15261] ppid=15254 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15261/stat : 15261 (java) S 15254 15254 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214013 28909203456 12553 33554432000 4194304 4196468 140737201777152 139769720695568 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15262] ppid=15254 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15262/stat : 15262 (java) S 15254 15254 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214013 28909203456 12553 33554432000 4194304 4196468 140737201777152 139769719642768 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15263] ppid=15254 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15263/stat : 15263 (java) S 15254 15254 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214013 28909203456 12553 33554432000 4194304 4196468 140737201777152 139769718589968 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15264] ppid=15254 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15264/stat : 15264 (java) S 15254 15254 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214013 28909203456 12553 33554432000 4194304 4196468 140737201777152 139769717537168 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15265] ppid=15254 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15265/stat : 15265 (java) S 15254 15254 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214013 28909203456 12553 33554432000 4194304 4196468 140737201777152 139769716484368 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15266] ppid=15254 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15266/stat : 15266 (java) S 15254 15254 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418214015 28909203456 12553 33554432000 4194304 4196468 140737201777152 139768100809584 139769771244162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15267] ppid=15254 vsize=28231644 memory=280978773974400 CPUtime=0 cores=0-7
/proc/15256/task/15267/stat : 15267 (java) S 15254 15254 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418214015 28909203456 12553 33554432000 4194304 4196468 140737201777152 139768099755552 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15268] ppid=15254 vsize=28231644 memory=280978773979008 CPUtime=0 cores=0-7
/proc/15256/task/15268/stat : 15268 (java) S 15254 15254 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418214015 28909203456 12553 33554432000 4194304 4196468 140737201777152 139768098702704 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15269] ppid=15254 vsize=28231644 memory=280978773983616 CPUtime=0 cores=0-7
/proc/15256/task/15269/stat : 15269 (java) S 15254 15254 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214018 28909203456 12553 33554432000 4194304 4196468 140737201777152 139768097651024 139769771251611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15270] ppid=15254 vsize=28231644 memory=280978773988224 CPUtime=0.02 cores=0-7
/proc/15256/task/15270/stat : 15270 (java) S 15254 15254 12749 0 -1 1077944384 411 0 0 0 2 0 0 0 20 0 20 0 418214018 28909203456 12553 33554432000 4194304 4196468 140737201777152 139768096598384 139769771244162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15271] ppid=15254 vsize=28231644 memory=280978773992832 CPUtime=0.02 cores=0-7
/proc/15256/task/15271/stat : 15271 (java) R 15254 15254 12749 0 -1 4202560 429 0 0 0 2 0 0 0 20 0 20 0 418214018 28909203456 12553 33554432000 4194304 4196468 140737201777152 139768095526600 139769748884880 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15272] ppid=15254 vsize=28231644 memory=280978773997440 CPUtime=0.01 cores=0-7
/proc/15256/task/15272/stat : 15272 (java) S 15254 15254 12749 0 -1 1077944384 84 0 0 0 1 0 0 0 20 0 20 0 418214018 28909203456 12553 33554432000 4194304 4196468 140737201777152 139768094492784 139769771244162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15273] ppid=15254 vsize=28231644 memory=280978774002048 CPUtime=0.12 cores=0-7
/proc/15256/task/15273/stat : 15273 (java) S 15254 15254 12749 0 -1 1077944384 884 0 0 0 12 0 0 0 20 0 20 0 418214018 28909203456 12553 33554432000 4194304 4196468 140737201777152 139768093439984 139769771244162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15274] ppid=15254 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15274/stat : 15274 (java) S 15254 15254 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418214018 28909203456 12553 33554432000 4194304 4196468 140737201777152 139768092388448 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15275] ppid=15254 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/15256/task/15275/stat : 15275 (java) S 15254 15254 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418214018 28909203456 12553 33554432000 4194304 4196468 140737201777152 139768091335728 139769771244162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51668 KiB

[startup+0.700945 s]
/proc/loadavg: 7.72 7.78 6.35 4/212 15275
/proc/meminfo: memFree=30576564/32770624 swapFree=66997544/67108860
[pid=15254] ppid=15251 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15254/stat : 15254 (xcsp3-exec) S 15251 15254 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418214012 115843072 364 33554432000 4194304 5098028 140735047137760 140735047135864 140030800069244 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22720512 140735047140215 140735047140457 140735047140457 140735047143370 0
/proc/15254/statm: 28282 364 305 221 0 87 0
[pid=15256] ppid=15254 vsize=28233768 memory=110928 CPUtime=1.93 cores=0-7
/proc/15256/stat : 15256 (java) S 15254 15254 12749 0 -1 1077944320 15401 0 0 0 186 7 0 0 20 0 20 0 418214012 28911378432 27732 33554432000 4194304 4196468 140737201777152 140737201759696 139769771233015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
/proc/15256/statm: 7058442 27732 3449 1 0 7019544 0
[pid=15256/tid=15257] ppid=15254 vsize=28233768 memory=4580 CPUtime=0.67 cores=0-7
/proc/15256/task/15257/stat : 15257 (java) R 15254 15254 12749 0 -1 4202560 8413 0 0 0 64 3 0 0 20 0 20 0 418214012 28911378432 27732 33554432000 4194304 4196468 140737201777152 139769775471568 139769396708769 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15258] ppid=15254 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15258/stat : 15258 (java) S 15254 15254 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214013 28911378432 27732 33554432000 4194304 4196468 140737201777152 139769723853968 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15259] ppid=15254 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15259/stat : 15259 (java) S 15254 15254 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418214013 28911378432 27732 33554432000 4194304 4196468 140737201777152 139769722801168 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15260] ppid=15254 vsize=28233768 memory=4008 CPUtime=0 cores=0-7
/proc/15256/task/15260/stat : 15260 (java) S 15254 15254 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418214013 28911378432 27732 33554432000 4194304 4196468 140737201777152 139769721748368 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0

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

[pid=15256/tid=15265] ppid=15254 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7
/proc/15256/task/15265/stat : 15265 (java) S 15254 15254 12749 0 -1 1077944384 158 0 0 0 7 3 0 0 20 0 28 0 418214013 29458767872 171999 33554432000 4194304 4196468 140737201777152 139769716484368 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15266] ppid=15254 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7
/proc/15256/task/15266/stat : 15266 (java) S 15254 15254 12749 0 -1 1077944384 700 0 0 0 1 0 0 0 20 0 28 0 418214015 29458767872 171999 33554432000 4194304 4196468 140737201777152 139768100809584 139769771244162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15267] ppid=15254 vsize=28768328 memory=-1 CPUtime=0 cores=0-7
/proc/15256/task/15267/stat : 15267 (java) S 15254 15254 12749 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 418214015 29458767872 171999 33554432000 4194304 4196468 140737201777152 139768099755616 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15268] ppid=15254 vsize=28768328 memory=3467824627879784991 CPUtime=0 cores=0-7
/proc/15256/task/15268/stat : 15268 (java) S 15254 15254 12749 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 418214015 29458767872 171999 33554432000 4194304 4196468 140737201777152 139768098702720 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15269] ppid=15254 vsize=28768328 memory=7453018035563029612 CPUtime=0 cores=0-7
/proc/15256/task/15269/stat : 15269 (java) S 15254 15254 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418214018 29458767872 171999 33554432000 4194304 4196468 140737201777152 139768097651024 139769771251611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15270] ppid=15254 vsize=28768328 memory=7523376918531162212 CPUtime=2.66 cores=0-7
/proc/15256/task/15270/stat : 15270 (java) R 15254 15254 12749 0 -1 4202560 6662 0 0 0 264 2 0 0 20 0 28 0 418214018 29458767872 171999 33554432000 4194304 4196468 140737201777152 139768096584408 139769752777242 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15271] ppid=15254 vsize=28768328 memory=280978774014704 CPUtime=2.41 cores=0-7
/proc/15256/task/15271/stat : 15271 (java) S 15254 15254 12749 0 -1 1077944384 7020 0 0 0 239 2 0 0 20 0 28 0 418214018 29458767872 171999 33554432000 4194304 4196468 140737201777152 139768095545584 139769771244162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15272] ppid=15254 vsize=28768328 memory=-6380006475353828994 CPUtime=2.73 cores=0-7
/proc/15256/task/15272/stat : 15272 (java) R 15254 15254 12749 0 -1 4202560 13480 0 0 0 270 3 0 0 20 0 28 0 418214018 29458767872 171999 33554432000 4194304 4196468 140737201777152 139768094474344 139769750471424 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15273] ppid=15254 vsize=28768328 memory=-7880843606118635149 CPUtime=0.74 cores=0-7
/proc/15256/task/15273/stat : 15273 (java) S 15254 15254 12749 0 -1 1077944384 3508 0 0 0 73 1 0 0 20 0 28 0 418214018 29458767872 171999 33554432000 4194304 4196468 140737201777152 139768093439984 139769771244162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15274] ppid=15254 vsize=28768328 memory=28911378432 CPUtime=0 cores=0-7
/proc/15256/task/15274/stat : 15274 (java) S 15254 15254 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418214018 29458767872 171999 33554432000 4194304 4196468 140737201777152 139768092388448 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15275] ppid=15254 vsize=28768328 memory=670 CPUtime=0 cores=0-7
/proc/15256/task/15275/stat : 15275 (java) S 15254 15254 12749 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 418214018 29458767872 171999 33554432000 4194304 4196468 140737201777152 139768091335728 139769771244162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15284] ppid=15254 vsize=28768328 memory=140489387163635 CPUtime=0.28 cores=0-7
/proc/15256/task/15284/stat : 15284 (java) R 15254 15254 12749 0 -1 1077944384 22 0 0 0 28 0 0 0 20 0 28 0 418214369 29458767872 171999 33554432000 4194304 4196468 140737201777152 139768072894704 139769771243221 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15285] ppid=15254 vsize=28768328 memory=5859555172428239440 CPUtime=0.28 cores=0-7
/proc/15256/task/15285/stat : 15285 (java) R 15254 15254 12749 0 -1 4202560 20 0 0 0 28 0 0 0 20 0 28 0 418214369 29458767872 171999 33554432000 4194304 4196468 140737201777152 139768075001256 139769398723719 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15286] ppid=15254 vsize=28768328 memory=6935651454782824512 CPUtime=0.28 cores=0-7
/proc/15256/task/15286/stat : 15286 (java) S 15254 15254 12749 0 -1 1077944384 18 0 0 0 28 0 0 0 20 0 28 0 418214369 29458767872 171999 33554432000 4194304 4196468 140737201777152 139768077110128 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15287] ppid=15254 vsize=28768328 memory=7100839878609826928 CPUtime=0.28 cores=0-7
/proc/15256/task/15287/stat : 15287 (java) R 15254 15254 12749 0 -1 4202560 53 0 0 0 28 0 0 0 20 0 28 0 418214369 29458767872 171999 33554432000 4194304 4196468 140737201777152 139768078159472 139769401747088 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15288] ppid=15254 vsize=28768328 memory=6944613755328037012 CPUtime=0.3 cores=0-7
/proc/15256/task/15288/stat : 15288 (java) R 15254 15254 12749 0 -1 4202560 17 0 0 0 30 0 0 0 20 0 28 0 418214369 29458767872 171999 33554432000 4194304 4196468 140737201777152 139768076053408 139769401746949 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15289] ppid=15254 vsize=28768328 memory=6944656425123094137 CPUtime=0.33 cores=0-7
/proc/15256/task/15289/stat : 15289 (java) R 15254 15254 12749 0 -1 4202560 17 0 0 0 33 0 0 0 20 0 28 0 418214369 29458767872 171999 33554432000 4194304 4196468 140737201777152 139768082360424 139769401746359 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15290] ppid=15254 vsize=28768328 memory=8303054830060986464 CPUtime=0.31 cores=0-7
/proc/15256/task/15290/stat : 15290 (java) R 15254 15254 12749 0 -1 4202560 70 0 0 0 31 0 0 0 20 0 28 0 418214369 29458767872 171999 33554432000 4194304 4196468 140737201777152 139768073948016 139769401747779 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15291] ppid=15254 vsize=28768328 memory=4627829660337606006 CPUtime=0.31 cores=0-7
/proc/15256/task/15291/stat : 15291 (java) R 15254 15254 12749 0 -1 4202560 18 0 0 0 31 0 0 0 20 0 28 0 418214369 29458767872 171999 33554432000 4194304 4196468 140737201777152 139768079211288 139769398723741 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
Current children cumulated CPU time: 17.3 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 689452 KiB

[startup+4.80161 s]
/proc/loadavg: 7.42 7.71 6.34 11/220 15291
/proc/meminfo: memFree=29959076/32770624 swapFree=66997544/67108860
[pid=15254] ppid=15251 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15254/stat : 15254 (xcsp3-exec) S 15251 15254 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418214012 115843072 364 33554432000 4194304 5098028 140735047137760 140735047135864 140030800069244 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22720512 140735047140215 140735047140457 140735047140457 140735047143370 0
/proc/15254/statm: 28282 364 305 221 0 87 0
[pid=15256] ppid=15254 vsize=28771828 memory=698472 CPUtime=21.89 cores=0-7
/proc/15256/stat : 15256 (java) S 15254 15254 12749 0 -1 1077944320 51316 0 0 0 2147 42 0 0 20 0 28 0 418214012 29462351872 174618 33554432000 4194304 4196468 140737201777152 140737201759696 139769771233015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
/proc/15256/statm: 7192957 174618 3527 1 0 7154059 0
[pid=15256/tid=15257] ppid=15254 vsize=28771828 memory=0 CPUtime=2.82 cores=0-7
/proc/15256/task/15257/stat : 15257 (java) S 15254 15254 12749 0 -1 1077944384 11126 0 0 0 272 10 0 0 20 0 28 0 418214012 29462351872 174618 33554432000 4194304 4196468 140737201777152 139769775473792 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15258] ppid=15254 vsize=28771828 memory=0 CPUtime=0.05 cores=0-7
/proc/15256/task/15258/stat : 15258 (java) S 15254 15254 12749 0 -1 1077944384 131 0 0 0 5 0 0 0 20 0 28 0 418214013 29462351872 174618 33554432000 4194304 4196468 140737201777152 139769723853968 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15259] ppid=15254 vsize=28771828 memory=0 CPUtime=0.09 cores=0-7
/proc/15256/task/15259/stat : 15259 (java) S 15254 15254 12749 0 -1 1077944384 97 0 0 0 7 2 0 0 20 0 28 0 418214013 29462351872 174618 33554432000 4194304 4196468 140737201777152 139769722801168 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15260] ppid=15254 vsize=28771828 memory=0 CPUtime=0.1 cores=0-7
/proc/15256/task/15260/stat : 15260 (java) S 15254 15254 12749 0 -1 1077944384 227 0 0 0 7 3 0 0 20 0 28 0 418214013 29462351872 174618 33554432000 4194304 4196468 140737201777152 139769721748368 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15261] ppid=15254 vsize=28771828 memory=6791534058613427641 CPUtime=0.09 cores=0-7
/proc/15256/task/15261/stat : 15261 (java) S 15254 15254 12749 0 -1 1077944384 154 0 0 0 7 2 0 0 20 0 28 0 418214013 29462351872 174618 33554432000 4194304 4196468 140737201777152 139769720695568 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15262] ppid=15254 vsize=28771828 memory=288230617509003574 CPUtime=0.05 cores=0-7
/proc/15256/task/15262/stat : 15262 (java) S 15254 15254 12749 0 -1 1077944384 542 0 0 0 4 1 0 0 20 0 28 0 418214013 29462351872 174618 33554432000 4194304 4196468 140737201777152 139769719642768 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15263] ppid=15254 vsize=28771828 memory=15252636593031516 CPUtime=0.07 cores=0-7
/proc/15256/task/15263/stat : 15263 (java) S 15254 15254 12749 0 -1 1077944384 215 0 0 0 6 1 0 0 20 0 28 0 418214013 29462351872 174618 33554432000 4194304 4196468 140737201777152 139769718589968 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15264] ppid=15254 vsize=28771828 memory=0 CPUtime=0.1 cores=0-7
/proc/15256/task/15264/stat : 15264 (java) S 15254 15254 12749 0 -1 1077944384 238 0 0 0 8 2 0 0 20 0 28 0 418214013 29462351872 174618 33554432000 4194304 4196468 140737201777152 139769717537168 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15265] ppid=15254 vsize=28771828 memory=6656426216303648864 CPUtime=0.1 cores=0-7
/proc/15256/task/15265/stat : 15265 (java) S 15254 15254 12749 0 -1 1077944384 158 0 0 0 7 3 0 0 20 0 28 0 418214013 29462351872 174618 33554432000 4194304 4196468 140737201777152 139769716484368 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15266] ppid=15254 vsize=28771828 memory=0 CPUtime=0.01 cores=0-7
/proc/15256/task/15266/stat : 15266 (java) S 15254 15254 12749 0 -1 1077944384 700 0 0 0 1 0 0 0 20 0 28 0 418214015 29462351872 174618 33554432000 4194304 4196468 140737201777152 139768100809584 139769771244162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15267] ppid=15254 vsize=28771828 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15267/stat : 15267 (java) S 15254 15254 12749 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 418214015 29462351872 174618 33554432000 4194304 4196468 140737201777152 139768099755616 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15268] ppid=15254 vsize=28771828 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15268/stat : 15268 (java) S 15254 15254 12749 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 418214015 29462351872 174618 33554432000 4194304 4196468 140737201777152 139768098702720 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15269] ppid=15254 vsize=28771828 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15269/stat : 15269 (java) S 15254 15254 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418214018 29462351872 174618 33554432000 4194304 4196468 140737201777152 139768097651024 139769771251611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15270] ppid=15254 vsize=28771828 memory=0 CPUtime=3.2 cores=0-7
/proc/15256/task/15270/stat : 15270 (java) S 15254 15254 12749 0 -1 1077944384 7414 0 0 0 318 2 0 0 20 0 28 0 418214018 29462351872 174618 33554432000 4194304 4196468 140737201777152 139768096598384 139769771244162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15271] ppid=15254 vsize=28771828 memory=6791534058613427641 CPUtime=2.76 cores=0-7
/proc/15256/task/15271/stat : 15271 (java) R 15254 15254 12749 0 -1 4202560 7588 0 0 0 274 2 0 0 20 0 28 0 418214018 29462351872 174618 33554432000 4194304 4196468 140737201777152 139768095526600 139769754733213 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15272] ppid=15254 vsize=28771828 memory=0 CPUtime=3.5 cores=0-7
/proc/15256/task/15272/stat : 15272 (java) R 15254 15254 12749 0 -1 4202560 16793 0 0 0 346 4 0 0 20 0 28 0 418214018 29462351872 174618 33554432000 4194304 4196468 140737201777152 139768094478944 139769752777455 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15273] ppid=15254 vsize=28771828 memory=0 CPUtime=0.78 cores=0-7
/proc/15256/task/15273/stat : 15273 (java) S 15254 15254 12749 0 -1 1077944384 3632 0 0 0 77 1 0 0 20 0 28 0 418214018 29462351872 174618 33554432000 4194304 4196468 140737201777152 139768093439984 139769771244162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15274] ppid=15254 vsize=28771828 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15274/stat : 15274 (java) S 15254 15254 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418214018 29462351872 174618 33554432000 4194304 4196468 140737201777152 139768092388448 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15275] ppid=15254 vsize=28771828 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15275/stat : 15275 (java) S 15254 15254 12749 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 418214018 29462351872 174618 33554432000 4194304 4196468 140737201777152 139768091335728 139769771244162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
Current children cumulated CPU time: 21.89 s
Current children cumulated vsize: 28884956 KiB
Current children cumulated memory: 699928 KiB

[startup+5.00661 s]*
/proc/loadavg: 7.42 7.71 6.34 13/220 15307
/proc/meminfo: memFree=29942992/32770624 swapFree=66997544/67108860
[pid=15254] ppid=15251 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15254/stat : 15254 (xcsp3-exec) S 15251 15254 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418214012 115843072 364 33554432000 4194304 5098028 140735047137760 140735047135864 140030800069244 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22720512 140735047140215 140735047140457 140735047140457 140735047143370 0
/proc/15254/statm: 28282 364 305 221 0 87 0
[pid=15256] ppid=15254 vsize=28768328 memory=702152 CPUtime=22.48 cores=0-7
/proc/15256/stat : 15256 (java) S 15254 15254 12749 0 -1 1077944320 53266 0 0 0 2205 43 0 0 20 0 28 0 418214012 29458767872 175538 33554432000 4194304 4196468 140737201777152 140737201759696 139769771233015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
/proc/15256/statm: 7192082 175538 3528 1 0 7153184 0
[pid=15256/tid=15257] ppid=15254 vsize=28768328 memory=8317482817917895235 CPUtime=2.82 cores=0-7
/proc/15256/task/15257/stat : 15257 (java) R 15254 15254 12749 0 -1 4202560 11139 0 0 0 272 10 0 0 20 0 28 0 418214012 29458767872 175538 33554432000 4194304 4196468 140737201777152 139769775471376 139769749232715 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15258] ppid=15254 vsize=28768328 memory=0 CPUtime=0.05 cores=0-7
/proc/15256/task/15258/stat : 15258 (java) S 15254 15254 12749 0 -1 1077944384 131 0 0 0 5 0 0 0 20 0 28 0 418214013 29458767872 175538 33554432000 4194304 4196468 140737201777152 139769723853968 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15259] ppid=15254 vsize=28768328 memory=0 CPUtime=0.09 cores=0-7
/proc/15256/task/15259/stat : 15259 (java) S 15254 15254 12749 0 -1 1077944384 97 0 0 0 7 2 0 0 20 0 28 0 418214013 29458767872 175538 33554432000 4194304 4196468 140737201777152 139769722801168 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15260] ppid=15254 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7
/proc/15256/task/15260/stat : 15260 (java) S 15254 15254 12749 0 -1 1077944384 227 0 0 0 7 3 0 0 20 0 28 0 418214013 29458767872 175538 33554432000 4194304 4196468 140737201777152 139769721748368 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15261] ppid=15254 vsize=28768328 memory=0 CPUtime=0.09 cores=0-7
/proc/15256/task/15261/stat : 15261 (java) S 15254 15254 12749 0 -1 1077944384 154 0 0 0 7 2 0 0 20 0 28 0 418214013 29458767872 175538 33554432000 4194304 4196468 140737201777152 139769720695568 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15262] ppid=15254 vsize=28768328 memory=0 CPUtime=0.05 cores=0-7
/proc/15256/task/15262/stat : 15262 (java) S 15254 15254 12749 0 -1 1077944384 542 0 0 0 4 1 0 0 20 0 28 0 418214013 29458767872 175538 33554432000 4194304 4196468 140737201777152 139769719642768 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15263] ppid=15254 vsize=28768328 memory=0 CPUtime=0.07 cores=0-7
/proc/15256/task/15263/stat : 15263 (java) S 15254 15254 12749 0 -1 1077944384 215 0 0 0 6 1 0 0 20 0 28 0 418214013 29458767872 175538 33554432000 4194304 4196468 140737201777152 139769718589968 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15264] ppid=15254 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7
/proc/15256/task/15264/stat : 15264 (java) S 15254 15254 12749 0 -1 1077944384 238 0 0 0 8 2 0 0 20 0 28 0 418214013 29458767872 175538 33554432000 4194304 4196468 140737201777152 139769717537168 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15265] ppid=15254 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7
/proc/15256/task/15265/stat : 15265 (java) S 15254 15254 12749 0 -1 1077944384 158 0 0 0 7 3 0 0 20 0 28 0 418214013 29458767872 175538 33554432000 4194304 4196468 140737201777152 139769716484368 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15266] ppid=15254 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7
/proc/15256/task/15266/stat : 15266 (java) S 15254 15254 12749 0 -1 1077944384 700 0 0 0 1 0 0 0 20 0 28 0 418214015 29458767872 175538 33554432000 4194304 4196468 140737201777152 139768100809744 139769771243221 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15267] ppid=15254 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15267/stat : 15267 (java) S 15254 15254 12749 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 418214015 29458767872 175538 33554432000 4194304 4196468 140737201777152 139768099755616 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15268] ppid=15254 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15268/stat : 15268 (java) S 15254 15254 12749 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 418214015 29458767872 175538 33554432000 4194304 4196468 140737201777152 139768098702720 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15269] ppid=15254 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15269/stat : 15269 (java) S 15254 15254 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418214018 29458767872 175538 33554432000 4194304 4196468 140737201777152 139768097651024 139769771251611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15270] ppid=15254 vsize=28768328 memory=0 CPUtime=3.25 cores=0-7
/proc/15256/task/15270/stat : 15270 (java) R 15254 15254 12749 0 -1 4202560 8049 0 0 0 323 2 0 0 20 0 28 0 418214018 29458767872 175538 33554432000 4194304 4196468 140737201777152 139768096598512 139769750484606 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15271] ppid=15254 vsize=28768328 memory=0 CPUtime=2.94 cores=0-7
/proc/15256/task/15271/stat : 15271 (java) R 15254 15254 12749 0 -1 4202560 8541 0 0 0 292 2 0 0 20 0 28 0 418214018 29458767872 175538 33554432000 4194304 4196468 140737201777152 139768095545880 139769749083200 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15272] ppid=15254 vsize=28768328 memory=0 CPUtime=3.59 cores=0-7
/proc/15256/task/15272/stat : 15272 (java) R 15254 15254 12749 0 -1 4202560 16935 0 0 0 355 4 0 0 20 0 28 0 418214018 29458767872 175538 33554432000 4194304 4196468 140737201777152 139768094472592 139769754719270 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15273] ppid=15254 vsize=28768328 memory=0 CPUtime=0.8 cores=0-7
/proc/15256/task/15273/stat : 15273 (java) S 15254 15254 12749 0 -1 1077944384 3658 0 0 0 79 1 0 0 20 0 28 0 418214018 29458767872 175538 33554432000 4194304 4196468 140737201777152 139768093439984 139769771244162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15274] ppid=15254 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15274/stat : 15274 (java) S 15254 15254 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418214018 29458767872 175538 33554432000 4194304 4196468 140737201777152 139768092388448 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15275] ppid=15254 vsize=28768328 memory=-1 CPUtime=0 cores=0-7
/proc/15256/task/15275/stat : 15275 (java) S 15254 15254 12749 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 418214018 29458767872 175538 33554432000 4194304 4196468 140737201777152 139768091335728 139769771244162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15300] ppid=15254 vsize=28768328 memory=-1 CPUtime=0 cores=0-7
/proc/15256/task/15300/stat : 15300 (java) S 15254 15254 12749 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 418214512 29458767872 175538 33554432000 4194304 4196468 140737201777152 139768079218304 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15301] ppid=15254 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7
/proc/15256/task/15301/stat : 15301 (java) S 15254 15254 12749 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 28 0 418214512 29458767872 175538 33554432000 4194304 4196468 140737201777152 139768078165504 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15302] ppid=15254 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15302/stat : 15302 (java) R 15254 15254 12749 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 418214512 29458767872 175538 33554432000 4194304 4196468 140737201777152 139768076059664 139769771243221 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15303] ppid=15254 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7
/proc/15256/task/15303/stat : 15303 (java) S 15254 15254 12749 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 28 0 418214512 29458767872 175538 33554432000 4194304 4196468 140737201777152 139768077112544 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15304] ppid=15254 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7
/proc/15256/task/15304/stat : 15304 (java) S 15254 15254 12749 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 28 0 418214512 29458767872 175538 33554432000 4194304 4196468 140737201777152 139768082367584 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15305] ppid=15254 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7
/proc/15256/task/15305/stat : 15305 (java) S 15254 15254 12749 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 418214512 29458767872 175538 33554432000 4194304 4196468 140737201777152 139768073954272 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15306] ppid=15254 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15306/stat : 15306 (java) S 15254 15254 12749 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 418214512 29458767872 175540 33554432000 4194304 4196468 140737201777152 139768072900464 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
[pid=15256/tid=15307] ppid=15254 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/15256/task/15307/stat : 15307 (java) S 15254 15254 12749 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 418214513 29458767872 175540 33554432000 4194304 4196468 140737201777152 139768075007744 139769771243221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35631104 140737201783786 140737201783958 140737201783958 140737201786831 0
Current children cumulated CPU time: 22.48 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 703608 KiB

Child status: 0
Real time (s): 5.03998
CPU time (s): 22.5215
CPU user time (s): 22.0753
CPU system time (s): 0.446214
CPU usage (%): 446.857
Max. virtual memory (cumulated for all children) (KiB): 28884956
Max. memory (cumulated for all children) (KiB): 703608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.0753
system time used= 0.446214
maximum resident set size= 704000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53882
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4928
involuntary context switches= 368


# summary of solver processes directly reported to runsolver:
#   pid: 15254
#   total CPU time (s): 22.5215
#   total CPU user time (s): 22.0753
#   total CPU system time (s): 0.446214

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.06146 second user time and 0.098121 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash608GPIA.xml
MD5SUM	0df69417c613ef889e63c8df69e0b506
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	3
Best CPU time to get the best result obtained on this benchmark	1.33999
Satisfiable
(Un)Satisfiability was proved
Number of variables	1216
Number of constraints	7844
Number of domains	1
Minimum domain size	1216
Maximum domain size	1216
Distribution of domain sizes	[{"size":1216,"count":1216}]
Minimum variable degree	2
Maximum variable degree	21
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":6,"count":2},{"degree":7,"count":13},{"degree":8,"count":18},{"degree":9,"count":26},{"degree":10,"count":54},{"degree":11,"count":102},{"degree":12,"count":128},{"degree":13,"count":194},{"degree":14,"count":189},{"degree":15,"count":154},{"degree":16,"count":130},{"degree":17,"count":97},{"degree":18,"count":66},{"degree":19,"count":22},{"degree":20,"count":10},{"degree":21,"count":10}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":7844}]
Number of extensional constraints	0
Number of intensional constraints	7844
Distribution of constraint types	[{"type":"intension","count":7844}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4393769

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
