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 parallel	OPT	4	25.1706	5.61892
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 (10738 MiB free)
  memory of node 1: 16384 MiB (15215 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393844-1568419441/watcher-4393844-1568419441 -o /tmp/evaluation-result-4393844-1568419441/solver-4393844-1568419441 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568412551-12997 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1786624715 HOME/instance-4393844-1568419441.xml 

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

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


[startup+0.100159 s]*
/proc/loadavg: 8.39 7.80 7.22 3/211 14144
/proc/meminfo: memFree=26559056/32770624 swapFree=66977616/67108860
[pid=14123] ppid=14120 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14123/stat : 14123 (xcsp3-exec) S 14120 14123 12970 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418201353 115843072 364 33554432000 4194304 5098028 140733588501920 140733588500024 140224426762876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13557760 140733588509557 140733588509801 140733588509801 140733588512714 0
/proc/14123/statm: 28282 364 305 221 0 87 0
[pid=14125] ppid=14123 vsize=28227388 memory=30056 CPUtime=0.12 cores=0-7
/proc/14125/stat : 14125 (java) S 14123 14123 12970 0 -1 1077944320 5486 0 0 0 11 1 0 0 20 0 20 0 418201354 28904845312 7514 33554432000 4194304 4196468 140728174296896 140728174279440 140699751120631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
/proc/14125/statm: 7056847 7514 3122 1 0 7019032 0
[pid=14125/tid=14126] ppid=14123 vsize=28227388 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/14125/task/14126/stat : 14126 (java) R 14123 14123 12970 0 -1 4202560 3383 0 0 0 8 0 0 0 20 0 20 0 418201354 28904845312 7514 33554432000 4194304 4196468 140728174296896 140699755354912 140699729149424 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14127] ppid=14123 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14127/stat : 14127 (java) S 14123 14123 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201355 28904845312 7514 33554432000 4194304 4196468 140728174296896 140699707673104 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14128] ppid=14123 vsize=28227388 memory=140089472408694 CPUtime=0 cores=0-7
/proc/14125/task/14128/stat : 14128 (java) S 14123 14123 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201355 28904845312 7514 33554432000 4194304 4196468 140728174296896 140699301436048 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14129] ppid=14123 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14129/stat : 14129 (java) S 14123 14123 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201355 28904845312 7514 33554432000 4194304 4196468 140728174296896 140699300382992 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14130] ppid=14123 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14130/stat : 14130 (java) S 14123 14123 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201355 28904845312 7514 33554432000 4194304 4196468 140728174296896 140699299330448 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14131] ppid=14123 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14131/stat : 14131 (java) S 14123 14123 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201355 28904845312 7514 33554432000 4194304 4196468 140728174296896 140699298278416 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14132] ppid=14123 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14125/task/14132/stat : 14132 (java) S 14123 14123 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201355 28904845312 7514 33554432000 4194304 4196468 140728174296896 140699297225872 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14133] ppid=14123 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14133/stat : 14133 (java) S 14123 14123 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201355 28904845312 7514 33554432000 4194304 4196468 140728174296896 140699296172816 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14134] ppid=14123 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14134/stat : 14134 (java) S 14123 14123 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418201355 28904845312 7514 33554432000 4194304 4196468 140728174296896 140699295120272 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14135] ppid=14123 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14135/stat : 14135 (java) S 14123 14123 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201356 28904845312 7514 33554432000 4194304 4196468 140728174296896 140699135912176 140699751131778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14136] ppid=14123 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14136/stat : 14136 (java) S 14123 14123 12970 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418201357 28904845312 7514 33554432000 4194304 4196468 140728174296896 140699134858400 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14137] ppid=14123 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14137/stat : 14137 (java) S 14123 14123 12970 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418201357 28904845312 7514 33554432000 4194304 4196468 140728174296896 140699133805296 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14138] ppid=14123 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14138/stat : 14138 (java) S 14123 14123 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201359 28904845312 7514 33554432000 4194304 4196468 140728174296896 140699132753872 140699751139227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14139] ppid=14123 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14139/stat : 14139 (java) S 14123 14123 12970 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 418201359 28904845312 7514 33554432000 4194304 4196468 140728174296896 140699131702000 140699751131778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14140] ppid=14123 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14140/stat : 14140 (java) R 14123 14123 12970 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 418201359 28904845312 7514 33554432000 4194304 4196468 140728174296896 140699130649456 140699751131778 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14141] ppid=14123 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14141/stat : 14141 (java) S 14123 14123 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418201359 28904845312 7514 33554432000 4194304 4196468 140728174296896 140699129596400 140699751131778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14142] ppid=14123 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/14125/task/14142/stat : 14142 (java) R 14123 14123 12970 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 20 0 418201359 28904845312 7514 33554432000 4194304 4196468 140728174296896 140699128543856 140699751141978 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14143] ppid=14123 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14143/stat : 14143 (java) S 14123 14123 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418201360 28904845312 7514 33554432000 4194304 4196468 140728174296896 140699127491040 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14144] ppid=14123 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14125/task/14144/stat : 14144 (java) S 14123 14123 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201360 28904845312 7514 33554432000 4194304 4196468 140728174296896 140699126438576 140699751131778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31512 KiB

