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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14	OPT	6	15.3986	4.6161
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 (14925 MiB free)
  memory of node 1: 16384 MiB (15692 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393170-1568313982/watcher-4393170-1568313982 -o /tmp/evaluation-result-4393170-1568313982/solver-4393170-1568313982 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6785 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2065539898 HOME/instance-4393170-1568313982.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.101236 s]*
/proc/loadavg: 8.08 7.78 6.28 7/233 9295
/proc/meminfo: memFree=31334576/32770624 swapFree=66979388/67108860
[pid=9279] ppid=9276 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9279/stat : 9279 (xcsp3-exec) S 9276 9279 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407660916 115843072 363 33554432000 4194304 5098028 140728202536768 140728202534872 140110048789116 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8138752 140728202539898 140728202540141 140728202540141 140728202543050 0
/proc/9279/statm: 28282 363 304 221 0 87 0
[pid=9281] ppid=9279 vsize=15144768 memory=29800 CPUtime=0.13 cores=1,3,5,7
/proc/9281/stat : 9281 (java) S 9279 9279 6753 0 -1 1077944320 5897 0 0 0 12 1 0 0 20 0 15 0 407660916 15508242432 7450 33554432000 4194304 4196468 140729548553712 140729548536256 140061977890551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
/proc/9281/statm: 3786192 7450 3182 1 0 3748377 0
[pid=9281/tid=9282] ppid=9279 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/9281/task/9282/stat : 9282 (java) R 9279 9279 6753 0 -1 4202560 3772 0 0 0 8 1 0 0 20 0 15 0 407660916 15508242432 7450 33554432000 4194304 4196468 140729548553712 140061982123328 140061963584032 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9283] ppid=9279 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9283/stat : 9283 (java) S 9279 9279 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407660917 15508242432 7450 33554432000 4194304 4196468 140729548553712 140061905931280 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9284] ppid=9279 vsize=15144768 memory=139955248146048 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9284/stat : 9284 (java) S 9279 9279 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407660917 15508242432 7450 33554432000 4194304 4196468 140729548553712 140061904878736 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9285] ppid=9279 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9285/stat : 9285 (java) S 9279 9279 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407660917 15508242432 7450 33554432000 4194304 4196468 140729548553712 140061568264976 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9286] ppid=9279 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9286/stat : 9286 (java) S 9279 9279 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407660917 15508242432 7450 33554432000 4194304 4196468 140729548553712 140061567212432 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9287] ppid=9279 vsize=15144768 memory=139955248146048 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9287/stat : 9287 (java) S 9279 9279 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407660919 15508242432 7450 33554432000 4194304 4196468 140729548553712 140061539289328 140061977901698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9288] ppid=9279 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9288/stat : 9288 (java) S 9279 9279 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407660919 15508242432 7450 33554432000 4194304 4196468 140729548553712 140061538235552 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9289] ppid=9279 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9289/stat : 9289 (java) S 9279 9279 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407660919 15508242432 7450 33554432000 4194304 4196468 140729548553712 140061537182448 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9290] ppid=9279 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9290/stat : 9290 (java) S 9279 9279 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407660922 15508242432 7450 33554432000 4194304 4196468 140729548553712 140061536131024 140061977909147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9291] ppid=9279 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9291/stat : 9291 (java) S 9279 9279 6753 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 407660922 15508242432 7450 33554432000 4194304 4196468 140729548553712 140061535079152 140061977901698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9292] ppid=9279 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9292/stat : 9292 (java) S 9279 9279 6753 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 15 0 407660922 15508242432 7450 33554432000 4194304 4196468 140729548553712 140061534026608 140061977901698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9293] ppid=9279 vsize=15144768 memory=139955248146048 CPUtime=0.02 cores=1,3,5,7
/proc/9281/task/9293/stat : 9293 (java) R 9279 9279 6753 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 407660922 15508242432 7450 33554432000 4194304 4196468 140729548553712 140061532973680 140061977911898 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9294] ppid=9279 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9294/stat : 9294 (java) S 9279 9279 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407660922 15508242432 7450 33554432000 4194304 4196468 140729548553712 140061531921248 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9295] ppid=9279 vsize=15144768 memory=139955248146048 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9295/stat : 9295 (java) S 9279 9279 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407660922 15508242432 7450 33554432000 4194304 4196468 140729548553712 140061530868272 140061977901698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31252 KiB

