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	3	17.0891	4.69756
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 (13219 MiB free)
  memory of node 1: 16384 MiB (11601 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407229-1569346687/watcher-4407229-1569346687 -o /tmp/evaluation-result-4407229-1569346687/solver-4407229-1569346687 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569336112-9884 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1201978005 HOME/instance-4407229-1569346687.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=12822, runsolver pid=12819
Current StackSize limit: 8192 KiB


[startup+0.100268 s]*
/proc/loadavg: 7.91 8.02 8.13 3/210 12843
/proc/meminfo: memFree=25399196/32770624 swapFree=66941040/67108860
[pid=12822] ppid=12819 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/12822/stat : 12822 (xcsp3-exec) S 12819 12822 9857 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510939477 115843072 362 33554432000 4194304 5098028 140722444878800 140722444876904 139765244473980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25538560 140722444882811 140722444883054 140722444883054 140722444885962 0
/proc/12822/statm: 28282 362 304 221 0 87 0
[pid=12824] ppid=12822 vsize=28227396 memory=30084 CPUtime=0.12 cores=0-7
/proc/12824/stat : 12824 (java) S 12822 12822 9857 0 -1 1077944320 5486 0 0 0 11 1 0 0 20 0 20 0 510939477 28904853504 7521 33554432000 4194304 4196468 140721710045568 140721710028112 140251999776503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
/proc/12824/statm: 7056849 7521 3117 1 0 7019032 0
[pid=12824/tid=12825] ppid=12822 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/12824/task/12825/stat : 12825 (java) R 12822 12822 9857 0 -1 4202560 3401 0 0 0 8 0 0 0 20 0 20 0 510939477 28904853504 7521 33554432000 4194304 4196468 140721710045568 140252004000912 140251999788438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12826] ppid=12822 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12824/task/12826/stat : 12826 (java) S 12822 12822 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 7521 33554432000 4194304 4196468 140721710045568 140251551095952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12827] ppid=12822 vsize=28227396 memory=140328465049216 CPUtime=0 cores=0-7
/proc/12824/task/12827/stat : 12827 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 7521 33554432000 4194304 4196468 140721710045568 140251550043152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12828] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12828/stat : 12828 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 7521 33554432000 4194304 4196468 140721710045568 140251548990352 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12829] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12829/stat : 12829 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 7521 33554432000 4194304 4196468 140721710045568 140251547937552 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12830] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12830/stat : 12830 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 7521 33554432000 4194304 4196468 140721710045568 140251546884752 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12831] ppid=12822 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12824/task/12831/stat : 12831 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 7521 33554432000 4194304 4196468 140721710045568 140251545831952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12832] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12832/stat : 12832 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 7521 33554432000 4194304 4196468 140721710045568 140251544779152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12833] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12833/stat : 12833 (java) S 12822 12822 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 7521 33554432000 4194304 4196468 140721710045568 140251543726352 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12834] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12834/stat : 12834 (java) S 12822 12822 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510939479 28904853504 7521 33554432000 4194304 4196468 140721710045568 140250530642800 140251999787650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12835] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12835/stat : 12835 (java) S 12822 12822 9857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510939480 28904853504 7521 33554432000 4194304 4196468 140721710045568 140250529588768 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12836] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12836/stat : 12836 (java) S 12822 12822 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510939480 28904853504 7521 33554432000 4194304 4196468 140721710045568 140250528535920 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12837] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12837/stat : 12837 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939483 28904853504 7521 33554432000 4194304 4196468 140721710045568 140250527484240 140251999795099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12838] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12838/stat : 12838 (java) R 12822 12822 9857 0 -1 4202560 324 0 0 0 0 0 0 0 20 0 20 0 510939483 28904853504 7521 33554432000 4194304 4196468 140721710045568 140250526423248 140251983212241 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12839] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12839/stat : 12839 (java) S 12822 12822 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510939483 28904853504 7521 33554432000 4194304 4196468 140721710045568 140250525378800 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12840] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12840/stat : 12840 (java) S 12822 12822 9857 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 510939483 28904853504 7521 33554432000 4194304 4196468 140721710045568 140250524326000 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12841] ppid=12822 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/12824/task/12841/stat : 12841 (java) R 12822 12822 9857 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 20 0 510939483 28904853504 7521 33554432000 4194304 4196468 140721710045568 140250523273200 140251978708528 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12842] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12842/stat : 12842 (java) S 12822 12822 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510939483 28904853504 7521 33554432000 4194304 4196468 140721710045568 140250522221664 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12843] ppid=12822 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12824/task/12843/stat : 12843 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939483 28904853504 7521 33554432000 4194304 4196468 140721710045568 140250521168944 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31532 KiB

