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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16 parallel	OPT	6	25.5742	5.51417
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 (13804 MiB free)
  memory of node 1: 16384 MiB (15807 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399730-1568701001/watcher-4399730-1568701001 -o /tmp/evaluation-result-4399730-1568701001/solver-4399730-1568701001 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568700954-9021 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 144505245 HOME/instance-4399730-1568701001.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9188, runsolver pid=9185
Current StackSize limit: 8192 KiB


[startup+0.10013 s]*
/proc/loadavg: 3.79 4.54 5.36 2/211 9209
/proc/meminfo: memFree=30304752/32770624 swapFree=66998768/67108860
[pid=9188] ppid=9185 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9188/stat : 9188 (xcsp3-exec) S 9185 9188 8994 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446364925 115843072 363 33554432000 4194304 5098028 140723897619360 140723897617464 140447303099004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8888320 140723897623414 140723897623657 140723897623657 140723897626570 0
/proc/9188/statm: 28282 363 304 221 0 87 0
[pid=9190] ppid=9188 vsize=28227396 memory=30220 CPUtime=0.12 cores=0-7
/proc/9190/stat : 9190 (java) S 9188 9188 8994 0 -1 1077944320 5522 0 0 0 11 1 0 0 20 0 20 0 446364925 28904853504 7555 33554432000 4194304 4196468 140728714440032 140728714422576 140472379277047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
/proc/9190/statm: 7056849 7555 3122 1 0 7019032 0
[pid=9190/tid=9191] ppid=9188 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/9190/task/9191/stat : 9191 (java) R 9188 9188 8994 0 -1 4202560 3429 0 0 0 8 0 0 0 20 0 20 0 446364925 28904853504 7555 33554432000 4194304 4196468 140728714440032 140472383503008 140472379288982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9192] ppid=9188 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9190/task/9192/stat : 9192 (java) S 9188 9188 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364926 28904853504 7555 33554432000 4194304 4196468 140728714440032 140472342382992 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9193] ppid=9188 vsize=28227396 memory=140681112196736 CPUtime=0 cores=0-7
/proc/9190/task/9193/stat : 9193 (java) S 9188 9188 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364926 28904853504 7555 33554432000 4194304 4196468 140728714440032 140471930050832 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9194] ppid=9188 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9194/stat : 9194 (java) S 9188 9188 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364926 28904853504 7555 33554432000 4194304 4196468 140728714440032 140471928998544 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9195] ppid=9188 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9195/stat : 9195 (java) S 9188 9188 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364926 28904853504 7555 33554432000 4194304 4196468 140728714440032 140471927945744 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9196] ppid=9188 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9196/stat : 9196 (java) S 9188 9188 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364926 28904853504 7555 33554432000 4194304 4196468 140728714440032 140471926893456 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9197] ppid=9188 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9190/task/9197/stat : 9197 (java) S 9188 9188 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364926 28904853504 7555 33554432000 4194304 4196468 140728714440032 140471925840656 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9198] ppid=9188 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9198/stat : 9198 (java) S 9188 9188 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364926 28904853504 7555 33554432000 4194304 4196468 140728714440032 140471924788368 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9199] ppid=9188 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9199/stat : 9199 (java) S 9188 9188 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446364926 28904853504 7555 33554432000 4194304 4196468 140728714440032 140471923735568 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9200] ppid=9188 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9200/stat : 9200 (java) S 9188 9188 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364927 28904853504 7555 33554432000 4194304 4196468 140728714440032 140471495608432 140472379288194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9201] ppid=9188 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9201/stat : 9201 (java) S 9188 9188 8994 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446364928 28904853504 7555 33554432000 4194304 4196468 140728714440032 140471494554400 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9202] ppid=9188 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9202/stat : 9202 (java) S 9188 9188 8994 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446364928 28904853504 7555 33554432000 4194304 4196468 140728714440032 140471493502064 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9203] ppid=9188 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9203/stat : 9203 (java) S 9188 9188 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364930 28904853504 7555 33554432000 4194304 4196468 140728714440032 140471492450384 140472379295643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9204] ppid=9188 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9204/stat : 9204 (java) R 9188 9188 8994 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 446364931 28904853504 7555 33554432000 4194304 4196468 140728714440032 140471491398256 140472379288194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9205] ppid=9188 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9205/stat : 9205 (java) S 9188 9188 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446364931 28904853504 7555 33554432000 4194304 4196468 140728714440032 140471490345456 140472379288194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9206] ppid=9188 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9206/stat : 9206 (java) S 9188 9188 8994 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 446364931 28904853504 7555 33554432000 4194304 4196468 140728714440032 140471489293168 140472379288194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9207] ppid=9188 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9190/task/9207/stat : 9207 (java) R 9188 9188 8994 0 -1 4202560 352 0 0 0 1 0 0 0 20 0 20 0 446364931 28904853504 7555 33554432000 4194304 4196468 140728714440032 140471488240368 140472379288982 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9208] ppid=9188 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9208/stat : 9208 (java) S 9188 9188 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446364931 28904853504 7555 33554432000 4194304 4196468 140728714440032 140471487187296 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9209] ppid=9188 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9190/task/9209/stat : 9209 (java) S 9188 9188 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364931 28904853504 7555 33554432000 4194304 4196468 140728714440032 140471486134576 140472379288194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31672 KiB

