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	4	20.1667	4.65217
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 (13802 MiB free)
  memory of node 1: 16384 MiB (15810 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399804-1568700994/watcher-4399804-1568700994 -o /tmp/evaluation-result-4399804-1568700994/solver-4399804-1568700994 -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 515052105 HOME/instance-4399804-1568700994.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=9038, runsolver pid=9035
Current StackSize limit: 8192 KiB


[startup+0.100131 s]*
/proc/loadavg: 4.03 4.61 5.39 3/211 9059
/proc/meminfo: memFree=30304844/32770624 swapFree=66998768/67108860
[pid=9038] ppid=9035 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9038/stat : 9038 (xcsp3-exec) S 9035 9038 8994 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446364228 115843072 363 33554432000 4194304 5098028 140721109746576 140721109744680 140679434658428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13672448 140721109754742 140721109754985 140721109754985 140721109757898 0
/proc/9038/statm: 28282 363 304 221 0 87 0
[pid=9040] ppid=9038 vsize=28227396 memory=31732 CPUtime=0.13 cores=0-7
/proc/9040/stat : 9040 (java) S 9038 9038 8994 0 -1 1077944320 5391 0 0 0 12 1 0 0 20 0 20 0 446364228 28904853504 7933 33554432000 4194304 4196468 140736449368976 140736449351520 140388047720183 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
/proc/9040/statm: 7056849 7933 3122 1 0 7019032 0
[pid=9040/tid=9041] ppid=9038 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/9040/task/9041/stat : 9041 (java) R 9038 9038 8994 0 -1 4202560 3288 0 0 0 8 0 0 0 20 0 20 0 446364229 28904853504 7933 33554432000 4194304 4196468 140736449368976 140388051952448 140388029115386 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9042] ppid=9038 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9040/task/9042/stat : 9042 (java) S 9038 9038 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364229 28904853504 7933 33554432000 4194304 4196468 140736449368976 140388000341136 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9043] ppid=9038 vsize=28227396 memory=140413061658240 CPUtime=0 cores=0-7
/proc/9040/task/9043/stat : 9043 (java) S 9038 9038 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446364229 28904853504 7933 33554432000 4194304 4196468 140736449368976 140387999288336 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9044] ppid=9038 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9044/stat : 9044 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364229 28904853504 7933 33554432000 4194304 4196468 140736449368976 140387998235536 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9045] ppid=9038 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9045/stat : 9045 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364229 28904853504 7933 33554432000 4194304 4196468 140736449368976 140387997182736 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9046] ppid=9038 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9046/stat : 9046 (java) S 9038 9038 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364229 28904853504 7933 33554432000 4194304 4196468 140736449368976 140387996129936 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9047] ppid=9038 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9040/task/9047/stat : 9047 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364229 28904853504 7933 33554432000 4194304 4196468 140736449368976 140387995077136 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9048] ppid=9038 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9048/stat : 9048 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364229 28904853504 7933 33554432000 4194304 4196468 140736449368976 140387994024336 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9049] ppid=9038 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9049/stat : 9049 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364229 28904853504 7933 33554432000 4194304 4196468 140736449368976 140387992971536 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9050] ppid=9038 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9050/stat : 9050 (java) S 9038 9038 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364231 28904853504 7933 33554432000 4194304 4196468 140736449368976 140386175613808 140388047731330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9051] ppid=9038 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9051/stat : 9051 (java) S 9038 9038 8994 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446364231 28904853504 7933 33554432000 4194304 4196468 140736449368976 140386174559776 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9052] ppid=9038 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9052/stat : 9052 (java) S 9038 9038 8994 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446364232 28904853504 7933 33554432000 4194304 4196468 140736449368976 140386106336624 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9053] ppid=9038 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9053/stat : 9053 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364234 28904853504 7933 33554432000 4194304 4196468 140736449368976 140386105284944 140388047738779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9054] ppid=9038 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9054/stat : 9054 (java) S 9038 9038 8994 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 446364234 28904853504 7933 33554432000 4194304 4196468 140736449368976 140386104232304 140388047731330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9055] ppid=9038 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9055/stat : 9055 (java) S 9038 9038 8994 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 446364234 28904853504 7933 33554432000 4194304 4196468 140736449368976 140386103179504 140388047731330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9056] ppid=9038 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9056/stat : 9056 (java) S 9038 9038 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446364234 28904853504 7933 33554432000 4194304 4196468 140736449368976 140386102126704 140388047731330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9057] ppid=9038 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/9040/task/9057/stat : 9057 (java) S 9038 9038 8994 0 -1 1077944384 377 0 0 0 2 0 0 0 20 0 20 0 446364234 28904853504 7933 33554432000 4194304 4196468 140736449368976 140386101073904 140388047731330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9058] ppid=9038 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9058/stat : 9058 (java) S 9038 9038 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446364234 28904853504 7933 33554432000 4194304 4196468 140736449368976 140386100022368 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9059] ppid=9038 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9040/task/9059/stat : 9059 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364234 28904853504 7933 33554432000 4194304 4196468 140736449368976 140386098969648 140388047731330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 33184 KiB

