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-24 parallel	OPT	6	29.076	5.93209
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 (13086 MiB free)
  memory of node 1: 16384 MiB (11559 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407230-1569346625/watcher-4407230-1569346625 -o /tmp/evaluation-result-4407230-1569346625/solver-4407230-1569346625 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569335936-736 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 2009945970 HOME/instance-4407230-1569346625.xml 

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

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

solver pid=2627, runsolver pid=2624

[startup+0.100171 s]*
/proc/loadavg: 8.10 8.42 8.29 3/211 2648
/proc/meminfo: memFree=25220528/32770624 swapFree=66936696/67108860
[pid=2627] ppid=2624 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/2627/stat : 2627 (xcsp3-exec) S 2624 2627 709 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510600332 115843072 362 33554432000 4194304 5098028 140730212315312 140730212313416 139769497735804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26132480 140730212324219 140730212324462 140730212324462 140730212327370 0
/proc/2627/statm: 28282 362 304 221 0 87 0
[pid=2629] ppid=2627 vsize=28227396 memory=28748 CPUtime=0.12 cores=0-7
/proc/2629/stat : 2629 (java) S 2627 2627 709 0 -1 1077944320 5699 0 0 0 11 1 0 0 20 0 20 0 510600332 28904853504 7187 33554432000 4194304 4196468 140728042201888 140728042184432 139660110601975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
/proc/2629/statm: 7056849 7187 3116 1 0 7019032 0
[pid=2629/tid=2630] ppid=2627 vsize=28227396 memory=-2177352373413752899 CPUtime=0.09 cores=0-7
/proc/2629/task/2630/stat : 2630 (java) R 2627 2627 709 0 -1 4202560 3590 0 0 0 8 1 0 0 20 0 20 0 510600332 28904853504 7187 33554432000 4194304 4196468 140728042201888 139660114835248 139660094682462 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2631] ppid=2627 vsize=28227396 memory=732370686520490981 CPUtime=0 cores=0-7
/proc/2629/task/2631/stat : 2631 (java) S 2627 2627 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600333 28904853504 7187 33554432000 4194304 4196468 140728042201888 139660063222288 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2632] ppid=2627 vsize=28227396 memory=140548183037568 CPUtime=0 cores=0-7
/proc/2629/task/2632/stat : 2632 (java) S 2627 2627 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600333 28904853504 7187 33554432000 4194304 4196468 140728042201888 139660062169744 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2633] ppid=2627 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2633/stat : 2633 (java) S 2627 2627 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600333 28904853504 7187 33554432000 4194304 4196468 140728042201888 139660061116688 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2634] ppid=2627 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2634/stat : 2634 (java) S 2627 2627 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600333 28904853504 7187 33554432000 4194304 4196468 140728042201888 139660060064144 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2635] ppid=2627 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2635/stat : 2635 (java) S 2627 2627 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510600333 28904853504 7187 33554432000 4194304 4196468 140728042201888 139660059012112 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2636] ppid=2627 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2629/task/2636/stat : 2636 (java) S 2627 2627 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600333 28904853504 7187 33554432000 4194304 4196468 140728042201888 139660057959568 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2637] ppid=2627 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2637/stat : 2637 (java) S 2627 2627 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600333 28904853504 7187 33554432000 4194304 4196468 140728042201888 139660056906512 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2638] ppid=2627 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2638/stat : 2638 (java) S 2627 2627 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510600333 28904853504 7187 33554432000 4194304 4196468 140728042201888 139659654847376 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2639] ppid=2627 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2639/stat : 2639 (java) S 2627 2627 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600335 28904853504 7187 33554432000 4194304 4196468 140728042201888 139659294046448 139660110613122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2640] ppid=2627 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2640/stat : 2640 (java) S 2627 2627 709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510600335 28904853504 7187 33554432000 4194304 4196468 140728042201888 139659292992672 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2641] ppid=2627 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2641/stat : 2641 (java) S 2627 2627 709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510600335 28904853504 7187 33554432000 4194304 4196468 140728042201888 139659291939568 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2642] ppid=2627 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2642/stat : 2642 (java) S 2627 2627 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600338 28904853504 7187 33554432000 4194304 4196468 140728042201888 139659290888144 139660110620571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2643] ppid=2627 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2643/stat : 2643 (java) S 2627 2627 709 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 510600338 28904853504 7187 33554432000 4194304 4196468 140728042201888 139659289836272 139660110613122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2644] ppid=2627 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2644/stat : 2644 (java) S 2627 2627 709 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 510600338 28904853504 7187 33554432000 4194304 4196468 140728042201888 139659288783728 139660110613122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2645] ppid=2627 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2645/stat : 2645 (java) S 2627 2627 709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510600338 28904853504 7187 33554432000 4194304 4196468 140728042201888 139659287730672 139660110613122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2646] ppid=2627 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/2629/task/2646/stat : 2646 (java) S 2627 2627 709 0 -1 1077944384 366 0 0 0 2 0 0 0 20 0 20 0 510600338 28904853504 7187 33554432000 4194304 4196468 140728042201888 139659286678128 139660110613122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2647] ppid=2627 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2647/stat : 2647 (java) S 2627 2627 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510600338 28904853504 7187 33554432000 4194304 4196468 140728042201888 139659285625312 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2648] ppid=2627 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2629/task/2648/stat : 2648 (java) S 2627 2627 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600338 28904853504 7187 33554432000 4194304 4196468 140728042201888 139659284572848 139660110613122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30196 KiB