[startup+0.213979 s]*
/proc/loadavg: 3.79 4.54 5.36 2/211 9209
/proc/meminfo: memFree=30291720/32770624 swapFree=66998768/67108860
[pid=9188] ppid=9185 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9188/stat : 9188 (xcsp3-exec) S 9185 9188 8994 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446364925 115843072 363 33554432000 4194304 5098028 140723897619360 140723897617464 140447303099004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8888320 140723897623414 140723897623657 140723897623657 140723897626570 0
/proc/9188/statm: 28282 363 304 221 0 87 0
[pid=9190] ppid=9188 vsize=28227396 memory=41532 CPUtime=0.35 cores=0-7
/proc/9190/stat : 9190 (java) S 9188 9188 8994 0 -1 1077944320 9058 0 0 0 32 3 0 0 20 0 20 0 446364925 28904853504 10383 33554432000 4194304 4196468 140728714440032 140728714422576 140472379277047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
/proc/9190/statm: 7056849 10383 3304 1 0 7019032 0
[pid=9190/tid=9191] ppid=9188 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/9190/task/9191/stat : 9191 (java) R 9188 9188 8994 0 -1 4202560 6262 0 0 0 18 2 0 0 20 0 20 0 446364925 28904853504 10383 33554432000 4194304 4196468 140728714440032 140472383512032 140472379298973 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9192] ppid=9188 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/9190/task/9192/stat : 9192 (java) S 9188 9188 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364926 28904853504 10383 33554432000 4194304 4196468 140728714440032 140472342382992 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9193] ppid=9188 vsize=28227396 memory=140681112206177 CPUtime=0 cores=0-7
/proc/9190/task/9193/stat : 9193 (java) S 9188 9188 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364926 28904853504 10383 33554432000 4194304 4196468 140728714440032 140471930050832 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9194] ppid=9188 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9190/task/9194/stat : 9194 (java) S 9188 9188 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364926 28904853504 10383 33554432000 4194304 4196468 140728714440032 140471928998544 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9195] ppid=9188 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9195/stat : 9195 (java) S 9188 9188 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364926 28904853504 10383 33554432000 4194304 4196468 140728714440032 140471927945744 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9196] ppid=9188 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9196/stat : 9196 (java) S 9188 9188 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364926 28904853504 10383 33554432000 4194304 4196468 140728714440032 140471926893456 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9197] ppid=9188 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9190/task/9197/stat : 9197 (java) S 9188 9188 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364926 28904853504 10383 33554432000 4194304 4196468 140728714440032 140471925840656 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9198] ppid=9188 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9198/stat : 9198 (java) S 9188 9188 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364926 28904853504 10383 33554432000 4194304 4196468 140728714440032 140471924788368 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9199] ppid=9188 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9199/stat : 9199 (java) S 9188 9188 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446364926 28904853504 10383 33554432000 4194304 4196468 140728714440032 140471923735568 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9200] ppid=9188 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9200/stat : 9200 (java) S 9188 9188 8994 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446364927 28904853504 10383 33554432000 4194304 4196468 140728714440032 140471495608432 140472379288194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9201] ppid=9188 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9201/stat : 9201 (java) S 9188 9188 8994 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446364928 28904853504 10383 33554432000 4194304 4196468 140728714440032 140471494554400 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9202] ppid=9188 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9202/stat : 9202 (java) S 9188 9188 8994 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446364928 28904853504 10383 33554432000 4194304 4196468 140728714440032 140471493502064 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9203] ppid=9188 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9203/stat : 9203 (java) S 9188 9188 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364930 28904853504 10383 33554432000 4194304 4196468 140728714440032 140471492450384 140472379295643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9204] ppid=9188 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/9190/task/9204/stat : 9204 (java) S 9188 9188 8994 0 -1 1077944384 463 0 0 0 2 0 0 0 20 0 20 0 446364931 28904853504 10383 33554432000 4194304 4196468 140728714440032 140471491398256 140472379288194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9205] ppid=9188 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9205/stat : 9205 (java) S 9188 9188 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446364931 28904853504 10383 33554432000 4194304 4196468 140728714440032 140471490345456 140472379288194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9206] ppid=9188 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/9190/task/9206/stat : 9206 (java) S 9188 9188 8994 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 20 0 446364931 28904853504 10383 33554432000 4194304 4196468 140728714440032 140471489293168 140472379288194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9207] ppid=9188 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/9190/task/9207/stat : 9207 (java) R 9188 9188 8994 0 -1 4202560 737 0 0 0 8 0 0 0 20 0 20 0 446364931 28904853504 10383 33554432000 4194304 4196468 140728714440032 140471488240368 140472379298394 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9208] ppid=9188 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9208/stat : 9208 (java) S 9188 9188 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446364931 28904853504 10383 33554432000 4194304 4196468 140728714440032 140471487187296 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9209] ppid=9188 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9190/task/9209/stat : 9209 (java) S 9188 9188 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364931 28904853504 10383 33554432000 4194304 4196468 140728714440032 140471486134576 140472379288194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42984 KiB