[startup+0.210592 s]*
/proc/loadavg: 4.03 4.61 5.39 3/211 9059
/proc/meminfo: memFree=30292376/32770624 swapFree=66998768/67108860
[pid=9038] ppid=9035 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9038/stat : 9038 (xcsp3-exec) S 9035 9038 8994 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446364228 115843072 363 33554432000 4194304 5098028 140721109746576 140721109744680 140679434658428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13672448 140721109754742 140721109754985 140721109754985 140721109757898 0
/proc/9038/statm: 28282 363 304 221 0 87 0
[pid=9040] ppid=9038 vsize=28227396 memory=42544 CPUtime=0.34 cores=0-7
/proc/9040/stat : 9040 (java) S 9038 9038 8994 0 -1 1077944320 8923 0 0 0 31 3 0 0 20 0 20 0 446364228 28904853504 10636 33554432000 4194304 4196468 140736449368976 140736449351520 140388047720183 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
/proc/9040/statm: 7056849 10636 3233 1 0 7019032 0
[pid=9040/tid=9041] ppid=9038 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/9040/task/9041/stat : 9041 (java) R 9038 9038 8994 0 -1 4202560 6106 0 0 0 18 2 0 0 20 0 20 0 446364229 28904853504 10636 33554432000 4194304 4196468 140736449368976 140388051954064 140388031800670 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9042] ppid=9038 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/9040/task/9042/stat : 9042 (java) S 9038 9038 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364229 28904853504 10636 33554432000 4194304 4196468 140736449368976 140388000341136 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9043] ppid=9038 vsize=28227396 memory=140413061667531 CPUtime=0 cores=0-7
/proc/9040/task/9043/stat : 9043 (java) S 9038 9038 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446364229 28904853504 10636 33554432000 4194304 4196468 140736449368976 140387999288336 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9044] ppid=9038 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9040/task/9044/stat : 9044 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364229 28904853504 10636 33554432000 4194304 4196468 140736449368976 140387998235536 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9045] ppid=9038 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9045/stat : 9045 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364229 28904853504 10636 33554432000 4194304 4196468 140736449368976 140387997182736 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9046] ppid=9038 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9046/stat : 9046 (java) S 9038 9038 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364229 28904853504 10636 33554432000 4194304 4196468 140736449368976 140387996129936 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9047] ppid=9038 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9040/task/9047/stat : 9047 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364229 28904853504 10636 33554432000 4194304 4196468 140736449368976 140387995077136 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9048] ppid=9038 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9048/stat : 9048 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364229 28904853504 10636 33554432000 4194304 4196468 140736449368976 140387994024336 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9049] ppid=9038 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9049/stat : 9049 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364229 28904853504 10636 33554432000 4194304 4196468 140736449368976 140387992971536 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9050] ppid=9038 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9050/stat : 9050 (java) S 9038 9038 8994 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446364231 28904853504 10636 33554432000 4194304 4196468 140736449368976 140386175613808 140388047731330 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9051] ppid=9038 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9051/stat : 9051 (java) S 9038 9038 8994 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446364231 28904853504 10636 33554432000 4194304 4196468 140736449368976 140386174559776 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9052] ppid=9038 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9052/stat : 9052 (java) S 9038 9038 8994 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446364232 28904853504 10636 33554432000 4194304 4196468 140736449368976 140386106336624 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9053] ppid=9038 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9053/stat : 9053 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364234 28904853504 10636 33554432000 4194304 4196468 140736449368976 140386105284944 140388047738779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9054] ppid=9038 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9054/stat : 9054 (java) S 9038 9038 8994 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 20 0 446364234 28904853504 10636 33554432000 4194304 4196468 140736449368976 140386104232304 140388047731330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9055] ppid=9038 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9040/task/9055/stat : 9055 (java) R 9038 9038 8994 0 -1 4202560 160 0 0 0 1 0 0 0 20 0 20 0 446364234 28904853504 10636 33554432000 4194304 4196468 140736449368976 140386103179504 140388047731330 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9056] ppid=9038 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/9040/task/9056/stat : 9056 (java) S 9038 9038 8994 0 -1 1077944384 255 0 0 0 2 0 0 0 20 0 20 0 446364234 28904853504 10636 33554432000 4194304 4196468 140736449368976 140386102126704 140388047731330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9057] ppid=9038 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/9040/task/9057/stat : 9057 (java) R 9038 9038 8994 0 -1 4202560 762 0 0 0 8 0 0 0 20 0 20 0 446364234 28904853504 10636 33554432000 4194304 4196468 140736449368976 140386101073904 140388026572289 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9058] ppid=9038 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9058/stat : 9058 (java) S 9038 9038 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446364234 28904853504 10636 33554432000 4194304 4196468 140736449368976 140386100022368 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9059] ppid=9038 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9040/task/9059/stat : 9059 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364234 28904853504 10636 33554432000 4194304 4196468 140736449368976 140386098969648 140388047731330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 43996 KiB