[startup+0.210369 s]*
/proc/loadavg: 8.10 8.42 8.29 2/211 2648
/proc/meminfo: memFree=25206516/32770624 swapFree=66936696/67108860
[pid=2627] ppid=2624 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/2627/stat : 2627 (xcsp3-exec) S 2624 2627 709 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510600332 115843072 362 33554432000 4194304 5098028 140730212315312 140730212313416 139769497735804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26132480 140730212324219 140730212324462 140730212324462 140730212327370 0
/proc/2627/statm: 28282 362 304 221 0 87 0
[pid=2629] ppid=2627 vsize=28227396 memory=40956 CPUtime=0.33 cores=0-7
/proc/2629/stat : 2629 (java) S 2627 2627 709 0 -1 1077944320 9508 0 0 0 30 3 0 0 20 0 20 0 510600332 28904853504 10239 33554432000 4194304 4196468 140728042201888 140728042184432 139660110601975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
/proc/2629/statm: 7056849 10239 3280 1 0 7019032 0
[pid=2629/tid=2630] ppid=2627 vsize=28227396 memory=0 CPUtime=0.2 cores=0-7
/proc/2629/task/2630/stat : 2630 (java) R 2627 2627 709 0 -1 4202560 6618 0 0 0 18 2 0 0 20 0 20 0 510600332 28904853504 10239 33554432000 4194304 4196468 140728042201888 139660114841648 139660110613910 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2631] ppid=2627 vsize=28227396 memory=732370686520490981 CPUtime=0 cores=0-7
/proc/2629/task/2631/stat : 2631 (java) S 2627 2627 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600333 28904853504 10239 33554432000 4194304 4196468 140728042201888 139660063222288 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2632] ppid=2627 vsize=28227396 memory=140548183037568 CPUtime=0 cores=0-7
/proc/2629/task/2632/stat : 2632 (java) S 2627 2627 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600333 28904853504 10239 33554432000 4194304 4196468 140728042201888 139660062169744 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2633] ppid=2627 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2633/stat : 2633 (java) S 2627 2627 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600333 28904853504 10239 33554432000 4194304 4196468 140728042201888 139660061116688 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2634] ppid=2627 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2634/stat : 2634 (java) S 2627 2627 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600333 28904853504 10239 33554432000 4194304 4196468 140728042201888 139660060064144 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2635] ppid=2627 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2635/stat : 2635 (java) S 2627 2627 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510600333 28904853504 10239 33554432000 4194304 4196468 140728042201888 139660059012112 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2636] ppid=2627 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2629/task/2636/stat : 2636 (java) S 2627 2627 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600333 28904853504 10239 33554432000 4194304 4196468 140728042201888 139660057959568 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2637] ppid=2627 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2637/stat : 2637 (java) S 2627 2627 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600333 28904853504 10239 33554432000 4194304 4196468 140728042201888 139660056906512 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2638] ppid=2627 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2638/stat : 2638 (java) S 2627 2627 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510600333 28904853504 10239 33554432000 4194304 4196468 140728042201888 139659654847376 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2639] ppid=2627 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2639/stat : 2639 (java) S 2627 2627 709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510600335 28904853504 10239 33554432000 4194304 4196468 140728042201888 139659294046448 139660110613122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2640] ppid=2627 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2640/stat : 2640 (java) S 2627 2627 709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510600335 28904853504 10239 33554432000 4194304 4196468 140728042201888 139659292992672 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2641] ppid=2627 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2641/stat : 2641 (java) S 2627 2627 709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510600335 28904853504 10239 33554432000 4194304 4196468 140728042201888 139659291939568 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2642] ppid=2627 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2642/stat : 2642 (java) S 2627 2627 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600338 28904853504 10239 33554432000 4194304 4196468 140728042201888 139659290888144 139660110620571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2643] ppid=2627 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2643/stat : 2643 (java) S 2627 2627 709 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 510600338 28904853504 10239 33554432000 4194304 4196468 140728042201888 139659289836272 139660110613122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2644] ppid=2627 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/2629/task/2644/stat : 2644 (java) S 2627 2627 709 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 20 0 510600338 28904853504 10239 33554432000 4194304 4196468 140728042201888 139659288783728 139660110613122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2645] ppid=2627 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/2629/task/2645/stat : 2645 (java) S 2627 2627 709 0 -1 1077944384 250 0 0 0 2 0 0 0 20 0 20 0 510600338 28904853504 10239 33554432000 4194304 4196468 140728042201888 139659287730672 139660110613122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2646] ppid=2627 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/2629/task/2646/stat : 2646 (java) R 2627 2627 709 0 -1 4202560 802 0 0 0 8 0 0 0 20 0 20 0 510600338 28904853504 10239 33554432000 4194304 4196468 140728042201888 139659286678128 139660094855158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2647] ppid=2627 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2647/stat : 2647 (java) S 2627 2627 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510600338 28904853504 10239 33554432000 4194304 4196468 140728042201888 139659285625312 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2648] ppid=2627 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2629/task/2648/stat : 2648 (java) S 2627 2627 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600338 28904853504 10239 33554432000 4194304 4196468 140728042201888 139659284572848 139660110613122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42404 KiB

