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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20 parallel	OPT	394	29.6821	5.52512
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 (14068 MiB free)
  memory of node 1: 16384 MiB (10598 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404947-1569014117/watcher-4404947-1569014117 -o /var/tmp/evaluation-result-4404947-1569014117/solver-4404947-1569014117 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569001704-15737 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 845293627 HOME/instance-4404947-1569014117.xml 

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

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


[startup+0.100118 s]*
/proc/loadavg: 6.50 7.05 6.84 2/212 17626
/proc/meminfo: memFree=25242476/32770624 swapFree=66952752/67108860
[pid=17605] ppid=17602 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17605/stat : 17605 (xcsp3-exec) S 17602 17605 15710 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477667222 115843072 363 33554432000 4194304 5098028 140735002029504 140735002027608 140042124268156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28229632 140735002035032 140735002035290 140735002035290 140735002038214 0
/proc/17605/statm: 28282 363 304 221 0 87 0
[pid=17607] ppid=17605 vsize=28227396 memory=29260 CPUtime=0.12 cores=0-7
/proc/17607/stat : 17607 (java) S 17605 17605 15710 0 -1 1077944320 5791 0 0 0 11 1 0 0 20 0 20 0 477667223 28904853504 7315 33554432000 4194304 4196468 140735946542672 140735946525216 140252773453559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
/proc/17607/statm: 7056849 7315 3099 1 0 7019032 0
[pid=17607/tid=17608] ppid=17605 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/17607/task/17608/stat : 17608 (java) R 17605 17605 15710 0 -1 4202560 3700 0 0 0 8 1 0 0 20 0 20 0 477667223 28904853504 7315 33554432000 4194304 4196468 140735946542672 140252777689664 140252773465494 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17609] ppid=17605 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/17607/task/17609/stat : 17609 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667224 28904853504 7315 33554432000 4194304 4196468 140735946542672 140252726073616 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17610] ppid=17605 vsize=28227396 memory=140310269929088 CPUtime=0 cores=0-7
/proc/17607/task/17610/stat : 17610 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667224 28904853504 7315 33554432000 4194304 4196468 140735946542672 140252725021072 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17611] ppid=17605 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17611/stat : 17611 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667224 28904853504 7315 33554432000 4194304 4196468 140735946542672 140252723968528 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17612] ppid=17605 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17612/stat : 17612 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667224 28904853504 7315 33554432000 4194304 4196468 140735946542672 140252722915984 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17613] ppid=17605 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17613/stat : 17613 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667224 28904853504 7315 33554432000 4194304 4196468 140735946542672 140252721863440 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17614] ppid=17605 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17607/task/17614/stat : 17614 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667224 28904853504 7315 33554432000 4194304 4196468 140735946542672 140252720810896 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17615] ppid=17605 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17615/stat : 17615 (java) S 17605 17605 15710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667224 28904853504 7315 33554432000 4194304 4196468 140735946542672 140252719758352 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17616] ppid=17605 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17616/stat : 17616 (java) S 17605 17605 15710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477667224 28904853504 7315 33554432000 4194304 4196468 140735946542672 140252718705808 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17617] ppid=17605 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17617/stat : 17617 (java) S 17605 17605 15710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667225 28904853504 7315 33554432000 4194304 4196468 140735946542672 140251438934000 140252773464706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17618] ppid=17605 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17618/stat : 17618 (java) S 17605 17605 15710 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477667226 28904853504 7315 33554432000 4194304 4196468 140735946542672 140251437880224 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17619] ppid=17605 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17619/stat : 17619 (java) S 17605 17605 15710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477667226 28904853504 7315 33554432000 4194304 4196468 140735946542672 140251436827632 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17620] ppid=17605 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17620/stat : 17620 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667229 28904853504 7315 33554432000 4194304 4196468 140735946542672 140251435776208 140252773472155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17621] ppid=17605 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17621/stat : 17621 (java) S 17605 17605 15710 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 477667229 28904853504 7315 33554432000 4194304 4196468 140735946542672 140251434723824 140252773464706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17622] ppid=17605 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17622/stat : 17622 (java) R 17605 17605 15710 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 477667229 28904853504 7315 33554432000 4194304 4196468 140735946542672 140251433671376 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17623] ppid=17605 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17623/stat : 17623 (java) S 17605 17605 15710 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 20 0 477667229 28904853504 7315 33554432000 4194304 4196468 140735946542672 140251432618736 140252773464706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17624] ppid=17605 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/17607/task/17624/stat : 17624 (java) R 17605 17605 15710 0 -1 4202560 357 0 0 0 1 0 0 0 20 0 20 0 477667229 28904853504 7315 33554432000 4194304 4196468 140735946542672 140251431566192 140252773465494 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17625] ppid=17605 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17625/stat : 17625 (java) S 17605 17605 15710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477667229 28904853504 7315 33554432000 4194304 4196468 140735946542672 140251430512864 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17626] ppid=17605 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17607/task/17626/stat : 17626 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667229 28904853504 7315 33554432000 4194304 4196468 140735946542672 140251429460400 140252773464706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30712 KiB