[startup+0.319475 s]*
/proc/loadavg: 4.03 4.60 5.39 3/211 9059
/proc/meminfo: memFree=30285612/32770624 swapFree=66998768/67108860
[pid=9038] ppid=9035 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9038/stat : 9038 (xcsp3-exec) S 9035 9038 8994 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446364228 115843072 363 33554432000 4194304 5098028 140721109746576 140721109744680 140679434658428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13672448 140721109754742 140721109754985 140721109754985 140721109757898 0
/proc/9038/statm: 28282 363 304 221 0 87 0
[pid=9040] ppid=9038 vsize=28231652 memory=52268 CPUtime=0.54 cores=0-7
/proc/9040/stat : 9040 (java) S 9038 9038 8994 0 -1 1077944320 10384 0 0 0 50 4 0 0 20 0 20 0 446364228 28909211648 13067 33554432000 4194304 4196468 140736449368976 140736449351520 140388047720183 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
/proc/9040/statm: 7057913 13067 3371 1 0 7019032 0
[pid=9040/tid=9041] ppid=9038 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/9040/task/9041/stat : 9041 (java) R 9038 9038 8994 0 -1 4202560 7321 0 0 0 28 2 0 0 20 0 20 0 446364229 28909211648 13132 33554432000 4194304 4196468 140736449368976 140388051953968 140388047742109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9042] ppid=9038 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9042/stat : 9042 (java) S 9038 9038 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364229 28909211648 13132 33554432000 4194304 4196468 140736449368976 140388000341136 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9043] ppid=9038 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9043/stat : 9043 (java) S 9038 9038 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446364229 28909211648 13132 33554432000 4194304 4196468 140736449368976 140387999288336 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9044] ppid=9038 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9044/stat : 9044 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364229 28909211648 13132 33554432000 4194304 4196468 140736449368976 140387998235536 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9045] ppid=9038 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9045/stat : 9045 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364229 28909211648 13132 33554432000 4194304 4196468 140736449368976 140387997182736 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9046] ppid=9038 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9046/stat : 9046 (java) S 9038 9038 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364229 28909211648 13132 33554432000 4194304 4196468 140736449368976 140387996129936 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9047] ppid=9038 vsize=28231652 memory=140412949981871 CPUtime=0 cores=0-7
/proc/9040/task/9047/stat : 9047 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364229 28909211648 13132 33554432000 4194304 4196468 140736449368976 140387995077136 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9048] ppid=9038 vsize=28231652 memory=140412949984176 CPUtime=0 cores=0-7
/proc/9040/task/9048/stat : 9048 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364229 28909211648 13132 33554432000 4194304 4196468 140736449368976 140387994024336 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9049] ppid=9038 vsize=28231652 memory=140412949986480 CPUtime=0 cores=0-7
/proc/9040/task/9049/stat : 9049 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364229 28909211648 13132 33554432000 4194304 4196468 140736449368976 140387992971536 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9050] ppid=9038 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9050/stat : 9050 (java) S 9038 9038 8994 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446364231 28909211648 13132 33554432000 4194304 4196468 140736449368976 140386175613808 140388047731330 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9051] ppid=9038 vsize=28231652 memory=280825899986832 CPUtime=0 cores=0-7
/proc/9040/task/9051/stat : 9051 (java) S 9038 9038 8994 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446364231 28909211648 13132 33554432000 4194304 4196468 140736449368976 140386174559776 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9052] ppid=9038 vsize=28231652 memory=280825899984528 CPUtime=0 cores=0-7
/proc/9040/task/9052/stat : 9052 (java) S 9038 9038 8994 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446364232 28909211648 13132 33554432000 4194304 4196468 140736449368976 140386106336624 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9053] ppid=9038 vsize=28231652 memory=280825899991440 CPUtime=0 cores=0-7
/proc/9040/task/9053/stat : 9053 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364234 28909211648 13132 33554432000 4194304 4196468 140736449368976 140386105284944 140388047738779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9054] ppid=9038 vsize=28231652 memory=280825899932720 CPUtime=0 cores=0-7
/proc/9040/task/9054/stat : 9054 (java) R 9038 9038 8994 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 20 0 446364234 28909211648 13132 33554432000 4194304 4196468 140736449368976 140386104232304 140388047731330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9055] ppid=9038 vsize=28231652 memory=280825900005264 CPUtime=0.04 cores=0-7
/proc/9040/task/9055/stat : 9055 (java) S 9038 9038 8994 0 -1 1077944384 275 0 0 0 4 0 0 0 20 0 20 0 446364234 28909211648 13132 33554432000 4194304 4196468 140736449368976 140386103179504 140388047731330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9056] ppid=9038 vsize=28231652 memory=280825900012176 CPUtime=0.03 cores=0-7
/proc/9040/task/9056/stat : 9056 (java) S 9038 9038 8994 0 -1 1077944384 270 0 0 0 3 0 0 0 20 0 20 0 446364234 28909211648 13132 33554432000 4194304 4196468 140736449368976 140386102126704 140388047731330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9057] ppid=9038 vsize=28231652 memory=280825900009872 CPUtime=0.12 cores=0-7
/proc/9040/task/9057/stat : 9057 (java) R 9038 9038 8994 0 -1 4202560 868 0 0 0 12 0 0 0 20 0 20 0 446364234 28909211648 13132 33554432000 4194304 4196468 140736449368976 140386101073904 140388047741530 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9058] ppid=9038 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9058/stat : 9058 (java) S 9038 9038 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446364234 28909211648 13132 33554432000 4194304 4196468 140736449368976 140386100022368 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9059] ppid=9038 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/9040/task/9059/stat : 9059 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364234 28909211648 13132 33554432000 4194304 4196468 140736449368976 140386098969648 140388047731330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 53720 KiB