[startup+0.310172 s]*
/proc/loadavg: 8.10 8.42 8.29 3/211 2648
/proc/meminfo: memFree=25199228/32770624 swapFree=66936696/67108860
[pid=2627] ppid=2624 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/2627/stat : 2627 (xcsp3-exec) S 2624 2627 709 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510600332 115843072 362 33554432000 4194304 5098028 140730212315312 140730212313416 139769497735804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26132480 140730212324219 140730212324462 140730212324462 140730212327370 0
/proc/2627/statm: 28282 362 304 221 0 87 0
[pid=2629] ppid=2627 vsize=28231652 memory=49904 CPUtime=0.51 cores=0-7
/proc/2629/stat : 2629 (java) S 2627 2627 709 0 -1 1077944320 10842 0 0 0 47 4 0 0 20 0 20 0 510600332 28909211648 12476 33554432000 4194304 4196468 140728042201888 140728042184432 139660110601975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
/proc/2629/statm: 7057913 12476 3364 1 0 7019032 0
[pid=2629/tid=2630] ppid=2627 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/2629/task/2630/stat : 2630 (java) R 2627 2627 709 0 -1 4202560 7732 0 0 0 27 3 0 0 20 0 20 0 510600332 28909211648 12476 33554432000 4194304 4196468 140728042201888 139660114833088 139660094682462 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2631] ppid=2627 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2631/stat : 2631 (java) S 2627 2627 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600333 28909211648 12476 33554432000 4194304 4196468 140728042201888 139660063222288 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2632] ppid=2627 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2632/stat : 2632 (java) S 2627 2627 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600333 28909211648 12476 33554432000 4194304 4196468 140728042201888 139660062169744 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2633] ppid=2627 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2633/stat : 2633 (java) S 2627 2627 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600333 28909211648 12476 33554432000 4194304 4196468 140728042201888 139660061116688 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2634] ppid=2627 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2634/stat : 2634 (java) S 2627 2627 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600333 28909211648 12476 33554432000 4194304 4196468 140728042201888 139660060064144 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2635] ppid=2627 vsize=28231652 memory=67 CPUtime=0 cores=0-7
/proc/2629/task/2635/stat : 2635 (java) S 2627 2627 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510600333 28909211648 12476 33554432000 4194304 4196468 140728042201888 139660059012112 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2636] ppid=2627 vsize=28231652 memory=35 CPUtime=0 cores=0-7
/proc/2629/task/2636/stat : 2636 (java) S 2627 2627 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600333 28909211648 12476 33554432000 4194304 4196468 140728042201888 139660057959568 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2637] ppid=2627 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/2629/task/2637/stat : 2637 (java) S 2627 2627 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600333 28909211648 12476 33554432000 4194304 4196468 140728042201888 139660056906512 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2638] ppid=2627 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/2629/task/2638/stat : 2638 (java) S 2627 2627 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510600333 28909211648 12476 33554432000 4194304 4196468 140728042201888 139659654847376 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2639] ppid=2627 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2639/stat : 2639 (java) S 2627 2627 709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510600335 28909211648 12476 33554432000 4194304 4196468 140728042201888 139659294046448 139660110613122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2640] ppid=2627 vsize=28231652 memory=140548040136687 CPUtime=0 cores=0-7
/proc/2629/task/2640/stat : 2640 (java) S 2627 2627 709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510600335 28909211648 12476 33554432000 4194304 4196468 140728042201888 139659292992672 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2641] ppid=2627 vsize=28231652 memory=281096080271056 CPUtime=0 cores=0-7
/proc/2629/task/2641/stat : 2641 (java) S 2627 2627 709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510600335 28909211648 12476 33554432000 4194304 4196468 140728042201888 139659291939568 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2642] ppid=2627 vsize=28231652 memory=281096080277968 CPUtime=0 cores=0-7
/proc/2629/task/2642/stat : 2642 (java) S 2627 2627 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600338 28909211648 12476 33554432000 4194304 4196468 140728042201888 139659290888144 139660110620571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2643] ppid=2627 vsize=28231652 memory=281096080219216 CPUtime=0.01 cores=0-7
/proc/2629/task/2643/stat : 2643 (java) S 2627 2627 709 0 -1 1077944384 363 0 0 0 1 0 0 0 20 0 20 0 510600338 28909211648 12476 33554432000 4194304 4196468 140728042201888 139659289836272 139660110613122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2644] ppid=2627 vsize=28231652 memory=281096080291792 CPUtime=0.02 cores=0-7
/proc/2629/task/2644/stat : 2644 (java) S 2627 2627 709 0 -1 1077944384 214 0 0 0 2 0 0 0 20 0 20 0 510600338 28909211648 12476 33554432000 4194304 4196468 140728042201888 139659288783728 139660110613122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2645] ppid=2627 vsize=28231652 memory=281096080298704 CPUtime=0.04 cores=0-7
/proc/2629/task/2645/stat : 2645 (java) R 2627 2627 709 0 -1 4202560 330 0 0 0 4 0 0 0 20 0 20 0 510600338 28909211648 12476 33554432000 4194304 4196468 140728042201888 139659287721056 139660091237896 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2646] ppid=2627 vsize=28231652 memory=281096080296400 CPUtime=0.12 cores=0-7
/proc/2629/task/2646/stat : 2646 (java) S 2627 2627 709 0 -1 1077944384 906 0 0 0 12 0 0 0 20 0 20 0 510600338 28909211648 12476 33554432000 4194304 4196468 140728042201888 139659286678128 139660110613122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2647] ppid=2627 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2647/stat : 2647 (java) S 2627 2627 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510600338 28909211648 12476 33554432000 4194304 4196468 140728042201888 139659285625312 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2648] ppid=2627 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/2629/task/2648/stat : 2648 (java) S 2627 2627 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510600338 28909211648 12476 33554432000 4194304 4196468 140728042201888 139659284572848 139660110613122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51352 KiB