[startup+0.210299 s]*
/proc/loadavg: 6.50 7.05 6.84 2/212 17626
/proc/meminfo: memFree=25229532/32770624 swapFree=66952752/67108860
[pid=17605] ppid=17602 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17605/stat : 17605 (xcsp3-exec) S 17602 17605 15710 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477667222 115843072 363 33554432000 4194304 5098028 140735002029504 140735002027608 140042124268156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28229632 140735002035032 140735002035290 140735002035290 140735002038214 0
/proc/17605/statm: 28282 363 304 221 0 87 0
[pid=17607] ppid=17605 vsize=28227396 memory=40356 CPUtime=0.33 cores=0-7
/proc/17607/stat : 17607 (java) S 17605 17605 15710 0 -1 1077944320 9390 0 0 0 30 3 0 0 20 0 20 0 477667223 28904853504 10089 33554432000 4194304 4196468 140735946542672 140735946525216 140252773453559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
/proc/17607/statm: 7056849 10089 3285 1 0 7019032 0
[pid=17607/tid=17608] ppid=17605 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/17607/task/17608/stat : 17608 (java) R 17605 17605 15710 0 -1 4202560 6648 0 0 0 17 2 0 0 20 0 20 0 477667223 28904853504 10089 33554432000 4194304 4196468 140735946542672 140252777683280 140252766131573 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17609] ppid=17605 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/17607/task/17609/stat : 17609 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667224 28904853504 10089 33554432000 4194304 4196468 140735946542672 140252726073616 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17610] ppid=17605 vsize=28227396 memory=288370686421640832 CPUtime=0 cores=0-7
/proc/17607/task/17610/stat : 17610 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667224 28904853504 10089 33554432000 4194304 4196468 140735946542672 140252725021072 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17611] ppid=17605 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17607/task/17611/stat : 17611 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667224 28904853504 10089 33554432000 4194304 4196468 140735946542672 140252723968528 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17612] ppid=17605 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17612/stat : 17612 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667224 28904853504 10089 33554432000 4194304 4196468 140735946542672 140252722915984 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17613] ppid=17605 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17613/stat : 17613 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667224 28904853504 10089 33554432000 4194304 4196468 140735946542672 140252721863440 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17614] ppid=17605 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17607/task/17614/stat : 17614 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667224 28904853504 10089 33554432000 4194304 4196468 140735946542672 140252720810896 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17615] ppid=17605 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17615/stat : 17615 (java) S 17605 17605 15710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667224 28904853504 10089 33554432000 4194304 4196468 140735946542672 140252719758352 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17616] ppid=17605 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17616/stat : 17616 (java) S 17605 17605 15710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477667224 28904853504 10089 33554432000 4194304 4196468 140735946542672 140252718705808 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17617] ppid=17605 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17617/stat : 17617 (java) S 17605 17605 15710 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 477667225 28904853504 10089 33554432000 4194304 4196468 140735946542672 140251438934000 140252773464706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17618] ppid=17605 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17618/stat : 17618 (java) S 17605 17605 15710 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477667226 28904853504 10089 33554432000 4194304 4196468 140735946542672 140251437880224 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17619] ppid=17605 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17619/stat : 17619 (java) S 17605 17605 15710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477667226 28904853504 10089 33554432000 4194304 4196468 140735946542672 140251436827632 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17620] ppid=17605 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17620/stat : 17620 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667229 28904853504 10089 33554432000 4194304 4196468 140735946542672 140251435776208 140252773472155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17621] ppid=17605 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/17607/task/17621/stat : 17621 (java) S 17605 17605 15710 0 -1 1077944384 154 0 0 0 1 0 0 0 20 0 20 0 477667229 28904853504 10089 33554432000 4194304 4196468 140735946542672 140251434723824 140252773464706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17622] ppid=17605 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/17607/task/17622/stat : 17622 (java) S 17605 17605 15710 0 -1 1077944384 189 0 0 0 1 0 0 0 20 0 20 0 477667229 28904853504 10089 33554432000 4194304 4196468 140735946542672 140251433671280 140252773464706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17623] ppid=17605 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/17607/task/17623/stat : 17623 (java) S 17605 17605 15710 0 -1 1077944384 316 0 0 0 1 0 0 0 20 0 20 0 477667229 28904853504 10089 33554432000 4194304 4196468 140735946542672 140251432618736 140252773464706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17624] ppid=17605 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/17607/task/17624/stat : 17624 (java) S 17605 17605 15710 0 -1 1077944384 777 0 0 0 7 0 0 0 20 0 20 0 477667229 28904853504 10089 33554432000 4194304 4196468 140735946542672 140251431566192 140252773464706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17625] ppid=17605 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17625/stat : 17625 (java) S 17605 17605 15710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477667229 28904853504 10089 33554432000 4194304 4196468 140735946542672 140251430512864 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17626] ppid=17605 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17607/task/17626/stat : 17626 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667229 28904853504 10089 33554432000 4194304 4196468 140735946542672 140251429460400 140252773464706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41808 KiB