[startup+0.701029 s]
/proc/loadavg: 4.03 4.60 5.39 6/211 9059
/proc/meminfo: memFree=30264500/32770624 swapFree=66998768/67108860
[pid=9038] ppid=9035 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9038/stat : 9038 (xcsp3-exec) S 9035 9038 8994 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446364228 115843072 363 33554432000 4194304 5098028 140721109746576 140721109744680 140679434658428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13672448 140721109754742 140721109754985 140721109754985 140721109757898 0
/proc/9038/statm: 28282 363 304 221 0 87 0
[pid=9040] ppid=9038 vsize=28233776 memory=117088 CPUtime=1.94 cores=0-7
/proc/9040/stat : 9040 (java) S 9038 9038 8994 0 -1 1077944320 14809 0 0 0 188 6 0 0 20 0 20 0 446364228 28911386624 29272 33554432000 4194304 4196468 140736449368976 140736449351520 140388047720183 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
/proc/9040/statm: 7058444 29272 3451 1 0 7019544 0
[pid=9040/tid=9041] ppid=9038 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/9040/task/9041/stat : 9041 (java) R 9038 9038 8994 0 -1 4202560 7837 0 0 0 65 3 0 0 20 0 20 0 446364229 28911386624 29272 33554432000 4194304 4196468 140736449368976 140388051956544 140388029302308 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9042] ppid=9038 vsize=28233776 memory=140412950193008 CPUtime=0 cores=0-7
/proc/9040/task/9042/stat : 9042 (java) S 9038 9038 8994 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446364229 28911386624 29272 33554432000 4194304 4196468 140736449368976 140388000341136 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9043] ppid=9038 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9043/stat : 9043 (java) S 9038 9038 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446364229 28911386624 29272 33554432000 4194304 4196468 140736449368976 140387999288336 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9044] ppid=9038 vsize=28233776 memory=776 CPUtime=0 cores=0-7
/proc/9040/task/9044/stat : 9044 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446364229 28911386624 29272 33554432000 4194304 4196468 140736449368976 140387998235536 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0

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