[startup+0.700978 s]
/proc/loadavg: 8.10 8.42 8.29 3/211 2648
/proc/meminfo: memFree=25179456/32770624 swapFree=66936696/67108860
[pid=2627] ppid=2624 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/2627/stat : 2627 (xcsp3-exec) S 2624 2627 709 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510600332 115843072 362 33554432000 4194304 5098028 140730212315312 140730212313416 139769497735804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26132480 140730212324219 140730212324462 140730212324462 140730212327370 0
/proc/2627/statm: 28282 362 304 221 0 87 0
[pid=2629] ppid=2627 vsize=28233776 memory=105984 CPUtime=1.97 cores=0-7
/proc/2629/stat : 2629 (java) S 2627 2627 709 0 -1 1077944320 14600 0 0 0 191 6 0 0 20 0 20 0 510600332 28911386624 26496 33554432000 4194304 4196468 140728042201888 140728042184432 139660110601975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
/proc/2629/statm: 7058444 26496 3445 1 0 7019544 0
[pid=2629/tid=2630] ppid=2627 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/2629/task/2630/stat : 2630 (java) R 2627 2627 709 0 -1 4202560 8353 0 0 0 64 3 0 0 20 0 20 0 510600332 28911386624 26496 33554432000 4194304 4196468 140728042201888 139660114840480 139659740848807 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2631] ppid=2627 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2631/stat : 2631 (java) S 2627 2627 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600333 28911386624 26496 33554432000 4194304 4196468 140728042201888 139660063222288 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2632] ppid=2627 vsize=28233776 memory=32 CPUtime=0 cores=0-7
/proc/2629/task/2632/stat : 2632 (java) S 2627 2627 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600333 28911386624 26496 33554432000 4194304 4196468 140728042201888 139660062169744 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2633] ppid=2627 vsize=28233776 memory=281096080064752 CPUtime=0 cores=0-7
/proc/2629/task/2633/stat : 2633 (java) S 2627 2627 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510600333 28911386624 26496 33554432000 4194304 4196468 140728042201888 139660061116688 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0

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

[pid=2629/tid=2638] ppid=2627 vsize=28768336 memory=1448 CPUtime=0.04 cores=0-7
/proc/2629/task/2638/stat : 2638 (java) S 2627 2627 709 0 -1 1077944384 74 0 0 0 3 1 0 0 20 0 28 0 510600333 29458776064 131924 33554432000 4194304 4196468 140728042201888 139659654847376 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2639] ppid=2627 vsize=28768336 memory=121720 CPUtime=0.01 cores=0-7
/proc/2629/task/2639/stat : 2639 (java) S 2627 2627 709 0 -1 1077944384 505 0 0 0 1 0 0 0 20 0 28 0 510600335 29458776064 131924 33554432000 4194304 4196468 140728042201888 139659294046448 139660110613122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2640] ppid=2627 vsize=28768336 memory=111636 CPUtime=0 cores=0-7
/proc/2629/task/2640/stat : 2640 (java) S 2627 2627 709 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 510600335 29458776064 131924 33554432000 4194304 4196468 140728042201888 139659292992736 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2641] ppid=2627 vsize=28768336 memory=800 CPUtime=0 cores=0-7
/proc/2629/task/2641/stat : 2641 (java) S 2627 2627 709 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 510600335 29458776064 131924 33554432000 4194304 4196468 140728042201888 139659291939584 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2642] ppid=2627 vsize=28768336 memory=281096080406432 CPUtime=0 cores=0-7
/proc/2629/task/2642/stat : 2642 (java) S 2627 2627 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510600338 29458776064 131924 33554432000 4194304 4196468 140728042201888 139659290888144 139660110620571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2643] ppid=2627 vsize=28768336 memory=-7749696028082845524 CPUtime=1.79 cores=0-7
/proc/2629/task/2643/stat : 2643 (java) R 2627 2627 709 0 -1 4202560 5866 0 0 0 177 2 0 0 20 0 28 0 510600338 29458776064 131924 33554432000 4194304 4196468 140728042201888 139659289822624 139660094507980 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2644] ppid=2627 vsize=28768336 memory=6933690279252828305 CPUtime=1.8 cores=0-7
/proc/2629/task/2644/stat : 2644 (java) R 2627 2627 709 0 -1 4202560 5123 0 0 0 178 2 0 0 20 0 28 0 510600338 29458776064 131924 33554432000 4194304 4196468 140728042201888 139659288764816 139660091303634 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2645] ppid=2627 vsize=28768336 memory=-7384994778349280928 CPUtime=1.97 cores=0-7
/proc/2629/task/2645/stat : 2645 (java) R 2627 2627 709 0 -1 4202560 6256 0 0 0 195 2 0 0 20 0 28 0 510600338 29458776064 131924 33554432000 4194304 4196468 140728042201888 139659287730648 139660090258544 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2646] ppid=2627 vsize=28768336 memory=0 CPUtime=0.7 cores=0-7
/proc/2629/task/2646/stat : 2646 (java) S 2627 2627 709 0 -1 1077944384 3951 0 0 0 69 1 0 0 20 0 28 0 510600338 29458776064 131924 33554432000 4194304 4196468 140728042201888 139659286678128 139660110613122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2647] ppid=2627 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2647/stat : 2647 (java) S 2627 2627 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510600338 29458776064 131924 33554432000 4194304 4196468 140728042201888 139659285625312 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2648] ppid=2627 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2648/stat : 2648 (java) S 2627 2627 709 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 510600338 29458776064 131924 33554432000 4194304 4196468 140728042201888 139659284572848 139660110613122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
Current children cumulated CPU time: 12.42 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 529144 KiB