[startup+0.31012 s]*
/proc/loadavg: 6.50 7.05 6.84 3/212 17626
/proc/meminfo: memFree=25221504/32770624 swapFree=66952752/67108860
[pid=17605] ppid=17602 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17605/stat : 17605 (xcsp3-exec) S 17602 17605 15710 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477667222 115843072 363 33554432000 4194304 5098028 140735002029504 140735002027608 140042124268156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28229632 140735002035032 140735002035290 140735002035290 140735002038214 0
/proc/17605/statm: 28282 363 304 221 0 87 0
[pid=17607] ppid=17605 vsize=28231652 memory=49576 CPUtime=0.53 cores=0-7
/proc/17607/stat : 17607 (java) S 17605 17605 15710 0 -1 1077944320 10780 0 0 0 49 4 0 0 20 0 20 0 477667223 28909211648 12394 33554432000 4194304 4196468 140735946542672 140735946525216 140252773453559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
/proc/17607/statm: 7057913 12394 3335 1 0 7019032 0
[pid=17607/tid=17608] ppid=17605 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/17607/task/17608/stat : 17608 (java) R 17605 17605 15710 0 -1 4202560 7748 0 0 0 27 2 0 0 20 0 20 0 477667223 28909211648 12440 33554432000 4194304 4196468 140735946542672 140252777684672 140252757534046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17609] ppid=17605 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17609/stat : 17609 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667224 28909211648 12440 33554432000 4194304 4196468 140735946542672 140252726073616 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17610] ppid=17605 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17610/stat : 17610 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667224 28909211648 12440 33554432000 4194304 4196468 140735946542672 140252725021072 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17611] ppid=17605 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17611/stat : 17611 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667224 28909211648 12440 33554432000 4194304 4196468 140735946542672 140252723968528 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17612] ppid=17605 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17612/stat : 17612 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667224 28909211648 12440 33554432000 4194304 4196468 140735946542672 140252722915984 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17613] ppid=17605 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17613/stat : 17613 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667224 28909211648 12440 33554432000 4194304 4196468 140735946542672 140252721863440 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17614] ppid=17605 vsize=28231652 memory=140310139202223 CPUtime=0 cores=0-7
/proc/17607/task/17614/stat : 17614 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667224 28909211648 12440 33554432000 4194304 4196468 140735946542672 140252720810896 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17615] ppid=17605 vsize=28231652 memory=140310139204528 CPUtime=0 cores=0-7
/proc/17607/task/17615/stat : 17615 (java) S 17605 17605 15710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667224 28909211648 12440 33554432000 4194304 4196468 140735946542672 140252719758352 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17616] ppid=17605 vsize=28231652 memory=140310139206832 CPUtime=0 cores=0-7
/proc/17607/task/17616/stat : 17616 (java) S 17605 17605 15710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477667224 28909211648 12440 33554432000 4194304 4196468 140735946542672 140252718705808 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17617] ppid=17605 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17617/stat : 17617 (java) S 17605 17605 15710 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 477667225 28909211648 12440 33554432000 4194304 4196468 140735946542672 140251438934000 140252773464706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17618] ppid=17605 vsize=28231652 memory=280620278427536 CPUtime=0 cores=0-7
/proc/17607/task/17618/stat : 17618 (java) S 17605 17605 15710 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477667226 28909211648 12440 33554432000 4194304 4196468 140735946542672 140251437880224 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17619] ppid=17605 vsize=28231652 memory=280620278425232 CPUtime=0 cores=0-7
/proc/17607/task/17619/stat : 17619 (java) S 17605 17605 15710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477667226 28909211648 12440 33554432000 4194304 4196468 140735946542672 140251436827632 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17620] ppid=17605 vsize=28231652 memory=280620278432144 CPUtime=0 cores=0-7
/proc/17607/task/17620/stat : 17620 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667229 28909211648 12440 33554432000 4194304 4196468 140735946542672 140251435776208 140252773472155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17621] ppid=17605 vsize=28231652 memory=280620278373424 CPUtime=0.02 cores=0-7
/proc/17607/task/17621/stat : 17621 (java) S 17605 17605 15710 0 -1 1077944384 163 0 0 0 2 0 0 0 20 0 20 0 477667229 28909211648 12440 33554432000 4194304 4196468 140735946542672 140251434723824 140252773464706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17622] ppid=17605 vsize=28231652 memory=280620278445968 CPUtime=0.02 cores=0-7
/proc/17607/task/17622/stat : 17622 (java) S 17605 17605 15710 0 -1 1077944384 189 0 0 0 2 0 0 0 20 0 20 0 477667229 28909211648 12440 33554432000 4194304 4196468 140735946542672 140251433671280 140252773464706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17623] ppid=17605 vsize=28231652 memory=280620278452880 CPUtime=0.03 cores=0-7
/proc/17607/task/17623/stat : 17623 (java) R 17605 17605 15710 0 -1 4202560 410 0 0 0 3 0 0 0 20 0 20 0 477667229 28909211648 12440 33554432000 4194304 4196468 140735946542672 140251432609120 140252754155203 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17624] ppid=17605 vsize=28231652 memory=280620278450576 CPUtime=0.13 cores=0-7
/proc/17607/task/17624/stat : 17624 (java) S 17605 17605 15710 0 -1 1077944384 971 0 0 0 13 0 0 0 20 0 20 0 477667229 28909211648 12440 33554432000 4194304 4196468 140735946542672 140251431566192 140252773464706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17625] ppid=17605 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17625/stat : 17625 (java) S 17605 17605 15710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477667229 28909211648 12440 33554432000 4194304 4196468 140735946542672 140251430512864 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17626] ppid=17605 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/17607/task/17626/stat : 17626 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667229 28909211648 12440 33554432000 4194304 4196468 140735946542672 140251429460400 140252773464706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51028 KiB