[pid=9040/tid=9041] ppid=9038 vsize=28768336 memory=1398722017469774279 CPUtime=3.05 cores=0-7
/proc/9040/task/9041/stat : 9041 (java) S 9038 9038 8994 0 -1 1077944384 11149 0 0 0 295 10 0 0 20 0 28 0 446364229 29458776064 167945 33554432000 4194304 4196468 140736449368976 140388051960960 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9042] ppid=9038 vsize=28768336 memory=4126316290023845779 CPUtime=0.08 cores=0-7
/proc/9040/task/9042/stat : 9042 (java) S 9038 9038 8994 0 -1 1077944384 109 0 0 0 6 2 0 0 20 0 28 0 446364229 29458776064 167945 33554432000 4194304 4196468 140736449368976 140388000341136 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9043] ppid=9038 vsize=28768336 memory=1552 CPUtime=0.08 cores=0-7
/proc/9040/task/9043/stat : 9043 (java) S 9038 9038 8994 0 -1 1077944384 113 0 0 0 6 2 0 0 20 0 28 0 446364229 29458776064 167945 33554432000 4194304 4196468 140736449368976 140387999288336 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9044] ppid=9038 vsize=28768336 memory=1204 CPUtime=0.07 cores=0-7
/proc/9040/task/9044/stat : 9044 (java) S 9038 9038 8994 0 -1 1077944384 118 0 0 0 5 2 0 0 20 0 28 0 446364229 29458776064 167945 33554432000 4194304 4196468 140736449368976 140387998235536 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9045] ppid=9038 vsize=28768336 memory=1072 CPUtime=0.08 cores=0-7
/proc/9040/task/9045/stat : 9045 (java) S 9038 9038 8994 0 -1 1077944384 113 0 0 0 5 3 0 0 20 0 28 0 446364229 29458776064 167945 33554432000 4194304 4196468 140736449368976 140387997182736 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9046] ppid=9038 vsize=28768336 memory=5860 CPUtime=0.08 cores=0-7
/proc/9040/task/9046/stat : 9046 (java) S 9038 9038 8994 0 -1 1077944384 223 0 0 0 5 3 0 0 20 0 28 0 446364229 29458776064 167945 33554432000 4194304 4196468 140736449368976 140387996129936 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9047] ppid=9038 vsize=28768336 memory=-4695052241013923951 CPUtime=0.07 cores=0-7
/proc/9040/task/9047/stat : 9047 (java) S 9038 9038 8994 0 -1 1077944384 98 0 0 0 5 2 0 0 20 0 28 0 446364229 29458776064 167945 33554432000 4194304 4196468 140736449368976 140387995077136 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9048] ppid=9038 vsize=28768336 memory=8974679720218626981 CPUtime=0.09 cores=0-7
/proc/9040/task/9048/stat : 9048 (java) S 9038 9038 8994 0 -1 1077944384 171 0 0 0 6 3 0 0 20 0 28 0 446364229 29458776064 167945 33554432000 4194304 4196468 140736449368976 140387994024336 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9049] ppid=9038 vsize=28768336 memory=6525018278055875452 CPUtime=0.09 cores=0-7
/proc/9040/task/9049/stat : 9049 (java) S 9038 9038 8994 0 -1 1077944384 145 0 0 0 6 3 0 0 20 0 28 0 446364229 29458776064 167945 33554432000 4194304 4196468 140736449368976 140387992971536 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9050] ppid=9038 vsize=28768336 memory=-6524718016103568798 CPUtime=0.01 cores=0-7
/proc/9040/task/9050/stat : 9050 (java) S 9038 9038 8994 0 -1 1077944384 1093 0 0 0 1 0 0 0 20 0 28 0 446364231 29458776064 167945 33554432000 4194304 4196468 140736449368976 140386175613808 140388047731330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9051] ppid=9038 vsize=28768336 memory=8508218500552443356 CPUtime=0 cores=0-7
/proc/9040/task/9051/stat : 9051 (java) S 9038 9038 8994 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 446364231 29458776064 167945 33554432000 4194304 4196468 140736449368976 140386174559840 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9052] ppid=9038 vsize=28768336 memory=4138928607818379659 CPUtime=0 cores=0-7
/proc/9040/task/9052/stat : 9052 (java) S 9038 9038 8994 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 446364232 29458776064 167945 33554432000 4194304 4196468 140736449368976 140386106336640 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9053] ppid=9038 vsize=28768336 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/9040/task/9053/stat : 9053 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446364234 29458776064 167945 33554432000 4194304 4196468 140736449368976 140386105284944 140388047738779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9054] ppid=9038 vsize=28768336 memory=3475195960799027280 CPUtime=2.35 cores=0-7
/proc/9040/task/9054/stat : 9054 (java) R 9038 9038 8994 0 -1 4202560 5618 0 0 0 233 2 0 0 20 0 28 0 446364234 29458776064 167945 33554432000 4194304 4196468 140736449368976 140386104232304 140388025467631 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9055] ppid=9038 vsize=28768336 memory=7810487918915055718 CPUtime=2.37 cores=0-7
/proc/9040/task/9055/stat : 9055 (java) R 9038 9038 8994 0 -1 4202560 5883 0 0 0 236 1 0 0 20 0 28 0 446364234 29458776064 167945 33554432000 4194304 4196468 140736449368976 140386103169104 140388028421654 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9056] ppid=9038 vsize=28768336 memory=7584169883466750615 CPUtime=2.36 cores=0-7
/proc/9040/task/9056/stat : 9056 (java) R 9038 9038 8994 0 -1 4202560 6228 0 0 0 234 2 0 0 20 0 28 0 446364234 29458776064 167945 33554432000 4194304 4196468 140736449368976 140386102126704 140388026136059 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9057] ppid=9038 vsize=28768336 memory=0 CPUtime=0.8 cores=0-7
/proc/9040/task/9057/stat : 9057 (java) S 9038 9038 8994 0 -1 1077944384 3816 0 0 0 79 1 0 0 20 0 28 0 446364234 29458776064 167945 33554432000 4194304 4196468 140736449368976 140386101073904 140388047731330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9058] ppid=9038 vsize=28768336 memory=280825900117584 CPUtime=0 cores=0-7
/proc/9040/task/9058/stat : 9058 (java) S 9038 9038 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446364234 29458776064 167945 33554432000 4194304 4196468 140736449368976 140386100022368 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9059] ppid=9038 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9059/stat : 9059 (java) S 9038 9038 8994 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 446364234 29458776064 167945 33554432000 4194304 4196468 140736449368976 140386098969648 140388047731330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9084] ppid=9038 vsize=28768336 memory=0 CPUtime=0.12 cores=0-7
/proc/9040/task/9084/stat : 9084 (java) S 9038 9038 8994 0 -1 1077944384 21 0 0 0 12 0 0 0 20 0 28 0 446364608 29458776064 167945 33554432000 4194304 4196468 140736449368976 140386089992064 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9085] ppid=9038 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7
/proc/9040/task/9085/stat : 9085 (java) S 9038 9038 8994 0 -1 1077944384 19 0 0 0 2 0 0 0 20 0 28 0 446364608 29458776064 167945 33554432000 4194304 4196468 140736449368976 140386086835408 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9086] ppid=9038 vsize=28768336 memory=0 CPUtime=0.1 cores=0-7
/proc/9040/task/9086/stat : 9086 (java) S 9038 9038 8994 0 -1 1077944384 18 0 0 0 10 0 0 0 20 0 28 0 446364608 29458776064 167945 33554432000 4194304 4196468 140736449368976 140386088940624 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9087] ppid=9038 vsize=28768336 memory=0 CPUtime=0.04 cores=0-7
/proc/9040/task/9087/stat : 9087 (java) S 9038 9038 8994 0 -1 1077944384 19 0 0 0 4 0 0 0 20 0 28 0 446364608 29458776064 167945 33554432000 4194304 4196468 140736449368976 140386082624464 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9088] ppid=9038 vsize=28768336 memory=8386028099987781169 CPUtime=0.1 cores=0-7
/proc/9040/task/9088/stat : 9088 (java) S 9038 9038 8994 0 -1 1077944384 18 0 0 0 10 0 0 0 20 0 28 0 446364608 29458776064 167945 33554432000 4194304 4196468 140736449368976 140386085782352 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9089] ppid=9038 vsize=28768336 memory=6944656592455359580 CPUtime=0.1 cores=0-7
/proc/9040/task/9089/stat : 9089 (java) S 9038 9038 8994 0 -1 1077944384 18 0 0 0 10 0 0 0 20 0 28 0 446364608 29458776064 167945 33554432000 4194304 4196468 140736449368976 140386084729552 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9090] ppid=9038 vsize=28768336 memory=5782674880105308224 CPUtime=0.03 cores=0-7
/proc/9040/task/9090/stat : 9090 (java) S 9038 9038 8994 0 -1 1077944384 18 0 0 0 3 0 0 0 20 0 28 0 446364608 29458776064 167945 33554432000 4194304 4196468 140736449368976 140386087888464 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9091] ppid=9038 vsize=28768336 memory=-8253362664378451598 CPUtime=0.14 cores=0-7
/proc/9040/task/9091/stat : 9091 (java) R 9038 9038 8994 0 -1 4202560 27 0 0 0 14 0 0 0 20 0 28 0 446364610 29458776064 167945 33554432000 4194304 4196468 140736449368976 140386083670144 140387666655989 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
Current children cumulated CPU time: 15.58 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 673232 KiB

