Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Choco-solver 4.0.7b par (e747e1e) | SAT (TO) | 20 | 19940.2 | 2520.11 |
| Name | Rlfap/Rlfap-opt/ Rlfap-graph-01-opt_c18.xml |
| MD5SUM | 19ea5b9da6c92ab0a6dd9deb2e409c18 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 20 |
| Best CPU time to get the best result obtained on this benchmark | 19940.2 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 200 |
| Number of constraints | 1134 |
| Number of domains | 7 |
| Minimum domain size | 6 |
| Maximum domain size | 44 |
| Distribution of domain sizes | [{"size":6,"count":18},{"size":22,"count":28},{"size":24,"count":16},{"size":36,"count":24},{"size":42,"count":34},{"size":44,"count":80}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 23 |
| Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":1},{"degree":4,"count":4},{"degree":5,"count":11},{"degree":6,"count":22},{"degree":7,"count":22},{"degree":8,"count":19},{"degree":9,"count":21},{"degree":10,"count":12},{"degree":11,"count":11},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":1},{"degree":18,"count":8},{"degree":19,"count":13},{"degree":20,"count":16},{"degree":21,"count":18},{"degree":22,"count":14},{"degree":23,"count":3}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":1134}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 1134 |
| Distribution of constraint types | [{"type":"intension","count":1134}] |
| Optimization problem | YES |
| Type of objective | min NVALUES |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297869-1532705843.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297869-1532705843.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 6.38/1.84 c solve instance... 13.18/2.76 o 34 16.23/3.17 o 32 28.46/6.22 o 30 29.93/6.47 o 28 187.66/27.20 o 26 381.99/52.89 o 24 1475.35/191.69 o 22 2801.31/359.35 o 20 19939.46/2520.09 s SATISFIABLE 19939.46/2520.09 v <instantiation> 19939.46/2520.09 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] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] </list> 19939.46/2520.09 v <values>268 30 16 254 86 324 380 142 142 380 694 456 380 142 86 324 324 86 100 338 254 16 380 142 30 268 428 666 296 58 142 380 30 268 296 58 156 394 254 16 100 338 324 86 394 156 142 380 58 296 58 296 324 86 30 268 254 16 254 16 394 156 16 254 142 380 58 296 58 296 296 58 380 142 324 86 324 86 16 254 254 16 324 86 296 58 324 86 100 338 156 394 30 268 666 428 380 142 268 30 254 16 30 268 30 268 86 324 58 296 380 142 296 58 268 30 16 254 254 16 478 240 142 380 254 16 58 296 324 86 268 30 694 456 142 380 58 296 86 324 296 58 142 380 666 428 100 338 456 694 156 394 394 156 142 380 394 156 666 428 156 394 380 142 694 456 428 666 338 100 100 338 16 254 16 254 16 254 296 58 58 296 338 100 16 254 142 380 268 30 296 58 142 380 394 156 86 324 100 338 </values> 19939.46/2520.09 v </instantiation> 19939.46/2520.09 c Unexpected resolution interruption!
OK 20
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 (9576 MiB free)
memory of node 1: 16384 MiB (10182 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297869-1532705843/watcher-4297869-1532705843 -o /tmp/evaluation-result-4297869-1532705843/solver-4297869-1532705843 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1532703315-18354 --watchdog 2580 HOME/xcsp3-exec -seed 1698031425 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297869-1532705843.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
Current StackSize limit: 8192 KiB
solver pid=19143, runsolver pid=19140
[startup+0.100111 s]*
/proc/loadavg: 6.61 6.81 6.48 2/199 19164
/proc/meminfo: memFree=20218520/32770624 swapFree=67108860/67108860
[pid=19143] ppid=19140 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19143/stat : 19143 (xcsp3-exec) S 19140 19143 18327 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88147470 115843072 363 33554432000 4194304 5098028 140730025352896 140730025351000 139938695344764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39837696 140730025354293 140730025354496 140730025354496 140730025357258 0
/proc/19143/statm: 28282 363 306 221 0 87 0
[pid=19145] ppid=19143 vsize=26104152 memory=26912 CPUtime=0.11 cores=0-7
/proc/19145/stat : 19145 (java) S 19143 19143 18327 0 -1 1077944320 5657 0 0 0 10 1 0 0 20 0 20 0 88147470 26730651648 6728 33554432000 4194304 4196468 140720769231632 140720769214176 139902107848439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
/proc/19145/statm: 6526038 6728 2997 1 0 6488315 0
[pid=19145/tid=19146] ppid=19143 vsize=26104152 memory=7754523941517827739 CPUtime=0.09 cores=0-7
/proc/19145/task/19146/stat : 19146 (java) R 19143 19143 18327 0 -1 4202560 3655 0 0 0 8 1 0 0 20 0 20 0 88147471 26730651648 6728 33554432000 4194304 4196468 140720769231632 139902112073744 139902107860374 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19147] ppid=19143 vsize=26104152 memory=732370097564539877 CPUtime=0 cores=0-7
/proc/19145/task/19147/stat : 19147 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147471 26730651648 6728 33554432000 4194304 4196468 140720769231632 139902060469264 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19148] ppid=19143 vsize=26104152 memory=139959227086464 CPUtime=0 cores=0-7
/proc/19145/task/19148/stat : 19148 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147471 26730651648 6728 33554432000 4194304 4196468 140720769231632 139902059416720 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19149] ppid=19143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19149/stat : 19149 (java) S 19143 19143 18327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88147471 26730651648 6728 33554432000 4194304 4196468 140720769231632 139902058363664 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19150] ppid=19143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19150/stat : 19150 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147471 26730651648 6728 33554432000 4194304 4196468 140720769231632 139902057311120 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19151] ppid=19143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19151/stat : 19151 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147471 26730651648 6728 33554432000 4194304 4196468 140720769231632 139902056258064 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19152] ppid=19143 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/19145/task/19152/stat : 19152 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147471 26730651648 6728 33554432000 4194304 4196468 140720769231632 139902055205520 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19153] ppid=19143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19153/stat : 19153 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147471 26730651648 6728 33554432000 4194304 4196468 140720769231632 139902054152464 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19154] ppid=19143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19154/stat : 19154 (java) S 19143 19143 18327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88147472 26730651648 6728 33554432000 4194304 4196468 140720769231632 139902053099920 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19155] ppid=19143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19155/stat : 19155 (java) S 19143 19143 18327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88147473 26730651648 6728 33554432000 4194304 4196468 140720769231632 139900849969904 139902107859586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19156] ppid=19143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19156/stat : 19156 (java) S 19143 19143 18327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88147473 26730651648 6728 33554432000 4194304 4196468 140720769231632 139900848916128 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19157] ppid=19143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19157/stat : 19157 (java) S 19143 19143 18327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88147474 26730651648 6728 33554432000 4194304 4196468 140720769231632 139900847863024 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19158] ppid=19143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19158/stat : 19158 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147476 26730651648 6728 33554432000 4194304 4196468 140720769231632 139900846811600 139902107867035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19159] ppid=19143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19159/stat : 19159 (java) S 19143 19143 18327 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 88147476 26730651648 6728 33554432000 4194304 4196468 140720769231632 139900845758704 139902107859586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19160] ppid=19143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19160/stat : 19160 (java) S 19143 19143 18327 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 88147476 26730651648 6728 33554432000 4194304 4196468 140720769231632 139900844706160 139902107859586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19161] ppid=19143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19161/stat : 19161 (java) S 19143 19143 18327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88147476 26730651648 6728 33554432000 4194304 4196468 140720769231632 139900843653104 139902107859586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19162] ppid=19143 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/19145/task/19162/stat : 19162 (java) R 19143 19143 18327 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 20 0 88147476 26730651648 6728 33554432000 4194304 4196468 140720769231632 139900506597488 139902088041389 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19163] ppid=19143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19163/stat : 19163 (java) S 19143 19143 18327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88147476 26730651648 6728 33554432000 4194304 4196468 140720769231632 139900505545696 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19164] ppid=19143 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/19145/task/19164/stat : 19164 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147476 26730651648 6728 33554432000 4194304 4196468 140720769231632 139900504493232 139902107859586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28364 KiB
[startup+0.2104 s]*
/proc/loadavg: 6.61 6.81 6.48 3/199 19164
/proc/meminfo: memFree=20207356/32770624 swapFree=67108860/67108860
[pid=19143] ppid=19140 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19143/stat : 19143 (xcsp3-exec) S 19140 19143 18327 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88147470 115843072 363 33554432000 4194304 5098028 140730025352896 140730025351000 139938695344764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39837696 140730025354293 140730025354496 140730025354496 140730025357258 0
/proc/19143/statm: 28282 363 306 221 0 87 0
[pid=19145] ppid=19143 vsize=26104152 memory=39252 CPUtime=0.33 cores=0-7
/proc/19145/stat : 19145 (java) S 19143 19143 18327 0 -1 1077944320 8401 0 0 0 31 2 0 0 20 0 20 0 88147470 26730651648 9813 33554432000 4194304 4196468 140720769231632 140720769214176 139902107848439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
/proc/19145/statm: 6526038 9813 3192 1 0 6488315 0
[pid=19145/tid=19146] ppid=19143 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7
/proc/19145/task/19146/stat : 19146 (java) R 19143 19143 18327 0 -1 4202560 5581 0 0 0 18 1 0 0 20 0 20 0 88147471 26730651648 9813 33554432000 4194304 4196468 140720769231632 139902112083424 139902091928926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19147] ppid=19143 vsize=26104152 memory=732370097564539877 CPUtime=0 cores=0-7
/proc/19145/task/19147/stat : 19147 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147471 26730651648 9813 33554432000 4194304 4196468 140720769231632 139902060469264 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19148] ppid=19143 vsize=26104152 memory=139959227086464 CPUtime=0 cores=0-7
/proc/19145/task/19148/stat : 19148 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147471 26730651648 9813 33554432000 4194304 4196468 140720769231632 139902059416720 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19149] ppid=19143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19149/stat : 19149 (java) S 19143 19143 18327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88147471 26730651648 9813 33554432000 4194304 4196468 140720769231632 139902058363664 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19150] ppid=19143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19150/stat : 19150 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147471 26730651648 9813 33554432000 4194304 4196468 140720769231632 139902057311120 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19151] ppid=19143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19151/stat : 19151 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147471 26730651648 9813 33554432000 4194304 4196468 140720769231632 139902056258064 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19152] ppid=19143 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/19145/task/19152/stat : 19152 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147471 26730651648 9813 33554432000 4194304 4196468 140720769231632 139902055205520 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19153] ppid=19143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19153/stat : 19153 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147471 26730651648 9813 33554432000 4194304 4196468 140720769231632 139902054152464 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19154] ppid=19143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19154/stat : 19154 (java) S 19143 19143 18327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88147472 26730651648 9813 33554432000 4194304 4196468 140720769231632 139902053099920 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19155] ppid=19143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19155/stat : 19155 (java) S 19143 19143 18327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88147473 26730651648 9813 33554432000 4194304 4196468 140720769231632 139900849969904 139902107859586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19156] ppid=19143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19156/stat : 19156 (java) S 19143 19143 18327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88147473 26730651648 9813 33554432000 4194304 4196468 140720769231632 139900848916128 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19157] ppid=19143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19157/stat : 19157 (java) S 19143 19143 18327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88147474 26730651648 9813 33554432000 4194304 4196468 140720769231632 139900847863024 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19158] ppid=19143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19158/stat : 19158 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147476 26730651648 9813 33554432000 4194304 4196468 140720769231632 139900846811600 139902107867035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19159] ppid=19143 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/19145/task/19159/stat : 19159 (java) S 19143 19143 18327 0 -1 1077944384 412 0 0 0 1 0 0 0 20 0 20 0 88147476 26730651648 9813 33554432000 4194304 4196468 140720769231632 139900845758704 139902107859586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19160] ppid=19143 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/19145/task/19160/stat : 19160 (java) S 19143 19143 18327 0 -1 1077944384 213 0 0 0 1 0 0 0 20 0 20 0 88147476 26730651648 9813 33554432000 4194304 4196468 140720769231632 139900844706160 139902107859586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19161] ppid=19143 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/19145/task/19161/stat : 19161 (java) S 19143 19143 18327 0 -1 1077944384 132 0 0 0 1 0 0 0 20 0 20 0 88147476 26730651648 9813 33554432000 4194304 4196468 140720769231632 139900843653104 139902107859586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19162] ppid=19143 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7
/proc/19145/task/19162/stat : 19162 (java) S 19143 19143 18327 0 -1 1077944384 756 0 0 0 7 0 0 0 20 0 20 0 88147476 26730651648 9813 33554432000 4194304 4196468 140720769231632 139900506597488 139902107859586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19163] ppid=19143 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19163/stat : 19163 (java) S 19143 19143 18327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88147476 26730651648 9813 33554432000 4194304 4196468 140720769231632 139900505545696 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19164] ppid=19143 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/19145/task/19164/stat : 19164 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147476 26730651648 9813 33554432000 4194304 4196468 140720769231632 139900504493232 139902107859586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40704 KiB
[startup+0.310329 s]*
/proc/loadavg: 6.61 6.81 6.48 3/199 19164
/proc/meminfo: memFree=20200904/32770624 swapFree=67108860/67108860
[pid=19143] ppid=19140 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19143/stat : 19143 (xcsp3-exec) S 19140 19143 18327 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88147470 115843072 363 33554432000 4194304 5098028 140730025352896 140730025351000 139938695344764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39837696 140730025354293 140730025354496 140730025354496 140730025357258 0
/proc/19143/statm: 28282 363 306 221 0 87 0
[pid=19145] ppid=19143 vsize=26108408 memory=46192 CPUtime=0.5 cores=0-7
/proc/19145/stat : 19145 (java) S 19143 19143 18327 0 -1 1077944320 9277 0 0 0 47 3 0 0 20 0 20 0 88147470 26735009792 11548 33554432000 4194304 4196468 140720769231632 140720769214176 139902107848439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
/proc/19145/statm: 6527102 11548 3224 1 0 6488315 0
[pid=19145/tid=19146] ppid=19143 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/19145/task/19146/stat : 19146 (java) R 19143 19143 18327 0 -1 4202560 6287 0 0 0 27 2 0 0 20 0 20 0 88147471 26735009792 11548 33554432000 4194304 4196468 140720769231632 139902112079552 139902107870365 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19147] ppid=19143 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19147/stat : 19147 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147471 26735009792 11548 33554432000 4194304 4196468 140720769231632 139902060469264 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19148] ppid=19143 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19148/stat : 19148 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147471 26735009792 11548 33554432000 4194304 4196468 140720769231632 139902059416720 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19149] ppid=19143 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19149/stat : 19149 (java) S 19143 19143 18327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88147471 26735009792 11548 33554432000 4194304 4196468 140720769231632 139902058363664 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19150] ppid=19143 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19150/stat : 19150 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147471 26735009792 11548 33554432000 4194304 4196468 140720769231632 139902057311120 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19151] ppid=19143 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/19145/task/19151/stat : 19151 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147471 26735009792 11548 33554432000 4194304 4196468 140720769231632 139902056258064 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19152] ppid=19143 vsize=26108408 memory=139959092736943 CPUtime=0 cores=0-7
/proc/19145/task/19152/stat : 19152 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147471 26735009792 11548 33554432000 4194304 4196468 140720769231632 139902055205520 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19153] ppid=19143 vsize=26108408 memory=139959092739248 CPUtime=0 cores=0-7
/proc/19145/task/19153/stat : 19153 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147471 26735009792 11548 33554432000 4194304 4196468 140720769231632 139902054152464 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19154] ppid=19143 vsize=26108408 memory=139959092741552 CPUtime=0 cores=0-7
/proc/19145/task/19154/stat : 19154 (java) S 19143 19143 18327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88147472 26735009792 11548 33554432000 4194304 4196468 140720769231632 139902053099920 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19155] ppid=19143 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19155/stat : 19155 (java) S 19143 19143 18327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88147473 26735009792 11548 33554432000 4194304 4196468 140720769231632 139900849969904 139902107859586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19156] ppid=19143 vsize=26108408 memory=279918185490064 CPUtime=0 cores=0-7
/proc/19145/task/19156/stat : 19156 (java) S 19143 19143 18327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88147473 26735009792 11548 33554432000 4194304 4196468 140720769231632 139900848916128 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19157] ppid=19143 vsize=26108408 memory=279918185496976 CPUtime=0 cores=0-7
/proc/19145/task/19157/stat : 19157 (java) S 19143 19143 18327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88147474 26735009792 11548 33554432000 4194304 4196468 140720769231632 139900847863024 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19158] ppid=19143 vsize=26108408 memory=279918185438256 CPUtime=0 cores=0-7
/proc/19145/task/19158/stat : 19158 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147476 26735009792 11548 33554432000 4194304 4196468 140720769231632 139900846811600 139902107867035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19159] ppid=19143 vsize=26108408 memory=279918185510800 CPUtime=0.02 cores=0-7
/proc/19145/task/19159/stat : 19159 (java) S 19143 19143 18327 0 -1 1077944384 426 0 0 0 2 0 0 0 20 0 20 0 88147476 26735009792 11548 33554432000 4194304 4196468 140720769231632 139900845758704 139902107859586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19160] ppid=19143 vsize=26108408 memory=279918185517712 CPUtime=0.02 cores=0-7
/proc/19145/task/19160/stat : 19160 (java) S 19143 19143 18327 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 20 0 88147476 26735009792 11548 33554432000 4194304 4196468 140720769231632 139900844706160 139902107859586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19161] ppid=19143 vsize=26108408 memory=279918185515408 CPUtime=0.02 cores=0-7
/proc/19145/task/19161/stat : 19161 (java) S 19143 19143 18327 0 -1 1077944384 132 0 0 0 2 0 0 0 20 0 20 0 88147476 26735009792 11548 33554432000 4194304 4196468 140720769231632 139900843653104 139902107859586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19162] ppid=19143 vsize=26108408 memory=279918185531568 CPUtime=0.12 cores=0-7
/proc/19145/task/19162/stat : 19162 (java) S 19143 19143 18327 0 -1 1077944384 908 0 0 0 12 0 0 0 20 0 20 0 88147476 26735009792 11548 33554432000 4194304 4196468 140720769231632 139900506597488 139902107859586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19163] ppid=19143 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19163/stat : 19163 (java) S 19143 19143 18327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88147476 26735009792 11548 33554432000 4194304 4196468 140720769231632 139900505545696 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19164] ppid=19143 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/19145/task/19164/stat : 19164 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147476 26735009792 11548 33554432000 4194304 4196468 140720769231632 139900504493232 139902107859586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47644 KiB
[startup+0.700963 s]
/proc/loadavg: 6.61 6.81 6.48 5/199 19164
/proc/meminfo: memFree=20178820/32770624 swapFree=67108860/67108860
[pid=19143] ppid=19140 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19143/stat : 19143 (xcsp3-exec) S 19140 19143 18327 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88147470 115843072 363 33554432000 4194304 5098028 140730025352896 140730025351000 139938695344764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39837696 140730025354293 140730025354496 140730025354496 140730025357258 0
/proc/19143/statm: 28282 363 306 221 0 87 0
[pid=19145] ppid=19143 vsize=26110532 memory=95748 CPUtime=1.83 cores=0-7
/proc/19145/stat : 19145 (java) S 19143 19143 18327 0 -1 1077944320 14557 0 0 0 178 5 0 0 20 0 20 0 88147470 26737184768 23937 33554432000 4194304 4196468 140720769231632 140720769214176 139902107848439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
/proc/19145/statm: 6527633 23937 3360 1 0 6488827 0
[pid=19145/tid=19146] ppid=19143 vsize=26110532 memory=279918185826496 CPUtime=0.66 cores=0-7
/proc/19145/task/19146/stat : 19146 (java) R 19143 19143 18327 0 -1 4202560 7146 0 0 0 63 3 0 0 20 0 20 0 88147471 26737184768 23937 33554432000 4194304 4196468 140720769231632 139902112084256 139902107860374 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19147] ppid=19143 vsize=26110532 memory=5098126181531 CPUtime=0 cores=0-7
/proc/19145/task/19147/stat : 19147 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147471 26737184768 23937 33554432000 4194304 4196468 140720769231632 139902060469264 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19148] ppid=19143 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19148/stat : 19148 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88147471 26737184768 23937 33554432000 4194304 4196468 140720769231632 139902059416720 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19149] ppid=19143 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/19145/task/19149/stat : 19149 (java) S 19143 19143 18327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88147471 26737184768 23937 33554432000 4194304 4196468 140720769231632 139902058363664 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
################
# More data... #
################
[pid=19145/tid=19244] ppid=19143 vsize=26645092 memory=1452 CPUtime=2050.24 cores=0-7
/proc/19145/task/19244/stat : 19244 (java) R 19143 19143 18327 0 -1 4202560 42126 0 0 0 205006 18 0 0 20 0 28 0 88183406 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900495899616 139901737315149 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
Current children cumulated CPU time: 19321.9 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 810700 KiB
[startup+2502.3 s]
/proc/loadavg: 8.76 8.73 8.34 10/207 19292
/proc/meminfo: memFree=19437252/32770624 swapFree=67108860/67108860
[pid=19143] ppid=19140 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19143/stat : 19143 (xcsp3-exec) S 19140 19143 18327 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88147470 115843072 363 33554432000 4194304 5098028 140730025352896 140730025351000 139938695344764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39837696 140730025354293 140730025354496 140730025354496 140730025357258 0
/proc/19143/statm: 28282 363 306 221 0 87 0
[pid=19145] ppid=19143 vsize=26645092 memory=809248 CPUtime=19798.7 cores=0-7
/proc/19145/stat : 19145 (java) S 19143 19143 18327 0 -1 1077944320 768795 0 0 0 1978870 1000 0 0 20 0 28 0 88147470 27284574208 202312 33554432000 4194304 4196468 140720769231632 140720769214176 139902107848439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
/proc/19145/statm: 6661273 202312 3463 1 0 6622467 0
[pid=19145/tid=19146] ppid=19143 vsize=26645092 memory=809248 CPUtime=1.78 cores=0-7
/proc/19145/task/19146/stat : 19146 (java) S 19143 19143 18327 0 -1 1077944384 9396 0 0 0 172 6 0 0 20 0 28 0 88147471 27284574208 202312 33554432000 4194304 4196468 140720769231632 139902112089216 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19147] ppid=19143 vsize=26645092 memory=809248 CPUtime=11.23 cores=0-7
/proc/19145/task/19147/stat : 19147 (java) S 19143 19143 18327 0 -1 1077944384 28689 0 0 0 1102 21 0 0 20 0 28 0 88147471 27284574208 202312 33554432000 4194304 4196468 140720769231632 139902060469264 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19148] ppid=19143 vsize=26645092 memory=4140 CPUtime=11.18 cores=0-7
/proc/19145/task/19148/stat : 19148 (java) S 19143 19143 18327 0 -1 1077944384 30805 0 0 0 1095 23 0 0 20 0 28 0 88147471 27284574208 202312 33554432000 4194304 4196468 140720769231632 139902059416720 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19149] ppid=19143 vsize=26645092 memory=25588 CPUtime=11.19 cores=0-7
/proc/19145/task/19149/stat : 19149 (java) S 19143 19143 18327 0 -1 1077944384 22420 0 0 0 1096 23 0 0 20 0 28 0 88147471 27284574208 202312 33554432000 4194304 4196468 140720769231632 139902058363664 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19150] ppid=19143 vsize=26645092 memory=809248 CPUtime=11.26 cores=0-7
/proc/19145/task/19150/stat : 19150 (java) S 19143 19143 18327 0 -1 1077944384 24379 0 0 0 1105 21 0 0 20 0 28 0 88147471 27284574208 202312 33554432000 4194304 4196468 140720769231632 139902057311120 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19151] ppid=19143 vsize=26645092 memory=809248 CPUtime=11.27 cores=0-7
/proc/19145/task/19151/stat : 19151 (java) S 19143 19143 18327 0 -1 1077944384 25875 0 0 0 1101 26 0 0 20 0 28 0 88147471 27284574208 202312 33554432000 4194304 4196468 140720769231632 139902056258064 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19152] ppid=19143 vsize=26645092 memory=1428 CPUtime=11.27 cores=0-7
/proc/19145/task/19152/stat : 19152 (java) S 19143 19143 18327 0 -1 1077944384 25887 0 0 0 1103 24 0 0 20 0 28 0 88147471 27284574208 202312 33554432000 4194304 4196468 140720769231632 139902055205520 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19153] ppid=19143 vsize=26645092 memory=1196 CPUtime=11.26 cores=0-7
/proc/19145/task/19153/stat : 19153 (java) S 19143 19143 18327 0 -1 1077944384 28249 0 0 0 1104 22 0 0 20 0 28 0 88147471 27284574208 202312 33554432000 4194304 4196468 140720769231632 139902054152464 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19154] ppid=19143 vsize=26645092 memory=809248 CPUtime=11.21 cores=0-7
/proc/19145/task/19154/stat : 19154 (java) S 19143 19143 18327 0 -1 1077944384 24861 0 0 0 1101 20 0 0 20 0 28 0 88147472 27284574208 202312 33554432000 4194304 4196468 140720769231632 139902053099920 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19155] ppid=19143 vsize=26645092 memory=0 CPUtime=10.16 cores=0-7
/proc/19145/task/19155/stat : 19155 (java) S 19143 19143 18327 0 -1 1077944384 94101 0 0 0 500 516 0 0 20 0 28 0 88147473 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900849969904 139902107859586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19156] ppid=19143 vsize=26645092 memory=33 CPUtime=0 cores=0-7
/proc/19145/task/19156/stat : 19156 (java) S 19143 19143 18327 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 88147473 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900848916192 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19157] ppid=19143 vsize=26645092 memory=7450733233339591525 CPUtime=0 cores=0-7
/proc/19145/task/19157/stat : 19157 (java) S 19143 19143 18327 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 28 0 88147474 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900847863040 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19158] ppid=19143 vsize=26645092 memory=4616 CPUtime=0 cores=0-7
/proc/19145/task/19158/stat : 19158 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88147476 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900846811600 139902107867035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19159] ppid=19143 vsize=26645092 memory=12032 CPUtime=5.04 cores=0-7
/proc/19145/task/19159/stat : 19159 (java) S 19143 19143 18327 0 -1 1077944384 29935 0 0 0 501 3 0 0 20 0 28 0 88147476 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900845758704 139902107859586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19160] ppid=19143 vsize=26645092 memory=12032 CPUtime=4.81 cores=0-7
/proc/19145/task/19160/stat : 19160 (java) S 19143 19143 18327 0 -1 1077944384 36170 0 0 0 477 4 0 0 20 0 28 0 88147476 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900844706160 139902107859586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19161] ppid=19143 vsize=26645092 memory=1008 CPUtime=5.04 cores=0-7
/proc/19145/task/19161/stat : 19161 (java) S 19143 19143 18327 0 -1 1077944384 31638 0 0 0 498 6 0 0 20 0 28 0 88147476 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900843653104 139902107859586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19162] ppid=19143 vsize=26645092 memory=809248 CPUtime=1.13 cores=0-7
/proc/19145/task/19162/stat : 19162 (java) S 19143 19143 18327 0 -1 1077944384 29547 0 0 0 108 5 0 0 20 0 28 0 88147476 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900506597488 139902107859586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19163] ppid=19143 vsize=26645092 memory=139959093109811 CPUtime=0 cores=0-7
/proc/19145/task/19163/stat : 19163 (java) S 19143 19143 18327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88147476 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900505545696 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19164] ppid=19143 vsize=26645092 memory=1452 CPUtime=0.9 cores=0-7
/proc/19145/task/19164/stat : 19164 (java) S 19143 19143 18327 0 -1 1077944384 7353 0 0 0 22 68 0 0 20 0 28 0 88147476 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900504493232 139902107859586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19237] ppid=19143 vsize=26645092 memory=1452 CPUtime=2114.25 cores=0-7
/proc/19145/task/19237/stat : 19237 (java) R 19143 19143 18327 0 -1 4202560 19756 0 0 0 211412 13 0 0 20 0 28 0 88183406 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900490640536 139901742254472 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19238] ppid=19143 vsize=26645092 memory=4140 CPUtime=2108.85 cores=0-7
/proc/19145/task/19238/stat : 19238 (java) R 19143 19143 18327 0 -1 4202560 11029 0 0 0 210875 10 0 0 20 0 28 0 88183406 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900491694160 139901742327833 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19239] ppid=19143 vsize=26645092 memory=25588 CPUtime=2112.06 cores=0-7
/proc/19145/task/19239/stat : 19239 (java) R 19143 19143 18327 0 -1 4202560 43438 0 0 0 211184 22 0 0 20 0 28 0 88183406 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900487483144 139901740224775 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19240] ppid=19143 vsize=26645092 memory=1296 CPUtime=2116.01 cores=0-7
/proc/19145/task/19240/stat : 19240 (java) R 19143 19143 18327 0 -1 4202560 42909 0 0 0 211566 35 0 0 20 0 28 0 88183406 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900489588920 139901735501822 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19241] ppid=19143 vsize=26645092 memory=1452 CPUtime=2117.19 cores=0-7
/proc/19145/task/19241/stat : 19241 (java) R 19143 19143 18327 0 -1 4202560 19813 0 0 0 211700 19 0 0 20 0 28 0 88183406 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900492749072 139901742254611 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19242] ppid=19143 vsize=26645092 memory=1452 CPUtime=2116.94 cores=0-7
/proc/19145/task/19242/stat : 19242 (java) R 19143 19143 18327 0 -1 4202560 13864 0 0 0 211686 8 0 0 20 0 28 0 88183406 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900486430600 139901739583278 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19243] ppid=19143 vsize=26645092 memory=1452 CPUtime=2108.8 cores=0-7
/proc/19145/task/19243/stat : 19243 (java) R 19143 19143 18327 0 -1 4202560 17973 0 0 0 210866 14 0 0 20 0 28 0 88183406 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900488536080 139901742254611 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19244] ppid=19143 vsize=26645092 memory=2412 CPUtime=2109.36 cores=0-7
/proc/19145/task/19244/stat : 19244 (java) R 19143 19143 18327 0 -1 4202560 43283 0 0 0 210918 18 0 0 20 0 28 0 88183406 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900495896848 139901738781072 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
Current children cumulated CPU time: 19798.7 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 810700 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.61 8.70 8.33 10/207 19292
/proc/meminfo: memFree=19437808/32770624 swapFree=67108860/67108860
[pid=19143] ppid=19140 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19143/stat : 19143 (xcsp3-exec) S 19140 19143 18327 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88147470 115843072 363 33554432000 4194304 5098028 140730025352896 140730025351000 139938695344764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39837696 140730025354293 140730025354496 140730025354496 140730025357258 0
/proc/19143/statm: 28282 363 306 221 0 87 0
[pid=19145] ppid=19143 vsize=26645092 memory=809248 CPUtime=19939.5 cores=0-7
/proc/19145/stat : 19145 (java) S 19143 19143 18327 0 -1 1077944320 772333 0 0 0 1992945 1001 0 0 20 0 28 0 88147470 27284574208 202312 33554432000 4194304 4196468 140720769231632 140720769214176 139902107848439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
/proc/19145/statm: 6661273 202312 3463 1 0 6622467 0
[pid=19145/tid=19146] ppid=19143 vsize=26645092 memory=1398720917958146503 CPUtime=1.78 cores=0-7
/proc/19145/task/19146/stat : 19146 (java) S 19143 19143 18327 0 -1 1077944384 9396 0 0 0 172 6 0 0 20 0 28 0 88147471 27284574208 202312 33554432000 4194304 4196468 140720769231632 139902112089216 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19147] ppid=19143 vsize=26645092 memory=-7003737579269690708 CPUtime=11.31 cores=0-7
/proc/19145/task/19147/stat : 19147 (java) S 19143 19143 18327 0 -1 1077944384 28732 0 0 0 1110 21 0 0 20 0 28 0 88147471 27284574208 202312 33554432000 4194304 4196468 140720769231632 139902060469264 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19148] ppid=19143 vsize=26645092 memory=1008 CPUtime=11.25 cores=0-7
/proc/19145/task/19148/stat : 19148 (java) S 19143 19143 18327 0 -1 1077944384 31187 0 0 0 1102 23 0 0 20 0 28 0 88147471 27284574208 202312 33554432000 4194304 4196468 140720769231632 139902059416720 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19149] ppid=19143 vsize=26645092 memory=792 CPUtime=11.26 cores=0-7
/proc/19145/task/19149/stat : 19149 (java) S 19143 19143 18327 0 -1 1077944384 22542 0 0 0 1103 23 0 0 20 0 28 0 88147471 27284574208 202312 33554432000 4194304 4196468 140720769231632 139902058363664 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19150] ppid=19143 vsize=26645092 memory=1716 CPUtime=11.34 cores=0-7
/proc/19145/task/19150/stat : 19150 (java) S 19143 19143 18327 0 -1 1077944384 24450 0 0 0 1113 21 0 0 20 0 28 0 88147471 27284574208 202312 33554432000 4194304 4196468 140720769231632 139902057311120 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19151] ppid=19143 vsize=26645092 memory=1952 CPUtime=11.35 cores=0-7
/proc/19145/task/19151/stat : 19151 (java) S 19143 19143 18327 0 -1 1077944384 25929 0 0 0 1109 26 0 0 20 0 28 0 88147471 27284574208 202312 33554432000 4194304 4196468 140720769231632 139902056258064 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19152] ppid=19143 vsize=26645092 memory=8580 CPUtime=11.34 cores=0-7
/proc/19145/task/19152/stat : 19152 (java) S 19143 19143 18327 0 -1 1077944384 26083 0 0 0 1110 24 0 0 20 0 28 0 88147471 27284574208 202312 33554432000 4194304 4196468 140720769231632 139902055205520 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19153] ppid=19143 vsize=26645092 memory=1452 CPUtime=11.33 cores=0-7
/proc/19145/task/19153/stat : 19153 (java) S 19143 19143 18327 0 -1 1077944384 28612 0 0 0 1111 22 0 0 20 0 28 0 88147471 27284574208 202312 33554432000 4194304 4196468 140720769231632 139902054152464 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19154] ppid=19143 vsize=26645092 memory=809248 CPUtime=11.28 cores=0-7
/proc/19145/task/19154/stat : 19154 (java) S 19143 19143 18327 0 -1 1077944384 25058 0 0 0 1108 20 0 0 20 0 28 0 88147472 27284574208 202312 33554432000 4194304 4196468 140720769231632 139902053099920 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19155] ppid=19143 vsize=26645092 memory=2412 CPUtime=10.19 cores=0-7
/proc/19145/task/19155/stat : 19155 (java) S 19143 19143 18327 0 -1 1077944384 94593 0 0 0 502 517 0 0 20 0 28 0 88147473 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900849969904 139902107859586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19156] ppid=19143 vsize=26645092 memory=1724 CPUtime=0 cores=0-7
/proc/19145/task/19156/stat : 19156 (java) S 19143 19143 18327 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 88147473 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900848916192 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19157] ppid=19143 vsize=26645092 memory=1228 CPUtime=0 cores=0-7
/proc/19145/task/19157/stat : 19157 (java) S 19143 19143 18327 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 28 0 88147474 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900847863040 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19158] ppid=19143 vsize=26645092 memory=1428 CPUtime=0 cores=0-7
/proc/19145/task/19158/stat : 19158 (java) S 19143 19143 18327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88147476 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900846811600 139902107867035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19159] ppid=19143 vsize=26645092 memory=1196 CPUtime=5.04 cores=0-7
/proc/19145/task/19159/stat : 19159 (java) S 19143 19143 18327 0 -1 1077944384 29939 0 0 0 501 3 0 0 20 0 28 0 88147476 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900845758704 139902107859586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19160] ppid=19143 vsize=26645092 memory=5788 CPUtime=4.81 cores=0-7
/proc/19145/task/19160/stat : 19160 (java) S 19143 19143 18327 0 -1 1077944384 36174 0 0 0 477 4 0 0 20 0 28 0 88147476 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900844706160 139902107859586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19161] ppid=19143 vsize=26645092 memory=6791534058613427641 CPUtime=5.04 cores=0-7
/proc/19145/task/19161/stat : 19161 (java) S 19143 19143 18327 0 -1 1077944384 31645 0 0 0 498 6 0 0 20 0 28 0 88147476 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900843653104 139902107859586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19162] ppid=19143 vsize=26645092 memory=1398720917958146503 CPUtime=1.13 cores=0-7
/proc/19145/task/19162/stat : 19162 (java) S 19143 19143 18327 0 -1 1077944384 29551 0 0 0 108 5 0 0 20 0 28 0 88147476 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900506597488 139902107859586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19163] ppid=19143 vsize=26645092 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/19145/task/19163/stat : 19163 (java) S 19143 19143 18327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88147476 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900505545696 139902107858645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19164] ppid=19143 vsize=26645092 memory=1568 CPUtime=0.92 cores=0-7
/proc/19145/task/19164/stat : 19164 (java) S 19143 19143 18327 0 -1 1077944384 7382 0 0 0 23 69 0 0 20 0 28 0 88147476 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900504493232 139902107859586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19237] ppid=19143 vsize=26645092 memory=84 CPUtime=2131.82 cores=0-7
/proc/19145/task/19237/stat : 19237 (java) R 19143 19143 18327 0 -1 4202560 19855 0 0 0 213169 13 0 0 20 0 28 0 88183406 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900490640336 139901735502715 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19238] ppid=19143 vsize=26645092 memory=-8412656567318647667 CPUtime=2126.31 cores=0-7
/proc/19145/task/19238/stat : 19238 (java) R 19143 19143 18327 0 -1 4202560 11126 0 0 0 212621 10 0 0 20 0 28 0 88183406 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900491694336 139901743637338 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19239] ppid=19143 vsize=26645092 memory=-8341965534556230502 CPUtime=2129.58 cores=0-7
/proc/19145/task/19239/stat : 19239 (java) R 19143 19143 18327 0 -1 4202560 43864 0 0 0 212936 22 0 0 20 0 28 0 88183406 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900487486008 139901741146080 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19240] ppid=19143 vsize=26645092 memory=9047017150487036571 CPUtime=2133.46 cores=0-7
/proc/19145/task/19240/stat : 19240 (java) R 19143 19143 18327 0 -1 4202560 43108 0 0 0 213311 35 0 0 20 0 28 0 88183406 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900489588560 139901741865886 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19241] ppid=19143 vsize=26645092 memory=792 CPUtime=2134.79 cores=0-7
/proc/19145/task/19241/stat : 19241 (java) R 19143 19143 18327 0 -1 4202560 19921 0 0 0 213460 19 0 0 20 0 28 0 88183406 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900492746456 139901742254611 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19242] ppid=19143 vsize=26645092 memory=1716 CPUtime=2134.54 cores=0-7
/proc/19145/task/19242/stat : 19242 (java) R 19143 19143 18327 0 -1 4202560 13974 0 0 0 213446 8 0 0 20 0 28 0 88183406 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900486430464 139901742254535 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19243] ppid=19143 vsize=26645092 memory=1952 CPUtime=2126.28 cores=0-7
/proc/19145/task/19243/stat : 19243 (java) R 19143 19143 18327 0 -1 4202560 18117 0 0 0 212614 14 0 0 20 0 28 0 88183406 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900488536032 139901732469127 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
[pid=19145/tid=19244] ppid=19143 vsize=26645092 memory=8580 CPUtime=2126.81 cores=0-7
/proc/19145/task/19244/stat : 19244 (java) R 19143 19143 18327 0 -1 4202560 43670 0 0 0 212663 18 0 0 20 0 28 0 88183406 27284574208 202312 33554432000 4194304 4196468 140720769231632 139900495900336 139901731678356 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 29364224 140720769238145 140720769238317 140720769238317 140720769241039 0
Current children cumulated CPU time: 19939.5 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 810700 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 19143 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00237 s, system=0 s
[startup+2520.11 s]
# the end of solver process 19145 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19930.2 s, system=10.026 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2520.11
CPU time (s): 19940.2
CPU user time (s): 19930.2
CPU system time (s): 10.026
CPU usage (%): 791.244
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 2281040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19930.2
system time used= 10.026
maximum resident set size= 2297540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 773262
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 249394
involuntary context switches= 213921
# summary of solver processes directly reported to runsolver:
# pid: 19143,19145
# total CPU time (s): 19940.2
# total CPU user time (s): 19930.2
# total CPU system time (s): 10.026
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.6683 second user time and 25.8185 second system time
The end
Begin job on node103 at 2018-07-27 17:37:23 IDJOB=4297869 IDBENCH=141197 IDSOLVER=2760 FILE ID=node103/4297869-1532705843 RUNJOBID= node103-1532703315-18354 PBS_JOBID= 21022302 Free space on /tmp= 56536 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-01-opt_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297869-1532705843/watcher-4297869-1532705843 -o /tmp/evaluation-result-4297869-1532705843/solver-4297869-1532705843 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1532703315-18354 --watchdog 2580 HOME/xcsp3-exec -seed 1698031425 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297869-1532705843.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 19ea5b9da6c92ab0a6dd9deb2e409c18 RANDOM SEED=1698031425 node103.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 : 5333.48 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 : 5333.48 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 : 5333.48 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 : 5333.48 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: 20233648 kB MemAvailable: 31926848 kB Buffers: 296884 kB Cached: 11580548 kB SwapCached: 0 kB Active: 3916588 kB Inactive: 8014948 kB Active(anon): 56672 kB Inactive(anon): 25180 kB Active(file): 3859916 kB Inactive(file): 7989768 kB Unevictable: 7124 kB Mlocked: 7124 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 21828 kB Writeback: 0 kB AnonPages: 72752 kB Mapped: 41588 kB Shmem: 25228 kB Slab: 299480 kB SReclaimable: 271976 kB SUnreclaim: 27504 kB KernelStack: 3520 kB PageTables: 5160 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324268 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 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= 56516 MiB End job on node103 at 2018-07-27 18:19:23