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.5 par (2017-08-18) | SAT (TO) | 85 | 19989.9 | 2520.1399 |
| Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-9.xml |
| MD5SUM | 00e934fa2b5b2efae5113ca45f948426 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 78 |
| Best CPU time to get the best result obtained on this benchmark | 2400.1 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 250 |
| Number of constraints | 27897 |
| Number of domains | 1 |
| Minimum domain size | 250 |
| Maximum domain size | 250 |
| Distribution of domain sizes | [{"size":250,"count":250}] |
| Minimum variable degree | 208 |
| Maximum variable degree | 235 |
| Distribution of variable degrees | [{"degree":208,"count":1},{"degree":213,"count":1},{"degree":214,"count":3},{"degree":215,"count":5},{"degree":216,"count":4},{"degree":217,"count":8},{"degree":218,"count":9},{"degree":219,"count":11},{"degree":220,"count":9},{"degree":221,"count":15},{"degree":222,"count":19},{"degree":223,"count":19},{"degree":224,"count":26},{"degree":225,"count":23},{"degree":226,"count":10},{"degree":227,"count":22},{"degree":228,"count":17},{"degree":229,"count":21},{"degree":230,"count":10},{"degree":231,"count":6},{"degree":232,"count":7},{"degree":233,"count":1},{"degree":234,"count":1},{"degree":235,"count":2}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":27897}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 27897 |
| Distribution of constraint types | [{"type":"intension","count":27897}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280391-1503121001.xml" -tl '20160s' -p 8 -x 0 0.10/0.15 c [HOME/instance-4280391-1503121001.xml, -tl, 20160s, -p, 8, -x, 0] 0.10/0.21 c 8 solvers in parallel 0.32/0.27 c parse instance... 9.17/3.34 c solve instance... 11.08/3.67 o 98 11.75/3.73 o 97 12.38/3.86 o 96 13.14/3.94 o 95 13.94/4.04 o 94 14.66/4.11 o 93 14.66/4.16 o 92 15.28/4.25 o 91 15.28/4.28 o 90 15.95/4.31 o 89 15.95/4.37 o 88 304.50/40.56 o 87 2482.65/313.51 o 86 3567.76/449.50 o 85 19989.24/2520.07 s SATISFIABLE 19989.24/2520.07 v <instantiation> 19989.24/2520.07 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] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] </list> 19989.24/2520.07 v <values>10 18 10 22 50 32 13 71 6 8 70 31 5 26 15 29 22 75 49 78 17 37 20 6 2 58 24 45 32 3 9 0 43 56 55 53 54 66 46 21 4 75 44 65 76 61 64 18 30 83 12 46 19 17 29 21 23 7 26 25 19 73 31 43 70 41 65 43 77 12 60 56 66 47 33 69 7 47 73 4 67 56 77 58 28 61 60 80 68 53 72 22 5 9 9 25 30 81 42 72 49 85 62 27 42 54 59 51 44 74 52 24 1 47 45 82 34 42 38 50 37 51 16 20 84 41 38 16 63 52 58 13 37 79 26 7 11 32 14 57 36 11 76 49 44 27 40 22 39 52 14 12 84 14 8 27 13 16 17 6 61 80 24 65 23 1 69 20 76 33 41 35 33 10 75 82 3 35 48 60 54 2 78 32 48 83 73 85 21 5 79 28 84 45 72 25 57 35 83 60 4 69 74 40 38 71 20 40 71 51 30 2 62 15 23 70 36 11 81 29 59 3 53 30 15 18 34 77 66 39 46 55 0 1 67 68 31 80 39 19 67 63 85 8 34 42 0 81 64 55 </values> 19989.24/2520.07 v </instantiation> 19989.24/2520.07 c Unexpected resolution interruption!
OK 85
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 (10018 MiB free)
memory of node 1: 16384 MiB (12210 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280391-1503121001/watcher-4280391-1503121001 -o /tmp/evaluation-result-4280391-1503121001/solver-4280391-1503121001 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1503120141-18043 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 556944052 HOME/instance-4280391-1503121001.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18061, runsolver pid=18058
Current StackSize limit: 8192 KiB
[startup+0.100108 s]*
/proc/loadavg: 0.92 1.00 1.04 3/200 18082
/proc/meminfo: memFree=22747348/32770624 swapFree=67108860/67108860
[pid=18061] ppid=18058 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18061/stat : 18061 (xcsp3-exec) S 18058 18061 18016 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145181130 9740288 346 33554432000 4194304 5098028 140734180907664 140734180905768 140041927291516 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11329536 140734180910181 140734180910391 140734180910391 140734180913131 0
/proc/18061/statm: 2378 346 289 221 0 87 0
[pid=18063] ppid=18061 vsize=25999808 memory=25592 CPUtime=0.1 cores=0-7
/proc/18063/stat : 18063 (java) S 18061 18061 18016 0 -1 1077944320 5286 0 0 0 9 1 0 0 20 0 20 0 145181130 26623803392 6398 33554432000 4194304 4196468 140724885578768 140724885561312 140589698465527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
/proc/18063/statm: 6499952 6398 2775 1 0 6488269 0
[pid=18063/tid=18064] ppid=18061 vsize=25999808 memory=7682184872503188637 CPUtime=0.08 cores=0-7
/proc/18063/task/18064/stat : 18064 (java) R 18061 18061 18016 0 -1 4202560 3417 0 0 0 8 0 0 0 20 0 20 0 145181131 26623803392 6398 33554432000 4194304 4196468 140724885578768 140589702695680 140589690702654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18065] ppid=18061 vsize=25999808 memory=732370368746007525 CPUtime=0 cores=0-7
/proc/18063/task/18065/stat : 18065 (java) S 18061 18061 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145181132 26623803392 6398 33554432000 4194304 4196468 140724885578768 140589651085584 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18066] ppid=18061 vsize=25999808 memory=140230408554112 CPUtime=0 cores=0-7
/proc/18063/task/18066/stat : 18066 (java) S 18061 18061 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145181132 26623803392 6398 33554432000 4194304 4196468 140724885578768 140589650033040 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18067] ppid=18061 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18067/stat : 18067 (java) S 18061 18061 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145181132 26623803392 6398 33554432000 4194304 4196468 140724885578768 140589648980496 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18068] ppid=18061 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18068/stat : 18068 (java) S 18061 18061 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145181132 26623803392 6398 33554432000 4194304 4196468 140724885578768 140589253655184 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18069] ppid=18061 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18069/stat : 18069 (java) S 18061 18061 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145181132 26623803392 6398 33554432000 4194304 4196468 140724885578768 140589252602640 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18070] ppid=18061 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/18063/task/18070/stat : 18070 (java) S 18061 18061 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145181132 26623803392 6398 33554432000 4194304 4196468 140724885578768 140589251550096 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18071] ppid=18061 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18071/stat : 18071 (java) S 18061 18061 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145181132 26623803392 6398 33554432000 4194304 4196468 140724885578768 140589250497552 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18072] ppid=18061 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18072/stat : 18072 (java) S 18061 18061 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145181132 26623803392 6398 33554432000 4194304 4196468 140724885578768 140589249445008 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18073] ppid=18061 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18073/stat : 18073 (java) S 18061 18061 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145181133 26623803392 6398 33554432000 4194304 4196468 140724885578768 140589027211248 140589698476674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18074] ppid=18061 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18074/stat : 18074 (java) S 18061 18061 18016 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145181134 26623803392 6398 33554432000 4194304 4196468 140724885578768 140589026157472 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18075] ppid=18061 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18075/stat : 18075 (java) S 18061 18061 18016 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145181134 26623803392 6398 33554432000 4194304 4196468 140724885578768 140589025104880 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18076] ppid=18061 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18076/stat : 18076 (java) S 18061 18061 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145181137 26623803392 6398 33554432000 4194304 4196468 140724885578768 140589024053456 140589698484123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18077] ppid=18061 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18077/stat : 18077 (java) R 18061 18061 18016 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 145181137 26623803392 6398 33554432000 4194304 4196468 140724885578768 140589023001072 140589698476674 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18078] ppid=18061 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18078/stat : 18078 (java) R 18061 18061 18016 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 145181137 26623803392 6398 33554432000 4194304 4196468 140724885578768 140589021948528 140589676491348 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18079] ppid=18061 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18079/stat : 18079 (java) S 18061 18061 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145181137 26623803392 6398 33554432000 4194304 4196468 140724885578768 140589020895984 140589698476674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18080] ppid=18061 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18080/stat : 18080 (java) S 18061 18061 18016 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 20 0 145181137 26623803392 6398 33554432000 4194304 4196468 140724885578768 140589019843440 140589698476674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18081] ppid=18061 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18081/stat : 18081 (java) S 18061 18061 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145181137 26623803392 6398 33554432000 4194304 4196468 140724885578768 140589018790112 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18082] ppid=18061 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/18063/task/18082/stat : 18082 (java) S 18061 18061 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145181137 26623803392 6398 33554432000 4194304 4196468 140724885578768 140589017737648 140589698476674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 26976 KiB
[startup+0.210035 s]*
/proc/loadavg: 0.92 1.00 1.04 3/200 18082
/proc/meminfo: memFree=22737720/32770624 swapFree=67108860/67108860
[pid=18061] ppid=18058 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18061/stat : 18061 (xcsp3-exec) S 18058 18061 18016 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145181130 9740288 346 33554432000 4194304 5098028 140734180907664 140734180905768 140041927291516 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11329536 140734180910181 140734180910391 140734180910391 140734180913131 0
/proc/18061/statm: 2378 346 289 221 0 87 0
[pid=18063] ppid=18061 vsize=26004064 memory=38608 CPUtime=0.32 cores=0-7
/proc/18063/stat : 18063 (java) S 18061 18061 18016 0 -1 1077944320 8291 0 0 0 30 2 0 0 20 0 20 0 145181130 26628161536 9652 33554432000 4194304 4196468 140724885578768 140724885561312 140589698465527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
/proc/18063/statm: 6501016 9652 3023 1 0 6488269 0
[pid=18063/tid=18064] ppid=18061 vsize=26004064 memory=0 CPUtime=0.18 cores=0-7
/proc/18063/task/18064/stat : 18064 (java) R 18061 18061 18016 0 -1 4202560 5365 0 0 0 17 1 0 0 20 0 20 0 145181131 26628161536 9652 33554432000 4194304 4196468 140724885578768 140589702701296 140589698487453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18065] ppid=18061 vsize=26004064 memory=280460688115448 CPUtime=0 cores=0-7
/proc/18063/task/18065/stat : 18065 (java) S 18061 18061 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145181132 26628161536 9652 33554432000 4194304 4196468 140724885578768 140589651085584 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18066] ppid=18061 vsize=26004064 memory=140230408554112 CPUtime=0 cores=0-7
/proc/18063/task/18066/stat : 18066 (java) S 18061 18061 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145181132 26628161536 9652 33554432000 4194304 4196468 140724885578768 140589650033040 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18067] ppid=18061 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18067/stat : 18067 (java) S 18061 18061 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145181132 26628161536 9652 33554432000 4194304 4196468 140724885578768 140589648980496 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18068] ppid=18061 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18068/stat : 18068 (java) S 18061 18061 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145181132 26628161536 9652 33554432000 4194304 4196468 140724885578768 140589253655184 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18069] ppid=18061 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18069/stat : 18069 (java) S 18061 18061 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145181132 26628161536 9652 33554432000 4194304 4196468 140724885578768 140589252602640 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18070] ppid=18061 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18063/task/18070/stat : 18070 (java) S 18061 18061 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145181132 26628161536 9652 33554432000 4194304 4196468 140724885578768 140589251550096 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18071] ppid=18061 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18071/stat : 18071 (java) S 18061 18061 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145181132 26628161536 9652 33554432000 4194304 4196468 140724885578768 140589250497552 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18072] ppid=18061 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18072/stat : 18072 (java) S 18061 18061 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145181132 26628161536 9652 33554432000 4194304 4196468 140724885578768 140589249445008 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18073] ppid=18061 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18073/stat : 18073 (java) S 18061 18061 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145181133 26628161536 9652 33554432000 4194304 4196468 140724885578768 140589027211248 140589698476674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18074] ppid=18061 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18074/stat : 18074 (java) S 18061 18061 18016 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145181134 26628161536 9652 33554432000 4194304 4196468 140724885578768 140589026157472 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18075] ppid=18061 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18075/stat : 18075 (java) S 18061 18061 18016 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145181134 26628161536 9652 33554432000 4194304 4196468 140724885578768 140589025104880 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18076] ppid=18061 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18076/stat : 18076 (java) S 18061 18061 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145181137 26628161536 9652 33554432000 4194304 4196468 140724885578768 140589024053456 140589698484123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18077] ppid=18061 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/18063/task/18077/stat : 18077 (java) R 18061 18061 18016 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 20 0 145181137 26628161536 9652 33554432000 4194304 4196468 140724885578768 140589023001072 140589698476674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18078] ppid=18061 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/18063/task/18078/stat : 18078 (java) S 18061 18061 18016 0 -1 1077944384 355 0 0 0 1 0 0 0 20 0 20 0 145181137 26628161536 9652 33554432000 4194304 4196468 140724885578768 140589021948528 140589698476674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18079] ppid=18061 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/18063/task/18079/stat : 18079 (java) S 18061 18061 18016 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 20 0 145181137 26628161536 9652 33554432000 4194304 4196468 140724885578768 140589020895984 140589698476674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18080] ppid=18061 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/18063/task/18080/stat : 18080 (java) R 18061 18061 18016 0 -1 4202560 779 0 0 0 7 0 0 0 20 0 20 0 145181137 26628161536 9652 33554432000 4194304 4196468 140724885578768 140589019843440 140589698477462 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18081] ppid=18061 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18081/stat : 18081 (java) S 18061 18061 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145181137 26628161536 9652 33554432000 4194304 4196468 140724885578768 140589018790112 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18082] ppid=18061 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18063/task/18082/stat : 18082 (java) S 18061 18061 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145181137 26628161536 9652 33554432000 4194304 4196468 140724885578768 140589017737648 140589698476674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39992 KiB
[startup+0.309475 s]*
/proc/loadavg: 0.92 1.00 1.04 2/200 18082
/proc/meminfo: memFree=22731144/32770624 swapFree=67108860/67108860
[pid=18061] ppid=18058 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18061/stat : 18061 (xcsp3-exec) S 18058 18061 18016 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145181130 9740288 346 33554432000 4194304 5098028 140734180907664 140734180905768 140041927291516 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11329536 140734180910181 140734180910391 140734180910391 140734180913131 0
/proc/18061/statm: 2378 346 289 221 0 87 0
[pid=18063] ppid=18061 vsize=26004064 memory=44028 CPUtime=0.48 cores=0-7
/proc/18063/stat : 18063 (java) S 18061 18061 18016 0 -1 1077944320 9191 0 0 0 45 3 0 0 20 0 20 0 145181130 26628161536 11007 33554432000 4194304 4196468 140724885578768 140724885561312 140589698465527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
/proc/18063/statm: 6501016 11007 3107 1 0 6488269 0
[pid=18063/tid=18064] ppid=18061 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18063/task/18064/stat : 18064 (java) R 18061 18061 18016 0 -1 4202560 6067 0 0 0 27 2 0 0 20 0 20 0 145181131 26628161536 11007 33554432000 4194304 4196468 140724885578768 140589702703264 140589682546014 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18065] ppid=18061 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18065/stat : 18065 (java) S 18061 18061 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145181132 26628161536 11007 33554432000 4194304 4196468 140724885578768 140589651085584 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18066] ppid=18061 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18066/stat : 18066 (java) S 18061 18061 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145181132 26628161536 11007 33554432000 4194304 4196468 140724885578768 140589650033040 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18067] ppid=18061 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18067/stat : 18067 (java) S 18061 18061 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145181132 26628161536 11007 33554432000 4194304 4196468 140724885578768 140589648980496 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18068] ppid=18061 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18068/stat : 18068 (java) S 18061 18061 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145181132 26628161536 11007 33554432000 4194304 4196468 140724885578768 140589253655184 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18069] ppid=18061 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/18063/task/18069/stat : 18069 (java) S 18061 18061 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145181132 26628161536 11007 33554432000 4194304 4196468 140724885578768 140589252602640 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18070] ppid=18061 vsize=26004064 memory=140230279656367 CPUtime=0 cores=0-7
/proc/18063/task/18070/stat : 18070 (java) S 18061 18061 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145181132 26628161536 11007 33554432000 4194304 4196468 140724885578768 140589251550096 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18071] ppid=18061 vsize=26004064 memory=140230279658672 CPUtime=0 cores=0-7
/proc/18063/task/18071/stat : 18071 (java) S 18061 18061 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145181132 26628161536 11007 33554432000 4194304 4196468 140724885578768 140589250497552 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18072] ppid=18061 vsize=26004064 memory=140230279660976 CPUtime=0 cores=0-7
/proc/18063/task/18072/stat : 18072 (java) S 18061 18061 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145181132 26628161536 11007 33554432000 4194304 4196468 140724885578768 140589249445008 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18073] ppid=18061 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18073/stat : 18073 (java) S 18061 18061 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145181133 26628161536 11007 33554432000 4194304 4196468 140724885578768 140589027211248 140589698476674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18074] ppid=18061 vsize=26004064 memory=280460559328912 CPUtime=0 cores=0-7
/proc/18063/task/18074/stat : 18074 (java) S 18061 18061 18016 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145181134 26628161536 11007 33554432000 4194304 4196468 140724885578768 140589026157472 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18075] ppid=18061 vsize=26004064 memory=280460559335824 CPUtime=0 cores=0-7
/proc/18063/task/18075/stat : 18075 (java) S 18061 18061 18016 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145181134 26628161536 11007 33554432000 4194304 4196468 140724885578768 140589025104880 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18076] ppid=18061 vsize=26004064 memory=280460559277104 CPUtime=0 cores=0-7
/proc/18063/task/18076/stat : 18076 (java) S 18061 18061 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145181137 26628161536 11007 33554432000 4194304 4196468 140724885578768 140589024053456 140589698484123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18077] ppid=18061 vsize=26004064 memory=280460559349648 CPUtime=0.03 cores=0-7
/proc/18063/task/18077/stat : 18077 (java) S 18061 18061 18016 0 -1 1077944384 471 0 0 0 3 0 0 0 20 0 20 0 145181137 26628161536 11007 33554432000 4194304 4196468 140724885578768 140589023001072 140589698476674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18078] ppid=18061 vsize=26004064 memory=280460559356560 CPUtime=0.01 cores=0-7
/proc/18063/task/18078/stat : 18078 (java) S 18061 18061 18016 0 -1 1077944384 419 0 0 0 1 0 0 0 20 0 20 0 145181137 26628161536 11007 33554432000 4194304 4196468 140724885578768 140589021948528 140589698476674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18079] ppid=18061 vsize=26004064 memory=280460559354256 CPUtime=0.01 cores=0-7
/proc/18063/task/18079/stat : 18079 (java) S 18061 18061 18016 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 20 0 145181137 26628161536 11007 33554432000 4194304 4196468 140724885578768 140589020895984 140589698476674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18080] ppid=18061 vsize=26004064 memory=280460559370416 CPUtime=0.11 cores=0-7
/proc/18063/task/18080/stat : 18080 (java) R 18061 18061 18016 0 -1 4202560 867 0 0 0 11 0 0 0 20 0 20 0 145181137 26628161536 11007 33554432000 4194304 4196468 140724885578768 140589019839808 140589682546014 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18081] ppid=18061 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18081/stat : 18081 (java) S 18061 18061 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145181137 26628161536 11007 33554432000 4194304 4196468 140724885578768 140589018790112 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18082] ppid=18061 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18063/task/18082/stat : 18082 (java) S 18061 18061 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145181137 26628161536 11007 33554432000 4194304 4196468 140724885578768 140589017737648 140589698476674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45412 KiB
[startup+0.700905 s]
/proc/loadavg: 0.92 1.00 1.04 5/200 18082
/proc/meminfo: memFree=22705600/32770624 swapFree=67108860/67108860
[pid=18061] ppid=18058 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18061/stat : 18061 (xcsp3-exec) S 18058 18061 18016 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145181130 9740288 346 33554432000 4194304 5098028 140734180907664 140734180905768 140041927291516 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11329536 140734180910181 140734180910391 140734180910391 140734180913131 0
/proc/18061/statm: 2378 346 289 221 0 87 0
[pid=18063] ppid=18061 vsize=26004140 memory=130364 CPUtime=1.89 cores=0-7
/proc/18063/stat : 18063 (java) S 18061 18061 18016 0 -1 1077944320 13381 0 0 0 184 5 0 0 20 0 20 0 145181130 26628239360 32591 33554432000 4194304 4196468 140724885578768 140724885561312 140589698465527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
/proc/18063/statm: 6501035 32591 3200 1 0 6488269 0
[pid=18063/tid=18064] ppid=18061 vsize=26004140 memory=280460559665280 CPUtime=0.66 cores=0-7
/proc/18063/task/18064/stat : 18064 (java) R 18061 18061 18016 0 -1 4202560 6389 0 0 0 63 3 0 0 20 0 20 0 145181131 26628239360 32591 33554432000 4194304 4196468 140724885578768 140589702700560 140589332483361 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18065] ppid=18061 vsize=26004140 memory=5111011083407 CPUtime=0 cores=0-7
/proc/18063/task/18065/stat : 18065 (java) S 18061 18061 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145181132 26628239360 32591 33554432000 4194304 4196468 140724885578768 140589651085584 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18066] ppid=18061 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18066/stat : 18066 (java) S 18061 18061 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145181132 26628239360 32591 33554432000 4194304 4196468 140724885578768 140589650033040 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18067] ppid=18061 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/18063/task/18067/stat : 18067 (java) S 18061 18061 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145181132 26628239360 32591 33554432000 4194304 4196468 140724885578768 140589648980496 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
################
# More data... #
################
/proc/meminfo: memFree=15764204/32770624 swapFree=67108860/67108860
[pid=18061] ppid=18058 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18061/stat : 18061 (xcsp3-exec) S 18058 18061 18016 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145181130 9740288 346 33554432000 4194304 5098028 140734180907664 140734180905768 140041927291516 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11329536 140734180910181 140734180910391 140734180910391 140734180913131 0
/proc/18061/statm: 2378 346 289 221 0 87 0
[pid=18063] ppid=18061 vsize=26938084 memory=6996156 CPUtime=19850 cores=0-7
/proc/18063/stat : 18063 (java) S 18061 18061 18016 0 -1 1077944320 783587 0 0 0 1984009 991 0 0 20 0 28 0 145181130 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140724885561312 140589698465527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
/proc/18063/statm: 6734521 1749039 3305 1 0 6721755 0
[pid=18063/tid=18064] ppid=18061 vsize=26938084 memory=6996120 CPUtime=3.07 cores=0-7
/proc/18063/task/18064/stat : 18064 (java) S 18061 18061 18016 0 -1 1077944384 7785 0 0 0 298 9 0 0 20 0 28 0 145181131 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140589702706304 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18065] ppid=18061 vsize=26938084 memory=6996112 CPUtime=8.27 cores=0-7
/proc/18063/task/18065/stat : 18065 (java) S 18061 18061 18016 0 -1 1077944384 37361 0 0 0 793 34 0 0 20 0 28 0 145181132 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140589651085584 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18066] ppid=18061 vsize=26938084 memory=6996120 CPUtime=8.25 cores=0-7
/proc/18063/task/18066/stat : 18066 (java) S 18061 18061 18016 0 -1 1077944384 39178 0 0 0 791 34 0 0 20 0 28 0 145181132 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140589650033040 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18067] ppid=18061 vsize=26938084 memory=6996156 CPUtime=8.26 cores=0-7
/proc/18063/task/18067/stat : 18067 (java) S 18061 18061 18016 0 -1 1077944384 36867 0 0 0 791 35 0 0 20 0 28 0 145181132 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140589648980496 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18068] ppid=18061 vsize=26938084 memory=1384 CPUtime=8.31 cores=0-7
/proc/18063/task/18068/stat : 18068 (java) S 18061 18061 18016 0 -1 1077944384 32694 0 0 0 797 34 0 0 20 0 28 0 145181132 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140589253655184 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18069] ppid=18061 vsize=26938084 memory=6996072 CPUtime=8.24 cores=0-7
/proc/18063/task/18069/stat : 18069 (java) S 18061 18061 18016 0 -1 1077944384 39819 0 0 0 787 37 0 0 20 0 28 0 145181132 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140589252602640 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18070] ppid=18061 vsize=26938084 memory=6996124 CPUtime=8.31 cores=0-7
/proc/18063/task/18070/stat : 18070 (java) S 18061 18061 18016 0 -1 1077944384 35821 0 0 0 794 37 0 0 20 0 28 0 145181132 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140589251550096 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18071] ppid=18061 vsize=26938084 memory=84 CPUtime=8.38 cores=0-7
/proc/18063/task/18071/stat : 18071 (java) S 18061 18061 18016 0 -1 1077944384 36274 0 0 0 803 35 0 0 20 0 28 0 145181132 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140589250497552 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18072] ppid=18061 vsize=26938084 memory=6996128 CPUtime=8.26 cores=0-7
/proc/18063/task/18072/stat : 18072 (java) S 18061 18061 18016 0 -1 1077944384 37726 0 0 0 791 35 0 0 20 0 28 0 145181132 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140589249445008 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18073] ppid=18061 vsize=26938084 memory=1384 CPUtime=5.04 cores=0-7
/proc/18063/task/18073/stat : 18073 (java) S 18061 18061 18016 0 -1 1077944384 100090 0 0 0 435 69 0 0 20 0 28 0 145181133 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140589027211248 140589698476674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18074] ppid=18061 vsize=26938084 memory=1384 CPUtime=0 cores=0-7
/proc/18063/task/18074/stat : 18074 (java) S 18061 18061 18016 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 145181134 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140589026157536 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18075] ppid=18061 vsize=26938084 memory=1384 CPUtime=0 cores=0-7
/proc/18063/task/18075/stat : 18075 (java) S 18061 18061 18016 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 145181134 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140589025104896 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18076] ppid=18061 vsize=26938084 memory=4140 CPUtime=0 cores=0-7
/proc/18063/task/18076/stat : 18076 (java) S 18061 18061 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145181137 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140589024053456 140589698484123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18077] ppid=18061 vsize=26938084 memory=40724 CPUtime=2.28 cores=0-7
/proc/18063/task/18077/stat : 18077 (java) S 18061 18061 18016 0 -1 1077944384 7986 0 0 0 226 2 0 0 20 0 28 0 145181137 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140589023001072 140589698476674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18078] ppid=18061 vsize=26938084 memory=1384 CPUtime=2.42 cores=0-7
/proc/18063/task/18078/stat : 18078 (java) S 18061 18061 18016 0 -1 1077944384 10640 0 0 0 240 2 0 0 20 0 28 0 145181137 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140589021948528 140589698476674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18079] ppid=18061 vsize=26938084 memory=6996120 CPUtime=2.49 cores=0-7
/proc/18063/task/18079/stat : 18079 (java) S 18061 18061 18016 0 -1 1077944384 10588 0 0 0 247 2 0 0 20 0 28 0 145181137 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140589020895984 140589698476674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18080] ppid=18061 vsize=26938084 memory=960 CPUtime=0.81 cores=0-7
/proc/18063/task/18080/stat : 18080 (java) S 18061 18061 18016 0 -1 1077944384 11787 0 0 0 79 2 0 0 20 0 28 0 145181137 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140589019843440 140589698476674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18081] ppid=18061 vsize=26938084 memory=1236 CPUtime=0 cores=0-7
/proc/18063/task/18081/stat : 18081 (java) S 18061 18061 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145181137 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140589018790112 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18082] ppid=18061 vsize=26938084 memory=1384 CPUtime=0.87 cores=0-7
/proc/18063/task/18082/stat : 18082 (java) S 18061 18061 18016 0 -1 1077944384 6904 0 0 0 29 58 0 0 20 0 28 0 145181137 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140589017737648 140589698476674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18197] ppid=18061 vsize=26938084 memory=6996120 CPUtime=2030.24 cores=0-7
/proc/18063/task/18197/stat : 18197 (java) R 18061 18061 18016 0 -1 4202560 15692 0 0 0 203009 15 0 0 20 0 28 0 145226081 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140588998146720 140589337135245 0 4 0 16800975 0 0 0 -1 4 0 0 14 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18198] ppid=18061 vsize=26938084 memory=0 CPUtime=2032.8 cores=0-7
/proc/18063/task/18198/stat : 18198 (java) R 18061 18061 18016 0 -1 4202560 20086 0 0 0 203266 14 0 0 20 0 28 0 145226081 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140588997095200 140589337135571 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18199] ppid=18061 vsize=26938084 memory=8243114992657236051 CPUtime=2023.33 cores=0-7
/proc/18063/task/18199/stat : 18199 (java) R 18061 18061 18016 0 -1 4202560 13901 0 0 0 202317 16 0 0 20 0 28 0 145226081 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140589000253480 140589337135571 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18200] ppid=18061 vsize=26938084 memory=6996112 CPUtime=2026.06 cores=0-7
/proc/18063/task/18200/stat : 18200 (java) R 18061 18061 18016 0 -1 4202560 37159 0 0 0 202548 58 0 0 20 0 28 0 145226081 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140589007622176 140589337135756 0 4 0 16800975 0 0 0 -1 6 0 0 17 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18201] ppid=18061 vsize=26938084 memory=1384 CPUtime=2022.72 cores=0-7
/proc/18063/task/18201/stat : 18201 (java) R 18061 18061 18016 0 -1 4202560 48274 0 0 0 202218 54 0 0 20 0 28 0 145226081 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140589006572864 140589337135473 0 4 0 16800975 0 0 0 -1 3 0 0 18 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18202] ppid=18061 vsize=26938084 memory=840 CPUtime=2025.65 cores=0-7
/proc/18063/task/18202/stat : 18202 (java) R 18061 18061 18016 0 -1 4202560 14969 0 0 0 202548 17 0 0 20 0 28 0 145226081 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140589001306704 140589337413844 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18203] ppid=18061 vsize=26938084 memory=1696 CPUtime=2031.76 cores=0-7
/proc/18063/task/18203/stat : 18203 (java) R 18061 18061 18016 0 -1 4202560 19585 0 0 0 203158 18 0 0 20 0 28 0 145226081 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140588999201112 140589337135245 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18204] ppid=18061 vsize=26938084 memory=920 CPUtime=2021.47 cores=0-7
/proc/18063/task/18204/stat : 18204 (java) R 18061 18061 18016 0 -1 4202560 93332 0 0 0 202012 135 0 0 20 0 28 0 145226081 27584598016 1749039 33554432000 4194304 4196468 140724885578768 140588996045888 140589337212853 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
Current children cumulated CPU time: 19850 s
Current children cumulated vsize: 26947596 KiB
Current children cumulated memory: 6997540 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.12 8.28 7.86 9/209 18260
/proc/meminfo: memFree=15763320/32770624 swapFree=67108860/67108860
[pid=18061] ppid=18058 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18061/stat : 18061 (xcsp3-exec) S 18058 18061 18016 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145181130 9740288 346 33554432000 4194304 5098028 140734180907664 140734180905768 140041927291516 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11329536 140734180910181 140734180910391 140734180910391 140734180913131 0
/proc/18061/statm: 2378 346 289 221 0 87 0
[pid=18063] ppid=18061 vsize=26938084 memory=6996204 CPUtime=19989.2 cores=0-7
/proc/18063/stat : 18063 (java) S 18061 18061 18016 0 -1 1077944320 795522 0 0 0 1997925 999 0 0 20 0 28 0 145181130 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140724885561312 140589698465527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
/proc/18063/statm: 6734521 1749051 3305 1 0 6721755 0
[pid=18063/tid=18064] ppid=18061 vsize=26938084 memory=3888 CPUtime=3.07 cores=0-7
/proc/18063/task/18064/stat : 18064 (java) S 18061 18061 18016 0 -1 1077944384 7785 0 0 0 298 9 0 0 20 0 28 0 145181131 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140589702706304 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18065] ppid=18061 vsize=26938084 memory=-7003737579269690708 CPUtime=8.35 cores=0-7
/proc/18063/task/18065/stat : 18065 (java) S 18061 18061 18016 0 -1 1077944384 37871 0 0 0 801 34 0 0 20 0 28 0 145181132 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140589651085584 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18066] ppid=18061 vsize=26938084 memory=4126316290023845779 CPUtime=8.33 cores=0-7
/proc/18063/task/18066/stat : 18066 (java) S 18061 18061 18016 0 -1 1077944384 40225 0 0 0 798 35 0 0 20 0 28 0 145181132 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140589650033040 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18067] ppid=18061 vsize=26938084 memory=1716 CPUtime=8.34 cores=0-7
/proc/18063/task/18067/stat : 18067 (java) S 18061 18061 18016 0 -1 1077944384 37149 0 0 0 799 35 0 0 20 0 28 0 145181132 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140589648980496 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18068] ppid=18061 vsize=26938084 memory=10636 CPUtime=8.38 cores=0-7
/proc/18063/task/18068/stat : 18068 (java) S 18061 18061 18016 0 -1 1077944384 33429 0 0 0 804 34 0 0 20 0 28 0 145181132 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140589253655184 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18069] ppid=18061 vsize=26938084 memory=1200 CPUtime=8.33 cores=0-7
/proc/18063/task/18069/stat : 18069 (java) S 18061 18061 18016 0 -1 1077944384 40505 0 0 0 795 38 0 0 20 0 28 0 145181132 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140589252602640 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18070] ppid=18061 vsize=26938084 memory=15876 CPUtime=8.38 cores=0-7
/proc/18063/task/18070/stat : 18070 (java) S 18061 18061 18016 0 -1 1077944384 36556 0 0 0 801 37 0 0 20 0 28 0 145181132 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140589251550096 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18071] ppid=18061 vsize=26938084 memory=4044 CPUtime=8.45 cores=0-7
/proc/18063/task/18071/stat : 18071 (java) S 18061 18061 18016 0 -1 1077944384 36558 0 0 0 810 35 0 0 20 0 28 0 145181132 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140589250497552 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18072] ppid=18061 vsize=26938084 memory=16444 CPUtime=8.33 cores=0-7
/proc/18063/task/18072/stat : 18072 (java) S 18061 18061 18016 0 -1 1077944384 38568 0 0 0 798 35 0 0 20 0 28 0 145181132 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140589249445008 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18073] ppid=18061 vsize=26938084 memory=23536 CPUtime=5.11 cores=0-7
/proc/18063/task/18073/stat : 18073 (java) S 18061 18061 18016 0 -1 1077944384 101822 0 0 0 440 71 0 0 20 0 28 0 145181133 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140589027211248 140589698476674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18074] ppid=18061 vsize=26938084 memory=6996204 CPUtime=0 cores=0-7
/proc/18063/task/18074/stat : 18074 (java) S 18061 18061 18016 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 145181134 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140589026157536 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18075] ppid=18061 vsize=26938084 memory=87 CPUtime=0 cores=0-7
/proc/18063/task/18075/stat : 18075 (java) S 18061 18061 18016 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 145181134 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140589025104896 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18076] ppid=18061 vsize=26938084 memory=204171 CPUtime=0 cores=0-7
/proc/18063/task/18076/stat : 18076 (java) S 18061 18061 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145181137 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140589024053456 140589698484123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18077] ppid=18061 vsize=26938084 memory=204435 CPUtime=2.28 cores=0-7
/proc/18063/task/18077/stat : 18077 (java) S 18061 18061 18016 0 -1 1077944384 7995 0 0 0 226 2 0 0 20 0 28 0 145181137 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140589023001072 140589698476674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18078] ppid=18061 vsize=26938084 memory=203472 CPUtime=2.42 cores=0-7
/proc/18063/task/18078/stat : 18078 (java) S 18061 18061 18016 0 -1 1077944384 10646 0 0 0 240 2 0 0 20 0 28 0 145181137 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140589021948528 140589698476674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18079] ppid=18061 vsize=26938084 memory=203761 CPUtime=2.49 cores=0-7
/proc/18063/task/18079/stat : 18079 (java) S 18061 18061 18016 0 -1 1077944384 10594 0 0 0 247 2 0 0 20 0 28 0 145181137 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140589020895984 140589698476674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18080] ppid=18061 vsize=26938084 memory=203420 CPUtime=0.81 cores=0-7
/proc/18063/task/18080/stat : 18080 (java) S 18061 18061 18016 0 -1 1077944384 11794 0 0 0 79 2 0 0 20 0 28 0 145181137 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140589019843440 140589698476674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18081] ppid=18061 vsize=26938084 memory=203702 CPUtime=0 cores=0-7
/proc/18063/task/18081/stat : 18081 (java) S 18061 18061 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145181137 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140589018790112 140589698475733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18082] ppid=18061 vsize=26938084 memory=204326 CPUtime=0.87 cores=0-7
/proc/18063/task/18082/stat : 18082 (java) S 18061 18061 18016 0 -1 1077944384 7014 0 0 0 29 58 0 0 20 0 28 0 145181137 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140589017737648 140589698476674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18197] ppid=18061 vsize=26938084 memory=6791534058613427641 CPUtime=2047.56 cores=0-7
/proc/18063/task/18197/stat : 18197 (java) R 18061 18061 18016 0 -1 4202560 16021 0 0 0 204741 15 0 0 20 0 28 0 145226081 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140588998147536 140589337135659 0 4 0 16800975 0 0 0 -1 4 0 0 14 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18198] ppid=18061 vsize=26938084 memory=6996204 CPUtime=2050.27 cores=0-7
/proc/18063/task/18198/stat : 18198 (java) R 18061 18061 18016 0 -1 4202560 20496 0 0 0 205013 14 0 0 20 0 28 0 145226081 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140588997096152 140589337134803 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18199] ppid=18061 vsize=26938084 memory=1580 CPUtime=2040.55 cores=0-7
/proc/18063/task/18199/stat : 18199 (java) R 18061 18061 18016 0 -1 4202560 14178 0 0 0 204038 17 0 0 20 0 28 0 145226081 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140589000253648 140589337344244 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18200] ppid=18061 vsize=26938084 memory=928 CPUtime=2043.43 cores=0-7
/proc/18063/task/18200/stat : 18200 (java) R 18061 18061 18016 0 -1 4202560 37803 0 0 0 204284 59 0 0 20 0 28 0 145226081 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140589007626128 140589337547392 0 4 0 16800975 0 0 0 -1 2 0 0 17 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18201] ppid=18061 vsize=26938084 memory=2244 CPUtime=2040 cores=0-7
/proc/18063/task/18201/stat : 18201 (java) R 18061 18061 18016 0 -1 4202560 49219 0 0 0 203945 55 0 0 20 0 28 0 145226081 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140589006573584 140589337413818 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18202] ppid=18061 vsize=26938084 memory=6791534058613427641 CPUtime=2042.91 cores=0-7
/proc/18063/task/18202/stat : 18202 (java) R 18061 18061 18016 0 -1 4202560 15188 0 0 0 204274 17 0 0 20 0 28 0 145226081 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140589001306648 140589337135256 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18203] ppid=18061 vsize=26938084 memory=23536 CPUtime=2049.1 cores=0-7
/proc/18063/task/18203/stat : 18203 (java) R 18061 18061 18016 0 -1 4202560 19990 0 0 0 204892 18 0 0 20 0 28 0 145226081 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140588999201112 140589337135483 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
[pid=18063/tid=18204] ppid=18061 vsize=26938084 memory=1796 CPUtime=2038.76 cores=0-7
/proc/18063/task/18204/stat : 18204 (java) R 18061 18061 18016 0 -1 4202560 95047 0 0 0 203740 136 0 0 20 0 28 0 145226081 27584598016 1749051 33554432000 4194304 4196468 140724885578768 140588996045672 140589337414106 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 12607488 140724885587090 140724885587267 140724885587267 140724885589967 0
Current children cumulated CPU time: 19989.2 s
Current children cumulated vsize: 26947596 KiB
Current children cumulated memory: 6997588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.03 s]
# the end of solver process 18061 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001078 s, system=0.001078 s
[startup+2520.14 s]
# the end of solver process 18063 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19979.9 s, system=10.0423 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
[startup+2520.13 s]*
/proc/loadavg: 8.12 8.28 7.86 2/182 18262
/proc/meminfo: memFree=22175512/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.002156 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2520.14
CPU time (s): 19989.9
CPU user time (s): 19979.9
CPU system time (s): 10.0423
CPU usage (%): 793.209
Max. virtual memory (cumulated for all children) (KiB): 26947596
Max. memory (cumulated for all children) (KiB): 7609256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19979.9
system time used= 10.0423
maximum resident set size= 7611464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 797319
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 449336
involuntary context switches= 222349
# summary of solver processes directly reported to runsolver:
# pid: 18061,18063
# total CPU time (s): 19989.9
# total CPU user time (s): 19979.9
# total CPU system time (s): 10.0423
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.717 second user time and 26.697 second system time
The end
Begin job on node150 at 2017-08-19 07:22:21 IDJOB=4280391 IDBENCH=120550 IDSOLVER=2675 FILE ID=node150/4280391-1503121001 RUNJOBID= node150-1503120141-18043 PBS_JOBID= 20630767 Free space on /tmp= 61904 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-dsjc-250-9.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280391-1503121001/watcher-4280391-1503121001 -o /tmp/evaluation-result-4280391-1503121001/solver-4280391-1503121001 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1503120141-18043 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 556944052 HOME/instance-4280391-1503121001.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 00e934fa2b5b2efae5113ca45f948426 RANDOM SEED=556944052 node150.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 : 5332.89 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 : 5332.89 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 : 5332.89 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 : 5332.89 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: 22762824 kB MemAvailable: 31963144 kB Buffers: 330012 kB Cached: 9149360 kB SwapCached: 0 kB Active: 2728352 kB Inactive: 6804440 kB Active(anon): 55892 kB Inactive(anon): 33232 kB Active(file): 2672460 kB Inactive(file): 6771208 kB Unevictable: 7288 kB Mlocked: 7288 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8560 kB Writeback: 0 kB AnonPages: 60092 kB Mapped: 50388 kB Shmem: 33416 kB Slab: 170912 kB SReclaimable: 144976 kB SUnreclaim: 25936 kB KernelStack: 3136 kB PageTables: 4996 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332280 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61896 MiB End job on node150 at 2017-08-19 08:04:22