[startup+0.209841 s]*
/proc/loadavg: 8.39 7.80 7.22 3/211 14144
/proc/meminfo: memFree=26547704/32770624 swapFree=66977616/67108860
[pid=14123] ppid=14120 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14123/stat : 14123 (xcsp3-exec) S 14120 14123 12970 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418201353 115843072 364 33554432000 4194304 5098028 140733588501920 140733588500024 140224426762876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13557760 140733588509557 140733588509801 140733588509801 140733588512714 0
/proc/14123/statm: 28282 364 305 221 0 87 0
[pid=14125] ppid=14123 vsize=28227388 memory=41240 CPUtime=0.33 cores=0-7
/proc/14125/stat : 14125 (java) S 14123 14123 12970 0 -1 1077944320 9072 0 0 0 30 3 0 0 20 0 20 0 418201354 28904845312 10310 33554432000 4194304 4196468 140728174296896 140728174279440 140699751120631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
/proc/14125/statm: 7056847 10310 3299 1 0 7019032 0
[pid=14125/tid=14126] ppid=14123 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/14125/task/14126/stat : 14126 (java) R 14123 14123 12970 0 -1 4202560 6197 0 0 0 17 2 0 0 20 0 20 0 418201354 28904845312 10376 33554432000 4194304 4196468 140728174296896 140699755350352 140699751132566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14127] ppid=14123 vsize=28227388 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/14125/task/14127/stat : 14127 (java) S 14123 14123 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201355 28904845312 10376 33554432000 4194304 4196468 140728174296896 140699707673104 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14128] ppid=14123 vsize=28227388 memory=288370465624106624 CPUtime=0 cores=0-7
/proc/14125/task/14128/stat : 14128 (java) S 14123 14123 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201355 28904845312 10376 33554432000 4194304 4196468 140728174296896 140699301436048 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14129] ppid=14123 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14125/task/14129/stat : 14129 (java) S 14123 14123 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201355 28904845312 10376 33554432000 4194304 4196468 140728174296896 140699300382992 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14130] ppid=14123 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14130/stat : 14130 (java) S 14123 14123 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201355 28904845312 10376 33554432000 4194304 4196468 140728174296896 140699299330448 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14131] ppid=14123 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14131/stat : 14131 (java) S 14123 14123 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201355 28904845312 10376 33554432000 4194304 4196468 140728174296896 140699298278416 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14132] ppid=14123 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14125/task/14132/stat : 14132 (java) S 14123 14123 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201355 28904845312 10376 33554432000 4194304 4196468 140728174296896 140699297225872 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14133] ppid=14123 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14133/stat : 14133 (java) S 14123 14123 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201355 28904845312 10376 33554432000 4194304 4196468 140728174296896 140699296172816 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14134] ppid=14123 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14134/stat : 14134 (java) S 14123 14123 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418201355 28904845312 10376 33554432000 4194304 4196468 140728174296896 140699295120272 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14135] ppid=14123 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14135/stat : 14135 (java) S 14123 14123 12970 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418201356 28904845312 10376 33554432000 4194304 4196468 140728174296896 140699135912176 140699751131778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14136] ppid=14123 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14136/stat : 14136 (java) S 14123 14123 12970 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418201357 28904845312 10376 33554432000 4194304 4196468 140728174296896 140699134858400 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14137] ppid=14123 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14137/stat : 14137 (java) S 14123 14123 12970 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418201357 28904845312 10376 33554432000 4194304 4196468 140728174296896 140699133805296 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14138] ppid=14123 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14138/stat : 14138 (java) S 14123 14123 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201359 28904845312 10376 33554432000 4194304 4196468 140728174296896 140699132753872 140699751139227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14139] ppid=14123 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/14125/task/14139/stat : 14139 (java) S 14123 14123 12970 0 -1 1077944384 580 0 0 0 1 0 0 0 20 0 20 0 418201359 28904845312 10376 33554432000 4194304 4196468 140728174296896 140699131702000 140699751131778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14140] ppid=14123 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/14125/task/14140/stat : 14140 (java) R 14123 14123 12970 0 -1 1077944384 145 0 0 0 1 0 0 0 20 0 20 0 418201359 28904845312 10376 33554432000 4194304 4196468 140728174296896 140699130649456 140699751131778 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14141] ppid=14123 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7
/proc/14125/task/14141/stat : 14141 (java) S 14123 14123 12970 0 -1 1077944384 110 0 0 0 2 0 0 0 20 0 20 0 418201359 28904845312 10376 33554432000 4194304 4196468 140728174296896 140699129596400 140699751131778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14142] ppid=14123 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7
/proc/14125/task/14142/stat : 14142 (java) R 14123 14123 12970 0 -1 4202560 727 0 0 0 8 0 0 0 20 0 20 0 418201359 28904845312 10376 33554432000 4194304 4196468 140728174296896 140699128543664 140699729655240 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14143] ppid=14123 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14143/stat : 14143 (java) S 14123 14123 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418201360 28904845312 10376 33554432000 4194304 4196468 140728174296896 140699127491040 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14144] ppid=14123 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14125/task/14144/stat : 14144 (java) S 14123 14123 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201360 28904845312 10376 33554432000 4194304 4196468 140728174296896 140699126438576 140699751131778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42696 KiB