[startup+0.210893 s]*
/proc/loadavg: 8.08 7.78 6.28 7/233 9295
/proc/meminfo: memFree=31322844/32770624 swapFree=66979388/67108860
[pid=9279] ppid=9276 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9279/stat : 9279 (xcsp3-exec) S 9276 9279 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407660916 115843072 363 33554432000 4194304 5098028 140728202536768 140728202534872 140110048789116 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8138752 140728202539898 140728202540141 140728202540141 140728202543050 0
/proc/9279/statm: 28282 363 304 221 0 87 0
[pid=9281] ppid=9279 vsize=15144768 memory=40572 CPUtime=0.34 cores=1,3,5,7
/proc/9281/stat : 9281 (java) S 9279 9279 6753 0 -1 1077944320 9386 0 0 0 31 3 0 0 20 0 15 0 407660916 15508242432 10143 33554432000 4194304 4196468 140729548553712 140729548536256 140061977890551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
/proc/9281/statm: 3786192 10143 3262 1 0 3748377 0
[pid=9281/tid=9282] ppid=9279 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/9281/task/9282/stat : 9282 (java) R 9279 9279 6753 0 -1 4202560 6601 0 0 0 18 2 0 0 20 0 15 0 407660916 15508242432 10143 33554432000 4194304 4196468 140729548553712 140061982125248 140061586131510 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9283] ppid=9279 vsize=15144768 memory=2995868 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9283/stat : 9283 (java) S 9279 9279 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407660917 15508242432 10143 33554432000 4194304 4196468 140729548553712 140061905931280 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9284] ppid=9279 vsize=15144768 memory=139955251291253 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9284/stat : 9284 (java) S 9279 9279 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407660917 15508242432 10143 33554432000 4194304 4196468 140729548553712 140061904878736 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9285] ppid=9279 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9285/stat : 9285 (java) S 9279 9279 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407660917 15508242432 10143 33554432000 4194304 4196468 140729548553712 140061568264976 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9286] ppid=9279 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9286/stat : 9286 (java) S 9279 9279 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407660917 15508242432 10143 33554432000 4194304 4196468 140729548553712 140061567212432 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9287] ppid=9279 vsize=15144768 memory=139955248146048 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9287/stat : 9287 (java) S 9279 9279 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407660919 15508242432 10143 33554432000 4194304 4196468 140729548553712 140061539289328 140061977901698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9288] ppid=9279 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9288/stat : 9288 (java) S 9279 9279 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407660919 15508242432 10143 33554432000 4194304 4196468 140729548553712 140061538235552 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9289] ppid=9279 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9289/stat : 9289 (java) S 9279 9279 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407660919 15508242432 10143 33554432000 4194304 4196468 140729548553712 140061537182448 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9290] ppid=9279 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9290/stat : 9290 (java) S 9279 9279 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407660922 15508242432 10143 33554432000 4194304 4196468 140729548553712 140061536131024 140061977909147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9291] ppid=9279 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9281/task/9291/stat : 9291 (java) R 9279 9279 6753 0 -1 1077944384 553 0 0 0 3 0 0 0 20 0 15 0 407660922 15508242432 10143 33554432000 4194304 4196468 140729548553712 140061535079152 140061977901698 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9292] ppid=9279 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/9281/task/9292/stat : 9292 (java) S 9279 9279 6753 0 -1 1077944384 189 0 0 0 1 0 0 0 20 0 15 0 407660922 15508242432 10143 33554432000 4194304 4196468 140729548553712 140061534026608 140061977901698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9293] ppid=9279 vsize=15144768 memory=139955248146048 CPUtime=0.08 cores=1,3,5,7
/proc/9281/task/9293/stat : 9293 (java) R 9279 9279 6753 0 -1 4202560 743 0 0 0 8 0 0 0 20 0 15 0 407660922 15508242432 10143 33554432000 4194304 4196468 140729548553712 140061532973552 140061977911898 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9294] ppid=9279 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9294/stat : 9294 (java) S 9279 9279 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407660922 15508242432 10143 33554432000 4194304 4196468 140729548553712 140061531921248 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9295] ppid=9279 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9295/stat : 9295 (java) S 9279 9279 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407660922 15508242432 10143 33554432000 4194304 4196468 140729548553712 140061530868272 140061977901698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42024 KiB