[startup+0.317782 s]*
/proc/loadavg: 3.79 4.54 5.36 3/211 9209
/proc/meminfo: memFree=30285580/32770624 swapFree=66998768/67108860
[pid=9188] ppid=9185 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9188/stat : 9188 (xcsp3-exec) S 9185 9188 8994 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446364925 115843072 363 33554432000 4194304 5098028 140723897619360 140723897617464 140447303099004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8888320 140723897623414 140723897623657 140723897623657 140723897626570 0
/proc/9188/statm: 28282 363 304 221 0 87 0
[pid=9190] ppid=9188 vsize=28231652 memory=50636 CPUtime=0.54 cores=0-7
/proc/9190/stat : 9190 (java) S 9188 9188 8994 0 -1 1077944320 10532 0 0 0 50 4 0 0 20 0 20 0 446364925 28909211648 12659 33554432000 4194304 4196468 140728714440032 140728714422576 140472379277047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
/proc/9190/statm: 7057913 12659 3349 1 0 7019032 0
[pid=9190/tid=9191] ppid=9188 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/9190/task/9191/stat : 9191 (java) R 9188 9188 8994 0 -1 4202560 7472 0 0 0 28 2 0 0 20 0 20 0 446364925 28909211648 12724 33554432000 4194304 4196468 140728714440032 140472383508160 140472363357534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9192] ppid=9188 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9192/stat : 9192 (java) S 9188 9188 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364926 28909211648 12724 33554432000 4194304 4196468 140728714440032 140472342382992 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9193] ppid=9188 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9193/stat : 9193 (java) S 9188 9188 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364926 28909211648 12724 33554432000 4194304 4196468 140728714440032 140471930050832 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9194] ppid=9188 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9194/stat : 9194 (java) S 9188 9188 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364926 28909211648 12724 33554432000 4194304 4196468 140728714440032 140471928998544 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9195] ppid=9188 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9195/stat : 9195 (java) S 9188 9188 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364926 28909211648 12724 33554432000 4194304 4196468 140728714440032 140471927945744 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9196] ppid=9188 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9196/stat : 9196 (java) S 9188 9188 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364926 28909211648 12724 33554432000 4194304 4196468 140728714440032 140471926893456 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9197] ppid=9188 vsize=28231652 memory=140680982784687 CPUtime=0 cores=0-7
/proc/9190/task/9197/stat : 9197 (java) S 9188 9188 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364926 28909211648 12724 33554432000 4194304 4196468 140728714440032 140471925840656 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9198] ppid=9188 vsize=28231652 memory=140680982786992 CPUtime=0 cores=0-7
/proc/9190/task/9198/stat : 9198 (java) S 9188 9188 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364926 28909211648 12724 33554432000 4194304 4196468 140728714440032 140471924788368 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9199] ppid=9188 vsize=28231652 memory=140680982789296 CPUtime=0 cores=0-7
/proc/9190/task/9199/stat : 9199 (java) S 9188 9188 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446364926 28909211648 12724 33554432000 4194304 4196468 140728714440032 140471923735568 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9200] ppid=9188 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9200/stat : 9200 (java) S 9188 9188 8994 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446364927 28909211648 12724 33554432000 4194304 4196468 140728714440032 140471495608432 140472379288194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9201] ppid=9188 vsize=28231652 memory=281361965592464 CPUtime=0 cores=0-7
/proc/9190/task/9201/stat : 9201 (java) S 9188 9188 8994 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446364928 28909211648 12724 33554432000 4194304 4196468 140728714440032 140471494554400 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9202] ppid=9188 vsize=28231652 memory=281361965590160 CPUtime=0 cores=0-7
/proc/9190/task/9202/stat : 9202 (java) S 9188 9188 8994 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446364928 28909211648 12724 33554432000 4194304 4196468 140728714440032 140471493502064 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9203] ppid=9188 vsize=28231652 memory=281361965597072 CPUtime=0 cores=0-7
/proc/9190/task/9203/stat : 9203 (java) S 9188 9188 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364930 28909211648 12724 33554432000 4194304 4196468 140728714440032 140471492450384 140472379295643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9204] ppid=9188 vsize=28231652 memory=281361965538352 CPUtime=0.03 cores=0-7
/proc/9190/task/9204/stat : 9204 (java) S 9188 9188 8994 0 -1 1077944384 475 0 0 0 3 0 0 0 20 0 20 0 446364931 28909211648 12724 33554432000 4194304 4196468 140728714440032 140471491398256 140472379288194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9205] ppid=9188 vsize=28231652 memory=281361965610896 CPUtime=0.01 cores=0-7
/proc/9190/task/9205/stat : 9205 (java) S 9188 9188 8994 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 20 0 446364931 28909211648 12724 33554432000 4194304 4196468 140728714440032 140471490345456 140472379288194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9206] ppid=9188 vsize=28231652 memory=281361965617808 CPUtime=0.04 cores=0-7
/proc/9190/task/9206/stat : 9206 (java) S 9188 9188 8994 0 -1 1077944384 415 0 0 0 4 0 0 0 20 0 20 0 446364931 28909211648 12724 33554432000 4194304 4196468 140728714440032 140471489293168 140472379288194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9207] ppid=9188 vsize=28231652 memory=281361965615504 CPUtime=0.12 cores=0-7
/proc/9190/task/9207/stat : 9207 (java) R 9188 9188 8994 0 -1 4202560 821 0 0 0 12 0 0 0 20 0 20 0 446364931 28909211648 12724 33554432000 4194304 4196468 140728714440032 140471488240368 140472379288982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9208] ppid=9188 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9208/stat : 9208 (java) S 9188 9188 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446364931 28909211648 12724 33554432000 4194304 4196468 140728714440032 140471487187296 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9209] ppid=9188 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/9190/task/9209/stat : 9209 (java) S 9188 9188 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364931 28909211648 12724 33554432000 4194304 4196468 140728714440032 140471486134576 140472379288194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 52088 KiB