[startup+0.701014 s]
/proc/loadavg: 6.50 7.05 6.84 4/212 17626
/proc/meminfo: memFree=25201364/32770624 swapFree=66952752/67108860
[pid=17605] ppid=17602 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17605/stat : 17605 (xcsp3-exec) S 17602 17605 15710 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477667222 115843072 363 33554432000 4194304 5098028 140735002029504 140735002027608 140042124268156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28229632 140735002035032 140735002035290 140735002035290 140735002038214 0
/proc/17605/statm: 28282 363 304 221 0 87 0
[pid=17607] ppid=17605 vsize=28233776 memory=108156 CPUtime=1.98 cores=0-7
/proc/17607/stat : 17607 (java) S 17605 17605 15710 0 -1 1077944320 17186 0 0 0 192 6 0 0 20 0 20 0 477667223 28911386624 27039 33554432000 4194304 4196468 140735946542672 140735946525216 140252773453559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
/proc/17607/statm: 7058444 27039 3451 1 0 7019544 0
[pid=17607/tid=17608] ppid=17605 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/17607/task/17608/stat : 17608 (java) R 17605 17605 15710 0 -1 4202560 9231 0 0 0 63 4 0 0 20 0 20 0 477667223 28911386624 27039 33554432000 4194304 4196468 140735946542672 140252777661280 140252766131573 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17609] ppid=17605 vsize=28233776 memory=140310139413360 CPUtime=0 cores=0-7
/proc/17607/task/17609/stat : 17609 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667224 28911386624 27039 33554432000 4194304 4196468 140735946542672 140252726073616 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17610] ppid=17605 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17610/stat : 17610 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667224 28911386624 27039 33554432000 4194304 4196468 140735946542672 140252725021072 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17611] ppid=17605 vsize=28233776 memory=2832 CPUtime=0 cores=0-7

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