[startup+4.80114 s]
/proc/loadavg: 8.33 8.46 8.31 10/219 2696
/proc/meminfo: memFree=24674316/32770624 swapFree=66936696/67108860
[pid=2627] ppid=2624 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/2627/stat : 2627 (xcsp3-exec) S 2624 2627 709 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510600332 115843072 362 33554432000 4194304 5098028 140730212315312 140730212313416 139769497735804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26132480 140730212324219 140730212324462 140730212324462 140730212327370 0
/proc/2627/statm: 28282 362 304 221 0 87 0
[pid=2629] ppid=2627 vsize=28773148 memory=608244 CPUtime=24.71 cores=0-7
/proc/2629/stat : 2629 (java) S 2627 2627 709 0 -1 1077944320 49984 0 0 0 2427 44 0 0 20 0 28 0 510600332 29463703552 152061 33554432000 4194304 4196468 140728042201888 140728042184432 139660110601975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
/proc/2629/statm: 7193287 152061 3525 1 0 7154387 0
[pid=2629/tid=2630] ppid=2627 vsize=28773148 memory=51584 CPUtime=2.5 cores=0-7
/proc/2629/task/2630/stat : 2630 (java) S 2627 2627 709 0 -1 1077944384 11354 0 0 0 243 7 0 0 20 0 28 0 510600332 29463703552 152061 33554432000 4194304 4196468 140728042201888 139660114842752 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2631] ppid=2627 vsize=28773148 memory=988 CPUtime=0.07 cores=0-7
/proc/2629/task/2631/stat : 2631 (java) S 2627 2627 709 0 -1 1077944384 234 0 0 0 5 2 0 0 20 0 28 0 510600333 29463703552 152061 33554432000 4194304 4196468 140728042201888 139660063222288 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2632] ppid=2627 vsize=28773148 memory=2012 CPUtime=0.08 cores=0-7
/proc/2629/task/2632/stat : 2632 (java) S 2627 2627 709 0 -1 1077944384 157 0 0 0 6 2 0 0 20 0 28 0 510600333 29463703552 152061 33554432000 4194304 4196468 140728042201888 139660062169744 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2633] ppid=2627 vsize=28773148 memory=1424 CPUtime=0.08 cores=0-7
/proc/2629/task/2633/stat : 2633 (java) S 2627 2627 709 0 -1 1077944384 154 0 0 0 6 2 0 0 20 0 28 0 510600333 29463703552 152061 33554432000 4194304 4196468 140728042201888 139660061116688 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2634] ppid=2627 vsize=28773148 memory=13697 CPUtime=0.07 cores=0-7
/proc/2629/task/2634/stat : 2634 (java) S 2627 2627 709 0 -1 1077944384 169 0 0 0 5 2 0 0 20 0 28 0 510600333 29463703552 152061 33554432000 4194304 4196468 140728042201888 139660060064144 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2635] ppid=2627 vsize=28773148 memory=4420 CPUtime=0.06 cores=0-7
/proc/2629/task/2635/stat : 2635 (java) S 2627 2627 709 0 -1 1077944384 563 0 0 0 4 2 0 0 20 0 28 0 510600333 29463703552 152061 33554432000 4194304 4196468 140728042201888 139660059012112 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2636] ppid=2627 vsize=28773148 memory=6628 CPUtime=0.08 cores=0-7
/proc/2629/task/2636/stat : 2636 (java) S 2627 2627 709 0 -1 1077944384 125 0 0 0 6 2 0 0 20 0 28 0 510600333 29463703552 152061 33554432000 4194304 4196468 140728042201888 139660057959568 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2637] ppid=2627 vsize=28773148 memory=8836 CPUtime=0.08 cores=0-7
/proc/2629/task/2637/stat : 2637 (java) S 2627 2627 709 0 -1 1077944384 175 0 0 0 6 2 0 0 20 0 28 0 510600333 29463703552 152061 33554432000 4194304 4196468 140728042201888 139660056906512 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2638] ppid=2627 vsize=28773148 memory=11044 CPUtime=0.07 cores=0-7
/proc/2629/task/2638/stat : 2638 (java) S 2627 2627 709 0 -1 1077944384 104 0 0 0 5 2 0 0 20 0 28 0 510600333 29463703552 152061 33554432000 4194304 4196468 140728042201888 139659654847376 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2639] ppid=2627 vsize=28773148 memory=13252 CPUtime=0.01 cores=0-7
/proc/2629/task/2639/stat : 2639 (java) S 2627 2627 709 0 -1 1077944384 775 0 0 0 1 0 0 0 20 0 28 0 510600335 29463703552 152061 33554432000 4194304 4196468 140728042201888 139659294046448 139660110613122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2640] ppid=2627 vsize=28773148 memory=55 CPUtime=0 cores=0-7
/proc/2629/task/2640/stat : 2640 (java) S 2627 2627 709 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 510600335 29463703552 152061 33554432000 4194304 4196468 140728042201888 139659292992736 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2641] ppid=2627 vsize=28773148 memory=8100516225088132472 CPUtime=0 cores=0-7
/proc/2629/task/2641/stat : 2641 (java) S 2627 2627 709 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 510600335 29463703552 152061 33554432000 4194304 4196468 140728042201888 139659291939584 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2642] ppid=2627 vsize=28773148 memory=-2843871789979587998 CPUtime=0 cores=0-7
/proc/2629/task/2642/stat : 2642 (java) S 2627 2627 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510600338 29463703552 152061 33554432000 4194304 4196468 140728042201888 139659290888144 139660110620571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2643] ppid=2627 vsize=28773148 memory=-7096652076487046336 CPUtime=2.33 cores=0-7
/proc/2629/task/2643/stat : 2643 (java) R 2627 2627 709 0 -1 4202560 10382 0 0 0 230 3 0 0 20 0 28 0 510600338 29463703552 152061 33554432000 4194304 4196468 140728042201888 139659289822008 139660092146936 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2644] ppid=2627 vsize=28773148 memory=0 CPUtime=2.37 cores=0-7
/proc/2629/task/2644/stat : 2644 (java) R 2627 2627 709 0 -1 4202560 8597 0 0 0 234 3 0 0 20 0 28 0 510600338 29463703552 152061 33554432000 4194304 4196468 140728042201888 139659288769192 139660102839102 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2645] ppid=2627 vsize=28773148 memory=0 CPUtime=2.59 cores=0-7
/proc/2629/task/2645/stat : 2645 (java) R 2627 2627 709 0 -1 4202560 9483 0 0 0 257 2 0 0 20 0 28 0 510600338 29463703552 152061 33554432000 4194304 4196468 140728042201888 139659287715352 139660095707385 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2646] ppid=2627 vsize=28773148 memory=0 CPUtime=0.79 cores=0-7
/proc/2629/task/2646/stat : 2646 (java) R 2627 2627 709 0 -1 4202560 4820 0 0 0 78 1 0 0 20 0 28 0 510600338 29463703552 152061 33554432000 4194304 4196468 140728042201888 139659286674072 139660089558313 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2647] ppid=2627 vsize=28773148 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2647/stat : 2647 (java) S 2627 2627 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510600338 29463703552 152061 33554432000 4194304 4196468 140728042201888 139659285625312 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2648] ppid=2627 vsize=28773148 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2648/stat : 2648 (java) S 2627 2627 709 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 510600338 29463703552 152061 33554432000 4194304 4196468 140728042201888 139659284572848 139660110613122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2689] ppid=2627 vsize=28773148 memory=0 CPUtime=1.13 cores=0-7
/proc/2629/task/2689/stat : 2689 (java) R 2627 2627 709 0 -1 4202560 21 0 0 0 113 0 0 0 20 0 28 0 510600687 29463703552 152061 33554432000 4194304 4196468 140728042201888 139659273246400 139659736912564 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2690] ppid=2627 vsize=28773148 memory=0 CPUtime=1.18 cores=0-7
/proc/2629/task/2690/stat : 2690 (java) R 2627 2627 709 0 -1 4202560 18 0 0 0 118 0 0 0 20 0 28 0 510600687 29463703552 152061 33554432000 4194304 4196468 140728042201888 139659272195336 139659736897224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2691] ppid=2627 vsize=28773148 memory=0 CPUtime=1.08 cores=0-7
/proc/2629/task/2691/stat : 2691 (java) R 2627 2627 709 0 -1 4202560 59 0 0 0 108 0 0 0 20 0 28 0 510600687 29463703552 152061 33554432000 4194304 4196468 140728042201888 139659274304072 139659745569600 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2692] ppid=2627 vsize=28773148 memory=1448 CPUtime=1.19 cores=0-7
/proc/2629/task/2692/stat : 2692 (java) R 2627 2627 709 0 -1 4202560 46 0 0 0 119 0 0 0 20 0 28 0 510600687 29463703552 152061 33554432000 4194304 4196468 140728042201888 139659267984120 139659736885377 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2693] ppid=2627 vsize=28773148 memory=583540 CPUtime=1.01 cores=0-7
/proc/2629/task/2693/stat : 2693 (java) R 2627 2627 709 0 -1 4202560 76 0 0 0 101 0 0 0 20 0 28 0 510600687 29463703552 152061 33554432000 4194304 4196468 140728042201888 139659269033944 139659744811311 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2694] ppid=2627 vsize=28773148 memory=22244 CPUtime=1.15 cores=0-7
/proc/2629/task/2694/stat : 2694 (java) R 2627 2627 709 0 -1 4202560 50 0 0 0 115 0 0 0 20 0 28 0 510600687 29463703552 152061 33554432000 4194304 4196468 140728042201888 139659271142264 139659736887428 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2695] ppid=2627 vsize=28773148 memory=0 CPUtime=0.96 cores=0-7
/proc/2629/task/2695/stat : 2695 (java) R 2627 2627 709 0 -1 4202560 59 0 0 0 96 0 0 0 20 0 28 0 510600687 29463703552 152061 33554432000 4194304 4196468 140728042201888 139659270084744 139659746381766 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2696] ppid=2627 vsize=28773148 memory=0 CPUtime=1.08 cores=0-7
/proc/2629/task/2696/stat : 2696 (java) R 2627 2627 709 0 -1 4202560 32 0 0 0 108 0 0 0 20 0 28 0 510600689 29463703552 152061 33554432000 4194304 4196468 140728042201888 139659275353464 139659745614388 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
Current children cumulated CPU time: 24.71 s
Current children cumulated vsize: 28886276 KiB
Current children cumulated memory: 609692 KiB