[startup+0.700969 s]
/proc/loadavg: 3.79 4.54 5.36 3/211 9209
/proc/meminfo: memFree=30265272/32770624 swapFree=66998768/67108860
[pid=9188] ppid=9185 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9188/stat : 9188 (xcsp3-exec) S 9185 9188 8994 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446364925 115843072 363 33554432000 4194304 5098028 140723897619360 140723897617464 140447303099004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8888320 140723897623414 140723897623657 140723897623657 140723897626570 0
/proc/9188/statm: 28282 363 304 221 0 87 0
[pid=9190] ppid=9188 vsize=28233776 memory=111876 CPUtime=1.96 cores=0-7
/proc/9190/stat : 9190 (java) S 9188 9188 8994 0 -1 1077944320 14532 0 0 0 190 6 0 0 20 0 20 0 446364925 28911386624 27969 33554432000 4194304 4196468 140728714440032 140728714422576 140472379277047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
/proc/9190/statm: 7058444 27969 3450 1 0 7019544 0
[pid=9190/tid=9191] ppid=9188 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/9190/task/9191/stat : 9191 (java) R 9188 9188 8994 0 -1 4202560 8019 0 0 0 64 3 0 0 20 0 20 0 446364925 28911386624 27969 33554432000 4194304 4196468 140728714440032 140472383514736 140472379288982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9192] ppid=9188 vsize=28233776 memory=140680982995824 CPUtime=0 cores=0-7
/proc/9190/task/9192/stat : 9192 (java) S 9188 9188 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364926 28911386624 27969 33554432000 4194304 4196468 140728714440032 140472342382992 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9193] ppid=9188 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9193/stat : 9193 (java) S 9188 9188 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364926 28911386624 27969 33554432000 4194304 4196468 140728714440032 140471930050832 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9194] ppid=9188 vsize=28233776 memory=776 CPUtime=0 cores=0-7
/proc/9190/task/9194/stat : 9194 (java) S 9188 9188 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364926 28911386624 27969 33554432000 4194304 4196468 140728714440032 140471928998544 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0

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

[pid=9190/tid=9204] ppid=9188 vsize=28768336 memory=6944652177228980320 CPUtime=2.69 cores=0-7
/proc/9190/task/9204/stat : 9204 (java) R 9188 9188 8994 0 -1 4202560 6490 0 0 0 266 3 0 0 20 0 28 0 446364931 29458776064 148125 33554432000 4194304 4196468 140728714440032 140471491398552 140472360801306 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9205] ppid=9188 vsize=28768336 memory=6656426216303648864 CPUtime=2.69 cores=0-7
/proc/9190/task/9205/stat : 9205 (java) R 9188 9188 8994 0 -1 4202560 5904 0 0 0 267 2 0 0 20 0 28 0 446364931 29458776064 148125 33554432000 4194304 4196468 140728714440032 140471490331424 140472363549035 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9206] ppid=9188 vsize=28768336 memory=-7751062316387021378 CPUtime=2.78 cores=0-7
/proc/9190/task/9206/stat : 9206 (java) R 9188 9188 8994 0 -1 4202560 6448 0 0 0 276 2 0 0 20 0 28 0 446364931 29458776064 148125 33554432000 4194304 4196468 140728714440032 140471489282944 140472360021506 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9207] ppid=9188 vsize=28768336 memory=6944656601042741910 CPUtime=0.81 cores=0-7
/proc/9190/task/9207/stat : 9207 (java) S 9188 9188 8994 0 -1 1077944384 3164 0 0 0 80 1 0 0 20 0 28 0 446364931 29458776064 148125 33554432000 4194304 4196468 140728714440032 140471488240368 140472379288194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 56 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9208] ppid=9188 vsize=28768336 memory=4 CPUtime=0 cores=0-7
/proc/9190/task/9208/stat : 9208 (java) S 9188 9188 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446364931 29458776064 148125 33554432000 4194304 4196468 140728714440032 140471487187296 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9209] ppid=9188 vsize=28768336 memory=6 CPUtime=0 cores=0-7
/proc/9190/task/9209/stat : 9209 (java) S 9188 9188 8994 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 446364931 29458776064 148125 33554432000 4194304 4196468 140728714440032 140471486134576 140472379288194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 56 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
Current children cumulated CPU time: 20.14 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 593952 KiB