[startup+0.210634 s]*
/proc/loadavg: 7.91 8.02 8.13 3/210 12843
/proc/meminfo: memFree=25386688/32770624 swapFree=66941040/67108860
[pid=12822] ppid=12819 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/12822/stat : 12822 (xcsp3-exec) S 12819 12822 9857 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510939477 115843072 362 33554432000 4194304 5098028 140722444878800 140722444876904 139765244473980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25538560 140722444882811 140722444883054 140722444883054 140722444885962 0
/proc/12822/statm: 28282 362 304 221 0 87 0
[pid=12824] ppid=12822 vsize=28227396 memory=41264 CPUtime=0.34 cores=0-7
/proc/12824/stat : 12824 (java) S 12822 12822 9857 0 -1 1077944320 9038 0 0 0 31 3 0 0 20 0 20 0 510939477 28904853504 10316 33554432000 4194304 4196468 140721710045568 140721710028112 140251999776503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
/proc/12824/statm: 7056849 10316 3299 1 0 7019032 0
[pid=12824/tid=12825] ppid=12822 vsize=28227396 memory=29681743523217448 CPUtime=0.2 cores=0-7
/proc/12824/task/12825/stat : 12825 (java) R 12822 12822 9857 0 -1 4202560 6211 0 0 0 18 2 0 0 20 0 20 0 510939477 28904853504 10316 33554432000 4194304 4196468 140721710045568 140252004013264 140251999798429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12826] ppid=12822 vsize=28227396 memory=288230587528118625 CPUtime=0 cores=0-7
/proc/12824/task/12826/stat : 12826 (java) S 12822 12822 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 10316 33554432000 4194304 4196468 140721710045568 140251551095952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12827] ppid=12822 vsize=28227396 memory=140328465061603 CPUtime=0 cores=0-7
/proc/12824/task/12827/stat : 12827 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 10316 33554432000 4194304 4196468 140721710045568 140251550043152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12828] ppid=12822 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12824/task/12828/stat : 12828 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 10316 33554432000 4194304 4196468 140721710045568 140251548990352 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12829] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12829/stat : 12829 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 10316 33554432000 4194304 4196468 140721710045568 140251547937552 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12830] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12830/stat : 12830 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 10316 33554432000 4194304 4196468 140721710045568 140251546884752 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12831] ppid=12822 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12824/task/12831/stat : 12831 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 10316 33554432000 4194304 4196468 140721710045568 140251545831952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12832] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12832/stat : 12832 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 10316 33554432000 4194304 4196468 140721710045568 140251544779152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12833] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12833/stat : 12833 (java) S 12822 12822 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510939478 28904853504 10316 33554432000 4194304 4196468 140721710045568 140251543726352 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12834] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12834/stat : 12834 (java) S 12822 12822 9857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510939479 28904853504 10316 33554432000 4194304 4196468 140721710045568 140250530642800 140251999787650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12835] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12835/stat : 12835 (java) S 12822 12822 9857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510939480 28904853504 10316 33554432000 4194304 4196468 140721710045568 140250529588768 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12836] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12836/stat : 12836 (java) S 12822 12822 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510939480 28904853504 10316 33554432000 4194304 4196468 140721710045568 140250528535920 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12837] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12837/stat : 12837 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939483 28904853504 10316 33554432000 4194304 4196468 140721710045568 140250527484240 140251999795099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12838] ppid=12822 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12824/task/12838/stat : 12838 (java) S 12822 12822 9857 0 -1 1077944384 442 0 0 0 1 0 0 0 20 0 20 0 510939483 28904853504 10316 33554432000 4194304 4196468 140721710045568 140250526431600 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12839] ppid=12822 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12824/task/12839/stat : 12839 (java) S 12822 12822 9857 0 -1 1077944384 186 0 0 0 1 0 0 0 20 0 20 0 510939483 28904853504 10316 33554432000 4194304 4196468 140721710045568 140250525378800 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12840] ppid=12822 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12824/task/12840/stat : 12840 (java) S 12822 12822 9857 0 -1 1077944384 155 0 0 0 1 0 0 0 20 0 20 0 510939483 28904853504 10316 33554432000 4194304 4196468 140721710045568 140250524326000 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12841] ppid=12822 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/12824/task/12841/stat : 12841 (java) S 12822 12822 9857 0 -1 1077944384 735 0 0 0 8 0 0 0 20 0 20 0 510939483 28904853504 10316 33554432000 4194304 4196468 140721710045568 140250523273200 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12842] ppid=12822 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12842/stat : 12842 (java) S 12822 12822 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510939483 28904853504 10316 33554432000 4194304 4196468 140721710045568 140250522221664 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12843] ppid=12822 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12824/task/12843/stat : 12843 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939483 28904853504 10316 33554432000 4194304 4196468 140721710045568 140250521168944 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42712 KiB