[startup+0.309711 s]*
/proc/loadavg: 8.39 7.80 7.22 5/211 14144
/proc/meminfo: memFree=26540796/32770624 swapFree=66977616/67108860
[pid=14123] ppid=14120 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14123/stat : 14123 (xcsp3-exec) S 14120 14123 12970 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418201353 115843072 364 33554432000 4194304 5098028 140733588501920 140733588500024 140224426762876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13557760 140733588509557 140733588509801 140733588509801 140733588512714 0
/proc/14123/statm: 28282 364 305 221 0 87 0
[pid=14125] ppid=14123 vsize=28231644 memory=50236 CPUtime=0.53 cores=0-7
/proc/14125/stat : 14125 (java) S 14123 14123 12970 0 -1 1077944320 10385 0 0 0 49 4 0 0 20 0 20 0 418201354 28909203456 12559 33554432000 4194304 4196468 140728174296896 140728174279440 140699751120631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
/proc/14125/statm: 7057911 12559 3366 1 0 7019032 0
[pid=14125/tid=14126] ppid=14123 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/14125/task/14126/stat : 14126 (java) R 14123 14123 12970 0 -1 4202560 7307 0 0 0 27 3 0 0 20 0 20 0 418201354 28909203456 12559 33554432000 4194304 4196468 140728174296896 140699755351744 140699735201118 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14127] ppid=14123 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14127/stat : 14127 (java) S 14123 14123 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201355 28909203456 12559 33554432000 4194304 4196468 140728174296896 140699707673104 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14128] ppid=14123 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14128/stat : 14128 (java) S 14123 14123 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201355 28909203456 12559 33554432000 4194304 4196468 140728174296896 140699301436048 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14129] ppid=14123 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14129/stat : 14129 (java) S 14123 14123 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201355 28909203456 12559 33554432000 4194304 4196468 140728174296896 140699300382992 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14130] ppid=14123 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14130/stat : 14130 (java) S 14123 14123 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201355 28909203456 12559 33554432000 4194304 4196468 140728174296896 140699299330448 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14131] ppid=14123 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14131/stat : 14131 (java) S 14123 14123 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201355 28909203456 12559 33554432000 4194304 4196468 140728174296896 140699298278416 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14132] ppid=14123 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14132/stat : 14132 (java) S 14123 14123 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201355 28909203456 12559 33554432000 4194304 4196468 140728174296896 140699297225872 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14133] ppid=14123 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14133/stat : 14133 (java) S 14123 14123 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201355 28909203456 12559 33554432000 4194304 4196468 140728174296896 140699296172816 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14134] ppid=14123 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14134/stat : 14134 (java) S 14123 14123 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418201355 28909203456 12559 33554432000 4194304 4196468 140728174296896 140699295120272 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14135] ppid=14123 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14135/stat : 14135 (java) S 14123 14123 12970 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418201356 28909203456 12559 33554432000 4194304 4196468 140728174296896 140699135912176 140699751131778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14136] ppid=14123 vsize=28231644 memory=280178702097792 CPUtime=0 cores=0-7
/proc/14125/task/14136/stat : 14136 (java) S 14123 14123 12970 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418201357 28909203456 12559 33554432000 4194304 4196468 140728174296896 140699134858400 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14137] ppid=14123 vsize=28231644 memory=280178702102400 CPUtime=0 cores=0-7
/proc/14125/task/14137/stat : 14137 (java) S 14123 14123 12970 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418201357 28909203456 12559 33554432000 4194304 4196468 140728174296896 140699133805296 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14138] ppid=14123 vsize=28231644 memory=280178702107008 CPUtime=0 cores=0-7
/proc/14125/task/14138/stat : 14138 (java) S 14123 14123 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201359 28909203456 12559 33554432000 4194304 4196468 140728174296896 140699132753872 140699751139227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14139] ppid=14123 vsize=28231644 memory=280178702111616 CPUtime=0.02 cores=0-7
/proc/14125/task/14139/stat : 14139 (java) S 14123 14123 12970 0 -1 1077944384 596 0 0 0 2 0 0 0 20 0 20 0 418201359 28909203456 12559 33554432000 4194304 4196468 140728174296896 140699131702000 140699751131778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14140] ppid=14123 vsize=28231644 memory=280178702116224 CPUtime=0.01 cores=0-7
/proc/14125/task/14140/stat : 14140 (java) S 14123 14123 12970 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 20 0 418201359 28909203456 12559 33554432000 4194304 4196468 140728174296896 140699130649456 140699751131778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14141] ppid=14123 vsize=28231644 memory=280178702120832 CPUtime=0.04 cores=0-7
/proc/14125/task/14141/stat : 14141 (java) R 14123 14123 12970 0 -1 4202560 218 0 0 0 4 0 0 0 20 0 20 0 418201359 28909203456 12559 33554432000 4194304 4196468 140728174296896 140699129586784 140699732640712 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14142] ppid=14123 vsize=28231644 memory=280178702125440 CPUtime=0.12 cores=0-7
/proc/14125/task/14142/stat : 14142 (java) S 14123 14123 12970 0 -1 1077944384 811 0 0 0 12 0 0 0 20 0 20 0 418201359 28909203456 12559 33554432000 4194304 4196468 140728174296896 140699128543856 140699751131778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14143] ppid=14123 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14143/stat : 14143 (java) S 14123 14123 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418201360 28909203456 12559 33554432000 4194304 4196468 140728174296896 140699127491040 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14144] ppid=14123 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/14125/task/14144/stat : 14144 (java) S 14123 14123 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201360 28909203456 12559 33554432000 4194304 4196468 140728174296896 140699126438576 140699751131778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51692 KiB