[startup+5.20111 s]
/proc/loadavg: 4.37 4.65 5.39 12/219 9257
/proc/meminfo: memFree=29721048/32770624 swapFree=66998768/67108860
[pid=9188] ppid=9185 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9188/stat : 9188 (xcsp3-exec) S 9185 9188 8994 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446364925 115843072 363 33554432000 4194304 5098028 140723897619360 140723897617464 140447303099004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8888320 140723897623414 140723897623657 140723897623657 140723897626570 0
/proc/9188/statm: 28282 363 304 221 0 87 0
[pid=9190] ppid=9188 vsize=28768336 memory=642240 CPUtime=23.31 cores=0-7
/proc/9190/stat : 9190 (java) S 9188 9188 8994 0 -1 1077944320 37687 0 0 0 2287 44 0 0 20 0 28 0 446364925 29458776064 160560 33554432000 4194304 4196468 140728714440032 140728714422576 140472379277047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
/proc/9190/statm: 7192084 160560 3528 1 0 7153184 0
[pid=9190/tid=9191] ppid=9188 vsize=28768336 memory=-7249806322133643294 CPUtime=2.47 cores=0-7
/proc/9190/task/9191/stat : 9191 (java) S 9188 9188 8994 0 -1 1077944384 10540 0 0 0 239 8 0 0 20 0 28 0 446364925 29458776064 160560 33554432000 4194304 4196468 140728714440032 140472383517824 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9192] ppid=9188 vsize=28768336 memory=6944656592455360604 CPUtime=0.07 cores=0-7
/proc/9190/task/9192/stat : 9192 (java) S 9188 9188 8994 0 -1 1077944384 231 0 0 0 5 2 0 0 20 0 28 0 446364926 29458776064 160560 33554432000 4194304 4196468 140728714440032 140472342382992 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9193] ppid=9188 vsize=28768336 memory=7741524397758375249 CPUtime=0.07 cores=0-7
/proc/9190/task/9193/stat : 9193 (java) S 9188 9188 8994 0 -1 1077944384 180 0 0 0 5 2 0 0 20 0 28 0 446364926 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471930050832 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9194] ppid=9188 vsize=28768336 memory=5866905446750906469 CPUtime=0.07 cores=0-7
/proc/9190/task/9194/stat : 9194 (java) S 9188 9188 8994 0 -1 1077944384 155 0 0 0 5 2 0 0 20 0 28 0 446364926 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471928998544 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9195] ppid=9188 vsize=28768336 memory=56 CPUtime=0.09 cores=0-7
/proc/9190/task/9195/stat : 9195 (java) S 9188 9188 8994 0 -1 1077944384 145 0 0 0 6 3 0 0 20 0 28 0 446364926 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471927945744 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9196] ppid=9188 vsize=28768336 memory=281361966136768 CPUtime=0.07 cores=0-7
/proc/9190/task/9196/stat : 9196 (java) S 9188 9188 8994 0 -1 1077944384 377 0 0 0 5 2 0 0 20 0 28 0 446364926 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471926893456 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9197] ppid=9188 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7
/proc/9190/task/9197/stat : 9197 (java) S 9188 9188 8994 0 -1 1077944384 180 0 0 0 5 3 0 0 20 0 28 0 446364926 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471925840656 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9198] ppid=9188 vsize=28768336 memory=0 CPUtime=0.07 cores=0-7
/proc/9190/task/9198/stat : 9198 (java) S 9188 9188 8994 0 -1 1077944384 142 0 0 0 4 3 0 0 20 0 28 0 446364926 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471924788368 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9199] ppid=9188 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7
/proc/9190/task/9199/stat : 9199 (java) S 9188 9188 8994 0 -1 1077944384 88 0 0 0 4 1 0 0 20 0 28 0 446364926 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471923735568 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9200] ppid=9188 vsize=28768336 memory=6944656592455097440 CPUtime=0.01 cores=0-7
/proc/9190/task/9200/stat : 9200 (java) S 9188 9188 8994 0 -1 1077944384 719 0 0 0 1 0 0 0 20 0 28 0 446364927 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471495608432 140472379288194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9201] ppid=9188 vsize=28768336 memory=3009 CPUtime=0 cores=0-7
/proc/9190/task/9201/stat : 9201 (java) S 9188 9188 8994 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 446364928 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471494554464 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9202] ppid=9188 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9202/stat : 9202 (java) S 9188 9188 8994 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 446364928 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471493502080 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9203] ppid=9188 vsize=28768336 memory=-2245088631185882904 CPUtime=0 cores=0-7
/proc/9190/task/9203/stat : 9203 (java) S 9188 9188 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446364930 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471492450384 140472379295643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9204] ppid=9188 vsize=28768336 memory=6944652177228980320 CPUtime=2.96 cores=0-7
/proc/9190/task/9204/stat : 9204 (java) R 9188 9188 8994 0 -1 4202560 6590 0 0 0 293 3 0 0 20 0 28 0 446364931 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471491387248 140472363679619 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9205] ppid=9188 vsize=28768336 memory=6656426216303648864 CPUtime=2.83 cores=0-7
/proc/9190/task/9205/stat : 9205 (java) R 9188 9188 8994 0 -1 4202560 5916 0 0 0 281 2 0 0 20 0 28 0 446364931 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471490332856 140472359978752 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9206] ppid=9188 vsize=28768336 memory=-7241597079701628969 CPUtime=3.03 cores=0-7
/proc/9190/task/9206/stat : 9206 (java) S 9188 9188 8994 0 -1 1077944384 6477 0 0 0 301 2 0 0 20 0 28 0 446364931 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471489293168 140472379288194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9207] ppid=9188 vsize=28768336 memory=0 CPUtime=0.82 cores=0-7
/proc/9190/task/9207/stat : 9207 (java) R 9188 9188 8994 0 -1 1077944384 3190 0 0 0 81 1 0 0 20 0 28 0 446364931 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471488240368 140472379288194 0 4 0 16800975 0 0 0 -1 3 0 0 56 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9208] ppid=9188 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9208/stat : 9208 (java) S 9188 9188 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446364931 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471487187296 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9209] ppid=9188 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9209/stat : 9209 (java) S 9188 9188 8994 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 446364931 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471486134576 140472379288194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 56 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9250] ppid=9188 vsize=28768336 memory=0 CPUtime=0.5 cores=0-7
/proc/9190/task/9250/stat : 9250 (java) R 9188 9188 8994 0 -1 4202560 29 0 0 0 50 0 0 0 20 0 28 0 446365354 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471473758504 140472017064821 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9251] ppid=9188 vsize=28768336 memory=0 CPUtime=0.62 cores=0-7
/proc/9190/task/9251/stat : 9251 (java) R 9188 9188 8994 0 -1 4202560 19 0 0 0 62 0 0 0 20 0 28 0 446365354 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471475863296 140472026798653 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9252] ppid=9188 vsize=28768336 memory=0 CPUtime=0.59 cores=0-7
/proc/9190/task/9252/stat : 9252 (java) R 9188 9188 8994 0 -1 4202560 18 0 0 0 59 0 0 0 20 0 28 0 446365354 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471472705768 140472026636421 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9253] ppid=9188 vsize=28768336 memory=0 CPUtime=0.75 cores=0-7
/proc/9190/task/9253/stat : 9253 (java) R 9188 9188 8994 0 -1 4202560 46 0 0 0 75 0 0 0 20 0 28 0 446365354 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471401699656 140472025818127 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9254] ppid=9188 vsize=28768336 memory=0 CPUtime=0.76 cores=0-7
/proc/9190/task/9254/stat : 9254 (java) R 9188 9188 8994 0 -1 4202560 24 0 0 0 76 0 0 0 20 0 28 0 446365354 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471470599912 140472023832700 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9255] ppid=9188 vsize=28768336 memory=0 CPUtime=0.73 cores=0-7
/proc/9190/task/9255/stat : 9255 (java) R 9188 9188 8994 0 -1 4202560 18 0 0 0 73 0 0 0 20 0 28 0 446365354 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471471653224 140472023832603 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9256] ppid=9188 vsize=28768336 memory=0 CPUtime=0.61 cores=0-7
/proc/9190/task/9256/stat : 9256 (java) R 9188 9188 8994 0 -1 4202560 18 0 0 0 61 0 0 0 20 0 28 0 446365355 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471476916792 140472023832524 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9257] ppid=9188 vsize=28768336 memory=0 CPUtime=0.74 cores=0-7
/proc/9190/task/9257/stat : 9257 (java) R 9188 9188 8994 0 -1 4202560 30 0 0 0 74 0 0 0 20 0 28 0 446365356 29458776064 160560 33554432000 4194304 4196468 140728714440032 140471474810264 140472017064821 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
Current children cumulated CPU time: 23.31 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 643692 KiB