[startup+5.6009 s]
/proc/loadavg: 8.33 8.46 8.31 13/219 2696
/proc/meminfo: memFree=24632196/32770624 swapFree=66936696/67108860
[pid=2627] ppid=2624 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/2627/stat : 2627 (xcsp3-exec) S 2624 2627 709 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510600332 115843072 362 33554432000 4194304 5098028 140730212315312 140730212313416 139769497735804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26132480 140730212324219 140730212324462 140730212324462 140730212327370 0
/proc/2627/statm: 28282 362 304 221 0 87 0
[pid=2629] ppid=2627 vsize=28768336 memory=630316 CPUtime=29.04 cores=0-7
/proc/2629/stat : 2629 (java) S 2627 2627 709 0 -1 1077944320 52701 0 0 0 2860 44 0 0 20 0 18 0 510600332 29458776064 157579 33554432000 4194304 4196468 140728042201888 140728042184432 139660110601975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
/proc/2629/statm: 7192084 157579 3526 1 0 7153184 0
[pid=2629/tid=2630] ppid=2627 vsize=28768336 memory=3616 CPUtime=2.5 cores=0-7
/proc/2629/task/2630/stat : 2630 (java) D 2627 2627 709 0 -1 4202560 11364 0 0 0 243 7 0 0 20 0 18 0 510600332 29458776064 157579 33554432000 4194304 4196468 140728042201888 139660114844984 139660103287607 0 0 0 16800975 18446744072100220037 0 0 -1 6 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2631] ppid=2627 vsize=28768336 memory=8112282956445269571 CPUtime=0.07 cores=0-7
/proc/2629/task/2631/stat : 2631 (java) S 2627 2627 709 0 -1 1077944384 234 0 0 0 5 2 0 0 20 0 18 0 510600333 29458776064 157579 33554432000 4194304 4196468 140728042201888 139660063222288 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2632] ppid=2627 vsize=28768336 memory=281096080730688 CPUtime=0.08 cores=0-7
/proc/2629/task/2632/stat : 2632 (java) S 2627 2627 709 0 -1 1077944384 157 0 0 0 6 2 0 0 20 0 18 0 510600333 29458776064 157579 33554432000 4194304 4196468 140728042201888 139660062169744 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2633] ppid=2627 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7
/proc/2629/task/2633/stat : 2633 (java) S 2627 2627 709 0 -1 1077944384 154 0 0 0 6 2 0 0 20 0 18 0 510600333 29458776064 157579 33554432000 4194304 4196468 140728042201888 139660061116688 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2634] ppid=2627 vsize=28768336 memory=0 CPUtime=0.07 cores=0-7
/proc/2629/task/2634/stat : 2634 (java) S 2627 2627 709 0 -1 1077944384 169 0 0 0 5 2 0 0 20 0 18 0 510600333 29458776064 157579 33554432000 4194304 4196468 140728042201888 139660060064144 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2635] ppid=2627 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7
/proc/2629/task/2635/stat : 2635 (java) S 2627 2627 709 0 -1 1077944384 563 0 0 0 4 2 0 0 20 0 18 0 510600333 29458776064 157579 33554432000 4194304 4196468 140728042201888 139660059012112 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2636] ppid=2627 vsize=28768336 memory=-7003737579269690708 CPUtime=0.08 cores=0-7
/proc/2629/task/2636/stat : 2636 (java) S 2627 2627 709 0 -1 1077944384 125 0 0 0 6 2 0 0 20 0 18 0 510600333 29458776064 157579 33554432000 4194304 4196468 140728042201888 139660057959568 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2637] ppid=2627 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7
/proc/2629/task/2637/stat : 2637 (java) S 2627 2627 709 0 -1 1077944384 175 0 0 0 6 2 0 0 20 0 18 0 510600333 29458776064 157579 33554432000 4194304 4196468 140728042201888 139660056906512 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2638] ppid=2627 vsize=28768336 memory=0 CPUtime=0.07 cores=0-7
/proc/2629/task/2638/stat : 2638 (java) S 2627 2627 709 0 -1 1077944384 104 0 0 0 5 2 0 0 20 0 18 0 510600333 29458776064 157579 33554432000 4194304 4196468 140728042201888 139659654847376 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2640] ppid=2627 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2640/stat : 2640 (java) S 2627 2627 709 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 18 0 510600335 29458776064 157579 33554432000 4194304 4196468 140728042201888 139659292992736 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2641] ppid=2627 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2641/stat : 2641 (java) S 2627 2627 709 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 18 0 510600335 29458776064 157579 33554432000 4194304 4196468 140728042201888 139659291939584 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2642] ppid=2627 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/2629/task/2642/stat : 2642 (java) S 2627 2627 709 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 18 0 510600338 29458776064 157579 33554432000 4194304 4196468 140728042201888 139659290886912 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2643] ppid=2627 vsize=28768336 memory=0 CPUtime=2.72 cores=0-7
/proc/2629/task/2643/stat : 2643 (java) S 2627 2627 709 0 -1 1077944384 11508 0 0 0 269 3 0 0 20 0 18 0 510600338 29458776064 157579 33554432000 4194304 4196468 140728042201888 139659289821344 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2644] ppid=2627 vsize=28768336 memory=606612 CPUtime=2.73 cores=0-7
/proc/2629/task/2644/stat : 2644 (java) S 2627 2627 709 0 -1 1077944384 8875 0 0 0 270 3 0 0 20 0 18 0 510600338 29458776064 157579 33554432000 4194304 4196468 140728042201888 139659288768240 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2645] ppid=2627 vsize=28768336 memory=288230583166042426 CPUtime=3.01 cores=0-7
/proc/2629/task/2645/stat : 2645 (java) S 2627 2627 709 0 -1 1077944384 10631 0 0 0 299 2 0 0 20 0 18 0 510600338 29458776064 157579 33554432000 4194304 4196468 140728042201888 139659287715184 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2646] ppid=2627 vsize=28768336 memory=1448 CPUtime=0.81 cores=0-7
/proc/2629/task/2646/stat : 2646 (java) S 2627 2627 709 0 -1 1077944384 4919 0 0 0 80 1 0 0 20 0 18 0 510600338 29458776064 157579 33554432000 4194304 4196468 140728042201888 139659286678128 139660110613122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
[pid=2629/tid=2647] ppid=2627 vsize=28768336 memory=593836 CPUtime=0 cores=0-7
/proc/2629/task/2647/stat : 2647 (java) S 2627 2627 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 510600338 29458776064 157579 33554432000 4194304 4196468 140728042201888 139659285625312 139660110612181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28942336 140728042206192 140728042206363 140728042206363 140728042209231 0
Current children cumulated CPU time: 29.04 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 631764 KiB