/proc/17607/stat : 17607 (java) S 17605 17605 15710 0 -1 1077944320 41098 0 0 0 2689 70 0 0 20 0 28 0 477667223 29458776064 202761 33554432000 4194304 4196468 140735946542672 140735946525216 140252773453559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
/proc/17607/statm: 7192084 202761 3531 1 0 7153184 0
[pid=17607/tid=17608] ppid=17605 vsize=28768336 memory=0 CPUtime=2.95 cores=0-7
/proc/17607/task/17608/stat : 17608 (java) S 17605 17605 15710 0 -1 1077944384 10636 0 0 0 285 10 0 0 20 0 28 0 477667223 29458776064 202761 33554432000 4194304 4196468 140735946542672 140252777694336 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17609] ppid=17605 vsize=28768336 memory=0 CPUtime=0.18 cores=0-7
/proc/17607/task/17609/stat : 17609 (java) S 17605 17605 15710 0 -1 1077944384 454 0 0 0 13 5 0 0 20 0 28 0 477667224 29458776064 202761 33554432000 4194304 4196468 140735946542672 140252726073616 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17610] ppid=17605 vsize=28768336 memory=0 CPUtime=0.17 cores=0-7
/proc/17607/task/17610/stat : 17610 (java) S 17605 17605 15710 0 -1 1077944384 225 0 0 0 13 4 0 0 20 0 28 0 477667224 29458776064 202761 33554432000 4194304 4196468 140735946542672 140252725021072 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17611] ppid=17605 vsize=28768336 memory=0 CPUtime=0.21 cores=0-7
/proc/17607/task/17611/stat : 17611 (java) S 17605 17605 15710 0 -1 1077944384 253 0 0 0 15 6 0 0 20 0 28 0 477667224 29458776064 202761 33554432000 4194304 4196468 140735946542672 140252723968528 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17612] ppid=17605 vsize=28768336 memory=0 CPUtime=0.22 cores=0-7
/proc/17607/task/17612/stat : 17612 (java) S 17605 17605 15710 0 -1 1077944384 283 0 0 0 15 7 0 0 20 0 28 0 477667224 29458776064 202761 33554432000 4194304 4196468 140735946542672 140252722915984 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17613] ppid=17605 vsize=28768336 memory=0 CPUtime=0.19 cores=0-7
/proc/17607/task/17613/stat : 17613 (java) S 17605 17605 15710 0 -1 1077944384 231 0 0 0 13 6 0 0 20 0 28 0 477667224 29458776064 202761 33554432000 4194304 4196468 140735946542672 140252721863440 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17614] ppid=17605 vsize=28768336 memory=0 CPUtime=0.17 cores=0-7
/proc/17607/task/17614/stat : 17614 (java) S 17605 17605 15710 0 -1 1077944384 158 0 0 0 12 5 0 0 20 0 28 0 477667224 29458776064 202761 33554432000 4194304 4196468 140735946542672 140252720810896 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17615] ppid=17605 vsize=28768336 memory=0 CPUtime=0.21 cores=0-7
/proc/17607/task/17615/stat : 17615 (java) S 17605 17605 15710 0 -1 1077944384 365 0 0 0 15 6 0 0 20 0 28 0 477667224 29458776064 202761 33554432000 4194304 4196468 140735946542672 140252719758352 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17616] ppid=17605 vsize=28768336 memory=0 CPUtime=0.2 cores=0-7
/proc/17607/task/17616/stat : 17616 (java) S 17605 17605 15710 0 -1 1077944384 202 0 0 0 15 5 0 0 20 0 28 0 477667224 29458776064 202761 33554432000 4194304 4196468 140735946542672 140252718705808 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17617] ppid=17605 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/17607/task/17617/stat : 17617 (java) S 17605 17605 15710 0 -1 1077944384 611 0 0 0 1 0 0 0 20 0 28 0 477667225 29458776064 202761 33554432000 4194304 4196468 140735946542672 140251438934000 140252773464706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17618] ppid=17605 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17618/stat : 17618 (java) S 17605 17605 15710 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 477667226 29458776064 202761 33554432000 4194304 4196468 140735946542672 140251437880288 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17619] ppid=17605 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17619/stat : 17619 (java) S 17605 17605 15710 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 477667226 29458776064 202761 33554432000 4194304 4196468 140735946542672 140251436827648 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17620] ppid=17605 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17620/stat : 17620 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477667229 29458776064 202761 33554432000 4194304 4196468 140735946542672 140251435776208 140252773472155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17621] ppid=17605 vsize=28768336 memory=0 CPUtime=3.79 cores=0-7
/proc/17607/task/17621/stat : 17621 (java) R 17605 17605 15710 0 -1 4202560 7163 0 0 0 377 2 0 0 20 0 28 0 477667229 29458776064 202761 33554432000 4194304 4196468 140735946542672 140251434705392 140252756952533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17622] ppid=17605 vsize=28768336 memory=0 CPUtime=3.39 cores=0-7
/proc/17607/task/17622/stat : 17622 (java) R 17605 17605 15710 0 -1 4202560 7090 0 0 0 337 2 0 0 20 0 28 0 477667229 29458776064 202761 33554432000 4194304 4196468 140735946542672 140251433652848 140252756950128 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17623] ppid=17605 vsize=28768336 memory=0 CPUtime=3.54 cores=0-7
/proc/17607/task/17623/stat : 17623 (java) R 17605 17605 15710 0 -1 4202560 7059 0 0 0 352 2 0 0 20 0 28 0 477667229 29458776064 202761 33554432000 4194304 4196468 140735946542672 140251432599976 140252751302912 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17624] ppid=17605 vsize=28768336 memory=0 CPUtime=0.81 cores=0-7
/proc/17607/task/17624/stat : 17624 (java) S 17605 17605 15710 0 -1 1077944384 4202 0 0 0 80 1 0 0 20 0 28 0 477667229 29458776064 202761 33554432000 4194304 4196468 140735946542672 140251431566192 140252773464706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17625] ppid=17605 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17625/stat : 17625 (java) S 17605 17605 15710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477667229 29458776064 202761 33554432000 4194304 4196468 140735946542672 140251430512864 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17626] ppid=17605 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17626/stat : 17626 (java) R 17605 17605 15710 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 477667229 29458776064 202761 33554432000 4194304 4196468 140735946542672 140251429460400 140252773464706 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17628] ppid=17605 vsize=28768336 memory=0 CPUtime=1.37 cores=0-7
/proc/17607/task/17628/stat : 17628 (java) R 17605 17605 15710 0 -1 4202560 101 0 0 0 137 0 0 0 20 0 28 0 477667536 29458776064 202761 33554432000 4194304 4196468 140735946542672 140251420241112 140252384149893 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17629] ppid=17605 vsize=28768336 memory=0 CPUtime=1.28 cores=0-7
/proc/17607/task/17629/stat : 17629 (java) R 17605 17605 15710 0 -1 4202560 82 0 0 0 128 0 0 0 20 0 28 0 477667537 29458776064 202761 33554432000 4194304 4196468 140735946542672 140251081202864 140252385183623 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17630] ppid=17605 vsize=28768336 memory=0 CPUtime=1.48 cores=0-7
/proc/17607/task/17630/stat : 17630 (java) R 17605 17605 15710 0 -1 4202560 109 0 0 0 148 0 0 0 20 0 28 0 477667537 29458776064 202761 33554432000 4194304 4196468 140735946542672 140251080147512 140252758664156 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17631] ppid=17605 vsize=28768336 memory=0 CPUtime=1.57 cores=0-7
/proc/17607/task/17631/stat : 17631 (java) R 17605 17605 15710 0 -1 4202560 206 0 0 0 157 0 0 0 20 0 28 0 477667537 29458776064 202761 33554432000 4194304 4196468 140735946542672 140251079094392 140252386246421 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17632] ppid=17605 vsize=28768336 memory=0 CPUtime=1.49 cores=0-7
/proc/17607/task/17632/stat : 17632 (java) R 17605 17605 15710 0 -1 4202560 44 0 0 0 149 0 0 0 20 0 28 0 477667537 29458776064 202761 33554432000 4194304 4196468 140735946542672 140251078044192 140252386341730 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17633] ppid=17605 vsize=28768336 memory=0 CPUtime=1.47 cores=0-7
/proc/17607/task/17633/stat : 17633 (java) R 17605 17605 15710 0 -1 4202560 86 0 0 0 146 1 0 0 20 0 28 0 477667537 29458776064 202761 33554432000 4194304 4196468 140735946542672 140251076993032 140252386002761 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17634] ppid=17605 vsize=28768336 memory=0 CPUtime=1.23 cores=0-7
/proc/17607/task/17634/stat : 17634 (java) R 17605 17605 15710 0 -1 4202560 101 0 0 0 123 0 0 0 20 0 28 0 477667537 29458776064 202761 33554432000 4194304 4196468 140735946542672 140251075939392 140252375231717 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17635] ppid=17605 vsize=28768336 memory=0 CPUtime=1.46 cores=0-7
/proc/17607/task/17635/stat : 17635 (java) R 17605 17605 15710 0 -1 4202560 71 0 0 0 146 0 0 0 20 0 28 0 477667537 29458776064 202761 33554432000 4194304 4196468 140735946542672 140251074886648 140252385562159 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
Current children cumulated CPU time: 27.59 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 812496 KiB