[startup+5.40179 s]
/proc/loadavg: 4.37 4.65 5.39 12/219 9257
/proc/meminfo: memFree=29721048/32770624 swapFree=66998768/67108860
[pid=9188] ppid=9185 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9188/stat : 9188 (xcsp3-exec) S 9185 9188 8994 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446364925 115843072 363 33554432000 4194304 5098028 140723897619360 140723897617464 140447303099004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8888320 140723897623414 140723897623657 140723897623657 140723897626570 0
/proc/9188/statm: 28282 363 304 221 0 87 0
[pid=9190] ppid=9188 vsize=28768336 memory=669020 CPUtime=24.91 cores=0-7
/proc/9190/stat : 9190 (java) S 9188 9188 8994 0 -1 1077944320 37738 0 0 0 2446 45 0 0 20 0 28 0 446364925 29458776064 167255 33554432000 4194304 4196468 140728714440032 140728714422576 140472379277047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
/proc/9190/statm: 7192084 167255 3529 1 0 7153184 0
[pid=9190/tid=9191] ppid=9188 vsize=28768336 memory=0 CPUtime=2.47 cores=0-7
/proc/9190/task/9191/stat : 9191 (java) S 9188 9188 8994 0 -1 1077944384 10540 0 0 0 239 8 0 0 20 0 28 0 446364925 29458776064 167255 33554432000 4194304 4196468 140728714440032 140472383517824 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9192] ppid=9188 vsize=28768336 memory=0 CPUtime=0.07 cores=0-7
/proc/9190/task/9192/stat : 9192 (java) S 9188 9188 8994 0 -1 1077944384 231 0 0 0 5 2 0 0 20 0 28 0 446364926 29458776064 167255 33554432000 4194304 4196468 140728714440032 140472342382992 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9193] ppid=9188 vsize=28768336 memory=0 CPUtime=0.07 cores=0-7
/proc/9190/task/9193/stat : 9193 (java) S 9188 9188 8994 0 -1 1077944384 180 0 0 0 5 2 0 0 20 0 28 0 446364926 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471930050832 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9194] ppid=9188 vsize=28768336 memory=0 CPUtime=0.07 cores=0-7
/proc/9190/task/9194/stat : 9194 (java) S 9188 9188 8994 0 -1 1077944384 155 0 0 0 5 2 0 0 20 0 28 0 446364926 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471928998544 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9195] ppid=9188 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7
/proc/9190/task/9195/stat : 9195 (java) S 9188 9188 8994 0 -1 1077944384 145 0 0 0 6 3 0 0 20 0 28 0 446364926 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471927945744 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9196] ppid=9188 vsize=28768336 memory=0 CPUtime=0.07 cores=0-7
/proc/9190/task/9196/stat : 9196 (java) S 9188 9188 8994 0 -1 1077944384 377 0 0 0 5 2 0 0 20 0 28 0 446364926 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471926893456 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9197] ppid=9188 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7
/proc/9190/task/9197/stat : 9197 (java) S 9188 9188 8994 0 -1 1077944384 180 0 0 0 5 3 0 0 20 0 28 0 446364926 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471925840656 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9198] ppid=9188 vsize=28768336 memory=0 CPUtime=0.07 cores=0-7
/proc/9190/task/9198/stat : 9198 (java) S 9188 9188 8994 0 -1 1077944384 142 0 0 0 4 3 0 0 20 0 28 0 446364926 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471924788368 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9199] ppid=9188 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7
/proc/9190/task/9199/stat : 9199 (java) S 9188 9188 8994 0 -1 1077944384 88 0 0 0 4 1 0 0 20 0 28 0 446364926 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471923735568 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9200] ppid=9188 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/9190/task/9200/stat : 9200 (java) S 9188 9188 8994 0 -1 1077944384 719 0 0 0 1 0 0 0 20 0 28 0 446364927 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471495608432 140472379288194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9201] ppid=9188 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9201/stat : 9201 (java) S 9188 9188 8994 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 446364928 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471494554464 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9202] ppid=9188 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9202/stat : 9202 (java) S 9188 9188 8994 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 446364928 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471493502080 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9203] ppid=9188 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9203/stat : 9203 (java) S 9188 9188 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446364930 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471492450384 140472379295643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9204] ppid=9188 vsize=28768336 memory=0 CPUtime=3.03 cores=0-7
/proc/9190/task/9204/stat : 9204 (java) S 9188 9188 8994 0 -1 1077944384 6601 0 0 0 300 3 0 0 20 0 28 0 446364931 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471491398256 140472379288194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9205] ppid=9188 vsize=28768336 memory=0 CPUtime=2.9 cores=0-7
/proc/9190/task/9205/stat : 9205 (java) S 9188 9188 8994 0 -1 1077944384 5924 0 0 0 288 2 0 0 20 0 28 0 446364931 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471490345456 140472379288194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9206] ppid=9188 vsize=28768336 memory=0 CPUtime=3.14 cores=0-7
/proc/9190/task/9206/stat : 9206 (java) S 9188 9188 8994 0 -1 1077944384 6489 0 0 0 312 2 0 0 20 0 28 0 446364931 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471489293168 140472379288194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9207] ppid=9188 vsize=28768336 memory=0 CPUtime=0.83 cores=0-7
/proc/9190/task/9207/stat : 9207 (java) S 9188 9188 8994 0 -1 1077944384 3196 0 0 0 82 1 0 0 20 0 28 0 446364931 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471488240368 140472379288194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 56 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9208] ppid=9188 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9208/stat : 9208 (java) S 9188 9188 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446364931 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471487187296 140472379287253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9209] ppid=9188 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9190/task/9209/stat : 9209 (java) S 9188 9188 8994 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 446364931 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471486134576 140472379288194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 56 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9250] ppid=9188 vsize=28768336 memory=0 CPUtime=0.69 cores=0-7
/proc/9190/task/9250/stat : 9250 (java) R 9188 9188 8994 0 -1 4202560 36 0 0 0 69 0 0 0 20 0 28 0 446365354 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471473756632 140472026043968 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9251] ppid=9188 vsize=28768336 memory=0 CPUtime=0.79 cores=0-7
/proc/9190/task/9251/stat : 9251 (java) R 9188 9188 8994 0 -1 4202560 19 0 0 0 79 0 0 0 20 0 28 0 446365354 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471475863296 140472025237996 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9252] ppid=9188 vsize=28768336 memory=0 CPUtime=0.73 cores=0-7
/proc/9190/task/9252/stat : 9252 (java) R 9188 9188 8994 0 -1 4202560 18 0 0 0 73 0 0 0 20 0 28 0 446365354 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471472705768 140472024361599 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9253] ppid=9188 vsize=28768336 memory=0 CPUtime=0.86 cores=0-7
/proc/9190/task/9253/stat : 9253 (java) R 9188 9188 8994 0 -1 4202560 46 0 0 0 86 0 0 0 20 0 28 0 446365354 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471401697816 140472026635922 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9254] ppid=9188 vsize=28768336 memory=0 CPUtime=0.96 cores=0-7
/proc/9190/task/9254/stat : 9254 (java) R 9188 9188 8994 0 -1 4202560 24 0 0 0 96 0 0 0 20 0 28 0 446365354 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471470601432 140472023832603 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9255] ppid=9188 vsize=28768336 memory=0 CPUtime=0.92 cores=0-7
/proc/9190/task/9255/stat : 9255 (java) R 9188 9188 8994 0 -1 4202560 18 0 0 0 92 0 0 0 20 0 28 0 446365354 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471471653224 140472023832424 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9256] ppid=9188 vsize=28768336 memory=0 CPUtime=0.73 cores=0-7
/proc/9190/task/9256/stat : 9256 (java) R 9188 9188 8994 0 -1 4202560 18 0 0 0 73 0 0 0 20 0 28 0 446365355 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471476916792 140472023832655 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
[pid=9190/tid=9257] ppid=9188 vsize=28768336 memory=0 CPUtime=0.94 cores=0-7
/proc/9190/task/9257/stat : 9257 (java) R 9188 9188 8994 0 -1 4202560 37 0 0 0 94 0 0 0 20 0 28 0 446365356 29458776064 167255 33554432000 4194304 4196468 140728714440032 140471474810248 140472024753964 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140728714445802 140728714445974 140728714445974 140728714448847 0
Current children cumulated CPU time: 24.91 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 670472 KiB