[startup+0.700939 s]
/proc/loadavg: 8.39 7.80 7.22 5/211 14144
/proc/meminfo: memFree=26519364/32770624 swapFree=66977616/67108860
[pid=14123] ppid=14120 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14123/stat : 14123 (xcsp3-exec) S 14120 14123 12970 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418201353 115843072 364 33554432000 4194304 5098028 140733588501920 140733588500024 140224426762876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13557760 140733588509557 140733588509801 140733588509801 140733588512714 0
/proc/14123/statm: 28282 364 305 221 0 87 0
[pid=14125] ppid=14123 vsize=28233768 memory=115176 CPUtime=1.95 cores=0-7
/proc/14125/stat : 14125 (java) S 14123 14123 12970 0 -1 1077944320 14899 0 0 0 189 6 0 0 20 0 20 0 418201354 28911378432 28794 33554432000 4194304 4196468 140728174296896 140728174279440 140699751120631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
/proc/14125/statm: 7058442 28794 3450 1 0 7019544 0
[pid=14125/tid=14126] ppid=14123 vsize=28233768 memory=4580 CPUtime=0.67 cores=0-7
/proc/14125/task/14126/stat : 14126 (java) R 14123 14123 12970 0 -1 4202560 7900 0 0 0 64 3 0 0 20 0 20 0 418201354 28911378432 28794 33554432000 4194304 4196468 140728174296896 140699755356608 140699387587168 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14127] ppid=14123 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14127/stat : 14127 (java) S 14123 14123 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201355 28911378432 28794 33554432000 4194304 4196468 140728174296896 140699707673104 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14128] ppid=14123 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14128/stat : 14128 (java) S 14123 14123 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201355 28911378432 28794 33554432000 4194304 4196468 140728174296896 140699301436048 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14129] ppid=14123 vsize=28233768 memory=1056 CPUtime=0 cores=0-7
/proc/14125/task/14129/stat : 14129 (java) S 14123 14123 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201355 28911378432 28794 33554432000 4194304 4196468 140728174296896 140699300382992 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0

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