[startup+0.310272 s]*
/proc/loadavg: 7.91 8.02 8.13 4/210 12843
/proc/meminfo: memFree=25379172/32770624 swapFree=66941040/67108860
[pid=12822] ppid=12819 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/12822/stat : 12822 (xcsp3-exec) S 12819 12822 9857 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510939477 115843072 362 33554432000 4194304 5098028 140722444878800 140722444876904 139765244473980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25538560 140722444882811 140722444883054 140722444883054 140722444885962 0
/proc/12822/statm: 28282 362 304 221 0 87 0
[pid=12824] ppid=12822 vsize=28231652 memory=50068 CPUtime=0.52 cores=0-7
/proc/12824/stat : 12824 (java) S 12822 12822 9857 0 -1 1077944320 10410 0 0 0 48 4 0 0 20 0 20 0 510939477 28909211648 12517 33554432000 4194304 4196468 140721710045568 140721710028112 140251999776503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
/proc/12824/statm: 7057913 12517 3339 1 0 7019032 0
[pid=12824/tid=12825] ppid=12822 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12824/task/12825/stat : 12825 (java) R 12822 12822 9857 0 -1 4202560 7350 0 0 0 26 3 0 0 20 0 20 0 510939477 28909211648 12582 33554432000 4194304 4196468 140721710045568 140252004007616 140251983856990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12826] ppid=12822 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12826/stat : 12826 (java) S 12822 12822 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510939478 28909211648 12582 33554432000 4194304 4196468 140721710045568 140251551095952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12827] ppid=12822 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12827/stat : 12827 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28909211648 12586 33554432000 4194304 4196468 140721710045568 140251550043152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12828] ppid=12822 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12828/stat : 12828 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28909211648 12586 33554432000 4194304 4196468 140721710045568 140251548990352 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12829] ppid=12822 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12829/stat : 12829 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28909211648 12586 33554432000 4194304 4196468 140721710045568 140251547937552 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12830] ppid=12822 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12830/stat : 12830 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28909211648 12586 33554432000 4194304 4196468 140721710045568 140251546884752 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12831] ppid=12822 vsize=28231652 memory=140328325704367 CPUtime=0 cores=0-7
/proc/12824/task/12831/stat : 12831 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28909211648 12586 33554432000 4194304 4196468 140721710045568 140251545831952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12832] ppid=12822 vsize=28231652 memory=140328325706672 CPUtime=0 cores=0-7
/proc/12824/task/12832/stat : 12832 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28909211648 12586 33554432000 4194304 4196468 140721710045568 140251544779152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12833] ppid=12822 vsize=28231652 memory=140328325708976 CPUtime=0 cores=0-7
/proc/12824/task/12833/stat : 12833 (java) S 12822 12822 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510939478 28909211648 12586 33554432000 4194304 4196468 140721710045568 140251543726352 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12834] ppid=12822 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12834/stat : 12834 (java) S 12822 12822 9857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510939479 28909211648 12586 33554432000 4194304 4196468 140721710045568 140250530642800 140251999787650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12835] ppid=12822 vsize=28231652 memory=280656651431824 CPUtime=0 cores=0-7
/proc/12824/task/12835/stat : 12835 (java) S 12822 12822 9857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510939480 28909211648 12586 33554432000 4194304 4196468 140721710045568 140250529588768 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12836] ppid=12822 vsize=28231652 memory=280656651429520 CPUtime=0 cores=0-7
/proc/12824/task/12836/stat : 12836 (java) S 12822 12822 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510939480 28909211648 12586 33554432000 4194304 4196468 140721710045568 140250528535920 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12837] ppid=12822 vsize=28231652 memory=280656651436432 CPUtime=0 cores=0-7
/proc/12824/task/12837/stat : 12837 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939483 28909211648 12586 33554432000 4194304 4196468 140721710045568 140250527484240 140251999795099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12838] ppid=12822 vsize=28231652 memory=280656651377712 CPUtime=0.02 cores=0-7
/proc/12824/task/12838/stat : 12838 (java) S 12822 12822 9857 0 -1 1077944384 450 0 0 0 2 0 0 0 20 0 20 0 510939483 28909211648 12586 33554432000 4194304 4196468 140721710045568 140250526431600 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12839] ppid=12822 vsize=28231652 memory=280656651450256 CPUtime=0.03 cores=0-7
/proc/12824/task/12839/stat : 12839 (java) R 12822 12822 9857 0 -1 4202560 298 0 0 0 3 0 0 0 20 0 20 0 510939483 28909211648 12586 33554432000 4194304 4196468 140721710045568 140250525369184 140251984888868 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12840] ppid=12822 vsize=28231652 memory=280656651457168 CPUtime=0.02 cores=0-7
/proc/12824/task/12840/stat : 12840 (java) S 12822 12822 9857 0 -1 1077944384 172 0 0 0 2 0 0 0 20 0 20 0 510939483 28909211648 12586 33554432000 4194304 4196468 140721710045568 140250524326000 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12841] ppid=12822 vsize=28231652 memory=280656651454864 CPUtime=0.12 cores=0-7
/proc/12824/task/12841/stat : 12841 (java) S 12822 12822 9857 0 -1 1077944384 845 0 0 0 12 0 0 0 20 0 20 0 510939483 28909211648 12586 33554432000 4194304 4196468 140721710045568 140250523273200 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12842] ppid=12822 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12842/stat : 12842 (java) S 12822 12822 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510939483 28909211648 12586 33554432000 4194304 4196468 140721710045568 140250522221664 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12843] ppid=12822 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/12824/task/12843/stat : 12843 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939483 28909211648 12586 33554432000 4194304 4196468 140721710045568 140250521168944 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51516 KiB