[startup+0.310503 s]*
/proc/loadavg: 8.08 7.78 6.28 7/233 9295
/proc/meminfo: memFree=31317172/32770624 swapFree=66979388/67108860
[pid=9279] ppid=9276 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9279/stat : 9279 (xcsp3-exec) S 9276 9279 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407660916 115843072 363 33554432000 4194304 5098028 140728202536768 140728202534872 140110048789116 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8138752 140728202539898 140728202540141 140728202540141 140728202543050 0
/proc/9279/statm: 28282 363 304 221 0 87 0
[pid=9281] ppid=9279 vsize=15149024 memory=50092 CPUtime=0.53 cores=1,3,5,7
/proc/9281/stat : 9281 (java) S 9279 9279 6753 0 -1 1077944320 10883 0 0 0 49 4 0 0 20 0 15 0 407660916 15512600576 12523 33554432000 4194304 4196468 140729548553712 140729548536256 140061977890551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
/proc/9281/statm: 3787256 12523 3373 1 0 3748377 0
[pid=9281/tid=9282] ppid=9279 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/9281/task/9282/stat : 9282 (java) R 9279 9279 6753 0 -1 4202560 7822 0 0 0 27 3 0 0 20 0 15 0 407660916 15512600576 12523 33554432000 4194304 4196468 140729548553712 140061982127568 140061977912477 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9283] ppid=9279 vsize=15149024 memory=2996209 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9283/stat : 9283 (java) S 9279 9279 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407660917 15512600576 12523 33554432000 4194304 4196468 140729548553712 140061905931280 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9284] ppid=9279 vsize=15149024 memory=3005098 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9284/stat : 9284 (java) S 9279 9279 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407660917 15512600576 12523 33554432000 4194304 4196468 140729548553712 140061904878736 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9285] ppid=9279 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9285/stat : 9285 (java) S 9279 9279 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407660917 15512600576 12523 33554432000 4194304 4196468 140729548553712 140061568264976 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9286] ppid=9279 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9286/stat : 9286 (java) S 9279 9279 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407660917 15512600576 12523 33554432000 4194304 4196468 140729548553712 140061567212432 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9287] ppid=9279 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9287/stat : 9287 (java) S 9279 9279 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407660919 15512600576 12523 33554432000 4194304 4196468 140729548553712 140061539289328 140061977901698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9288] ppid=9279 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9288/stat : 9288 (java) S 9279 9279 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407660919 15512600576 12523 33554432000 4194304 4196468 140729548553712 140061538235552 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9289] ppid=9279 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9289/stat : 9289 (java) S 9279 9279 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407660919 15512600576 12523 33554432000 4194304 4196468 140729548553712 140061537182448 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9290] ppid=9279 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9290/stat : 9290 (java) S 9279 9279 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407660922 15512600576 12523 33554432000 4194304 4196468 140729548553712 140061536131024 140061977909147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9291] ppid=9279 vsize=15149024 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/9281/task/9291/stat : 9291 (java) S 9279 9279 6753 0 -1 1077944384 664 0 0 0 6 0 0 0 20 0 15 0 407660922 15512600576 12523 33554432000 4194304 4196468 140729548553712 140061535079152 140061977901698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9292] ppid=9279 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9281/task/9292/stat : 9292 (java) S 9279 9279 6753 0 -1 1077944384 242 0 0 0 3 0 0 0 20 0 15 0 407660922 15512600576 12523 33554432000 4194304 4196468 140729548553712 140061534026608 140061977901698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9293] ppid=9279 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/9281/task/9293/stat : 9293 (java) S 9279 9279 6753 0 -1 1077944384 852 0 0 0 12 0 0 0 20 0 15 0 407660922 15512600576 12523 33554432000 4194304 4196468 140729548553712 140061532973552 140061977901698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9294] ppid=9279 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9294/stat : 9294 (java) S 9279 9279 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407660922 15512600576 12523 33554432000 4194304 4196468 140729548553712 140061531921248 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9295] ppid=9279 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9295/stat : 9295 (java) S 9279 9279 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407660922 15512600576 12523 33554432000 4194304 4196468 140729548553712 140061530868272 140061977901698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51544 KiB

[startup+0.701576 s]
/proc/loadavg: 8.08 7.78 6.28 8/233 9295
/proc/meminfo: memFree=31296272/32770624 swapFree=66979388/67108860
[pid=9279] ppid=9276 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9279/stat : 9279 (xcsp3-exec) S 9276 9279 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407660916 115843072 363 33554432000 4194304 5098028 140728202536768 140728202534872 140110048789116 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8138752 140728202539898 140728202540141 140728202540141 140728202543050 0
/proc/9279/statm: 28282 363 304 221 0 87 0
[pid=9281] ppid=9279 vsize=15151148 memory=106632 CPUtime=1.73 cores=1,3,5,7
/proc/9281/stat : 9281 (java) S 9279 9279 6753 0 -1 1077944320 14173 0 0 0 168 5 0 0 20 0 15 0 407660916 15514775552 26658 33554432000 4194304 4196468 140729548553712 140729548536256 140061977890551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
/proc/9281/statm: 3787787 26658 3446 1 0 3748889 0
[pid=9281/tid=9282] ppid=9279 vsize=15151148 memory=1790330275073 CPUtime=0.68 cores=1,3,5,7
/proc/9281/task/9282/stat : 9282 (java) R 9279 9279 6753 0 -1 4202560 8393 0 0 0 64 4 0 0 20 0 15 0 407660916 15514775552 26658 33554432000 4194304 4196468 140729548553712 140061982126256 140061584796521 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9283] ppid=9279 vsize=15151148 memory=512 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9283/stat : 9283 (java) S 9279 9279 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407660917 15514775552 26658 33554432000 4194304 4196468 140729548553712 140061905931280 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9284] ppid=9279 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9284/stat : 9284 (java) S 9279 9279 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407660917 15514775552 26658 33554432000 4194304 4196468 140729548553712 140061904878736 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9285] ppid=9279 vsize=15151148 memory=928 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9285/stat : 9285 (java) S 9279 9279 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407660917 15514775552 26658 33554432000 4194304 4196468 140729548553712 140061568264976 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9286] ppid=9279 vsize=15151148 memory=3772 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9286/stat : 9286 (java) S 9279 9279 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407660917 15514775552 26658 33554432000 4194304 4196468 140729548553712 140061567212432 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9287] ppid=9279 vsize=15151148 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9287/stat : 9287 (java) S 9279 9279 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407660919 15514775552 26658 33554432000 4194304 4196468 140729548553712 140061539289328 140061977901698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9288] ppid=9279 vsize=15151148 memory=920 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9288/stat : 9288 (java) S 9279 9279 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407660919 15514775552 26658 33554432000 4194304 4196468 140729548553712 140061538235552 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9289] ppid=9279 vsize=15151148 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9289/stat : 9289 (java) S 9279 9279 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407660919 15514775552 26658 33554432000 4194304 4196468 140729548553712 140061537182448 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9290] ppid=9279 vsize=15151148 memory=2404 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9290/stat : 9290 (java) S 9279 9279 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407660922 15514775552 26658 33554432000 4194304 4196468 140729548553712 140061536131024 140061977909147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9291] ppid=9279 vsize=15151148 memory=1764 CPUtime=0.37 cores=1,3,5,7
/proc/9281/task/9291/stat : 9291 (java) R 9279 9279 6753 0 -1 4202560 1526 0 0 0 37 0 0 0 20 0 15 0 407660922 15514775552 26658 33554432000 4194304 4196468 140729548553712 140061535072344 140061955916376 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9292] ppid=9279 vsize=15151148 memory=111632 CPUtime=0.34 cores=1,3,5,7
/proc/9281/task/9292/stat : 9292 (java) R 9279 9279 6753 0 -1 4202560 1274 0 0 0 34 0 0 0 20 0 15 0 407660922 15514775552 26658 33554432000 4194304 4196468 140729548553712 140061534025008 140061956340224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9293] ppid=9279 vsize=15151148 memory=804 CPUtime=0.31 cores=1,3,5,7
/proc/9281/task/9293/stat : 9293 (java) R 9279 9279 6753 0 -1 4202560 1671 0 0 0 31 0 0 0 20 0 15 0 407660922 15514775552 26658 33554432000 4194304 4196468 140729548553712 140061532973552 140061961971038 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9294] ppid=9279 vsize=15151148 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9294/stat : 9294 (java) S 9279 9279 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407660922 15514775552 26658 33554432000 4194304 4196468 140729548553712 140061531921248 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9295] ppid=9279 vsize=15151148 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9295/stat : 9295 (java) S 9279 9279 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407660922 15514775552 26658 33554432000 4194304 4196468 140729548553712 140061530868272 140061977901698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 108084 KiB