[pid=14125/tid=14126] ppid=14123 vsize=28768328 memory=0 CPUtime=3.11 cores=0-7
/proc/14125/task/14126/stat : 14126 (java) S 14123 14123 12970 0 -1 1077944384 10731 0 0 0 299 12 0 0 20 0 28 0 418201354 29458767872 172805 33554432000 4194304 4196468 140728174296896 140699755361408 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14127] ppid=14123 vsize=28768328 memory=0 CPUtime=0.08 cores=0-7
/proc/14125/task/14127/stat : 14127 (java) S 14123 14123 12970 0 -1 1077944384 171 0 0 0 6 2 0 0 20 0 28 0 418201355 29458767872 172805 33554432000 4194304 4196468 140728174296896 140699707673104 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14128] ppid=14123 vsize=28768328 memory=0 CPUtime=0.07 cores=0-7
/proc/14125/task/14128/stat : 14128 (java) S 14123 14123 12970 0 -1 1077944384 150 0 0 0 5 2 0 0 20 0 28 0 418201355 29458767872 172805 33554432000 4194304 4196468 140728174296896 140699301436048 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14129] ppid=14123 vsize=28768328 memory=0 CPUtime=0.07 cores=0-7
/proc/14125/task/14129/stat : 14129 (java) S 14123 14123 12970 0 -1 1077944384 130 0 0 0 5 2 0 0 20 0 28 0 418201355 29458767872 172805 33554432000 4194304 4196468 140728174296896 140699300382992 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14130] ppid=14123 vsize=28768328 memory=6791534058613427641 CPUtime=0.09 cores=0-7
/proc/14125/task/14130/stat : 14130 (java) S 14123 14123 12970 0 -1 1077944384 596 0 0 0 7 2 0 0 20 0 28 0 418201355 29458767872 172805 33554432000 4194304 4196468 140728174296896 140699299330448 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14131] ppid=14123 vsize=28768328 memory=288230621803970871 CPUtime=0.08 cores=0-7
/proc/14125/task/14131/stat : 14131 (java) S 14123 14123 12970 0 -1 1077944384 146 0 0 0 6 2 0 0 20 0 28 0 418201355 29458767872 172805 33554432000 4194304 4196468 140728174296896 140699298278416 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14132] ppid=14123 vsize=28768328 memory=16105866206120578 CPUtime=0.07 cores=0-7
/proc/14125/task/14132/stat : 14132 (java) S 14123 14123 12970 0 -1 1077944384 89 0 0 0 5 2 0 0 20 0 28 0 418201355 29458767872 172805 33554432000 4194304 4196468 140728174296896 140699297225872 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14133] ppid=14123 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7
/proc/14125/task/14133/stat : 14133 (java) S 14123 14123 12970 0 -1 1077944384 121 0 0 0 4 2 0 0 20 0 28 0 418201355 29458767872 172805 33554432000 4194304 4196468 140728174296896 140699296172816 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14134] ppid=14123 vsize=28768328 memory=6656426216303648864 CPUtime=0.08 cores=0-7
/proc/14125/task/14134/stat : 14134 (java) S 14123 14123 12970 0 -1 1077944384 278 0 0 0 5 3 0 0 20 0 28 0 418201355 29458767872 172805 33554432000 4194304 4196468 140728174296896 140699295120272 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14135] ppid=14123 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7
/proc/14125/task/14135/stat : 14135 (java) S 14123 14123 12970 0 -1 1077944384 662 0 0 0 1 0 0 0 20 0 28 0 418201356 29458767872 172805 33554432000 4194304 4196468 140728174296896 140699135912176 140699751131778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14136] ppid=14123 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14136/stat : 14136 (java) S 14123 14123 12970 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 418201357 29458767872 172805 33554432000 4194304 4196468 140728174296896 140699134858464 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14137] ppid=14123 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14137/stat : 14137 (java) S 14123 14123 12970 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 418201357 29458767872 172805 33554432000 4194304 4196468 140728174296896 140699133805312 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14138] ppid=14123 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14138/stat : 14138 (java) S 14123 14123 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418201359 29458767872 172805 33554432000 4194304 4196468 140728174296896 140699132753872 140699751139227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14139] ppid=14123 vsize=28768328 memory=0 CPUtime=3.04 cores=0-7
/proc/14125/task/14139/stat : 14139 (java) R 14123 14123 12970 0 -1 4202560 6579 0 0 0 302 2 0 0 20 0 28 0 418201359 29458767872 172805 33554432000 4194304 4196468 140728174296896 140699131688432 140699751141978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14140] ppid=14123 vsize=28768328 memory=6791534058613427641 CPUtime=2.83 cores=0-7
/proc/14125/task/14140/stat : 14140 (java) R 14123 14123 12970 0 -1 4202560 7060 0 0 0 281 2 0 0 20 0 28 0 418201359 29458767872 172805 33554432000 4194304 4196468 140728174296896 140699130632336 140699728715408 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14141] ppid=14123 vsize=28768328 memory=0 CPUtime=3.05 cores=0-7
/proc/14125/task/14141/stat : 14141 (java) R 14123 14123 12970 0 -1 4202560 5601 0 0 0 305 0 0 0 20 0 28 0 418201359 29458767872 172805 33554432000 4194304 4196468 140728174296896 140699129583248 140699734678058 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14142] ppid=14123 vsize=28768328 memory=0 CPUtime=0.94 cores=0-7
/proc/14125/task/14142/stat : 14142 (java) R 14123 14123 12970 0 -1 1077944384 4752 0 0 0 92 2 0 0 20 0 28 0 418201359 29458767872 172805 33554432000 4194304 4196468 140728174296896 140699128543856 140699751131778 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14143] ppid=14123 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14143/stat : 14143 (java) S 14123 14123 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418201360 29458767872 172805 33554432000 4194304 4196468 140728174296896 140699127491040 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14144] ppid=14123 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14144/stat : 14144 (java) S 14123 14123 12970 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 418201360 29458767872 172805 33554432000 4194304 4196468 140728174296896 140699126438576 140699751131778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
Current children cumulated CPU time: 21.89 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 692676 KiB