[startup+4.40148 s]
/proc/loadavg: 4.03 4.60 5.39 4/219 9091
/proc/meminfo: memFree=29663788/32770624 swapFree=66998768/67108860
[pid=9038] ppid=9035 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9038/stat : 9038 (xcsp3-exec) S 9035 9038 8994 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446364228 115843072 363 33554432000 4194304 5098028 140721109746576 140721109744680 140679434658428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13672448 140721109754742 140721109754985 140721109754985 140721109757898 0
/proc/9038/statm: 28282 363 304 221 0 87 0
[pid=9040] ppid=9038 vsize=28768336 memory=674068 CPUtime=18.47 cores=0-7
/proc/9040/stat : 9040 (java) S 9038 9038 8994 0 -1 1077944320 38081 0 0 0 1803 44 0 0 20 0 28 0 446364228 29458776064 168517 33554432000 4194304 4196468 140736449368976 140736449351520 140388047720183 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
/proc/9040/statm: 7192084 168517 3536 1 0 7153184 0
[pid=9040/tid=9041] ppid=9038 vsize=28768336 memory=140415365809389 CPUtime=3.05 cores=0-7
/proc/9040/task/9041/stat : 9041 (java) S 9038 9038 8994 0 -1 1077944384 11150 0 0 0 295 10 0 0 20 0 28 0 446364229 29458776064 168517 33554432000 4194304 4196468 140736449368976 140388051960960 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9042] ppid=9038 vsize=28768336 memory=140415365809671 CPUtime=0.08 cores=0-7
/proc/9040/task/9042/stat : 9042 (java) S 9038 9038 8994 0 -1 1077944384 109 0 0 0 6 2 0 0 20 0 28 0 446364229 29458776064 168517 33554432000 4194304 4196468 140736449368976 140388000341136 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9043] ppid=9038 vsize=28768336 memory=147038205380103 CPUtime=0.08 cores=0-7
/proc/9040/task/9043/stat : 9043 (java) S 9038 9038 8994 0 -1 1077944384 113 0 0 0 6 2 0 0 20 0 28 0 446364229 29458776064 168517 33554432000 4194304 4196468 140736449368976 140387999288336 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9044] ppid=9038 vsize=28768336 memory=140415365809699 CPUtime=0.07 cores=0-7
/proc/9040/task/9044/stat : 9044 (java) S 9038 9038 8994 0 -1 1077944384 118 0 0 0 5 2 0 0 20 0 28 0 446364229 29458776064 168517 33554432000 4194304 4196468 140736449368976 140387998235536 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9045] ppid=9038 vsize=28768336 memory=140415365809806 CPUtime=0.08 cores=0-7
/proc/9040/task/9045/stat : 9045 (java) S 9038 9038 8994 0 -1 1077944384 113 0 0 0 5 3 0 0 20 0 28 0 446364229 29458776064 168517 33554432000 4194304 4196468 140736449368976 140387997182736 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9046] ppid=9038 vsize=28768336 memory=140415365809808 CPUtime=0.08 cores=0-7
/proc/9040/task/9046/stat : 9046 (java) S 9038 9038 8994 0 -1 1077944384 223 0 0 0 5 3 0 0 20 0 28 0 446364229 29458776064 168517 33554432000 4194304 4196468 140736449368976 140387996129936 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9047] ppid=9038 vsize=28768336 memory=140415365810452 CPUtime=0.07 cores=0-7
/proc/9040/task/9047/stat : 9047 (java) S 9038 9038 8994 0 -1 1077944384 98 0 0 0 5 2 0 0 20 0 28 0 446364229 29458776064 168517 33554432000 4194304 4196468 140736449368976 140387995077136 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9048] ppid=9038 vsize=28768336 memory=140415365810522 CPUtime=0.09 cores=0-7
/proc/9040/task/9048/stat : 9048 (java) S 9038 9038 8994 0 -1 1077944384 171 0 0 0 6 3 0 0 20 0 28 0 446364229 29458776064 168517 33554432000 4194304 4196468 140736449368976 140387994024336 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9049] ppid=9038 vsize=28768336 memory=140415365810541 CPUtime=0.09 cores=0-7
/proc/9040/task/9049/stat : 9049 (java) S 9038 9038 8994 0 -1 1077944384 145 0 0 0 6 3 0 0 20 0 28 0 446364229 29458776064 168517 33554432000 4194304 4196468 140736449368976 140387992971536 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9050] ppid=9038 vsize=28768336 memory=147038205380103 CPUtime=0.01 cores=0-7
/proc/9040/task/9050/stat : 9050 (java) S 9038 9038 8994 0 -1 1077944384 1093 0 0 0 1 0 0 0 20 0 28 0 446364231 29458776064 168517 33554432000 4194304 4196468 140736449368976 140386175613808 140388047731330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9051] ppid=9038 vsize=28768336 memory=280825900274208 CPUtime=0 cores=0-7
/proc/9040/task/9051/stat : 9051 (java) S 9038 9038 8994 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 446364231 29458776064 168517 33554432000 4194304 4196468 140736449368976 140386174559840 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9052] ppid=9038 vsize=28768336 memory=140412949965840 CPUtime=0 cores=0-7
/proc/9040/task/9052/stat : 9052 (java) S 9038 9038 8994 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 446364232 29458776064 168517 33554432000 4194304 4196468 140736449368976 140386106336640 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9053] ppid=9038 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9053/stat : 9053 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446364234 29458776064 168517 33554432000 4194304 4196468 140736449368976 140386105284944 140388047738779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9054] ppid=9038 vsize=28768336 memory=0 CPUtime=2.6 cores=0-7
/proc/9040/task/9054/stat : 9054 (java) R 9038 9038 8994 0 -1 4202560 5930 0 0 0 258 2 0 0 20 0 28 0 446364234 29458776064 168517 33554432000 4194304 4196468 140736449368976 140386104218464 140388025722725 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9055] ppid=9038 vsize=28768336 memory=0 CPUtime=2.76 cores=0-7
/proc/9040/task/9055/stat : 9055 (java) R 9038 9038 8994 0 -1 4202560 6085 0 0 0 275 1 0 0 20 0 28 0 446364234 29458776064 168517 33554432000 4194304 4196468 140736449368976 140386103167936 140388033734492 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9056] ppid=9038 vsize=28768336 memory=280825899778288 CPUtime=2.6 cores=0-7
/proc/9040/task/9056/stat : 9056 (java) R 9038 9038 8994 0 -1 4202560 6257 0 0 0 258 2 0 0 20 0 28 0 446364234 29458776064 168517 33554432000 4194304 4196468 140736449368976 140386102107904 140388032637544 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9057] ppid=9038 vsize=28768336 memory=0 CPUtime=0.82 cores=0-7
/proc/9040/task/9057/stat : 9057 (java) R 9038 9038 8994 0 -1 4202560 3835 0 0 0 81 1 0 0 20 0 28 0 446364234 29458776064 168517 33554432000 4194304 4196468 140736449368976 140386101073904 140388047741530 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9058] ppid=9038 vsize=28768336 memory=-3395018508454991405 CPUtime=0 cores=0-7
/proc/9040/task/9058/stat : 9058 (java) S 9038 9038 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446364234 29458776064 168517 33554432000 4194304 4196468 140736449368976 140386100022368 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9059] ppid=9038 vsize=28768336 memory=-6440016330336396909 CPUtime=0 cores=0-7
/proc/9040/task/9059/stat : 9059 (java) S 9038 9038 8994 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 446364234 29458776064 168517 33554432000 4194304 4196468 140736449368976 140386098969648 140388047731330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
Current children cumulated CPU time: 18.47 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 675520 KiB