[startup+1.50157 s]
/proc/loadavg: 7.99 7.77 6.28 7/233 9295
/proc/meminfo: memFree=31216960/32770624 swapFree=66979388/67108860
[pid=9279] ppid=9276 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9279/stat : 9279 (xcsp3-exec) S 9276 9279 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407660916 115843072 363 33554432000 4194304 5098028 140728202536768 140728202534872 140110048789116 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8138752 140728202539898 140728202540141 140728202540141 140728202543050 0
/proc/9279/statm: 28282 363 304 221 0 87 0

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

/proc/9281/task/9291/stat : 9291 (java) R 9279 9279 6753 0 -1 4202560 6672 0 0 0 250 0 0 0 20 0 19 0 407660922 15858733056 66421 33554432000 4194304 4196468 140729548553712 140061535065248 140061955485303 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9292] ppid=9279 vsize=15487044 memory=209 CPUtime=2.33 cores=1,3,5,7
/proc/9281/task/9292/stat : 9292 (java) R 9279 9279 6753 0 -1 1077944384 5802 0 0 0 232 1 0 0 20 0 19 0 407660922 15858733056 66421 33554432000 4194304 4196468 140729548553712 140061534016400 140061977900757 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9293] ppid=9279 vsize=15487044 memory=3 CPUtime=0.74 cores=1,3,5,7
/proc/9281/task/9293/stat : 9293 (java) R 9279 9279 6753 0 -1 1077944384 3554 0 0 0 73 1 0 0 20 0 19 0 407660922 15858733056 66421 33554432000 4194304 4196468 140729548553712 140061532973552 140061977901698 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9294] ppid=9279 vsize=15487044 memory=5 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9294/stat : 9294 (java) S 9279 9279 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407660922 15858733056 66421 33554432000 4194304 4196468 140729548553712 140061531921248 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9295] ppid=9279 vsize=15487044 memory=4 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9295/stat : 9295 (java) S 9279 9279 6753 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 407660922 15858733056 66421 33554432000 4194304 4196468 140729548553712 140061530868272 140061977901698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
Current children cumulated CPU time: 10.22 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 267136 KiB