[startup+0.701023 s]
/proc/loadavg: 7.91 8.02 8.13 4/210 12843
/proc/meminfo: memFree=25358604/32770624 swapFree=66941040/67108860
[pid=12822] ppid=12819 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/12822/stat : 12822 (xcsp3-exec) S 12819 12822 9857 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510939477 115843072 362 33554432000 4194304 5098028 140722444878800 140722444876904 139765244473980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25538560 140722444882811 140722444883054 140722444883054 140722444885962 0
/proc/12822/statm: 28282 362 304 221 0 87 0
[pid=12824] ppid=12822 vsize=28233776 memory=113372 CPUtime=1.92 cores=0-7
/proc/12824/stat : 12824 (java) S 12822 12822 9857 0 -1 1077944320 14962 0 0 0 186 6 0 0 20 0 20 0 510939477 28911386624 28343 33554432000 4194304 4196468 140721710045568 140721710028112 140251999776503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
/proc/12824/statm: 7058444 28343 3450 1 0 7019544 0
[pid=12824/tid=12825] ppid=12822 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/12824/task/12825/stat : 12825 (java) R 12822 12822 9857 0 -1 4202560 7880 0 0 0 63 4 0 0 20 0 20 0 510939477 28911386624 28343 33554432000 4194304 4196468 140721710045568 140252004010208 140251638623150 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12826] ppid=12822 vsize=28233776 memory=2353 CPUtime=0 cores=0-7
/proc/12824/task/12826/stat : 12826 (java) S 12822 12822 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510939478 28911386624 28343 33554432000 4194304 4196468 140721710045568 140251551095952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12827] ppid=12822 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12827/stat : 12827 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510939478 28911386624 28343 33554432000 4194304 4196468 140721710045568 140251550043152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12828] ppid=12822 vsize=28233776 memory=1416 CPUtime=0 cores=0-7

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