[startup+4.6009 s]
/proc/loadavg: 4.03 4.60 5.39 4/219 9091
/proc/meminfo: memFree=29663788/32770624 swapFree=66998768/67108860
[pid=9038] ppid=9035 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9038/stat : 9038 (xcsp3-exec) S 9035 9038 8994 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446364228 115843072 363 33554432000 4194304 5098028 140721109746576 140721109744680 140679434658428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13672448 140721109754742 140721109754985 140721109754985 140721109757898 0
/proc/9038/statm: 28282 363 304 221 0 87 0
[pid=9040] ppid=9038 vsize=28768336 memory=716216 CPUtime=19.95 cores=0-7
/proc/9040/stat : 9040 (java) S 9038 9038 8994 0 -1 1077944320 39363 0 0 0 1943 52 0 0 20 0 28 0 446364228 29458776064 179054 33554432000 4194304 4196468 140736449368976 140736449351520 140388047720183 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
/proc/9040/statm: 7192084 179054 3538 1 0 7153184 0
[pid=9040/tid=9041] ppid=9038 vsize=28768336 memory=7016671349533276567 CPUtime=3.05 cores=0-7
/proc/9040/task/9041/stat : 9041 (java) S 9038 9038 8994 0 -1 1077944384 11151 0 0 0 295 10 0 0 20 0 28 0 446364229 29458776064 179054 33554432000 4194304 4196468 140736449368976 140388051960960 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9042] ppid=9038 vsize=28768336 memory=-7025448733113094249 CPUtime=0.1 cores=0-7
/proc/9040/task/9042/stat : 9042 (java) S 9038 9038 8994 0 -1 1077944384 146 0 0 0 7 3 0 0 20 0 28 0 446364229 29458776064 179054 33554432000 4194304 4196468 140736449368976 140388000341136 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9043] ppid=9038 vsize=28768336 memory=-7098080424032564416 CPUtime=0.1 cores=0-7
/proc/9040/task/9043/stat : 9043 (java) S 9038 9038 8994 0 -1 1077944384 350 0 0 0 7 3 0 0 20 0 28 0 446364229 29458776064 179054 33554432000 4194304 4196468 140736449368976 140387999288336 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9044] ppid=9038 vsize=28768336 memory=-6352457589558316502 CPUtime=0.1 cores=0-7
/proc/9040/task/9044/stat : 9044 (java) S 9038 9038 8994 0 -1 1077944384 145 0 0 0 7 3 0 0 20 0 28 0 446364229 29458776064 179054 33554432000 4194304 4196468 140736449368976 140387998235536 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9045] ppid=9038 vsize=28768336 memory=8325900749618438795 CPUtime=0.1 cores=0-7
/proc/9040/task/9045/stat : 9045 (java) S 9038 9038 8994 0 -1 1077944384 135 0 0 0 6 4 0 0 20 0 28 0 446364229 29458776064 179054 33554432000 4194304 4196468 140736449368976 140387997182736 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9046] ppid=9038 vsize=28768336 memory=-8412661042826874739 CPUtime=0.11 cores=0-7
/proc/9040/task/9046/stat : 9046 (java) S 9038 9038 8994 0 -1 1077944384 282 0 0 0 7 4 0 0 20 0 28 0 446364229 29458776064 179054 33554432000 4194304 4196468 140736449368976 140387996129936 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9047] ppid=9038 vsize=28768336 memory=5450916415389140539 CPUtime=0.09 cores=0-7
/proc/9040/task/9047/stat : 9047 (java) S 9038 9038 8994 0 -1 1077944384 118 0 0 0 6 3 0 0 20 0 28 0 446364229 29458776064 179054 33554432000 4194304 4196468 140736449368976 140387995077136 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9048] ppid=9038 vsize=28768336 memory=-5940348547849083487 CPUtime=0.1 cores=0-7
/proc/9040/task/9048/stat : 9048 (java) S 9038 9038 8994 0 -1 1077944384 200 0 0 0 7 3 0 0 20 0 28 0 446364229 29458776064 179054 33554432000 4194304 4196468 140736449368976 140387994024336 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9049] ppid=9038 vsize=28768336 memory=7377246124687064083 CPUtime=0.11 cores=0-7
/proc/9040/task/9049/stat : 9049 (java) S 9038 9038 8994 0 -1 1077944384 169 0 0 0 7 4 0 0 20 0 28 0 446364229 29458776064 179054 33554432000 4194304 4196468 140736449368976 140387992971536 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9050] ppid=9038 vsize=28768336 memory=-5155631275773826388 CPUtime=0.01 cores=0-7
/proc/9040/task/9050/stat : 9050 (java) S 9038 9038 8994 0 -1 1077944384 1116 0 0 0 1 0 0 0 20 0 28 0 446364231 29458776064 179054 33554432000 4194304 4196468 140736449368976 140386175613808 140388047731330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9051] ppid=9038 vsize=28768336 memory=-7101435874594224582 CPUtime=0 cores=0-7
/proc/9040/task/9051/stat : 9051 (java) S 9038 9038 8994 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 446364231 29458776064 179054 33554432000 4194304 4196468 140736449368976 140386174559840 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9052] ppid=9038 vsize=28768336 memory=8191324994196845656 CPUtime=0 cores=0-7
/proc/9040/task/9052/stat : 9052 (java) S 9038 9038 8994 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 446364232 29458776064 179054 33554432000 4194304 4196468 140736449368976 140386106336640 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9053] ppid=9038 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9053/stat : 9053 (java) S 9038 9038 8994 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446364234 29458776064 179054 33554432000 4194304 4196468 140736449368976 140386105284944 140388047738779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9054] ppid=9038 vsize=28768336 memory=7661859269933688679 CPUtime=2.77 cores=0-7
/proc/9040/task/9054/stat : 9054 (java) R 9038 9038 8994 0 -1 4202560 5948 0 0 0 275 2 0 0 20 0 28 0 446364234 29458776064 179054 33554432000 4194304 4196468 140736449368976 140386104211344 140388032845317 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9055] ppid=9038 vsize=28768336 memory=0 CPUtime=2.93 cores=0-7
/proc/9040/task/9055/stat : 9055 (java) R 9038 9038 8994 0 -1 4202560 6674 0 0 0 292 1 0 0 20 0 28 0 446364234 29458776064 179054 33554432000 4194304 4196468 140736449368976 140386103160520 140388031246788 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9056] ppid=9038 vsize=28768336 memory=4639948313719891052 CPUtime=2.7 cores=0-7
/proc/9040/task/9056/stat : 9056 (java) R 9038 9038 8994 0 -1 4202560 6279 0 0 0 268 2 0 0 20 0 28 0 446364234 29458776064 179054 33554432000 4194304 4196468 140736449368976 140386102112464 140388027153275 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9057] ppid=9038 vsize=28768336 memory=7235428000226306644 CPUtime=0.84 cores=0-7
/proc/9040/task/9057/stat : 9057 (java) R 9038 9038 8994 0 -1 1077944384 3850 0 0 0 83 1 0 0 20 0 28 0 446364234 29458776064 179054 33554432000 4194304 4196468 140736449368976 140386101073904 140388047731330 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9058] ppid=9038 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9058/stat : 9058 (java) S 9038 9038 8994 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446364234 29458776064 179054 33554432000 4194304 4196468 140736449368976 140386100022368 140388047730389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
[pid=9040/tid=9059] ppid=9038 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9040/task/9059/stat : 9059 (java) S 9038 9038 8994 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 446364234 29458776064 179054 33554432000 4194304 4196468 140736449368976 140386098969648 140388047731330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12824576 140736449377258 140736449377430 140736449377430 140736449380303 0
Current children cumulated CPU time: 19.95 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 717668 KiB