[startup+4.00258 s]*
/proc/loadavg: 7.99 7.77 6.28 9/237 9319
/proc/meminfo: memFree=30967456/32770624 swapFree=66979388/67108860
[pid=9279] ppid=9276 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9279/stat : 9279 (xcsp3-exec) S 9276 9279 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407660916 115843072 363 33554432000 4194304 5098028 140728202536768 140728202534872 140110048789116 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8138752 140728202539898 140728202540141 140728202540141 140728202543050 0
/proc/9279/statm: 28282 363 304 221 0 87 0
[pid=9281] ppid=9279 vsize=15487044 memory=352304 CPUtime=13.45 cores=1,3,5,7
/proc/9281/stat : 9281 (java) S 9279 9279 6753 0 -1 1077944320 30554 0 0 0 1329 16 0 0 20 0 19 0 407660916 15858733056 88076 33554432000 4194304 4196468 140729548553712 140729548536256 140061977890551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
/proc/9281/statm: 3871761 88076 3522 1 0 3832863 0
[pid=9281/tid=9282] ppid=9279 vsize=15487044 memory=8317482817917895235 CPUtime=2.1 cores=1,3,5,7
/proc/9281/task/9282/stat : 9282 (java) S 9279 9279 6753 0 -1 1077944384 11078 0 0 0 204 6 0 0 20 0 19 0 407660916 15858733056 88076 33554432000 4194304 4196468 140729548553712 140061982131328 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9283] ppid=9279 vsize=15487044 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9281/task/9283/stat : 9283 (java) S 9279 9279 6753 0 -1 1077944384 504 0 0 0 3 0 0 0 20 0 19 0 407660917 15858733056 88076 33554432000 4194304 4196468 140729548553712 140061905931280 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9284] ppid=9279 vsize=15487044 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/9281/task/9284/stat : 9284 (java) S 9279 9279 6753 0 -1 1077944384 78 0 0 0 4 1 0 0 20 0 19 0 407660917 15858733056 88076 33554432000 4194304 4196468 140729548553712 140061904878736 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9285] ppid=9279 vsize=15487044 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/9281/task/9285/stat : 9285 (java) S 9279 9279 6753 0 -1 1077944384 129 0 0 0 3 1 0 0 20 0 19 0 407660917 15858733056 88076 33554432000 4194304 4196468 140729548553712 140061568264976 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9286] ppid=9279 vsize=15487044 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9281/task/9286/stat : 9286 (java) S 9279 9279 6753 0 -1 1077944384 216 0 0 0 3 0 0 0 20 0 19 0 407660917 15858733056 88076 33554432000 4194304 4196468 140729548553712 140061567212432 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9287] ppid=9279 vsize=15487044 memory=139955133486048 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9287/stat : 9287 (java) S 9279 9279 6753 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 19 0 407660919 15858733056 88076 33554432000 4194304 4196468 140729548553712 140061539289328 140061977901698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9288] ppid=9279 vsize=15487044 memory=93306879 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9288/stat : 9288 (java) S 9279 9279 6753 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 407660919 15858733056 88076 33554432000 4194304 4196468 140729548553712 140061538235616 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9289] ppid=9279 vsize=15487044 memory=177 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9289/stat : 9289 (java) S 9279 9279 6753 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 407660919 15858733056 88076 33554432000 4194304 4196468 140729548553712 140061537182464 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9290] ppid=9279 vsize=15487044 memory=293 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9290/stat : 9290 (java) S 9279 9279 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407660922 15858733056 88076 33554432000 4194304 4196468 140729548553712 140061536131024 140061977909147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9291] ppid=9279 vsize=15487044 memory=0 CPUtime=2.88 cores=1,3,5,7
/proc/9281/task/9291/stat : 9291 (java) S 9279 9279 6753 0 -1 1077944384 6736 0 0 0 288 0 0 0 20 0 19 0 407660922 15858733056 88076 33554432000 4194304 4196468 140729548553712 140061535079152 140061977901698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9292] ppid=9279 vsize=15487044 memory=139955133253615 CPUtime=2.78 cores=1,3,5,7
/proc/9281/task/9292/stat : 9292 (java) R 9279 9279 6753 0 -1 1077944384 5881 0 0 0 276 2 0 0 20 0 19 0 407660922 15858733056 88076 33554432000 4194304 4196468 140729548553712 140061534026608 140061977901698 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9293] ppid=9279 vsize=15487044 memory=8098024760437354690 CPUtime=0.78 cores=1,3,5,7
/proc/9281/task/9293/stat : 9293 (java) S 9279 9279 6753 0 -1 1077944384 3628 0 0 0 77 1 0 0 20 0 19 0 407660922 15858733056 88076 33554432000 4194304 4196468 140729548553712 140061532973552 140061977901698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9294] ppid=9279 vsize=15487044 memory=4207609243431883529 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9294/stat : 9294 (java) S 9279 9279 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407660922 15858733056 88076 33554432000 4194304 4196468 140729548553712 140061531921248 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9295] ppid=9279 vsize=15487044 memory=3184237875324114608 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9295/stat : 9295 (java) S 9279 9279 6753 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 407660922 15858733056 88076 33554432000 4194304 4196468 140729548553712 140061530868272 140061977901698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9316] ppid=9279 vsize=15487044 memory=3472328296227418159 CPUtime=0.51 cores=1,3,5,7
/proc/9281/task/9316/stat : 9316 (java) R 9279 9279 6753 0 -1 4202560 17 0 0 0 51 0 0 0 20 0 19 0 407661231 15858733056 88076 33554432000 4194304 4196468 140729548553712 140061517447776 140061593190925 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9317] ppid=9279 vsize=15487044 memory=3256252632503488492 CPUtime=0.59 cores=1,3,5,7
/proc/9281/task/9317/stat : 9317 (java) R 9279 9279 6753 0 -1 4202560 64 0 0 0 58 1 0 0 20 0 19 0 407661231 15858733056 88076 33554432000 4194304 4196468 140729548553712 140061514300024 140061593912555 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9318] ppid=9279 vsize=15487044 memory=3833724587140987185 CPUtime=0.6 cores=1,3,5,7
/proc/9281/task/9318/stat : 9318 (java) R 9279 9279 6753 0 -1 4202560 17 0 0 0 60 0 0 0 20 0 19 0 407661231 15858733056 88076 33554432000 4194304 4196468 140729548553712 140061520606200 140061592431324 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9319] ppid=9279 vsize=15487044 memory=-6871182801640143708 CPUtime=0.73 cores=1,3,5,7
/proc/9281/task/9319/stat : 9319 (java) R 9279 9279 6753 0 -1 4202560 22 0 0 0 73 0 0 0 20 0 19 0 407661231 15858733056 88076 33554432000 4194304 4196468 140729548553712 140061521657576 140061593934917 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
Current children cumulated CPU time: 13.45 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 353756 KiB