/proc/loadavg: 7.60 7.95 8.11 4/218 12883
/proc/meminfo: memFree=24764228/32770624 swapFree=66941040/67108860
[pid=12822] ppid=12819 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/12822/stat : 12822 (xcsp3-exec) S 12819 12822 9857 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510939477 115843072 362 33554432000 4194304 5098028 140722444878800 140722444876904 139765244473980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25538560 140722444882811 140722444883054 140722444883054 140722444885962 0
/proc/12822/statm: 28282 362 304 221 0 87 0
[pid=12824] ppid=12822 vsize=28768336 memory=663348 CPUtime=15.96 cores=0-7
/proc/12824/stat : 12824 (java) S 12822 12822 9857 0 -1 1077944320 36667 0 0 0 1549 47 0 0 20 0 28 0 510939477 29458776064 165837 33554432000 4194304 4196468 140721710045568 140721710028112 140251999776503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
/proc/12824/statm: 7192084 165837 3528 1 0 7153184 0
[pid=12824/tid=12825] ppid=12822 vsize=28768336 memory=6791534058613427641 CPUtime=2.7 cores=0-7
/proc/12824/task/12825/stat : 12825 (java) S 12822 12822 9857 0 -1 1077944384 10745 0 0 0 260 10 0 0 20 0 28 0 510939477 29458776064 165837 33554432000 4194304 4196468 140721710045568 140252004017280 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12826] ppid=12822 vsize=28768336 memory=4126316290023845779 CPUtime=0.1 cores=0-7
/proc/12824/task/12826/stat : 12826 (java) S 12822 12822 9857 0 -1 1077944384 164 0 0 0 7 3 0 0 20 0 28 0 510939478 29458776064 165837 33554432000 4194304 4196468 140721710045568 140251551095952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12827] ppid=12822 vsize=28768336 memory=1448 CPUtime=0.1 cores=0-7
/proc/12824/task/12827/stat : 12827 (java) S 12822 12822 9857 0 -1 1077944384 169 0 0 0 7 3 0 0 20 0 28 0 510939478 29458776064 165837 33554432000 4194304 4196468 140721710045568 140251550043152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12828] ppid=12822 vsize=28768336 memory=1748 CPUtime=0.09 cores=0-7
/proc/12824/task/12828/stat : 12828 (java) S 12822 12822 9857 0 -1 1077944384 307 0 0 0 6 3 0 0 20 0 28 0 510939478 29458776064 165837 33554432000 4194304 4196468 140721710045568 140251548990352 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12829] ppid=12822 vsize=28768336 memory=111632 CPUtime=0.09 cores=0-7
/proc/12824/task/12829/stat : 12829 (java) S 12822 12822 9857 0 -1 1077944384 140 0 0 0 6 3 0 0 20 0 28 0 510939478 29458776064 165837 33554432000 4194304 4196468 140721710045568 140251547937552 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12830] ppid=12822 vsize=28768336 memory=808 CPUtime=0.09 cores=0-7
/proc/12824/task/12830/stat : 12830 (java) S 12822 12822 9857 0 -1 1077944384 185 0 0 0 6 3 0 0 20 0 28 0 510939478 29458776064 165837 33554432000 4194304 4196468 140721710045568 140251546884752 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12831] ppid=12822 vsize=28768336 memory=1804 CPUtime=0.09 cores=0-7
/proc/12824/task/12831/stat : 12831 (java) S 12822 12822 9857 0 -1 1077944384 594 0 0 0 6 3 0 0 20 0 28 0 510939478 29458776064 165837 33554432000 4194304 4196468 140721710045568 140251545831952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12832] ppid=12822 vsize=28768336 memory=916 CPUtime=0.09 cores=0-7
/proc/12824/task/12832/stat : 12832 (java) S 12822 12822 9857 0 -1 1077944384 158 0 0 0 6 3 0 0 20 0 28 0 510939478 29458776064 165837 33554432000 4194304 4196468 140721710045568 140251544779152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12833] ppid=12822 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7
/proc/12824/task/12833/stat : 12833 (java) S 12822 12822 9857 0 -1 1077944384 112 0 0 0 6 3 0 0 20 0 28 0 510939478 29458776064 165837 33554432000 4194304 4196468 140721710045568 140251543726352 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12834] ppid=12822 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/12824/task/12834/stat : 12834 (java) S 12822 12822 9857 0 -1 1077944384 732 0 0 0 1 0 0 0 20 0 28 0 510939479 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250530642800 140251999787650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12835] ppid=12822 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12835/stat : 12835 (java) S 12822 12822 9857 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 510939480 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250529588832 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12836] ppid=12822 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12836/stat : 12836 (java) S 12822 12822 9857 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 510939480 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250528535936 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12837] ppid=12822 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12837/stat : 12837 (java) S 12822 12822 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510939483 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250527484240 140251999795099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12838] ppid=12822 vsize=28768336 memory=0 CPUtime=2.36 cores=0-7
/proc/12824/task/12838/stat : 12838 (java) R 12822 12822 9857 0 -1 4202560 5858 0 0 0 235 1 0 0 20 0 28 0 510939483 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250526431896 140251984062522 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12839] ppid=12822 vsize=28768336 memory=0 CPUtime=2.39 cores=0-7
/proc/12824/task/12839/stat : 12839 (java) R 12822 12822 9857 0 -1 4202560 5270 0 0 0 238 1 0 0 20 0 28 0 510939483 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250525368288 140251981320721 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12840] ppid=12822 vsize=28768336 memory=0 CPUtime=2.41 cores=0-7
/proc/12824/task/12840/stat : 12840 (java) S 12822 12822 9857 0 -1 1077944384 6088 0 0 0 240 1 0 0 20 0 28 0 510939483 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250524326000 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12841] ppid=12822 vsize=28768336 memory=0 CPUtime=0.79 cores=0-7
/proc/12824/task/12841/stat : 12841 (java) S 12822 12822 9857 0 -1 1077944384 3753 0 0 0 78 1 0 0 20 0 28 0 510939483 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250523273200 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12842] ppid=12822 vsize=28768336 memory=4049353029310363698 CPUtime=0 cores=0-7
/proc/12824/task/12842/stat : 12842 (java) S 12822 12822 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510939483 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250522221664 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12843] ppid=12822 vsize=28768336 memory=4123100572737352760 CPUtime=0 cores=0-7
/proc/12824/task/12843/stat : 12843 (java) S 12822 12822 9857 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 510939483 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250521168944 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12876] ppid=12822 vsize=28768336 memory=3473455227061286196 CPUtime=0.01 cores=0-7
/proc/12824/task/12876/stat : 12876 (java) S 12822 12822 9857 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 28 0 510939871 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250507980672 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12877] ppid=12822 vsize=28768336 memory=7454130749351154278 CPUtime=0 cores=0-7
/proc/12824/task/12877/stat : 12877 (java) S 12822 12822 9857 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 510939871 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250511140048 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12878] ppid=12822 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7
/proc/12824/task/12878/stat : 12878 (java) R 12822 12822 9857 0 -1 4202560 19 0 0 0 5 0 0 0 20 0 28 0 510939871 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250510083392 140251637041526 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12879] ppid=12822 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/12824/task/12879/stat : 12879 (java) S 12822 12822 9857 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 510939871 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250504823760 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12880] ppid=12822 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/12824/task/12880/stat : 12880 (java) S 12822 12822 9857 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 510939871 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250506928976 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12881] ppid=12822 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/12824/task/12881/stat : 12881 (java) S 12822 12822 9857 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 510939871 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250505876176 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12882] ppid=12822 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/12824/task/12882/stat : 12882 (java) S 12822 12822 9857 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 510939871 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250512193104 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12883] ppid=12822 vsize=28768336 memory=5936404468539617873 CPUtime=0 cores=0-7
/proc/12824/task/12883/stat : 12883 (java) S 12822 12822 9857 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 510939871 29458776064 165837 33554432000 4194304 4196468 140721710045568 140250509034960 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
Current children cumulated CPU time: 15.96 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 664796 KiB