[startup+5.40779 s]
/proc/loadavg: 6.30 7.00 6.83 12/220 17635
/proc/meminfo: memFree=24462408/32770624 swapFree=66952752/67108860
[pid=17605] ppid=17602 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17605/stat : 17605 (xcsp3-exec) S 17602 17605 15710 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477667222 115843072 363 33554432000 4194304 5098028 140735002029504 140735002027608 140042124268156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28229632 140735002035032 140735002035290 140735002035290 140735002038214 0
/proc/17605/statm: 28282 363 304 221 0 87 0
[pid=17607] ppid=17605 vsize=28768336 memory=813376 CPUtime=29.06 cores=0-7
/proc/17607/stat : 17607 (java) S 17605 17605 15710 0 -1 1077944320 42558 0 0 0 2835 71 0 0 20 0 28 0 477667223 29458776064 203344 33554432000 4194304 4196468 140735946542672 140735946525216 140252773453559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
/proc/17607/statm: 7192084 203344 3533 1 0 7153184 0
[pid=17607/tid=17608] ppid=17605 vsize=28768336 memory=288230376155114650 CPUtime=2.95 cores=0-7
/proc/17607/task/17608/stat : 17608 (java) S 17605 17605 15710 0 -1 1077944384 10836 0 0 0 285 10 0 0 20 0 28 0 477667223 29458776064 203344 33554432000 4194304 4196468 140735946542672 140252777694336 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17609] ppid=17605 vsize=28768336 memory=0 CPUtime=0.18 cores=0-7
/proc/17607/task/17609/stat : 17609 (java) S 17605 17605 15710 0 -1 1077944384 454 0 0 0 13 5 0 0 20 0 28 0 477667224 29458776064 203344 33554432000 4194304 4196468 140735946542672 140252726073616 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17610] ppid=17605 vsize=28768336 memory=0 CPUtime=0.17 cores=0-7
/proc/17607/task/17610/stat : 17610 (java) S 17605 17605 15710 0 -1 1077944384 225 0 0 0 13 4 0 0 20 0 28 0 477667224 29458776064 203344 33554432000 4194304 4196468 140735946542672 140252725021072 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17611] ppid=17605 vsize=28768336 memory=0 CPUtime=0.21 cores=0-7
/proc/17607/task/17611/stat : 17611 (java) S 17605 17605 15710 0 -1 1077944384 253 0 0 0 15 6 0 0 20 0 28 0 477667224 29458776064 203344 33554432000 4194304 4196468 140735946542672 140252723968528 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17612] ppid=17605 vsize=28768336 memory=0 CPUtime=0.22 cores=0-7
/proc/17607/task/17612/stat : 17612 (java) S 17605 17605 15710 0 -1 1077944384 283 0 0 0 15 7 0 0 20 0 28 0 477667224 29458776064 203344 33554432000 4194304 4196468 140735946542672 140252722915984 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17613] ppid=17605 vsize=28768336 memory=0 CPUtime=0.19 cores=0-7
/proc/17607/task/17613/stat : 17613 (java) S 17605 17605 15710 0 -1 1077944384 231 0 0 0 13 6 0 0 20 0 28 0 477667224 29458776064 203344 33554432000 4194304 4196468 140735946542672 140252721863440 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17614] ppid=17605 vsize=28768336 memory=0 CPUtime=0.17 cores=0-7
/proc/17607/task/17614/stat : 17614 (java) S 17605 17605 15710 0 -1 1077944384 158 0 0 0 12 5 0 0 20 0 28 0 477667224 29458776064 203344 33554432000 4194304 4196468 140735946542672 140252720810896 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17615] ppid=17605 vsize=28768336 memory=0 CPUtime=0.21 cores=0-7
/proc/17607/task/17615/stat : 17615 (java) S 17605 17605 15710 0 -1 1077944384 365 0 0 0 15 6 0 0 20 0 28 0 477667224 29458776064 203344 33554432000 4194304 4196468 140735946542672 140252719758352 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17616] ppid=17605 vsize=28768336 memory=0 CPUtime=0.2 cores=0-7
/proc/17607/task/17616/stat : 17616 (java) S 17605 17605 15710 0 -1 1077944384 202 0 0 0 15 5 0 0 20 0 28 0 477667224 29458776064 203344 33554432000 4194304 4196468 140735946542672 140252718705808 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17617] ppid=17605 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/17607/task/17617/stat : 17617 (java) S 17605 17605 15710 0 -1 1077944384 612 0 0 0 1 0 0 0 20 0 28 0 477667225 29458776064 203344 33554432000 4194304 4196468 140735946542672 140251438934000 140252773464706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17618] ppid=17605 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17618/stat : 17618 (java) S 17605 17605 15710 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 477667226 29458776064 203344 33554432000 4194304 4196468 140735946542672 140251437880288 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17619] ppid=17605 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17619/stat : 17619 (java) S 17605 17605 15710 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 477667226 29458776064 203344 33554432000 4194304 4196468 140735946542672 140251436827648 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17620] ppid=17605 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17620/stat : 17620 (java) S 17605 17605 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477667229 29458776064 203344 33554432000 4194304 4196468 140735946542672 140251435776208 140252773472155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17621] ppid=17605 vsize=28768336 memory=0 CPUtime=3.94 cores=0-7
/proc/17607/task/17621/stat : 17621 (java) R 17605 17605 15710 0 -1 4202560 7184 0 0 0 392 2 0 0 20 0 28 0 477667229 29458776064 203344 33554432000 4194304 4196468 140735946542672 140251434702832 140252754643305 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17622] ppid=17605 vsize=28768336 memory=0 CPUtime=3.55 cores=0-7
/proc/17607/task/17622/stat : 17622 (java) R 17605 17605 15710 0 -1 4202560 7115 0 0 0 353 2 0 0 20 0 28 0 477667229 29458776064 203344 33554432000 4194304 4196468 140735946542672 140251433658592 140252754997763 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17623] ppid=17605 vsize=28768336 memory=0 CPUtime=3.7 cores=0-7
/proc/17607/task/17623/stat : 17623 (java) R 17605 17605 15710 0 -1 4202560 7642 0 0 0 368 2 0 0 20 0 28 0 477667229 29458776064 203344 33554432000 4194304 4196468 140735946542672 140251432606384 140252752671088 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17624] ppid=17605 vsize=28768336 memory=0 CPUtime=0.83 cores=0-7
/proc/17607/task/17624/stat : 17624 (java) S 17605 17605 15710 0 -1 1077944384 4252 0 0 0 82 1 0 0 20 0 28 0 477667229 29458776064 203344 33554432000 4194304 4196468 140735946542672 140251431566192 140252773464706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17625] ppid=17605 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17625/stat : 17625 (java) S 17605 17605 15710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477667229 29458776064 203344 33554432000 4194304 4196468 140735946542672 140251430512864 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17626] ppid=17605 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17626/stat : 17626 (java) S 17605 17605 15710 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 477667229 29458776064 203344 33554432000 4194304 4196468 140735946542672 140251429460400 140252773464706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
Current children cumulated CPU time: 29.06 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 814828 KiB