[startup+4.4083 s]
/proc/loadavg: 7.99 7.77 6.28 9/237 9319
/proc/meminfo: memFree=30967456/32770624 swapFree=66979388/67108860
[pid=9279] ppid=9276 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9279/stat : 9279 (xcsp3-exec) S 9276 9279 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407660916 115843072 363 33554432000 4194304 5098028 140728202536768 140728202534872 140110048789116 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8138752 140728202539898 140728202540141 140728202540141 140728202543050 0
/proc/9279/statm: 28282 363 304 221 0 87 0
[pid=9281] ppid=9279 vsize=15487044 memory=384164 CPUtime=15.01 cores=1,3,5,7
/proc/9281/stat : 9281 (java) S 9279 9279 6753 0 -1 1077944320 30842 0 0 0 1483 18 0 0 20 0 19 0 407660916 15858733056 96041 33554432000 4194304 4196468 140729548553712 140729548536256 140061977890551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
/proc/9281/statm: 3871761 96041 3526 1 0 3832863 0
[pid=9281/tid=9282] ppid=9279 vsize=15487044 memory=0 CPUtime=2.1 cores=1,3,5,7
/proc/9281/task/9282/stat : 9282 (java) S 9279 9279 6753 0 -1 1077944384 11078 0 0 0 204 6 0 0 20 0 19 0 407660916 15858733056 96041 33554432000 4194304 4196468 140729548553712 140061982131328 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9283] ppid=9279 vsize=15487044 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/9281/task/9283/stat : 9283 (java) S 9279 9279 6753 0 -1 1077944384 516 0 0 0 5 1 0 0 20 0 19 0 407660917 15858733056 96041 33554432000 4194304 4196468 140729548553712 140061905931280 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9284] ppid=9279 vsize=15487044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9281/task/9284/stat : 9284 (java) R 9279 9279 6753 0 -1 1077944384 93 0 0 0 6 1 0 0 20 0 19 0 407660917 15858733056 96041 33554432000 4194304 4196468 140729548553712 140061904878736 140061977900757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9285] ppid=9279 vsize=15487044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9281/task/9285/stat : 9285 (java) S 9279 9279 6753 0 -1 1077944384 156 0 0 0 6 1 0 0 20 0 19 0 407660917 15858733056 96041 33554432000 4194304 4196468 140729548553712 140061568264976 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9286] ppid=9279 vsize=15487044 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/9281/task/9286/stat : 9286 (java) S 9279 9279 6753 0 -1 1077944384 227 0 0 0 5 1 0 0 20 0 19 0 407660917 15858733056 96041 33554432000 4194304 4196468 140729548553712 140061567212432 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9287] ppid=9279 vsize=15487044 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9281/task/9287/stat : 9287 (java) S 9279 9279 6753 0 -1 1077944384 412 0 0 0 1 0 0 0 20 0 19 0 407660919 15858733056 96041 33554432000 4194304 4196468 140729548553712 140061539289328 140061977901698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9288] ppid=9279 vsize=15487044 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9288/stat : 9288 (java) S 9279 9279 6753 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 407660919 15858733056 96041 33554432000 4194304 4196468 140729548553712 140061538235616 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9289] ppid=9279 vsize=15487044 memory=288289965420426959 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9289/stat : 9289 (java) S 9279 9279 6753 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 407660919 15858733056 96041 33554432000 4194304 4196468 140729548553712 140061537182464 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9290] ppid=9279 vsize=15487044 memory=-5921431000321636112 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9290/stat : 9290 (java) S 9279 9279 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407660922 15858733056 96041 33554432000 4194304 4196468 140729548553712 140061536131024 140061977909147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9291] ppid=9279 vsize=15487044 memory=279910266437872 CPUtime=3.03 cores=1,3,5,7
/proc/9281/task/9291/stat : 9291 (java) R 9279 9279 6753 0 -1 1077944384 6752 0 0 0 303 0 0 0 20 0 19 0 407660922 15858733056 96041 33554432000 4194304 4196468 140729548553712 140061535065936 140061977900757 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9292] ppid=9279 vsize=15487044 memory=7589811575778469225 CPUtime=2.91 cores=1,3,5,7
/proc/9281/task/9292/stat : 9292 (java) S 9279 9279 6753 0 -1 1077944384 5901 0 0 0 289 2 0 0 20 0 19 0 407660922 15858733056 96041 33554432000 4194304 4196468 140729548553712 140061534026608 140061977901698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9293] ppid=9279 vsize=15487044 memory=7518312460631236697 CPUtime=0.8 cores=1,3,5,7
/proc/9281/task/9293/stat : 9293 (java) R 9279 9279 6753 0 -1 1077944384 3653 0 0 0 79 1 0 0 20 0 19 0 407660922 15858733056 96041 33554432000 4194304 4196468 140729548553712 140061532973552 140061977901698 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9294] ppid=9279 vsize=15487044 memory=4639939496134862184 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9294/stat : 9294 (java) S 9279 9279 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407660922 15858733056 96041 33554432000 4194304 4196468 140729548553712 140061531921248 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9295] ppid=9279 vsize=15487044 memory=5940907088695368365 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9295/stat : 9295 (java) S 9279 9279 6753 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 407660922 15858733056 96041 33554432000 4194304 4196468 140729548553712 140061530868272 140061977901698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9316] ppid=9279 vsize=15487044 memory=0 CPUtime=0.86 cores=1,3,5,7
/proc/9281/task/9316/stat : 9316 (java) R 9279 9279 6753 0 -1 1077944384 17 0 0 0 86 0 0 0 20 0 19 0 407661231 15858733056 96041 33554432000 4194304 4196468 140729548553712 140061517445984 140061977900757 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9317] ppid=9279 vsize=15487044 memory=279910267127280 CPUtime=0.82 cores=1,3,5,7
/proc/9281/task/9317/stat : 9317 (java) R 9279 9279 6753 0 -1 4202560 90 0 0 0 81 1 0 0 20 0 19 0 407661231 15858733056 96041 33554432000 4194304 4196468 140729548553712 140061514300368 140061593964461 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9318] ppid=9279 vsize=15487044 memory=8170207299775260775 CPUtime=0.93 cores=1,3,5,7
/proc/9281/task/9318/stat : 9318 (java) R 9279 9279 6753 0 -1 4202560 19 0 0 0 93 0 0 0 20 0 19 0 407661231 15858733056 96041 33554432000 4194304 4196468 140729548553712 140061520605264 140061593192533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9319] ppid=9279 vsize=15487044 memory=8171620318195246419 CPUtime=1 cores=1,3,5,7
/proc/9281/task/9319/stat : 9319 (java) R 9279 9279 6753 0 -1 4202560 23 0 0 0 100 0 0 0 20 0 19 0 407661231 15858733056 96041 33554432000 4194304 4196468 140729548553712 140061521657152 140061594336900 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
Current children cumulated CPU time: 15.01 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 385616 KiB