[startup+4.40094 s]
/proc/loadavg: 7.60 7.95 8.11 4/218 12883
/proc/meminfo: memFree=24764228/32770624 swapFree=66941040/67108860
[pid=12822] ppid=12819 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/12822/stat : 12822 (xcsp3-exec) S 12819 12822 9857 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510939477 115843072 362 33554432000 4194304 5098028 140722444878800 140722444876904 139765244473980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25538560 140722444882811 140722444883054 140722444883054 140722444885962 0
/proc/12822/statm: 28282 362 304 221 0 87 0
[pid=12824] ppid=12822 vsize=28768336 memory=664160 CPUtime=17.07 cores=0-7
/proc/12824/stat : 12824 (java) S 12822 12822 9857 0 -1 1077944320 37080 0 0 0 1660 47 0 0 20 0 18 0 510939477 29458776064 166040 33554432000 4194304 4196468 140721710045568 140721710028112 140251999776503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
/proc/12824/statm: 7192084 166040 3528 1 0 7153184 0
[pid=12824/tid=12825] ppid=12822 vsize=28768336 memory=6791534058613427641 CPUtime=2.7 cores=0-7
/proc/12824/task/12825/stat : 12825 (java) D 12822 12822 9857 0 -1 4202560 10751 0 0 0 260 10 0 0 20 0 18 0 510939477 29458776064 166040 33554432000 4194304 4196468 140721710045568 140252004019512 140251992462135 0 0 0 16800975 18446744072100686981 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12826] ppid=12822 vsize=28768336 memory=-2970219127293634922 CPUtime=0.1 cores=0-7
/proc/12824/task/12826/stat : 12826 (java) S 12822 12822 9857 0 -1 1077944384 164 0 0 0 7 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251551095952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12827] ppid=12822 vsize=28768336 memory=-7025452035942946156 CPUtime=0.1 cores=0-7
/proc/12824/task/12827/stat : 12827 (java) S 12822 12822 9857 0 -1 1077944384 169 0 0 0 7 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251550043152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12828] ppid=12822 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7
/proc/12824/task/12828/stat : 12828 (java) S 12822 12822 9857 0 -1 1077944384 307 0 0 0 6 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251548990352 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12829] ppid=12822 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7
/proc/12824/task/12829/stat : 12829 (java) S 12822 12822 9857 0 -1 1077944384 140 0 0 0 6 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251547937552 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12830] ppid=12822 vsize=28768336 memory=-7737605721172012177 CPUtime=0.09 cores=0-7
/proc/12824/task/12830/stat : 12830 (java) S 12822 12822 9857 0 -1 1077944384 185 0 0 0 6 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251546884752 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12831] ppid=12822 vsize=28768336 memory=7661024744918380394 CPUtime=0.09 cores=0-7
/proc/12824/task/12831/stat : 12831 (java) S 12822 12822 9857 0 -1 1077944384 594 0 0 0 6 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251545831952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12832] ppid=12822 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7
/proc/12824/task/12832/stat : 12832 (java) S 12822 12822 9857 0 -1 1077944384 158 0 0 0 6 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251544779152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12833] ppid=12822 vsize=28768336 memory=288289986875491089 CPUtime=0.09 cores=0-7
/proc/12824/task/12833/stat : 12833 (java) S 12822 12822 9857 0 -1 1077944384 112 0 0 0 6 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251543726352 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12835] ppid=12822 vsize=28768336 memory=4051050778339865182 CPUtime=0 cores=0-7
/proc/12824/task/12835/stat : 12835 (java) S 12822 12822 9857 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 18 0 510939480 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250529588832 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12836] ppid=12822 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12836/stat : 12836 (java) S 12822 12822 9857 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 18 0 510939480 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250528535936 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12837] ppid=12822 vsize=28768336 memory=140328465070801 CPUtime=0 cores=0-7
/proc/12824/task/12837/stat : 12837 (java) S 12822 12822 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 510939483 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250527483888 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12838] ppid=12822 vsize=28768336 memory=7884224497273628736 CPUtime=2.55 cores=0-7
/proc/12824/task/12838/stat : 12838 (java) S 12822 12822 9857 0 -1 1077944384 5883 0 0 0 254 1 0 0 20 0 18 0 510939483 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250526416672 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12839] ppid=12822 vsize=28768336 memory=7597132098393106257 CPUtime=2.55 cores=0-7
/proc/12824/task/12839/stat : 12839 (java) S 12822 12822 9857 0 -1 1077944384 5308 0 0 0 254 1 0 0 20 0 18 0 510939483 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250525365920 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12840] ppid=12822 vsize=28768336 memory=663192 CPUtime=2.62 cores=0-7
/proc/12824/task/12840/stat : 12840 (java) S 12822 12822 9857 0 -1 1077944384 6123 0 0 0 261 1 0 0 20 0 18 0 510939483 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250524310512 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12841] ppid=12822 vsize=28768336 memory=1416 CPUtime=0.8 cores=0-7
/proc/12824/task/12841/stat : 12841 (java) S 12822 12822 9857 0 -1 1077944384 3773 0 0 0 79 1 0 0 20 0 18 0 510939483 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250523273200 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12842] ppid=12822 vsize=28768336 memory=10728 CPUtime=0 cores=0-7
/proc/12824/task/12842/stat : 12842 (java) S 12822 12822 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 510939483 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250522221664 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
Current children cumulated CPU time: 17.07 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 665608 KiB