[startup+5.20104 s]
/proc/loadavg: 7.88 7.70 7.19 5/219 14192
/proc/meminfo: memFree=25856336/32770624 swapFree=66977616/67108860
[pid=14123] ppid=14120 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14123/stat : 14123 (xcsp3-exec) S 14120 14123 12970 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418201353 115843072 364 33554432000 4194304 5098028 140733588501920 140733588500024 140224426762876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13557760 140733588509557 140733588509801 140733588509801 140733588512714 0
/proc/14123/statm: 28282 364 305 221 0 87 0
[pid=14125] ppid=14123 vsize=28768328 memory=723880 CPUtime=23.7 cores=0-7
/proc/14125/stat : 14125 (java) S 14123 14123 12970 0 -1 1077944320 39939 0 0 0 2322 48 0 0 20 0 28 0 418201354 29458767872 180970 33554432000 4194304 4196468 140728174296896 140728174279440 140699751120631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
/proc/14125/statm: 7192082 180970 3545 1 0 7153184 0
[pid=14125/tid=14126] ppid=14123 vsize=28768328 memory=0 CPUtime=3.11 cores=0-7
/proc/14125/task/14126/stat : 14126 (java) S 14123 14123 12970 0 -1 1077944384 10731 0 0 0 299 12 0 0 20 0 28 0 418201354 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699755361408 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14127] ppid=14123 vsize=28768328 memory=0 CPUtime=0.11 cores=0-7
/proc/14125/task/14127/stat : 14127 (java) S 14123 14123 12970 0 -1 1077944384 202 0 0 0 8 3 0 0 20 0 28 0 418201355 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699707673104 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14128] ppid=14123 vsize=28768328 memory=0 CPUtime=0.09 cores=0-7
/proc/14125/task/14128/stat : 14128 (java) S 14123 14123 12970 0 -1 1077944384 157 0 0 0 7 2 0 0 20 0 28 0 418201355 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699301436048 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14129] ppid=14123 vsize=28768328 memory=0 CPUtime=0.09 cores=0-7
/proc/14125/task/14129/stat : 14129 (java) S 14123 14123 12970 0 -1 1077944384 144 0 0 0 7 2 0 0 20 0 28 0 418201355 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699300382992 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14130] ppid=14123 vsize=28768328 memory=57 CPUtime=0.13 cores=0-7
/proc/14125/task/14130/stat : 14130 (java) S 14123 14123 12970 0 -1 1077944384 630 0 0 0 10 3 0 0 20 0 28 0 418201355 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699299330448 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14131] ppid=14123 vsize=28768328 memory=-2023959437020729679 CPUtime=0.1 cores=0-7
/proc/14125/task/14131/stat : 14131 (java) S 14123 14123 12970 0 -1 1077944384 159 0 0 0 7 3 0 0 20 0 28 0 418201355 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699298278416 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14132] ppid=14123 vsize=28768328 memory=-6800859132029471843 CPUtime=0.09 cores=0-7
/proc/14125/task/14132/stat : 14132 (java) S 14123 14123 12970 0 -1 1077944384 104 0 0 0 7 2 0 0 20 0 28 0 418201355 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699297225872 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14133] ppid=14123 vsize=28768328 memory=-7880843606118635149 CPUtime=0.09 cores=0-7
/proc/14125/task/14133/stat : 14133 (java) S 14123 14123 12970 0 -1 1077944384 137 0 0 0 6 3 0 0 20 0 28 0 418201355 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699296172816 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14134] ppid=14123 vsize=28768328 memory=-1189914978686163229 CPUtime=0.1 cores=0-7
/proc/14125/task/14134/stat : 14134 (java) S 14123 14123 12970 0 -1 1077944384 290 0 0 0 7 3 0 0 20 0 28 0 418201355 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699295120272 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14135] ppid=14123 vsize=28768328 memory=-6421031960926448530 CPUtime=0.01 cores=0-7
/proc/14125/task/14135/stat : 14135 (java) S 14123 14123 12970 0 -1 1077944384 669 0 0 0 1 0 0 0 20 0 28 0 418201356 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699135912176 140699751131778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14136] ppid=14123 vsize=28768328 memory=-4695052241013923951 CPUtime=0 cores=0-7
/proc/14125/task/14136/stat : 14136 (java) S 14123 14123 12970 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 418201357 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699134858464 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14137] ppid=14123 vsize=28768328 memory=-7751062316387021378 CPUtime=0 cores=0-7
/proc/14125/task/14137/stat : 14137 (java) S 14123 14123 12970 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 418201357 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699133805312 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14138] ppid=14123 vsize=28768328 memory=-2023959437020729679 CPUtime=0 cores=0-7
/proc/14125/task/14138/stat : 14138 (java) S 14123 14123 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418201359 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699132753872 140699751139227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14139] ppid=14123 vsize=28768328 memory=-6800859132029471843 CPUtime=3.24 cores=0-7
/proc/14125/task/14139/stat : 14139 (java) S 14123 14123 12970 0 -1 1077944384 6606 0 0 0 322 2 0 0 20 0 28 0 418201359 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699131702000 140699751131778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14140] ppid=14123 vsize=28768328 memory=9023629670928638048 CPUtime=3 cores=0-7
/proc/14125/task/14140/stat : 14140 (java) S 14123 14123 12970 0 -1 1077944384 7085 0 0 0 298 2 0 0 20 0 28 0 418201359 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699130649456 140699751131778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14141] ppid=14123 vsize=28768328 memory=6872598998417432672 CPUtime=3.17 cores=0-7
/proc/14125/task/14141/stat : 14141 (java) S 14123 14123 12970 0 -1 1077944384 5624 0 0 0 317 0 0 0 20 0 28 0 418201359 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699129596400 140699751131778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14142] ppid=14123 vsize=28768328 memory=6944656592455359580 CPUtime=0.97 cores=0-7
/proc/14125/task/14142/stat : 14142 (java) S 14123 14123 12970 0 -1 1077944384 4798 0 0 0 95 2 0 0 20 0 28 0 418201359 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699128543856 140699751131778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14143] ppid=14123 vsize=28768328 memory=-4866526899798303339 CPUtime=0 cores=0-7
/proc/14125/task/14143/stat : 14143 (java) S 14123 14123 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418201360 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699127491040 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14144] ppid=14123 vsize=28768328 memory=-9001734043636558696 CPUtime=0 cores=0-7
/proc/14125/task/14144/stat : 14144 (java) S 14123 14123 12970 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 418201360 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699126438576 140699751131778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14185] ppid=14123 vsize=28768328 memory=-7457052372387209120 CPUtime=0.71 cores=0-7
/proc/14125/task/14185/stat : 14185 (java) S 14123 14123 12970 0 -1 1077944384 31 0 0 0 71 0 0 0 20 0 28 0 418201764 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699113028848 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14186] ppid=14123 vsize=28768328 memory=4206468019014099040 CPUtime=0.4 cores=0-7
/proc/14125/task/14186/stat : 14186 (java) S 14123 14123 12970 0 -1 1077944384 17 0 0 0 40 0 0 0 20 0 28 0 418201764 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699110925136 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14187] ppid=14123 vsize=28768328 memory=-7025452035940392864 CPUtime=0.49 cores=0-7
/proc/14125/task/14187/stat : 14187 (java) S 14123 14123 12970 0 -1 1077944384 18 0 0 0 49 0 0 0 20 0 28 0 418201764 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699107767760 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14188] ppid=14123 vsize=28768328 memory=-7233780906022716832 CPUtime=0.65 cores=0-7
/proc/14125/task/14188/stat : 14188 (java) S 14123 14123 12970 0 -1 1077944384 19 0 0 0 65 0 0 0 20 0 28 0 418201764 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699114083920 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14189] ppid=14123 vsize=28768328 memory=0 CPUtime=0.71 cores=0-7
/proc/14125/task/14189/stat : 14189 (java) S 14123 14123 12970 0 -1 1077944384 18 0 0 0 70 1 0 0 20 0 28 0 418201764 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699117233360 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14190] ppid=14123 vsize=28768328 memory=0 CPUtime=0.58 cores=0-7
/proc/14125/task/14190/stat : 14190 (java) S 14123 14123 12970 0 -1 1077944384 17 0 0 0 58 0 0 0 20 0 28 0 418201764 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699111978320 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14191] ppid=14123 vsize=28768328 memory=0 CPUtime=0.75 cores=0-7
/proc/14125/task/14191/stat : 14191 (java) R 14123 14123 12970 0 -1 4202560 28 0 0 0 75 0 0 0 20 0 28 0 418201764 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699109867224 140699398741302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14192] ppid=14123 vsize=28768328 memory=0 CPUtime=0.66 cores=0-7
/proc/14125/task/14192/stat : 14192 (java) S 14123 14123 12970 0 -1 1077944384 17 0 0 0 66 0 0 0 20 0 28 0 418201764 29458767872 180970 33554432000 4194304 4196468 140728174296896 140699108820048 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
Current children cumulated CPU time: 23.7 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 725336 KiB