Child status: 0
Real time (s): 4.65217
CPU time (s): 20.1667
CPU user time (s): 19.6277
CPU system time (s): 0.538967
CPU usage (%): 433.49
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 717668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.6277
system time used= 0.538967
maximum resident set size= 717508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40313
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4754
involuntary context switches= 373


# summary of solver processes directly reported to runsolver:
#   pid: 9038
#   total CPU time (s): 20.1667
#   total CPU user time (s): 19.6277
#   total CPU system time (s): 0.538967

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.056737 second user time and 0.090359 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05c.xml
MD5SUM	4c5949db6bfbca6a63c3d4670a37bb2f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	1.94048
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	9803
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	28
Maximum variable degree	67
Distribution of variable degrees	[{"degree":28,"count":1},{"degree":29,"count":1},{"degree":31,"count":2},{"degree":32,"count":7},{"degree":33,"count":5},{"degree":34,"count":2},{"degree":35,"count":4},{"degree":36,"count":18},{"degree":37,"count":10},{"degree":38,"count":21},{"degree":39,"count":27},{"degree":40,"count":25},{"degree":41,"count":33},{"degree":42,"count":22},{"degree":43,"count":23},{"degree":44,"count":27},{"degree":45,"count":26},{"degree":46,"count":37},{"degree":47,"count":26},{"degree":48,"count":25},{"degree":49,"count":23},{"degree":50,"count":17},{"degree":51,"count":11},{"degree":52,"count":13},{"degree":53,"count":9},{"degree":54,"count":8},{"degree":55,"count":4},{"degree":56,"count":1},{"degree":57,"count":4},{"degree":58,"count":5},{"degree":60,"count":5},{"degree":61,"count":4},{"degree":63,"count":1},{"degree":66,"count":2},{"degree":67,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":9803}]
Number of extensional constraints	0
Number of intensional constraints	9803
Distribution of constraint types	[{"type":"intension","count":9803}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4399804

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