[startup+4.60084 s]
/proc/loadavg: 7.60 7.95 8.11 4/218 12883
/proc/meminfo: memFree=24764228/32770624 swapFree=66941040/67108860
[pid=12822] ppid=12819 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/12822/stat : 12822 (xcsp3-exec) S 12819 12822 9857 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510939477 115843072 362 33554432000 4194304 5098028 140722444878800 140722444876904 139765244473980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25538560 140722444882811 140722444883054 140722444883054 140722444885962 0
/proc/12822/statm: 28282 362 304 221 0 87 0
[pid=12824] ppid=12822 vsize=28768336 memory=664160 CPUtime=17.07 cores=0-7
/proc/12824/stat : 12824 (java) S 12822 12822 9857 0 -1 1077944320 37080 0 0 0 1660 47 0 0 20 0 18 0 510939477 29458776064 166040 33554432000 4194304 4196468 140721710045568 140721710028112 140251999776503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
/proc/12824/statm: 7192084 166040 3528 1 0 7153184 0
[pid=12824/tid=12825] ppid=12822 vsize=28768336 memory=2832 CPUtime=2.7 cores=0-7
/proc/12824/task/12825/stat : 12825 (java) D 12822 12822 9857 0 -1 4202560 10751 0 0 0 260 10 0 0 20 0 18 0 510939477 29458776064 166040 33554432000 4194304 4196468 140721710045568 140252004019512 140251992462135 0 0 0 16800975 18446744072100686981 0 0 -1 1 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12826] ppid=12822 vsize=28768336 memory=784 CPUtime=0.1 cores=0-7
/proc/12824/task/12826/stat : 12826 (java) S 12822 12822 9857 0 -1 1077944384 164 0 0 0 7 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251551095952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12827] ppid=12822 vsize=28768336 memory=1060 CPUtime=0.1 cores=0-7
/proc/12824/task/12827/stat : 12827 (java) S 12822 12822 9857 0 -1 1077944384 169 0 0 0 7 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251550043152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12828] ppid=12822 vsize=28768336 memory=1724 CPUtime=0.09 cores=0-7
/proc/12824/task/12828/stat : 12828 (java) S 12822 12822 9857 0 -1 1077944384 307 0 0 0 6 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251548990352 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12829] ppid=12822 vsize=28768336 memory=1096 CPUtime=0.09 cores=0-7
/proc/12824/task/12829/stat : 12829 (java) S 12822 12822 9857 0 -1 1077944384 140 0 0 0 6 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251547937552 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12830] ppid=12822 vsize=28768336 memory=1228 CPUtime=0.09 cores=0-7
/proc/12824/task/12830/stat : 12830 (java) S 12822 12822 9857 0 -1 1077944384 185 0 0 0 6 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251546884752 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12831] ppid=12822 vsize=28768336 memory=6140 CPUtime=0.09 cores=0-7
/proc/12824/task/12831/stat : 12831 (java) S 12822 12822 9857 0 -1 1077944384 594 0 0 0 6 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251545831952 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12832] ppid=12822 vsize=28768336 memory=780 CPUtime=0.09 cores=0-7
/proc/12824/task/12832/stat : 12832 (java) S 12822 12822 9857 0 -1 1077944384 158 0 0 0 6 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251544779152 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12833] ppid=12822 vsize=28768336 memory=14008 CPUtime=0.09 cores=0-7
/proc/12824/task/12833/stat : 12833 (java) S 12822 12822 9857 0 -1 1077944384 112 0 0 0 6 3 0 0 20 0 18 0 510939478 29458776064 166040 33554432000 4194304 4196468 140721710045568 140251543726352 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12835] ppid=12822 vsize=28768336 memory=33556 CPUtime=0 cores=0-7
/proc/12824/task/12835/stat : 12835 (java) S 12822 12822 9857 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 18 0 510939480 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250529588832 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12836] ppid=12822 vsize=28768336 memory=2116 CPUtime=0 cores=0-7
/proc/12824/task/12836/stat : 12836 (java) S 12822 12822 9857 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 18 0 510939480 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250528535936 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12837] ppid=12822 vsize=28768336 memory=12024 CPUtime=0 cores=0-7
/proc/12824/task/12837/stat : 12837 (java) S 12822 12822 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 510939483 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250527483888 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12838] ppid=12822 vsize=28768336 memory=1560 CPUtime=2.55 cores=0-7
/proc/12824/task/12838/stat : 12838 (java) S 12822 12822 9857 0 -1 1077944384 5883 0 0 0 254 1 0 0 20 0 18 0 510939483 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250526416672 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12839] ppid=12822 vsize=28768336 memory=6481105650894 CPUtime=2.55 cores=0-7
/proc/12824/task/12839/stat : 12839 (java) S 12822 12822 9857 0 -1 1077944384 5308 0 0 0 254 1 0 0 20 0 18 0 510939483 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250525365920 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12840] ppid=12822 vsize=28768336 memory=6791534058613427641 CPUtime=2.62 cores=0-7
/proc/12824/task/12840/stat : 12840 (java) S 12822 12822 9857 0 -1 1077944384 6123 0 0 0 261 1 0 0 20 0 18 0 510939483 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250524310512 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12841] ppid=12822 vsize=28768336 memory=0 CPUtime=0.8 cores=0-7
/proc/12824/task/12841/stat : 12841 (java) S 12822 12822 9857 0 -1 1077944384 3773 0 0 0 79 1 0 0 20 0 18 0 510939483 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250523273200 140251999787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
[pid=12824/tid=12842] ppid=12822 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/12824/task/12842/stat : 12842 (java) S 12822 12822 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 510939483 29458776064 166040 33554432000 4194304 4196468 140721710045568 140250522221664 140251999786709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7991296 140721710048240 140721710048411 140721710048411 140721710051279 0
Current children cumulated CPU time: 17.07 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 665608 KiB

Child status: 0
Real time (s): 4.69756
CPU time (s): 17.0891
CPU user time (s): 16.6041
CPU system time (s): 0.485031
CPU usage (%): 363.788
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 665608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.6041
system time used= 0.485031
maximum resident set size= 664848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37663
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4691
involuntary context switches= 176


# summary of solver processes directly reported to runsolver:
#   pid: 12822
#   total CPU time (s): 17.0891
#   total CPU user time (s): 16.6041
#   total CPU system time (s): 0.485031

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.064763 second user time and 0.082708 second system time

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

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