[startup+5.80043 s]
/proc/loadavg: 8.33 8.46 8.31 13/219 2696
/proc/meminfo: memFree=24632196/32770624 swapFree=66936696/67108860
[pid=2627] ppid=2624 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/2627/stat : 2627 (xcsp3-exec) S 2624 2627 709 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510600332 115843072 362 33554432000 4194304 5098028 140730212315312 140730212313416 139769497735804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26132480 140730212324219 140730212324462 140730212324462 140730212327370 0
/proc/2627/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB

[startup+5.90027 s]
/proc/loadavg: 8.33 8.46 8.31 13/219 2696
/proc/meminfo: memFree=24632196/32770624 swapFree=66936696/67108860
[pid=2627] ppid=2624 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/2627/stat : 2627 (xcsp3-exec) S 2624 2627 709 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510600332 115843072 362 33554432000 4194304 5098028 140730212315312 140730212313416 139769497735804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26132480 140730212324219 140730212324462 140730212324462 140730212327370 0
/proc/2627/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB

Child status: 0
Real time (s): 5.93209
CPU time (s): 29.076
CPU user time (s): 28.6108
CPU system time (s): 0.46528
CPU usage (%): 490.149
Max. virtual memory (cumulated for all children) (KiB): 28888112
Max. memory (cumulated for all children) (KiB): 631764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.6108
system time used= 0.46528
maximum resident set size= 631920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53288
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5504
involuntary context switches= 610


