0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400233-1568709972.xml" -tl '2016s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4400233-1568709972.xml, -tl, 2016s, -p, 8]
0.33/0.22 c 8 solvers in parallel
0.33/0.28 c parse instance...
1.61/0.78 c solve instance...
1.99/0.81 o 78
1.99/0.83 o 3
611.87/79.93 s OPTIMUM FOUND
611.87/79.93 v <instantiation>
611.87/79.93 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] </list>
611.87/79.93 v <values>0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 3 </values>
611.87/79.93 v </instantiation>
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 (14813 MiB free)
memory of node 1: 16384 MiB (15657 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400233-1568709972/watcher-4400233-1568709972 -o /tmp/evaluation-result-4400233-1568709972/solver-4400233-1568709972 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568696629-1917 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 2140547642 HOME/instance-4400233-1568709972.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5206, runsolver pid=5203
Current StackSize limit: 8192 KiB
[startup+0.100164 s]*
/proc/loadavg: 8.00 7.83 7.32 2/210 5227
/proc/meminfo: memFree=31186072/32770624 swapFree=66977424/67108860
[pid=5206] ppid=5203 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5206/stat : 5206 (xcsp3-exec) S 5203 5206 1890 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447254293 115843072 362 33554432000 4194304 5098028 140725437079376 140725437077480 139645537141372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25149440 140725437080443 140725437080686 140725437080686 140725437083594 0
/proc/5206/statm: 28282 362 304 221 0 87 0
[pid=5208] ppid=5206 vsize=28227396 memory=28948 CPUtime=0.12 cores=0-7
/proc/5208/stat : 5208 (java) S 5206 5206 1890 0 -1 1077944320 5708 0 0 0 11 1 0 0 20 0 20 0 447254293 28904853504 7237 33554432000 4194304 4196468 140733695574944 140733695557488 140270138642167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
/proc/5208/statm: 7056849 7237 3122 1 0 7019032 0
[pid=5208/tid=5209] ppid=5206 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/5208/task/5209/stat : 5209 (java) R 5206 5206 1890 0 -1 4202560 3620 0 0 0 8 1 0 0 20 0 20 0 447254293 28904853504 7237 33554432000 4194304 4196468 140733695574944 140270142875440 140270138654102 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5210] ppid=5206 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5210/stat : 5210 (java) S 5206 5206 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447254294 28904853504 7237 33554432000 4194304 4196468 140733695574944 140270091263120 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5211] ppid=5206 vsize=28227396 memory=14270833814357656 CPUtime=0 cores=0-7
/proc/5208/task/5211/stat : 5211 (java) S 5206 5206 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447254294 28904853504 7237 33554432000 4194304 4196468 140733695574944 140270090210320 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5212] ppid=5206 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5212/stat : 5212 (java) S 5206 5206 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447254294 28904853504 7237 33554432000 4194304 4196468 140733695574944 140270089157520 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5213] ppid=5206 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5213/stat : 5213 (java) S 5206 5206 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447254294 28904853504 7237 33554432000 4194304 4196468 140733695574944 140270088104720 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5214] ppid=5206 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5214/stat : 5214 (java) S 5206 5206 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447254294 28904853504 7237 33554432000 4194304 4196468 140733695574944 140270087051920 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5215] ppid=5206 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5208/task/5215/stat : 5215 (java) S 5206 5206 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447254294 28904853504 7237 33554432000 4194304 4196468 140733695574944 140270085999120 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5216] ppid=5206 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5216/stat : 5216 (java) S 5206 5206 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447254294 28904853504 7237 33554432000 4194304 4196468 140733695574944 140270084946320 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5217] ppid=5206 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5217/stat : 5217 (java) S 5206 5206 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447254294 28904853504 7237 33554432000 4194304 4196468 140733695574944 140270083893520 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5218] ppid=5206 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5218/stat : 5218 (java) S 5206 5206 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447254296 28904853504 7237 33554432000 4194304 4196468 140733695574944 140269321907056 140270138653314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5219] ppid=5206 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5219/stat : 5219 (java) S 5206 5206 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447254296 28904853504 7237 33554432000 4194304 4196468 140733695574944 140269320853024 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5220] ppid=5206 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5220/stat : 5220 (java) S 5206 5206 1890 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447254296 28904853504 7237 33554432000 4194304 4196468 140733695574944 140269319800176 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5221] ppid=5206 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5221/stat : 5221 (java) S 5206 5206 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447254299 28904853504 7237 33554432000 4194304 4196468 140733695574944 140269318748496 140270138660763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5222] ppid=5206 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5222/stat : 5222 (java) S 5206 5206 1890 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 447254299 28904853504 7237 33554432000 4194304 4196468 140733695574944 140269317695856 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5223] ppid=5206 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5223/stat : 5223 (java) S 5206 5206 1890 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 447254299 28904853504 7237 33554432000 4194304 4196468 140733695574944 140269316643056 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5224] ppid=5206 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5224/stat : 5224 (java) S 5206 5206 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447254299 28904853504 7237 33554432000 4194304 4196468 140733695574944 140269315590256 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5225] ppid=5206 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/5208/task/5225/stat : 5225 (java) S 5206 5206 1890 0 -1 1077944384 367 0 0 0 2 0 0 0 20 0 20 0 447254299 28904853504 7237 33554432000 4194304 4196468 140733695574944 140269314537456 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5226] ppid=5206 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5226/stat : 5226 (java) S 5206 5206 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447254299 28904853504 7237 33554432000 4194304 4196468 140733695574944 140269313485920 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5227] ppid=5206 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5208/task/5227/stat : 5227 (java) S 5206 5206 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447254299 28904853504 7237 33554432000 4194304 4196468 140733695574944 140269312433200 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30396 KiB
[startup+0.210189 s]*
/proc/loadavg: 8.00 7.83 7.32 3/210 5227
/proc/meminfo: memFree=31171832/32770624 swapFree=66977424/67108860
[pid=5206] ppid=5203 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5206/stat : 5206 (xcsp3-exec) S 5203 5206 1890 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447254293 115843072 362 33554432000 4194304 5098028 140725437079376 140725437077480 139645537141372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25149440 140725437080443 140725437080686 140725437080686 140725437083594 0
/proc/5206/statm: 28282 362 304 221 0 87 0
[pid=5208] ppid=5206 vsize=28227396 memory=40860 CPUtime=0.33 cores=0-7
/proc/5208/stat : 5208 (java) S 5206 5206 1890 0 -1 1077944320 9505 0 0 0 30 3 0 0 20 0 20 0 447254293 28904853504 10215 33554432000 4194304 4196468 140733695574944 140733695557488 140270138642167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
/proc/5208/statm: 7056849 10215 3239 1 0 7019032 0
[pid=5208/tid=5209] ppid=5206 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/5208/task/5209/stat : 5209 (java) R 5206 5206 1890 0 -1 4202560 6654 0 0 0 17 2 0 0 20 0 20 0 447254293 28904853504 10215 33554432000 4194304 4196468 140733695574944 140270142874896 140270122722654 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5210] ppid=5206 vsize=28227396 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/5208/task/5210/stat : 5210 (java) S 5206 5206 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447254294 28904853504 10215 33554432000 4194304 4196468 140733695574944 140270091263120 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5211] ppid=5206 vsize=28227396 memory=139690424629884 CPUtime=0 cores=0-7
/proc/5208/task/5211/stat : 5211 (java) S 5206 5206 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447254294 28904853504 10215 33554432000 4194304 4196468 140733695574944 140270090210320 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5212] ppid=5206 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5208/task/5212/stat : 5212 (java) S 5206 5206 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447254294 28904853504 10215 33554432000 4194304 4196468 140733695574944 140270089157520 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5213] ppid=5206 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5213/stat : 5213 (java) S 5206 5206 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447254294 28904853504 10215 33554432000 4194304 4196468 140733695574944 140270088104720 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5214] ppid=5206 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5214/stat : 5214 (java) S 5206 5206 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447254294 28904853504 10215 33554432000 4194304 4196468 140733695574944 140270087051920 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5215] ppid=5206 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5208/task/5215/stat : 5215 (java) S 5206 5206 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447254294 28904853504 10215 33554432000 4194304 4196468 140733695574944 140270085999120 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5216] ppid=5206 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5216/stat : 5216 (java) S 5206 5206 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447254294 28904853504 10215 33554432000 4194304 4196468 140733695574944 140270084946320 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5217] ppid=5206 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5217/stat : 5217 (java) S 5206 5206 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447254294 28904853504 10215 33554432000 4194304 4196468 140733695574944 140270083893520 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5218] ppid=5206 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5218/stat : 5218 (java) S 5206 5206 1890 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447254296 28904853504 10215 33554432000 4194304 4196468 140733695574944 140269321907056 140270138653314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5219] ppid=5206 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5219/stat : 5219 (java) S 5206 5206 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447254296 28904853504 10215 33554432000 4194304 4196468 140733695574944 140269320853024 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5220] ppid=5206 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5220/stat : 5220 (java) S 5206 5206 1890 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447254296 28904853504 10215 33554432000 4194304 4196468 140733695574944 140269319800176 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5221] ppid=5206 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5221/stat : 5221 (java) S 5206 5206 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447254299 28904853504 10215 33554432000 4194304 4196468 140733695574944 140269318748496 140270138660763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5222] ppid=5206 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/5208/task/5222/stat : 5222 (java) S 5206 5206 1890 0 -1 1077944384 419 0 0 0 1 0 0 0 20 0 20 0 447254299 28904853504 10215 33554432000 4194304 4196468 140733695574944 140269317695856 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5223] ppid=5206 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5223/stat : 5223 (java) S 5206 5206 1890 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 20 0 447254299 28904853504 10215 33554432000 4194304 4196468 140733695574944 140269316643056 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5224] ppid=5206 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/5208/task/5224/stat : 5224 (java) S 5206 5206 1890 0 -1 1077944384 231 0 0 0 2 0 0 0 20 0 20 0 447254299 28904853504 10215 33554432000 4194304 4196468 140733695574944 140269315590256 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5225] ppid=5206 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/5208/task/5225/stat : 5225 (java) R 5206 5206 1890 0 -1 4202560 760 0 0 0 7 0 0 0 20 0 20 0 447254299 28904853504 10215 33554432000 4194304 4196468 140733695574944 140269314537456 140270123286142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5226] ppid=5206 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5226/stat : 5226 (java) S 5206 5206 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447254299 28904853504 10215 33554432000 4194304 4196468 140733695574944 140269313485920 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5227] ppid=5206 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5208/task/5227/stat : 5227 (java) S 5206 5206 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447254299 28904853504 10215 33554432000 4194304 4196468 140733695574944 140269312433200 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42308 KiB
[startup+0.309542 s]*
/proc/loadavg: 8.00 7.83 7.32 5/210 5227
/proc/meminfo: memFree=31165180/32770624 swapFree=66977424/67108860
[pid=5206] ppid=5203 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5206/stat : 5206 (xcsp3-exec) S 5203 5206 1890 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447254293 115843072 362 33554432000 4194304 5098028 140725437079376 140725437077480 139645537141372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25149440 140725437080443 140725437080686 140725437080686 140725437083594 0
/proc/5206/statm: 28282 362 304 221 0 87 0
[pid=5208] ppid=5206 vsize=28231652 memory=50004 CPUtime=0.51 cores=0-7
/proc/5208/stat : 5208 (java) S 5206 5206 1890 0 -1 1077944320 10880 0 0 0 47 4 0 0 20 0 20 0 447254293 28909211648 12501 33554432000 4194304 4196468 140733695574944 140733695557488 140270138642167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
/proc/5208/statm: 7057913 12501 3333 1 0 7019032 0
[pid=5208/tid=5209] ppid=5206 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/5208/task/5209/stat : 5209 (java) R 5206 5206 1890 0 -1 4202560 7796 0 0 0 27 3 0 0 20 0 20 0 447254293 28909211648 12501 33554432000 4194304 4196468 140733695574944 140270142873280 140270122722654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5210] ppid=5206 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5210/stat : 5210 (java) S 5206 5206 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447254294 28909211648 12501 33554432000 4194304 4196468 140733695574944 140270091263120 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5211] ppid=5206 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5211/stat : 5211 (java) S 5206 5206 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447254294 28909211648 12501 33554432000 4194304 4196468 140733695574944 140270090210320 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5212] ppid=5206 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5212/stat : 5212 (java) S 5206 5206 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447254294 28909211648 12501 33554432000 4194304 4196468 140733695574944 140270089157520 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5213] ppid=5206 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5213/stat : 5213 (java) S 5206 5206 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447254294 28909211648 12501 33554432000 4194304 4196468 140733695574944 140270088104720 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5214] ppid=5206 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5214/stat : 5214 (java) S 5206 5206 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447254294 28909211648 12501 33554432000 4194304 4196468 140733695574944 140270087051920 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5215] ppid=5206 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5215/stat : 5215 (java) S 5206 5206 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447254294 28909211648 12501 33554432000 4194304 4196468 140733695574944 140270085999120 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5216] ppid=5206 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5216/stat : 5216 (java) S 5206 5206 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447254294 28909211648 12501 33554432000 4194304 4196468 140733695574944 140270084946320 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5217] ppid=5206 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5217/stat : 5217 (java) S 5206 5206 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447254294 28909211648 12501 33554432000 4194304 4196468 140733695574944 140270083893520 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5218] ppid=5206 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5218/stat : 5218 (java) S 5206 5206 1890 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447254296 28909211648 12501 33554432000 4194304 4196468 140733695574944 140269321907056 140270138653314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5219] ppid=5206 vsize=28231652 memory=279380643487104 CPUtime=0 cores=0-7
/proc/5208/task/5219/stat : 5219 (java) S 5206 5206 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447254296 28909211648 12501 33554432000 4194304 4196468 140733695574944 140269320853024 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5220] ppid=5206 vsize=28231652 memory=279380643491712 CPUtime=0 cores=0-7
/proc/5208/task/5220/stat : 5220 (java) S 5206 5206 1890 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447254296 28909211648 12501 33554432000 4194304 4196468 140733695574944 140269319800176 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5221] ppid=5206 vsize=28231652 memory=279380643496320 CPUtime=0 cores=0-7
/proc/5208/task/5221/stat : 5221 (java) S 5206 5206 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447254299 28909211648 12501 33554432000 4194304 4196468 140733695574944 140269318748496 140270138660763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5222] ppid=5206 vsize=28231652 memory=279380643500928 CPUtime=0.02 cores=0-7
/proc/5208/task/5222/stat : 5222 (java) S 5206 5206 1890 0 -1 1077944384 425 0 0 0 2 0 0 0 20 0 20 0 447254299 28909211648 12501 33554432000 4194304 4196468 140733695574944 140269317695856 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5223] ppid=5206 vsize=28231652 memory=279380643505536 CPUtime=0.02 cores=0-7
/proc/5208/task/5223/stat : 5223 (java) R 5206 5206 1890 0 -1 4202560 253 0 0 0 2 0 0 0 20 0 20 0 447254299 28909211648 12501 33554432000 4194304 4196468 140733695574944 140269316643056 140270117897792 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5224] ppid=5206 vsize=28231652 memory=279380643510144 CPUtime=0.03 cores=0-7
/proc/5208/task/5224/stat : 5224 (java) S 5206 5206 1890 0 -1 1077944384 247 0 0 0 3 0 0 0 20 0 20 0 447254299 28909211648 12501 33554432000 4194304 4196468 140733695574944 140269315590256 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5225] ppid=5206 vsize=28231652 memory=279380643514752 CPUtime=0.12 cores=0-7
/proc/5208/task/5225/stat : 5225 (java) S 5206 5206 1890 0 -1 1077944384 859 0 0 0 12 0 0 0 20 0 20 0 447254299 28909211648 12501 33554432000 4194304 4196468 140733695574944 140269314537456 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5226] ppid=5206 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5226/stat : 5226 (java) S 5206 5206 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447254299 28909211648 12501 33554432000 4194304 4196468 140733695574944 140269313485920 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5227] ppid=5206 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/5208/task/5227/stat : 5227 (java) S 5206 5206 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447254299 28909211648 12501 33554432000 4194304 4196468 140733695574944 140269312433200 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51452 KiB
[startup+0.700902 s]
/proc/loadavg: 8.00 7.83 7.32 5/210 5227
/proc/meminfo: memFree=31150544/32770624 swapFree=66977424/67108860
[pid=5206] ppid=5203 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5206/stat : 5206 (xcsp3-exec) S 5203 5206 1890 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447254293 115843072 362 33554432000 4194304 5098028 140725437079376 140725437077480 139645537141372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25149440 140725437080443 140725437080686 140725437080686 140725437083594 0
/proc/5206/statm: 28282 362 304 221 0 87 0
[pid=5208] ppid=5206 vsize=28233776 memory=85012 CPUtime=1.61 cores=0-7
/proc/5208/stat : 5208 (java) S 5206 5206 1890 0 -1 1077944320 14946 0 0 0 154 7 0 0 20 0 20 0 447254293 28911386624 21253 33554432000 4194304 4196468 140733695574944 140733695557488 140270138642167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
/proc/5208/statm: 7058444 21253 3451 1 0 7019544 0
[pid=5208/tid=5209] ppid=5206 vsize=28233776 memory=4580 CPUtime=0.68 cores=0-7
/proc/5208/task/5209/stat : 5209 (java) R 5206 5206 1890 0 -1 4202560 9253 0 0 0 64 4 0 0 20 0 20 0 447254293 28911386624 21253 33554432000 4194304 4196468 140733695574944 140270142878176 140269759464344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5210] ppid=5206 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5210/stat : 5210 (java) S 5206 5206 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447254294 28911386624 21253 33554432000 4194304 4196468 140733695574944 140270091263120 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5211] ppid=5206 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/5208/task/5211/stat : 5211 (java) S 5206 5206 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447254294 28911386624 21253 33554432000 4194304 4196468 140733695574944 140270090210320 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5212] ppid=5206 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/5208/task/5212/stat : 5212 (java) S 5206 5206 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447254294 28911386624 21253 33554432000 4194304 4196468 140733695574944 140270089157520 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
################
# More data... #
################
[pid=5208/tid=5225] ppid=5206 vsize=28768336 memory=1001092 CPUtime=0.76 cores=0-7
/proc/5208/task/5225/stat : 5225 (java) S 5206 5206 1890 0 -1 1077944384 6172 0 0 0 75 1 0 0 20 0 28 0 447254299 29458776064 251316 33554432000 4194304 4196468 140733695574944 140269314537456 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5226] ppid=5206 vsize=28768336 memory=1164 CPUtime=0 cores=0-7
/proc/5208/task/5226/stat : 5226 (java) S 5206 5206 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447254299 29458776064 251316 33554432000 4194304 4196468 140733695574944 140269313485920 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5227] ppid=5206 vsize=28768336 memory=8317482817917895235 CPUtime=0.01 cores=0-7
/proc/5208/task/5227/stat : 5227 (java) S 5206 5206 1890 0 -1 1077944384 492 0 0 0 1 0 0 0 20 0 28 0 447254299 29458776064 251316 33554432000 4194304 4196468 140733695574944 140269312433200 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5244] ppid=5206 vsize=28768336 memory=16 CPUtime=74.77 cores=0-7
/proc/5208/task/5244/stat : 5244 (java) R 5206 5206 1890 0 -1 1077944384 2075 0 0 0 7424 53 0 0 20 0 28 0 447254376 29458776064 251316 33554432000 4194304 4196468 140733695574944 140269295848496 140270138653314 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5245] ppid=5206 vsize=28768336 memory=16 CPUtime=74.72 cores=0-7
/proc/5208/task/5245/stat : 5245 (java) R 5206 5206 1890 0 -1 4202560 1359 0 0 0 7419 53 0 0 20 0 28 0 447254376 29458776064 251316 33554432000 4194304 4196468 140733695574944 140269296902336 140269763720676 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5246] ppid=5206 vsize=28768336 memory=16 CPUtime=74.53 cores=0-7
/proc/5208/task/5246/stat : 5246 (java) R 5206 5206 1890 0 -1 4202560 1259 0 0 0 7401 52 0 0 20 0 28 0 447254376 29458776064 251316 33554432000 4194304 4196468 140733695574944 140269302165568 140269763117800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5247] ppid=5206 vsize=28768336 memory=17 CPUtime=75.17 cores=0-7
/proc/5208/task/5247/stat : 5247 (java) R 5206 5206 1890 0 -1 4202560 11812 0 0 0 7471 46 0 0 20 0 28 0 447254377 29458776064 251316 33554432000 4194304 4196468 140733695574944 140269301112768 140269764516216 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5248] ppid=5206 vsize=28768336 memory=576461256399351847 CPUtime=74.62 cores=0-7
/proc/5208/task/5248/stat : 5248 (java) R 5206 5206 1890 0 -1 4202560 2651 0 0 0 7407 55 0 0 20 0 28 0 447254377 29458776064 251316 33554432000 4194304 4196468 140733695574944 140269299007296 140269763117854 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5249] ppid=5206 vsize=28768336 memory=1899018 CPUtime=75.61 cores=0-7
/proc/5208/task/5249/stat : 5249 (java) R 5206 5206 1890 0 -1 4202560 3616 0 0 0 7531 30 0 0 20 0 28 0 447254377 29458776064 251316 33554432000 4194304 4196468 140733695574944 140269297954400 140269764052409 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5250] ppid=5206 vsize=28768336 memory=15 CPUtime=75.14 cores=0-7
/proc/5208/task/5250/stat : 5250 (java) R 5206 5206 1890 0 -1 4202560 13767 0 0 0 7472 42 0 0 20 0 28 0 447254377 29458776064 251316 33554432000 4194304 4196468 140733695574944 140269303218656 140269763088320 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5251] ppid=5206 vsize=28768336 memory=13 CPUtime=75.89 cores=0-7
/proc/5208/task/5251/stat : 5251 (java) R 5206 5206 1890 0 -1 4202560 10358 0 0 0 7552 37 0 0 20 0 28 0 447254377 29458776064 251316 33554432000 4194304 4196468 140733695574944 140269300060608 140269764052645 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
Current children cumulated CPU time: 609.52 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1006712 KiB
[startup+79.8015 s]
/proc/loadavg: 8.26 7.97 7.41 9/218 5256
/proc/meminfo: memFree=30210300/32770624 swapFree=66977424/67108860
[pid=5206] ppid=5203 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5206/stat : 5206 (xcsp3-exec) S 5203 5206 1890 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447254293 115843072 362 33554432000 4194304 5098028 140725437079376 140725437077480 139645537141372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25149440 140725437080443 140725437080686 140725437080686 140725437083594 0
/proc/5206/statm: 28282 362 304 221 0 87 0
[pid=5208] ppid=5206 vsize=28768336 memory=1007312 CPUtime=611.07 cores=0-7
/proc/5208/stat : 5208 (java) S 5206 5206 1890 0 -1 1077944320 109442 0 0 0 60669 438 0 0 20 0 28 0 447254293 29458776064 251828 33554432000 4194304 4196468 140733695574944 140733695557488 140270138642167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
/proc/5208/statm: 7192084 251828 3519 1 0 7153184 0
[pid=5208/tid=5209] ppid=5206 vsize=28768336 memory=1984 CPUtime=0.77 cores=0-7
/proc/5208/task/5209/stat : 5209 (java) S 5206 5206 1890 0 -1 1077944384 9351 0 0 0 73 4 0 0 20 0 28 0 447254293 29458776064 251828 33554432000 4194304 4196468 140733695574944 140270142882944 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5210] ppid=5206 vsize=28768336 memory=2480 CPUtime=0.34 cores=0-7
/proc/5208/task/5210/stat : 5210 (java) S 5206 5206 1890 0 -1 1077944384 1299 0 0 0 29 5 0 0 20 0 28 0 447254294 29458776064 251828 33554432000 4194304 4196468 140733695574944 140270091263120 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5211] ppid=5206 vsize=28768336 memory=1768 CPUtime=0.35 cores=0-7
/proc/5208/task/5211/stat : 5211 (java) S 5206 5206 1890 0 -1 1077944384 1308 0 0 0 30 5 0 0 20 0 28 0 447254294 29458776064 251828 33554432000 4194304 4196468 140733695574944 140270090210320 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5212] ppid=5206 vsize=28768336 memory=111632 CPUtime=0.36 cores=0-7
/proc/5208/task/5212/stat : 5212 (java) S 5206 5206 1890 0 -1 1077944384 1795 0 0 0 30 6 0 0 20 0 28 0 447254294 29458776064 251828 33554432000 4194304 4196468 140733695574944 140270089157520 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5213] ppid=5206 vsize=28768336 memory=796 CPUtime=0.35 cores=0-7
/proc/5208/task/5213/stat : 5213 (java) S 5206 5206 1890 0 -1 1077944384 2491 0 0 0 30 5 0 0 20 0 28 0 447254294 29458776064 251828 33554432000 4194304 4196468 140733695574944 140270088104720 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5214] ppid=5206 vsize=28768336 memory=4104 CPUtime=0.36 cores=0-7
/proc/5208/task/5214/stat : 5214 (java) S 5206 5206 1890 0 -1 1077944384 1095 0 0 0 30 6 0 0 20 0 28 0 447254294 29458776064 251828 33554432000 4194304 4196468 140733695574944 140270087051920 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5215] ppid=5206 vsize=28768336 memory=1412 CPUtime=0.36 cores=0-7
/proc/5208/task/5215/stat : 5215 (java) S 5206 5206 1890 0 -1 1077944384 1291 0 0 0 31 5 0 0 20 0 28 0 447254294 29458776064 251828 33554432000 4194304 4196468 140733695574944 140270085999120 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5216] ppid=5206 vsize=28768336 memory=3388 CPUtime=0.36 cores=0-7
/proc/5208/task/5216/stat : 5216 (java) S 5206 5206 1890 0 -1 1077944384 917 0 0 0 31 5 0 0 20 0 28 0 447254294 29458776064 251828 33554432000 4194304 4196468 140733695574944 140270084946320 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5217] ppid=5206 vsize=28768336 memory=1448 CPUtime=0.35 cores=0-7
/proc/5208/task/5217/stat : 5217 (java) S 5206 5206 1890 0 -1 1077944384 1389 0 0 0 31 4 0 0 20 0 28 0 447254294 29458776064 251828 33554432000 4194304 4196468 140733695574944 140270083893520 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5218] ppid=5206 vsize=28768336 memory=879628 CPUtime=0.23 cores=0-7
/proc/5208/task/5218/stat : 5218 (java) S 5206 5206 1890 0 -1 1077944384 3786 0 0 0 17 6 0 0 20 0 28 0 447254296 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269321907056 140270138653314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5219] ppid=5206 vsize=28768336 memory=1164 CPUtime=0 cores=0-7
/proc/5208/task/5219/stat : 5219 (java) S 5206 5206 1890 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447254296 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269320853024 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5220] ppid=5206 vsize=28768336 memory=1808 CPUtime=0 cores=0-7
/proc/5208/task/5220/stat : 5220 (java) S 5206 5206 1890 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 447254296 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269319800176 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5221] ppid=5206 vsize=28768336 memory=920 CPUtime=0 cores=0-7
/proc/5208/task/5221/stat : 5221 (java) S 5206 5206 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447254299 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269318748496 140270138660763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5222] ppid=5206 vsize=28768336 memory=0 CPUtime=1.32 cores=0-7
/proc/5208/task/5222/stat : 5222 (java) S 5206 5206 1890 0 -1 1077944384 9180 0 0 0 129 3 0 0 20 0 28 0 447254299 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269317695856 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5223] ppid=5206 vsize=28768336 memory=1448 CPUtime=1.43 cores=0-7
/proc/5208/task/5223/stat : 5223 (java) S 5206 5206 1890 0 -1 1077944384 9957 0 0 0 141 2 0 0 20 0 28 0 447254299 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269316643056 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5224] ppid=5206 vsize=28768336 memory=14012 CPUtime=1.34 cores=0-7
/proc/5208/task/5224/stat : 5224 (java) S 5206 5206 1890 0 -1 1077944384 10193 0 0 0 132 2 0 0 20 0 28 0 447254299 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269315590256 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5225] ppid=5206 vsize=28768336 memory=14048 CPUtime=0.76 cores=0-7
/proc/5208/task/5225/stat : 5225 (java) S 5206 5206 1890 0 -1 1077944384 6172 0 0 0 75 1 0 0 20 0 28 0 447254299 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269314537456 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5226] ppid=5206 vsize=28768336 memory=25320 CPUtime=0 cores=0-7
/proc/5208/task/5226/stat : 5226 (java) S 5206 5206 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447254299 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269313485920 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5227] ppid=5206 vsize=28768336 memory=2120 CPUtime=0.01 cores=0-7
/proc/5208/task/5227/stat : 5227 (java) S 5206 5206 1890 0 -1 1077944384 492 0 0 0 1 0 0 0 20 0 28 0 447254299 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269312433200 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5244] ppid=5206 vsize=28768336 memory=532 CPUtime=74.97 cores=0-7
/proc/5208/task/5244/stat : 5244 (java) R 5206 5206 1890 0 -1 1077944384 2075 0 0 0 7443 54 0 0 20 0 28 0 447254376 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269295848496 140270138653314 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5245] ppid=5206 vsize=28768336 memory=1564 CPUtime=74.92 cores=0-7
/proc/5208/task/5245/stat : 5245 (java) R 5206 5206 1890 0 -1 4202560 1359 0 0 0 7438 54 0 0 20 0 28 0 447254376 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269296902336 140269763118505 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5246] ppid=5206 vsize=28768336 memory=924 CPUtime=74.72 cores=0-7
/proc/5208/task/5246/stat : 5246 (java) R 5206 5206 1890 0 -1 4202560 1259 0 0 0 7420 52 0 0 20 0 28 0 447254376 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269302165568 140269764180768 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5247] ppid=5206 vsize=28768336 memory=1676 CPUtime=75.37 cores=0-7
/proc/5208/task/5247/stat : 5247 (java) R 5206 5206 1890 0 -1 4202560 11813 0 0 0 7490 47 0 0 20 0 28 0 447254377 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269301112768 140269763809196 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5248] ppid=5206 vsize=28768336 memory=1808 CPUtime=74.81 cores=0-7
/proc/5208/task/5248/stat : 5248 (java) R 5206 5206 1890 0 -1 4202560 2651 0 0 0 7426 55 0 0 20 0 28 0 447254377 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269299007296 140269764744917 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5249] ppid=5206 vsize=28768336 memory=920 CPUtime=75.81 cores=0-7
/proc/5208/task/5249/stat : 5249 (java) R 5206 5206 1890 0 -1 4202560 3616 0 0 0 7551 30 0 0 20 0 28 0 447254377 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269297954496 140269763120630 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5250] ppid=5206 vsize=28768336 memory=4748 CPUtime=75.33 cores=0-7
/proc/5208/task/5250/stat : 5250 (java) R 5206 5206 1890 0 -1 4202560 13767 0 0 0 7491 42 0 0 20 0 28 0 447254377 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269303218752 140269763124066 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5251] ppid=5206 vsize=28768336 memory=1440 CPUtime=76.09 cores=0-7
/proc/5208/task/5251/stat : 5251 (java) R 5206 5206 1890 0 -1 4202560 10358 0 0 0 7571 38 0 0 20 0 28 0 447254377 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269300060512 140269764416995 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
Current children cumulated CPU time: 611.07 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1008760 KiB
[startup+79.9014 s]
/proc/loadavg: 8.26 7.97 7.41 9/218 5256
/proc/meminfo: memFree=30210300/32770624 swapFree=66977424/67108860
[pid=5206] ppid=5203 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5206/stat : 5206 (xcsp3-exec) S 5203 5206 1890 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447254293 115843072 362 33554432000 4194304 5098028 140725437079376 140725437077480 139645537141372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25149440 140725437080443 140725437080686 140725437080686 140725437083594 0
/proc/5206/statm: 28282 362 304 221 0 87 0
[pid=5208] ppid=5206 vsize=28768336 memory=1007312 CPUtime=611.87 cores=0-7
/proc/5208/stat : 5208 (java) S 5206 5206 1890 0 -1 1077944320 109442 0 0 0 60748 439 0 0 20 0 28 0 447254293 29458776064 251828 33554432000 4194304 4196468 140733695574944 140733695557488 140270138642167 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
/proc/5208/statm: 7192084 251828 3519 1 0 7153184 0
[pid=5208/tid=5209] ppid=5206 vsize=28768336 memory=1001092 CPUtime=0.77 cores=0-7
/proc/5208/task/5209/stat : 5209 (java) S 5206 5206 1890 0 -1 1077944384 9351 0 0 0 73 4 0 0 20 0 28 0 447254293 29458776064 251828 33554432000 4194304 4196468 140733695574944 140270142882944 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5210] ppid=5206 vsize=28768336 memory=56 CPUtime=0.34 cores=0-7
/proc/5208/task/5210/stat : 5210 (java) S 5206 5206 1890 0 -1 1077944384 1299 0 0 0 29 5 0 0 20 0 28 0 447254294 29458776064 251828 33554432000 4194304 4196468 140733695574944 140270091263120 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5211] ppid=5206 vsize=28768336 memory=0 CPUtime=0.35 cores=0-7
/proc/5208/task/5211/stat : 5211 (java) S 5206 5206 1890 0 -1 1077944384 1308 0 0 0 30 5 0 0 20 0 28 0 447254294 29458776064 251828 33554432000 4194304 4196468 140733695574944 140270090210320 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5212] ppid=5206 vsize=28768336 memory=2832 CPUtime=0.36 cores=0-7
/proc/5208/task/5212/stat : 5212 (java) S 5206 5206 1890 0 -1 1077944384 1795 0 0 0 30 6 0 0 20 0 28 0 447254294 29458776064 251828 33554432000 4194304 4196468 140733695574944 140270089157520 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5213] ppid=5206 vsize=28768336 memory=1084 CPUtime=0.35 cores=0-7
/proc/5208/task/5213/stat : 5213 (java) S 5206 5206 1890 0 -1 1077944384 2491 0 0 0 30 5 0 0 20 0 28 0 447254294 29458776064 251828 33554432000 4194304 4196468 140733695574944 140270088104720 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5214] ppid=5206 vsize=28768336 memory=134 CPUtime=0.36 cores=0-7
/proc/5208/task/5214/stat : 5214 (java) S 5206 5206 1890 0 -1 1077944384 1095 0 0 0 30 6 0 0 20 0 28 0 447254294 29458776064 251828 33554432000 4194304 4196468 140733695574944 140270087051920 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5215] ppid=5206 vsize=28768336 memory=76 CPUtime=0.36 cores=0-7
/proc/5208/task/5215/stat : 5215 (java) S 5206 5206 1890 0 -1 1077944384 1291 0 0 0 31 5 0 0 20 0 28 0 447254294 29458776064 251828 33554432000 4194304 4196468 140733695574944 140270085999120 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5216] ppid=5206 vsize=28768336 memory=0 CPUtime=0.36 cores=0-7
/proc/5208/task/5216/stat : 5216 (java) S 5206 5206 1890 0 -1 1077944384 917 0 0 0 31 5 0 0 20 0 28 0 447254294 29458776064 251828 33554432000 4194304 4196468 140733695574944 140270084946320 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5217] ppid=5206 vsize=28768336 memory=7305792226115479916 CPUtime=0.35 cores=0-7
/proc/5208/task/5217/stat : 5217 (java) S 5206 5206 1890 0 -1 1077944384 1389 0 0 0 31 4 0 0 20 0 28 0 447254294 29458776064 251828 33554432000 4194304 4196468 140733695574944 140270083893520 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5218] ppid=5206 vsize=28768336 memory=1056 CPUtime=0.23 cores=0-7
/proc/5208/task/5218/stat : 5218 (java) S 5206 5206 1890 0 -1 1077944384 3786 0 0 0 17 6 0 0 20 0 28 0 447254296 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269321907056 140270138653314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5219] ppid=5206 vsize=28768336 memory=1556 CPUtime=0 cores=0-7
/proc/5208/task/5219/stat : 5219 (java) S 5206 5206 1890 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447254296 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269320853024 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5220] ppid=5206 vsize=28768336 memory=780 CPUtime=0 cores=0-7
/proc/5208/task/5220/stat : 5220 (java) S 5206 5206 1890 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 447254296 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269319800176 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5221] ppid=5206 vsize=28768336 memory=279380644547264 CPUtime=0 cores=0-7
/proc/5208/task/5221/stat : 5221 (java) S 5206 5206 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447254299 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269318748496 140270138660763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5222] ppid=5206 vsize=28768336 memory=29906030360 CPUtime=1.32 cores=0-7
/proc/5208/task/5222/stat : 5222 (java) S 5206 5206 1890 0 -1 1077944384 9180 0 0 0 129 3 0 0 20 0 28 0 447254299 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269317695856 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5223] ppid=5206 vsize=28768336 memory=1448 CPUtime=1.43 cores=0-7
/proc/5208/task/5223/stat : 5223 (java) S 5206 5206 1890 0 -1 1077944384 9957 0 0 0 141 2 0 0 20 0 28 0 447254299 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269316643056 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5224] ppid=5206 vsize=28768336 memory=0 CPUtime=1.34 cores=0-7
/proc/5208/task/5224/stat : 5224 (java) S 5206 5206 1890 0 -1 1077944384 10193 0 0 0 132 2 0 0 20 0 28 0 447254299 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269315590256 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5225] ppid=5206 vsize=28768336 memory=6944652177228980320 CPUtime=0.76 cores=0-7
/proc/5208/task/5225/stat : 5225 (java) S 5206 5206 1890 0 -1 1077944384 6172 0 0 0 75 1 0 0 20 0 28 0 447254299 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269314537456 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5226] ppid=5206 vsize=28768336 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/5208/task/5226/stat : 5226 (java) S 5206 5206 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447254299 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269313485920 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5227] ppid=5206 vsize=28768336 memory=288230574492221466 CPUtime=0.01 cores=0-7
/proc/5208/task/5227/stat : 5227 (java) S 5206 5206 1890 0 -1 1077944384 492 0 0 0 1 0 0 0 20 0 28 0 447254299 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269312433200 140270138653314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5244] ppid=5206 vsize=28768336 memory=303430270546346295 CPUtime=75.07 cores=0-7
/proc/5208/task/5244/stat : 5244 (java) R 5206 5206 1890 0 -1 4202560 2075 0 0 0 7453 54 0 0 20 0 28 0 447254376 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269295848592 140269764181408 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5245] ppid=5206 vsize=28768336 memory=15539643470842250 CPUtime=75.02 cores=0-7
/proc/5208/task/5245/stat : 5245 (java) R 5206 5206 1890 0 -1 4202560 1359 0 0 0 7448 54 0 0 20 0 28 0 447254376 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269296902336 140269757370720 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5246] ppid=5206 vsize=28768336 memory=288285588847654628 CPUtime=74.82 cores=0-7
/proc/5208/task/5246/stat : 5246 (java) R 5206 5206 1890 0 -1 1077944384 1259 0 0 0 7430 52 0 0 20 0 28 0 447254376 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269302165472 140270138653314 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5247] ppid=5206 vsize=28768336 memory=1984 CPUtime=75.47 cores=0-7
/proc/5208/task/5247/stat : 5247 (java) R 5206 5206 1890 0 -1 4202560 11813 0 0 0 7500 47 0 0 20 0 28 0 447254377 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269301112672 140269763290912 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5248] ppid=5206 vsize=28768336 memory=2480 CPUtime=74.91 cores=0-7
/proc/5208/task/5248/stat : 5248 (java) S 5206 5206 1890 0 -1 1077944384 2651 0 0 0 7436 55 0 0 20 0 28 0 447254377 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269299007296 140270138652373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5249] ppid=5206 vsize=28768336 memory=1768 CPUtime=75.91 cores=0-7
/proc/5208/task/5249/stat : 5249 (java) R 5206 5206 1890 0 -1 4202560 3616 0 0 0 7561 30 0 0 20 0 28 0 447254377 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269297954496 140270123852108 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5250] ppid=5206 vsize=28768336 memory=111632 CPUtime=75.43 cores=0-7
/proc/5208/task/5250/stat : 5250 (java) R 5206 5206 1890 0 -1 4202560 13767 0 0 0 7500 43 0 0 20 0 28 0 447254377 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269303218656 140269762466589 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
[pid=5208/tid=5251] ppid=5206 vsize=28768336 memory=796 CPUtime=76.19 cores=0-7
/proc/5208/task/5251/stat : 5251 (java) R 5206 5206 1890 0 -1 4202560 10358 0 0 0 7581 38 0 0 20 0 28 0 447254377 29458776064 251828 33554432000 4194304 4196468 140733695574944 140269300060608 140269764054770 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18169856 140733695579120 140733695579291 140733695579291 140733695582159 0
Current children cumulated CPU time: 611.87 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1008760 KiB
Child status: 0
Real time (s): 79.9543
CPU time (s): 612.17
CPU user time (s): 607.764
CPU system time (s): 4.40634
CPU usage (%): 765.651
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 1008760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 607.764
system time used= 4.40634
maximum resident set size= 1007620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111157
page faults= 0
swaps= 0
block input operations= 0
block output operations= 256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1018379
involuntary context switches= 1575
# summary of solver processes directly reported to runsolver:
# pid: 5206
# total CPU time (s): 612.17
# total CPU user time (s): 607.764
# total CPU system time (s): 4.40634
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.69517 second user time and 0.955859 second system time
The end
Begin job on node104 at 2019-09-17 09:35:53
IDJOB=4400233
IDBENCH=120617
IDSOLVER=2855
FILE ID=node104/4400233-1568709972
RUNJOBID= node104-1568696629-1917
PBS_JOBID= 21703905
Free space on /tmp= 59012 MiB
SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-4-insertions-3.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400233-1568709972/watcher-4400233-1568709972 -o /tmp/evaluation-result-4400233-1568709972/solver-4400233-1568709972 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568696629-1917 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 2140547642 HOME/instance-4400233-1568709972.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 681bcba91e68c7fd43dde01217071906
RANDOM SEED=2140547642
node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5334.09
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5334.09
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5334.09
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5334.09
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31202520 kB
MemAvailable: 31854664 kB
Buffers: 106872 kB
Cached: 834740 kB
SwapCached: 32284 kB
Active: 633316 kB
Inactive: 345188 kB
Active(anon): 5272 kB
Inactive(anon): 80732 kB
Active(file): 628044 kB
Inactive(file): 264456 kB
Unevictable: 109416 kB
Mlocked: 109416 kB
SwapTotal: 67108860 kB
SwapFree: 66977424 kB
Dirty: 26068 kB
Writeback: 16 kB
AnonPages: 115644 kB
Mapped: 48268 kB
Shmem: 40496 kB
Slab: 181312 kB
SReclaimable: 150956 kB
SUnreclaim: 30356 kB
KernelStack: 3424 kB
PageTables: 6028 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 498492 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 69632 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 124288 kB
DirectMap2M: 33421312 kB
Free space on /tmp at the end= 58988 MiB
End job on node104 at 2019-09-17 09:37:13