[startup+5.50109 s]
/proc/loadavg: 6.30 7.00 6.83 12/220 17635
/proc/meminfo: memFree=24462408/32770624 swapFree=66952752/67108860
[pid=17605] ppid=17602 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17605/stat : 17605 (xcsp3-exec) S 17602 17605 15710 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477667222 115843072 363 33554432000 4194304 5098028 140735002029504 140735002027608 140042124268156 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28229632 140735002035032 140735002035290 140735002035290 140735002038214 0
/proc/17605/statm: 28282 363 304 221 0 87 0
[pid=17607] ppid=17605 vsize=28768336 memory=813636 CPUtime=29.66 cores=0-7
/proc/17607/stat : 17607 (java) S 17605 17605 15710 0 -1 1077944320 43776 0 0 0 2894 72 0 0 20 0 19 0 477667223 29458776064 203409 33554432000 4194304 4196468 140735946542672 140735946525216 140252773453559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
/proc/17607/statm: 7192084 203409 3536 1 0 7153184 0
[pid=17607/tid=17608] ppid=17605 vsize=28768336 memory=0 CPUtime=2.96 cores=0-7
/proc/17607/task/17608/stat : 17608 (java) S 17605 17605 15710 0 -1 1077944384 10899 0 0 0 286 10 0 0 20 0 19 0 477667223 29458776064 203409 33554432000 4194304 4196468 140735946542672 140252777696400 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17609] ppid=17605 vsize=28768336 memory=164 CPUtime=0.18 cores=0-7
/proc/17607/task/17609/stat : 17609 (java) S 17605 17605 15710 0 -1 1077944384 454 0 0 0 13 5 0 0 20 0 19 0 477667224 29458776064 203409 33554432000 4194304 4196468 140735946542672 140252726073616 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17610] ppid=17605 vsize=28768336 memory=587964310 CPUtime=0.17 cores=0-7
/proc/17607/task/17610/stat : 17610 (java) S 17605 17605 15710 0 -1 1077944384 225 0 0 0 13 4 0 0 20 0 19 0 477667224 29458776064 203409 33554432000 4194304 4196468 140735946542672 140252725021072 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17611] ppid=17605 vsize=28768336 memory=593510294 CPUtime=0.21 cores=0-7
/proc/17607/task/17611/stat : 17611 (java) S 17605 17605 15710 0 -1 1077944384 253 0 0 0 15 6 0 0 20 0 19 0 477667224 29458776064 203409 33554432000 4194304 4196468 140735946542672 140252723968528 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17612] ppid=17605 vsize=28768336 memory=1452 CPUtime=0.22 cores=0-7
/proc/17607/task/17612/stat : 17612 (java) S 17605 17605 15710 0 -1 1077944384 283 0 0 0 15 7 0 0 20 0 19 0 477667224 29458776064 203409 33554432000 4194304 4196468 140735946542672 140252722915984 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17613] ppid=17605 vsize=28768336 memory=424884 CPUtime=0.19 cores=0-7
/proc/17607/task/17613/stat : 17613 (java) S 17605 17605 15710 0 -1 1077944384 231 0 0 0 13 6 0 0 20 0 19 0 477667224 29458776064 203409 33554432000 4194304 4196468 140735946542672 140252721863440 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17614] ppid=17605 vsize=28768336 memory=0 CPUtime=0.17 cores=0-7
/proc/17607/task/17614/stat : 17614 (java) S 17605 17605 15710 0 -1 1077944384 158 0 0 0 12 5 0 0 20 0 19 0 477667224 29458776064 203409 33554432000 4194304 4196468 140735946542672 140252720810896 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17615] ppid=17605 vsize=28768336 memory=0 CPUtime=0.21 cores=0-7
/proc/17607/task/17615/stat : 17615 (java) S 17605 17605 15710 0 -1 1077944384 365 0 0 0 15 6 0 0 20 0 19 0 477667224 29458776064 203409 33554432000 4194304 4196468 140735946542672 140252719758352 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17616] ppid=17605 vsize=28768336 memory=56 CPUtime=0.2 cores=0-7
/proc/17607/task/17616/stat : 17616 (java) S 17605 17605 15710 0 -1 1077944384 202 0 0 0 15 5 0 0 20 0 19 0 477667224 29458776064 203409 33554432000 4194304 4196468 140735946542672 140252718705808 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17617] ppid=17605 vsize=28768336 memory=10814 CPUtime=0.01 cores=0-7
/proc/17607/task/17617/stat : 17617 (java) S 17605 17605 15710 0 -1 1077944384 616 0 0 0 1 0 0 0 20 0 19 0 477667225 29458776064 203409 33554432000 4194304 4196468 140735946542672 140251438934208 140252773464706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17618] ppid=17605 vsize=28768336 memory=25539 CPUtime=0 cores=0-7
/proc/17607/task/17618/stat : 17618 (java) S 17605 17605 15710 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 477667226 29458776064 203409 33554432000 4194304 4196468 140735946542672 140251437880288 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17619] ppid=17605 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/17607/task/17619/stat : 17619 (java) S 17605 17605 15710 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 477667226 29458776064 203409 33554432000 4194304 4196468 140735946542672 140251436827648 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17620] ppid=17605 vsize=28768336 memory=804704 CPUtime=0 cores=0-7
/proc/17607/task/17620/stat : 17620 (java) S 17605 17605 15710 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 477667229 29458776064 203409 33554432000 4194304 4196468 140735946542672 140251435775856 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17621] ppid=17605 vsize=28768336 memory=1452 CPUtime=4.04 cores=0-7
/proc/17607/task/17621/stat : 17621 (java) S 17605 17605 15710 0 -1 1077944384 7461 0 0 0 401 3 0 0 20 0 19 0 477667229 29458776064 203409 33554432000 4194304 4196468 140735946542672 140251434704304 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17622] ppid=17605 vsize=28768336 memory=1452 CPUtime=3.64 cores=0-7
/proc/17607/task/17622/stat : 17622 (java) S 17605 17605 15710 0 -1 1077944384 7345 0 0 0 362 2 0 0 20 0 19 0 477667229 29458776064 203409 33554432000 4194304 4196468 140735946542672 140251433651680 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17623] ppid=17605 vsize=28768336 memory=714392 CPUtime=3.79 cores=0-7
/proc/17607/task/17623/stat : 17623 (java) S 17605 17605 15710 0 -1 1077944384 7642 0 0 0 377 2 0 0 20 0 19 0 477667229 29458776064 203409 33554432000 4194304 4196468 140735946542672 140251432602832 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17624] ppid=17605 vsize=28768336 memory=2319406795981862450 CPUtime=0.84 cores=0-7
/proc/17607/task/17624/stat : 17624 (java) S 17605 17605 15710 0 -1 1077944384 4591 0 0 0 82 2 0 0 20 0 19 0 477667229 29458776064 203409 33554432000 4194304 4196468 140735946542672 140251431565760 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
[pid=17607/tid=17625] ppid=17605 vsize=28768336 memory=2241 CPUtime=0 cores=0-7
/proc/17607/task/17625/stat : 17625 (java) S 17605 17605 15710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 477667229 29458776064 203409 33554432000 4194304 4196468 140735946542672 140251430512864 140252773463765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15933440 140735946544092 140735946544267 140735946544267 140735946547151 0
Current children cumulated CPU time: 29.66 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 815088 KiB