[startup+5.60096 s]
/proc/loadavg: 7.88 7.70 7.19 5/219 14192
/proc/meminfo: memFree=25856336/32770624 swapFree=66977616/67108860
[pid=14123] ppid=14120 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14123/stat : 14123 (xcsp3-exec) S 14120 14123 12970 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418201353 115843072 364 33554432000 4194304 5098028 140733588501920 140733588500024 140224426762876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13557760 140733588509557 140733588509801 140733588509801 140733588512714 0
/proc/14123/statm: 28282 364 305 221 0 87 0
[pid=14125] ppid=14123 vsize=28768328 memory=727848 CPUtime=25.13 cores=0-7
/proc/14125/stat : 14125 (java) S 14123 14123 12970 0 -1 1077944320 41246 0 0 0 2465 48 0 0 20 0 28 0 418201354 29458767872 181962 33554432000 4194304 4196468 140728174296896 140728174279440 140699751120631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
/proc/14125/statm: 7192082 181962 3546 1 0 7153184 0
[pid=14125/tid=14126] ppid=14123 vsize=28768328 memory=2004 CPUtime=3.11 cores=0-7
/proc/14125/task/14126/stat : 14126 (java) S 14123 14123 12970 0 -1 1077944384 10745 0 0 0 299 12 0 0 20 0 28 0 418201354 29458767872 181962 33554432000 4194304 4196468 140728174296896 140699755361408 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14127] ppid=14123 vsize=28768328 memory=1428 CPUtime=0.11 cores=0-7
/proc/14125/task/14127/stat : 14127 (java) S 14123 14123 12970 0 -1 1077944384 202 0 0 0 8 3 0 0 20 0 28 0 418201355 29458767872 181962 33554432000 4194304 4196468 140728174296896 140699707673104 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14128] ppid=14123 vsize=28768328 memory=1724 CPUtime=0.09 cores=0-7
/proc/14125/task/14128/stat : 14128 (java) S 14123 14123 12970 0 -1 1077944384 157 0 0 0 7 2 0 0 20 0 28 0 418201355 29458767872 181962 33554432000 4194304 4196468 140728174296896 140699301436048 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14129] ppid=14123 vsize=28768328 memory=704 CPUtime=0.09 cores=0-7
/proc/14125/task/14129/stat : 14129 (java) S 14123 14123 12970 0 -1 1077944384 144 0 0 0 7 2 0 0 20 0 28 0 418201355 29458767872 181962 33554432000 4194304 4196468 140728174296896 140699300382992 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14130] ppid=14123 vsize=28768328 memory=1056 CPUtime=0.13 cores=0-7
/proc/14125/task/14130/stat : 14130 (java) S 14123 14123 12970 0 -1 1077944384 630 0 0 0 10 3 0 0 20 0 28 0 418201355 29458767872 181962 33554432000 4194304 4196468 140728174296896 140699299330448 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14131] ppid=14123 vsize=28768328 memory=1556 CPUtime=0.1 cores=0-7
/proc/14125/task/14131/stat : 14131 (java) S 14123 14123 12970 0 -1 1077944384 159 0 0 0 7 3 0 0 20 0 28 0 418201355 29458767872 181962 33554432000 4194304 4196468 140728174296896 140699298278416 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14132] ppid=14123 vsize=28768328 memory=780 CPUtime=0.09 cores=0-7
/proc/14125/task/14132/stat : 14132 (java) S 14123 14123 12970 0 -1 1077944384 104 0 0 0 7 2 0 0 20 0 28 0 418201355 29458767872 181962 33554432000 4194304 4196468 140728174296896 140699297225872 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14133] ppid=14123 vsize=28768328 memory=3252 CPUtime=0.09 cores=0-7
/proc/14125/task/14133/stat : 14133 (java) S 14123 14123 12970 0 -1 1077944384 137 0 0 0 6 3 0 0 20 0 28 0 418201355 29458767872 181962 33554432000 4194304 4196468 140728174296896 140699296172816 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14134] ppid=14123 vsize=28768328 memory=1112 CPUtime=0.1 cores=0-7
/proc/14125/task/14134/stat : 14134 (java) S 14123 14123 12970 0 -1 1077944384 290 0 0 0 7 3 0 0 20 0 28 0 418201355 29458767872 181962 33554432000 4194304 4196468 140728174296896 140699295120272 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14135] ppid=14123 vsize=28768328 memory=5972 CPUtime=0.02 cores=0-7
/proc/14125/task/14135/stat : 14135 (java) S 14123 14123 12970 0 -1 1077944384 669 0 0 0 2 0 0 0 20 0 28 0 418201356 29458767872 181962 33554432000 4194304 4196468 140728174296896 140699135912176 140699751131778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14136] ppid=14123 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/14125/task/14136/stat : 14136 (java) S 14123 14123 12970 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 418201357 29458767872 181962 33554432000 4194304 4196468 140728174296896 140699134858464 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14137] ppid=14123 vsize=28768328 memory=-6876588461455810464 CPUtime=0 cores=0-7
/proc/14125/task/14137/stat : 14137 (java) S 14123 14123 12970 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 418201357 29458767872 181962 33554432000 4194304 4196468 140728174296896 140699133805312 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14138] ppid=14123 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/14125/task/14138/stat : 14138 (java) S 14123 14123 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418201359 29458767872 181962 33554432000 4194304 4196468 140728174296896 140699132753872 140699751139227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14139] ppid=14123 vsize=28768328 memory=688368 CPUtime=3.51 cores=0-7
/proc/14125/task/14139/stat : 14139 (java) S 14123 14123 12970 0 -1 1077944384 7236 0 0 0 349 2 0 0 20 0 28 0 418201359 29458767872 181962 33554432000 4194304 4196468 140728174296896 140699131702000 140699751131778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14140] ppid=14123 vsize=28768328 memory=-7966001967256141664 CPUtime=3.21 cores=0-7
/proc/14125/task/14140/stat : 14140 (java) S 14123 14123 12970 0 -1 1077944384 7198 0 0 0 319 2 0 0 20 0 28 0 418201359 29458767872 181962 33554432000 4194304 4196468 140728174296896 140699130649456 140699751131778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14141] ppid=14123 vsize=28768328 memory=-9178176116494409632 CPUtime=3.36 cores=0-7
/proc/14125/task/14141/stat : 14141 (java) S 14123 14123 12970 0 -1 1077944384 5740 0 0 0 336 0 0 0 20 0 28 0 418201359 29458767872 181962 33554432000 4194304 4196468 140728174296896 140699129596400 140699751131778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14142] ppid=14123 vsize=28768328 memory=6946900708536902482 CPUtime=1 cores=0-7
/proc/14125/task/14142/stat : 14142 (java) S 14123 14123 12970 0 -1 1077944384 4842 0 0 0 98 2 0 0 20 0 28 0 418201359 29458767872 181962 33554432000 4194304 4196468 140728174296896 140699128543856 140699751131778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14143] ppid=14123 vsize=28768328 memory=7740958157942646384 CPUtime=0 cores=0-7
/proc/14125/task/14143/stat : 14143 (java) S 14123 14123 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418201360 29458767872 181962 33554432000 4194304 4196468 140728174296896 140699127491040 140699751130837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
[pid=14125/tid=14144] ppid=14123 vsize=28768328 memory=7883079901491390561 CPUtime=0 cores=0-7
/proc/14125/task/14144/stat : 14144 (java) S 14123 14123 12970 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 418201360 29458767872 181962 33554432000 4194304 4196468 140728174296896 140699126438576 140699751131778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26042368 140728174298090 140728174298262 140728174298262 140728174301135 0
Current children cumulated CPU time: 25.13 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 729304 KiB

Child status: 0
Real time (s): 5.61892
CPU time (s): 25.1706
CPU user time (s): 24.6684
CPU system time (s): 0.502196
CPU usage (%): 447.962
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 734468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.6684
system time used= 0.502196
maximum resident set size= 733060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41869
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5050
involuntary context switches= 528


# summary of solver processes directly reported to runsolver:
#   pid: 14123
#   total CPU time (s): 25.1706
#   total CPU user time (s): 24.6684
#   total CPU system time (s): 0.502196

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057347 second user time and 0.102791 second system time

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

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