[startup+5.50119 s]
/proc/loadavg: 4.37 4.65 5.39 12/219 9257
/proc/meminfo: memFree=29721048/32770624 swapFree=66998768/67108860
[pid=9188] ppid=9185 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9188/stat : 9188 (xcsp3-exec) S 9185 9188 8994 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446364925 115843072 363 33554432000 4194304 5098028 140723897619360 140723897617464 140447303099004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8888320 140723897623414 140723897623657 140723897623657 140723897626570 0
/proc/9188/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

Child status: 0
Real time (s): 5.51417
CPU time (s): 25.5742
CPU user time (s): 25.0571
CPU system time (s): 0.517173
CPU usage (%): 463.792
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 670472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.0571
system time used= 0.517173
maximum resident set size= 702960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38445
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4635
involuntary context switches= 639


# summary of solver processes directly reported to runsolver:
#   pid: 9188
#   total CPU time (s): 25.5742
#   total CPU user time (s): 25.0571
#   total CPU system time (s): 0.517173

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060136 second user time and 0.103045 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-will199GPIA.xml
MD5SUM	a5e04939345321982833836e1e755881
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	1.18205
Satisfiable
(Un)Satisfiability was proved
Number of variables	701
Number of constraints	6772
Number of domains	1
Minimum domain size	701
Maximum domain size	701
Distribution of domain sizes	[{"size":701,"count":701}]
Minimum variable degree	3
Maximum variable degree	39
Distribution of variable degrees	[{"degree":3,"count":1},{"degree":7,"count":4},{"degree":9,"count":3},{"degree":10,"count":2},{"degree":11,"count":1},{"degree":12,"count":17},{"degree":13,"count":48},{"degree":14,"count":113},{"degree":15,"count":54},{"degree":16,"count":67},{"degree":17,"count":18},{"degree":18,"count":62},{"degree":19,"count":17},{"degree":20,"count":23},{"degree":21,"count":24},{"degree":22,"count":15},{"degree":23,"count":11},{"degree":24,"count":12},{"degree":25,"count":14},{"degree":26,"count":28},{"degree":27,"count":24},{"degree":28,"count":34},{"degree":29,"count":3},{"degree":30,"count":26},{"degree":31,"count":12},{"degree":32,"count":13},{"degree":33,"count":14},{"degree":34,"count":14},{"degree":35,"count":6},{"degree":37,"count":1},{"degree":38,"count":14},{"degree":39,"count":6}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":6772}]
Number of extensional constraints	0
Number of intensional constraints	6772
Distribution of constraint types	[{"type":"intension","count":6772}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4399730

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