Child status: 0
Real time (s): 5.52512
CPU time (s): 29.6821
CPU user time (s): 28.9409
CPU system time (s): 0.741182
CPU usage (%): 537.22
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 815088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.9409
system time used= 0.741182
maximum resident set size= 814120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44379
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4394
involuntary context switches= 721


# summary of solver processes directly reported to runsolver:
#   pid: 17605
#   total CPU time (s): 29.6821
#   total CPU user time (s): 28.9409
#   total CPU system time (s): 0.741182

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.056396 second user time and 0.108474 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-10-opt_c18.xml
MD5SUM	d4eaac7549f90ed3ded0e25770a164a4
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	394
Best CPU time to get the best result obtained on this benchmark	5.69025
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3907
Number of domains	6
Minimum domain size	22
Maximum domain size	44
Distribution of domain sizes	[{"size":22,"count":40},{"size":24,"count":14},{"size":36,"count":146},{"size":42,"count":306},{"size":44,"count":174}]
Minimum variable degree	4
Maximum variable degree	25
Distribution of variable degrees	[{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":15},{"degree":7,"count":36},{"degree":8,"count":71},{"degree":9,"count":62},{"degree":10,"count":71},{"degree":11,"count":58},{"degree":12,"count":55},{"degree":13,"count":34},{"degree":14,"count":33},{"degree":15,"count":44},{"degree":16,"count":63},{"degree":17,"count":60},{"degree":18,"count":44},{"degree":19,"count":19},{"degree":20,"count":5},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":3907}]
Number of extensional constraints	0
Number of intensional constraints	3907
Distribution of constraint types	[{"type":"intension","count":3907}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4404947

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