# summary of solver processes directly reported to runsolver:
#   pid: 2627
#   total CPU time (s): 29.076
#   total CPU user time (s): 28.6108
#   total CPU system time (s): 0.46528

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.070483 second user time and 0.095137 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-will199GPIA.xml
MD5SUM	a5e04939345321982833836e1e755881
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	6
Best CPU time to get the best result obtained on this benchmark	1.16899
Satisfiable
(Un)Satisfiability was proved
Number of variables	701
Number of constraints	6772
Number of domains	1
Minimum domain size	701
Maximum domain size	701
Distribution of domain sizes	[{"size":701,"count":701}]
Minimum variable degree	3
Maximum variable degree	39
Distribution of variable degrees	[{"degree":3,"count":1},{"degree":7,"count":4},{"degree":9,"count":3},{"degree":10,"count":2},{"degree":11,"count":1},{"degree":12,"count":17},{"degree":13,"count":48},{"degree":14,"count":113},{"degree":15,"count":54},{"degree":16,"count":67},{"degree":17,"count":18},{"degree":18,"count":62},{"degree":19,"count":17},{"degree":20,"count":23},{"degree":21,"count":24},{"degree":22,"count":15},{"degree":23,"count":11},{"degree":24,"count":12},{"degree":25,"count":14},{"degree":26,"count":28},{"degree":27,"count":24},{"degree":28,"count":34},{"degree":29,"count":3},{"degree":30,"count":26},{"degree":31,"count":12},{"degree":32,"count":13},{"degree":33,"count":14},{"degree":34,"count":14},{"degree":35,"count":6},{"degree":37,"count":1},{"degree":38,"count":14},{"degree":39,"count":6}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":6772}]
Number of extensional constraints	0
Number of intensional constraints	6772
Distribution of constraint types	[{"type":"intension","count":6772}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4407230

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