[startup+4.60083 s]
/proc/loadavg: 7.99 7.77 6.28 9/237 9319
/proc/meminfo: memFree=30967456/32770624 swapFree=66979388/67108860
[pid=9279] ppid=9276 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9279/stat : 9279 (xcsp3-exec) S 9276 9279 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407660916 115843072 363 33554432000 4194304 5098028 140728202536768 140728202534872 140110048789116 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8138752 140728202539898 140728202540141 140728202540141 140728202543050 0
/proc/9279/statm: 28282 363 304 221 0 87 0
[pid=9281] ppid=9279 vsize=15487044 memory=384212 CPUtime=15.37 cores=1,3,5,7
/proc/9281/stat : 9281 (java) S 9279 9279 6753 0 -1 1077944320 30858 0 0 0 1519 18 0 0 20 0 19 0 407660916 15858733056 96053 33554432000 4194304 4196468 140729548553712 140729548536256 140061977890551 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
/proc/9281/statm: 3871761 96053 3526 1 0 3832863 0
[pid=9281/tid=9282] ppid=9279 vsize=15487044 memory=2983474679701833796 CPUtime=2.1 cores=1,3,5,7
/proc/9281/task/9282/stat : 9282 (java) S 9279 9279 6753 0 -1 1077944384 11078 0 0 0 204 6 0 0 20 0 19 0 407660916 15858733056 96053 33554432000 4194304 4196468 140729548553712 140061982131328 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9283] ppid=9279 vsize=15487044 memory=732230140863449157 CPUtime=0.06 cores=1,3,5,7
/proc/9281/task/9283/stat : 9283 (java) S 9279 9279 6753 0 -1 1077944384 516 0 0 0 5 1 0 0 20 0 19 0 407660917 15858733056 96053 33554432000 4194304 4196468 140729548553712 140061905931280 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9284] ppid=9279 vsize=15487044 memory=7445587259455178908 CPUtime=0.07 cores=1,3,5,7
/proc/9281/task/9284/stat : 9284 (java) S 9279 9279 6753 0 -1 1077944384 93 0 0 0 6 1 0 0 20 0 19 0 407660917 15858733056 96053 33554432000 4194304 4196468 140729548553712 140061904878736 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9285] ppid=9279 vsize=15487044 memory=2983484141514786972 CPUtime=0.07 cores=1,3,5,7
/proc/9281/task/9285/stat : 9285 (java) S 9279 9279 6753 0 -1 1077944384 156 0 0 0 6 1 0 0 20 0 19 0 407660917 15858733056 96053 33554432000 4194304 4196468 140729548553712 140061568264976 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9286] ppid=9279 vsize=15487044 memory=4294969627 CPUtime=0.06 cores=1,3,5,7
/proc/9281/task/9286/stat : 9286 (java) S 9279 9279 6753 0 -1 1077944384 227 0 0 0 5 1 0 0 20 0 19 0 407660917 15858733056 96053 33554432000 4194304 4196468 140729548553712 140061567212432 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9287] ppid=9279 vsize=15487044 memory=7014751519633725287 CPUtime=0.01 cores=1,3,5,7
/proc/9281/task/9287/stat : 9287 (java) S 9279 9279 6753 0 -1 1077944384 412 0 0 0 1 0 0 0 20 0 19 0 407660919 15858733056 96053 33554432000 4194304 4196468 140729548553712 140061539289328 140061977901698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9288] ppid=9279 vsize=15487044 memory=7308589482161630310 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9288/stat : 9288 (java) S 9279 9279 6753 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 407660919 15858733056 96053 33554432000 4194304 4196468 140729548553712 140061538235616 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9289] ppid=9279 vsize=15487044 memory=139955133689009 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9289/stat : 9289 (java) S 9279 9279 6753 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 407660919 15858733056 96053 33554432000 4194304 4196468 140729548553712 140061537182464 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9290] ppid=9279 vsize=15487044 memory=7235144227442355050 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9290/stat : 9290 (java) S 9279 9279 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407660922 15858733056 96053 33554432000 4194304 4196468 140729548553712 140061536131024 140061977909147 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9291] ppid=9279 vsize=15487044 memory=8027501870289806679 CPUtime=3.03 cores=1,3,5,7
/proc/9281/task/9291/stat : 9291 (java) S 9279 9279 6753 0 -1 1077944384 6760 0 0 0 303 0 0 0 20 0 19 0 407660922 15858733056 96053 33554432000 4194304 4196468 140729548553712 140061535079152 140061977901698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9292] ppid=9279 vsize=15487044 memory=7452441891519360101 CPUtime=2.95 cores=1,3,5,7
/proc/9281/task/9292/stat : 9292 (java) S 9279 9279 6753 0 -1 1077944384 5908 0 0 0 293 2 0 0 20 0 19 0 407660922 15858733056 96053 33554432000 4194304 4196468 140729548553712 140061534026608 140061977901698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9293] ppid=9279 vsize=15487044 memory=7666368358627960405 CPUtime=0.8 cores=1,3,5,7
/proc/9281/task/9293/stat : 9293 (java) S 9279 9279 6753 0 -1 1077944384 3654 0 0 0 79 1 0 0 20 0 19 0 407660922 15858733056 96053 33554432000 4194304 4196468 140729548553712 140061532973552 140061977901698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9294] ppid=9279 vsize=15487044 memory=7522793043176481344 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9294/stat : 9294 (java) S 9279 9279 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407660922 15858733056 96053 33554432000 4194304 4196468 140729548553712 140061531921248 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9295] ppid=9279 vsize=15487044 memory=4640790453641307497 CPUtime=0 cores=1,3,5,7
/proc/9281/task/9295/stat : 9295 (java) S 9279 9279 6753 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 407660922 15858733056 96053 33554432000 4194304 4196468 140729548553712 140061530868272 140061977901698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9316] ppid=9279 vsize=15487044 memory=8463010723629190812 CPUtime=0.91 cores=1,3,5,7
/proc/9281/task/9316/stat : 9316 (java) S 9279 9279 6753 0 -1 1077944384 17 0 0 0 91 0 0 0 20 0 19 0 407661231 15858733056 96053 33554432000 4194304 4196468 140729548553712 140061517451392 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9317] ppid=9279 vsize=15487044 memory=7167662880857083580 CPUtime=0.84 cores=1,3,5,7
/proc/9281/task/9317/stat : 9317 (java) S 9279 9279 6753 0 -1 1077944384 90 0 0 0 83 1 0 0 20 0 19 0 407661231 15858733056 96053 33554432000 4194304 4196468 140729548553712 140061514302672 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9318] ppid=9279 vsize=15487044 memory=0 CPUtime=0.98 cores=1,3,5,7
/proc/9281/task/9318/stat : 9318 (java) S 9279 9279 6753 0 -1 1077944384 19 0 0 0 98 0 0 0 20 0 19 0 407661231 15858733056 96053 33554432000 4194304 4196468 140729548553712 140061520610640 140061977900757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
[pid=9281/tid=9319] ppid=9279 vsize=15487044 memory=0 CPUtime=1.19 cores=1,3,5,7
/proc/9281/task/9319/stat : 9319 (java) R 9279 9279 6753 0 -1 4202560 23 0 0 0 119 0 0 0 20 0 19 0 407661231 15858733056 96053 33554432000 4194304 4196468 140729548553712 140061521657040 140061594336900 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20815872 140729548555247 140729548555418 140729548555418 140729548558287 0
Current children cumulated CPU time: 15.37 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 385664 KiB

Child status: 0
Real time (s): 4.6161
CPU time (s): 15.3986
CPU user time (s): 15.2091
CPU system time (s): 0.189433
CPU usage (%): 333.584
Max. virtual memory (cumulated for all children) (KiB): 15600172
Max. memory (cumulated for all children) (KiB): 385664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.2091
system time used= 0.189433
maximum resident set size= 384780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31453
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2717
involuntary context switches= 485


# summary of solver processes directly reported to runsolver:
#   pid: 9279
#   total CPU time (s): 15.3986
#   total CPU user time (s): 15.2091
#   total CPU system time (s): 0.189433

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050035 second user time and 0.093449 second system time

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

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
