Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 5a (2017-08-18) | SAT (TO) | 84 | 2520.04 | 2492.02 |
| 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.05 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283331-1503185165.xml" -tl '2520s' -p 1 -x 3 0.05/0.31 c [HOME/instance-4283331-1503185165.xml, -tl, 2520s, -p, 1, -x, 3] 0.21/0.37 c simple solver 0.38/0.44 c parse instance... 4.42/1.82 c solve instance... 5.42/2.15 o 88 6.73/2.55 o 87 215.64/207.57 o 86 223.16/214.91 o 85 230.67/222.32 o 84 2520.01/2492.01 s SATISFIABLE 2520.01/2492.01 v <instantiation> 2520.01/2492.01 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> 2520.01/2492.01 v <values>52 48 61 28 27 52 82 26 42 2 6 17 12 47 2 38 28 2 12 31 83 74 23 13 73 50 9 81 49 15 60 51 68 57 14 43 54 36 52 29 6 46 68 60 45 3 46 27 84 68 39 56 29 20 22 80 72 21 83 79 29 66 39 34 49 30 35 75 76 56 64 71 48 80 25 12 70 77 69 26 1 0 38 5 10 11 64 76 59 18 77 58 73 52 36 36 84 57 3 50 59 26 22 41 72 58 78 65 62 71 67 55 78 27 13 1 7 61 35 37 28 30 25 23 83 17 66 40 40 20 63 82 9 1 47 56 19 51 15 49 51 19 45 16 81 63 8 58 21 11 65 20 57 43 77 24 33 29 59 34 0 12 17 42 61 35 24 23 32 49 74 54 72 71 79 46 62 33 66 64 22 70 53 40 14 55 53 47 35 5 33 44 37 24 30 1 10 11 9 64 18 69 19 60 67 41 23 8 41 4 42 10 15 6 54 34 20 81 5 84 39 55 43 16 6 53 0 4 27 48 7 32 16 75 42 13 21 76 44 8 31 37 45 31 7 3 35 82 44 75 </values> 2520.01/2492.01 v </instantiation> 2520.01/2492.01 c Unexpected resolution interruption!
OK 84
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 (15311 MiB free)
memory of node 1: 16384 MiB (15724 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283331-1503185165/watcher-4283331-1503185165 -o /tmp/evaluation-result-4283331-1503185165/solver-4283331-1503185165 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503171959-30215 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1539248500 HOME/instance-4283331-1503185165.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31947, runsolver pid=31944
[startup+0.100136 s]*
/proc/loadavg: 1.27 1.34 1.46 2/203 31971
/proc/meminfo: memFree=31762768/32770624 swapFree=67108860/67108860
[pid=31947] ppid=31944 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31947/stat : 31947 (xcsp3-exec) S 31944 31947 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 16926218 9740288 345 18446744073709551615 4194304 5098028 140723272341008 140723272339112 140121373549180 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 25935872 140723272348025 140723272348230 140723272348230 140723272351723 0
/proc/31947/statm: 2378 345 289 221 0 87 0
[pid=31958] ppid=31947 vsize=13574484 memory=17976 CPUtime=0.04 cores=1,3,5,7
/proc/31958/stat : 31958 (java) S 31947 31947 16431 0 -1 1077944320 4386 0 0 0 3 1 0 0 20 0 9 0 16926224 13900271616 4494 18446744073709551615 4194304 4196468 140726439474352 140726439456896 140068808470263 0 0 1 16800970 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
/proc/31958/statm: 3393621 4494 2137 1 0 3383118 0
[pid=31958/tid=31959] ppid=31947 vsize=13574484 memory=-6871798056524144002 CPUtime=0.03 cores=1,3,5,7
/proc/31958/task/31959/stat : 31959 (java) R 31947 31947 16431 0 -1 4202560 3090 0 0 0 3 0 0 0 20 0 9 0 16926224 13900271616 4494 18446744073709551615 4194304 4196468 140726439474352 140068812705656 140068792550750 0 4 1 16800970 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31960] ppid=31947 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31960/stat : 31960 (java) S 31947 31947 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 16926225 13900271616 4494 18446744073709551615 4194304 4196468 140726439474352 140068750416272 140068808480469 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31961] ppid=31947 vsize=13574484 memory=140609131660928 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31961/stat : 31961 (java) S 31947 31947 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 16926225 13900271616 4494 18446744073709551615 4194304 4196468 140726439474352 140068407220496 140068808480469 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31962] ppid=31947 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31962/stat : 31962 (java) S 31947 31947 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 16926225 13900271616 4494 18446744073709551615 4194304 4196468 140726439474352 140068406168208 140068808480469 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31963] ppid=31947 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31963/stat : 31963 (java) S 31947 31947 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 16926225 13900271616 4494 18446744073709551615 4194304 4196468 140726439474352 140068405115408 140068808480469 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31969] ppid=31947 vsize=13574484 memory=140609131660928 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31969/stat : 31969 (java) S 31947 31947 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 16926226 13900271616 4494 18446744073709551615 4194304 4196468 140726439474352 140068354206320 140068808481410 0 0 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31970] ppid=31947 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31970/stat : 31970 (java) S 31947 31947 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 16926226 13900271616 4494 18446744073709551615 4194304 4196468 140726439474352 140068353152288 140068808480469 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31971] ppid=31947 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31971/stat : 31971 (java) S 31947 31947 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 16926227 13900271616 4494 18446744073709551615 4194304 4196468 140726439474352 140068352099952 140068808480469 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19356 KiB
[startup+0.210033 s]*
/proc/loadavg: 1.27 1.34 1.46 5/209 31977
/proc/meminfo: memFree=31750780/32770624 swapFree=67108860/67108860
[pid=31947] ppid=31944 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31947/stat : 31947 (xcsp3-exec) S 31944 31947 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 16926218 9740288 345 18446744073709551615 4194304 5098028 140723272341008 140723272339112 140121373549180 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 25935872 140723272348025 140723272348230 140723272348230 140723272351723 0
/proc/31947/statm: 2378 345 289 221 0 87 0
[pid=31958] ppid=31947 vsize=13907304 memory=20364 CPUtime=0.05 cores=1,3,5,7
/proc/31958/stat : 31958 (java) S 31947 31947 16431 0 -1 1077944320 5038 0 0 0 4 1 0 0 20 0 14 0 16926224 14241079296 5091 18446744073709551615 4194304 4196468 140726439474352 140726439456896 140068808470263 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
/proc/31958/statm: 3476826 5091 2556 1 0 3466323 0
[pid=31958/tid=31959] ppid=31947 vsize=13907304 memory=-6871798056524144002 CPUtime=0.04 cores=1,3,5,7
/proc/31958/task/31959/stat : 31959 (java) D 31947 31947 16431 0 -1 4202560 3222 0 0 0 4 0 0 0 20 0 14 0 16926224 14241079296 5091 18446744073709551615 4194304 4196468 140726439474352 140068812707744 140068808492285 0 4 1 16800974 18446744071580418449 0 0 -1 3 0 0 2 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31960] ppid=31947 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31960/stat : 31960 (java) S 31947 31947 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 16926225 14241079296 5091 18446744073709551615 4194304 4196468 140726439474352 140068750416272 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31961] ppid=31947 vsize=13907304 memory=140609131660928 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31961/stat : 31961 (java) S 31947 31947 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 16926225 14241079296 5091 18446744073709551615 4194304 4196468 140726439474352 140068407220496 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31962] ppid=31947 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31962/stat : 31962 (java) S 31947 31947 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 16926225 14241079296 5091 18446744073709551615 4194304 4196468 140726439474352 140068406168208 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31963] ppid=31947 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31963/stat : 31963 (java) S 31947 31947 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 16926225 14241079296 5091 18446744073709551615 4194304 4196468 140726439474352 140068405115408 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31969] ppid=31947 vsize=13907304 memory=140609131660928 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31969/stat : 31969 (java) S 31947 31947 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 16926226 14241079296 5091 18446744073709551615 4194304 4196468 140726439474352 140068354206320 140068808481410 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31970] ppid=31947 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31970/stat : 31970 (java) S 31947 31947 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 16926226 14241079296 5091 18446744073709551615 4194304 4196468 140726439474352 140068353152288 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31971] ppid=31947 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31971/stat : 31971 (java) S 31947 31947 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 16926227 14241079296 5091 18446744073709551615 4194304 4196468 140726439474352 140068352099952 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31972] ppid=31947 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31972/stat : 31972 (java) S 31947 31947 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 16926229 14241079296 5091 18446744073709551615 4194304 4196468 140726439474352 140068351048272 140068808488859 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31973] ppid=31947 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31973/stat : 31973 (java) S 31947 31947 16431 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 14 0 16926229 14241079296 5091 18446744073709551615 4194304 4196468 140726439474352 140068349995120 140068808481410 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31974] ppid=31947 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31974/stat : 31974 (java) S 31947 31947 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 16926229 14241079296 5091 18446744073709551615 4194304 4196468 140726439474352 140068348942320 140068808481410 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31975] ppid=31947 vsize=13907304 memory=140609131660928 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31975/stat : 31975 (java) S 31947 31947 16431 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 14 0 16926229 14241079296 5091 18446744073709551615 4194304 4196468 140726439474352 140068347890032 140068808481410 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31976] ppid=31947 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31976/stat : 31976 (java) S 31947 31947 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 16926229 14241079296 5091 18446744073709551615 4194304 4196468 140726439474352 140068278757856 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 21744 KiB
[startup+0.311776 s]*
/proc/loadavg: 1.27 1.34 1.46 6/210 31978
/proc/meminfo: memFree=31735128/32770624 swapFree=67108860/67108860
[pid=31947] ppid=31944 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31947/stat : 31947 (xcsp3-exec) S 31944 31947 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 16926218 9740288 345 18446744073709551615 4194304 5098028 140723272341008 140723272339112 140121373549180 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 25935872 140723272348025 140723272348230 140723272348230 140723272351723 0
/proc/31947/statm: 2378 345 289 221 0 87 0
[pid=31958] ppid=31947 vsize=13974352 memory=32576 CPUtime=0.21 cores=1,3,5,7
/proc/31958/stat : 31958 (java) S 31947 31947 16431 0 -1 1077944320 6536 0 0 0 20 1 0 0 20 0 15 0 16926224 14309736448 8144 18446744073709551615 4194304 4196468 140726439474352 140726439456896 140068808470263 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
/proc/31958/statm: 3493588 8144 2976 1 0 3482964 0
[pid=31958/tid=31959] ppid=31947 vsize=13974352 memory=-8774313645642428999 CPUtime=0.13 cores=1,3,5,7
/proc/31958/task/31959/stat : 31959 (java) R 31947 31947 16431 0 -1 4202560 3770 0 0 0 12 1 0 0 20 0 15 0 16926224 14309736448 8144 18446744073709551615 4194304 4196468 140726439474352 140068812694144 140068808492189 0 4 1 16800974 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31960] ppid=31947 vsize=13974352 memory=-8918989755622569014 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31960/stat : 31960 (java) S 31947 31947 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16926225 14309736448 8144 18446744073709551615 4194304 4196468 140726439474352 140068750416272 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31961] ppid=31947 vsize=13974352 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31961/stat : 31961 (java) S 31947 31947 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16926225 14309736448 8144 18446744073709551615 4194304 4196468 140726439474352 140068407220496 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31962] ppid=31947 vsize=13974352 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31962/stat : 31962 (java) S 31947 31947 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16926225 14309736448 8144 18446744073709551615 4194304 4196468 140726439474352 140068406168208 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31963] ppid=31947 vsize=13974352 memory=-7306095725874547829 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31963/stat : 31963 (java) S 31947 31947 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16926225 14309736448 8144 18446744073709551615 4194304 4196468 140726439474352 140068405115408 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31969] ppid=31947 vsize=13974352 memory=4278809119733684856 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31969/stat : 31969 (java) S 31947 31947 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16926226 14309736448 8144 18446744073709551615 4194304 4196468 140726439474352 140068354206320 140068808481410 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31970] ppid=31947 vsize=13974352 memory=140609131667921 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31970/stat : 31970 (java) S 31947 31947 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 16926226 14309736448 8144 18446744073709551615 4194304 4196468 140726439474352 140068353152288 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31971] ppid=31947 vsize=13974352 memory=140609131660928 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31971/stat : 31971 (java) S 31947 31947 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 16926227 14309736448 8144 18446744073709551615 4194304 4196468 140726439474352 140068352099952 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31972] ppid=31947 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31972/stat : 31972 (java) S 31947 31947 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16926229 14309736448 8144 18446744073709551615 4194304 4196468 140726439474352 140068351048272 140068808488859 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31973] ppid=31947 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31958/task/31973/stat : 31973 (java) R 31947 31947 16431 0 -1 1077944384 475 0 0 0 1 0 0 0 20 0 15 0 16926229 14309736448 8144 18446744073709551615 4194304 4196468 140726439474352 140068349995120 140068808481410 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31974] ppid=31947 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31958/task/31974/stat : 31974 (java) S 31947 31947 16431 0 -1 1077944384 286 0 0 0 1 0 0 0 20 0 15 0 16926229 14309736448 8144 18446744073709551615 4194304 4196468 140726439474352 140068348942320 140068808481410 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31975] ppid=31947 vsize=13974352 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/31958/task/31975/stat : 31975 (java) S 31947 31947 16431 0 -1 1077944384 701 0 0 0 4 0 0 0 20 0 15 0 16926229 14309736448 8144 18446744073709551615 4194304 4196468 140726439474352 140068347890032 140068808481410 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31976] ppid=31947 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31976/stat : 31976 (java) S 31947 31947 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16926229 14309736448 8144 18446744073709551615 4194304 4196468 140726439474352 140068278757856 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31978] ppid=31947 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31978/stat : 31978 (java) S 31947 31947 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16926241 14309736448 8144 18446744073709551615 4194304 4196468 140726439474352 140068277705648 140068808481410 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 33956 KiB
[startup+0.701283 s]
/proc/loadavg: 1.27 1.34 1.46 9/197 31981
/proc/meminfo: memFree=31730888/32770624 swapFree=67108860/67108860
[pid=31947] ppid=31944 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31947/stat : 31947 (xcsp3-exec) S 31944 31947 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 16926218 9740288 345 18446744073709551615 4194304 5098028 140723272341008 140723272339112 140121373549180 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 25935872 140723272348025 140723272348230 140723272348230 140723272351723 0
/proc/31947/statm: 2378 345 289 221 0 87 0
[pid=31958] ppid=31947 vsize=13978684 memory=73224 CPUtime=1.18 cores=1,3,5,7
/proc/31958/stat : 31958 (java) S 31947 31947 16431 0 -1 1077944320 12981 0 0 0 114 4 0 0 20 0 15 0 16926224 14314172416 18306 18446744073709551615 4194304 4196468 140726439474352 140726439456896 140068808470263 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
/proc/31958/statm: 3494671 18306 3153 1 0 3482964 0
[pid=31958/tid=31959] ppid=31947 vsize=13978684 memory=7739812346602352225 CPUtime=0.5 cores=1,3,5,7
/proc/31958/task/31959/stat : 31959 (java) R 31947 31947 16431 0 -1 4202560 7878 0 0 0 47 3 0 0 20 0 15 0 16926224 14314172416 18306 18446744073709551615 4194304 4196468 140726439474352 140068812706560 140068808482198 0 4 1 16800974 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31960] ppid=31947 vsize=13978684 memory=6076295306937455184 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31960/stat : 31960 (java) S 31947 31947 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16926225 14314172416 18306 18446744073709551615 4194304 4196468 140726439474352 140068750416272 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31961] ppid=31947 vsize=13978684 memory=7588684550706915689 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31961/stat : 31961 (java) S 31947 31947 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16926225 14314172416 18306 18446744073709551615 4194304 4196468 140726439474352 140068407220496 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31962] ppid=31947 vsize=13978684 memory=5450916471307863870 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31962/stat : 31962 (java) S 31947 31947 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16926225 14314172416 18306 18446744073709551615 4194304 4196468 140726439474352 140068406168208 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31963] ppid=31947 vsize=13978684 memory=3047711428313195656 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31963/stat : 31963 (java) S 31947 31947 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16926225 14314172416 18306 18446744073709551615 4194304 4196468 140726439474352 140068405115408 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31969] ppid=31947 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31969/stat : 31969 (java) S 31947 31947 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 16926226 14314172416 18306 18446744073709551615 4194304 4196468 140726439474352 140068354206320 140068808481410 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31970] ppid=31947 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31970/stat : 31970 (java) S 31947 31947 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 16926226 14314172416 18306 18446744073709551615 4194304 4196468 140726439474352 140068353152288 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31971] ppid=31947 vsize=13978684 memory=281217949764848 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31971/stat : 31971 (java) S 31947 31947 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 16926227 14314172416 18306 18446744073709551615 4194304 4196468 140726439474352 140068352099952 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31972] ppid=31947 vsize=13978684 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31972/stat : 31972 (java) S 31947 31947 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16926229 14314172416 18306 18446744073709551615 4194304 4196468 140726439474352 140068351048272 140068808488859 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31973] ppid=31947 vsize=13978684 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/31958/task/31973/stat : 31973 (java) R 31947 31947 16431 0 -1 4202560 1246 0 0 0 21 0 0 0 20 0 15 0 16926229 14314172416 18306 18446744073709551615 4194304 4196468 140726439474352 140068349986576 140068808491610 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31974] ppid=31947 vsize=13978684 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/31958/task/31974/stat : 31974 (java) S 31947 31947 16431 0 -1 1077944384 1205 0 0 0 21 0 0 0 20 0 15 0 16926229 14314172416 18306 18446744073709551615 4194304 4196468 140726439474352 140068348942320 140068808481410 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31975] ppid=31947 vsize=13978684 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/31958/task/31975/stat : 31975 (java) R 31947 31947 16431 0 -1 1077944384 1345 0 0 0 23 0 0 0 20 0 15 0 16926229 14314172416 18306 18446744073709551615 4194304 4196468 140726439474352 140068347885760 140068808480469 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31976] ppid=31947 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31976/stat : 31976 (java) S 31947 31947 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16926229 14314172416 18306 18446744073709551615 4194304 4196468 140726439474352 140068278757856 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31978] ppid=31947 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31978/stat : 31978 (java) S 31947 31947 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16926241 14314172416 18306 18446744073709551615 4194304 4196468 140726439474352 140068277705648 140068808481410 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 74604 KiB
[startup+1.50092 s]
/proc/loadavg: 1.27 1.34 1.46 5/193 31996
/proc/meminfo: memFree=31619856/32770624 swapFree=67108860/67108860
[pid=31947] ppid=31944 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31947/stat : 31947 (xcsp3-exec) S 31944 31947 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 16926218 9740288 345 18446744073709551615 4194304 5098028 140723272341008 140723272339112 140121373549180 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 25935872 140723272348025 140723272348230 140723272348230 140723272351723 0
/proc/31947/statm: 2378 345 289 221 0 87 0
[pid=31958] ppid=31947 vsize=13980732 memory=199888 CPUtime=3.51 cores=1,3,5,7
/proc/31958/stat : 31958 (java) S 31947 31947 16431 0 -1 1077944320 15034 0 0 0 343 8 0 0 20 0 15 0 16926224 14316269568 49972 18446744073709551615 4194304 4196468 140726439474352 140726439456896 140068808470263 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
/proc/31958/statm: 3495183 49972 3212 1 0 3483476 0
[pid=31958/tid=31959] ppid=31947 vsize=13980732 memory=281217950218080 CPUtime=1.27 cores=1,3,5,7
/proc/31958/task/31959/stat : 31959 (java) R 31947 31947 16431 0 -1 4202560 8533 0 0 0 122 5 0 0 20 0 15 0 16926224 14316269568 49972 18446744073709551615 4194304 4196468 140726439474352 140068812705608 140068435239064 0 4 1 16800974 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31960] ppid=31947 vsize=13980732 memory=140608974924048 CPUtime=0.01 cores=1,3,5,7
/proc/31958/task/31960/stat : 31960 (java) S 31947 31947 16431 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 15 0 16926225 14316269568 49972 18446744073709551615 4194304 4196468 140726439474352 140068750416272 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31961] ppid=31947 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31961/stat : 31961 (java) S 31947 31947 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 16926225 14316269568 49972 18446744073709551615 4194304 4196468 140726439474352 140068407220496 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31962] ppid=31947 vsize=13980732 memory=281217949833152 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31962/stat : 31962 (java) S 31947 31947 16431 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 16926225 14316269568 49972 18446744073709551615 4194304 4196468 140726439474352 140068406168208 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31963] ppid=31947 vsize=13980732 memory=281217949837568 CPUtime=0.01 cores=1,3,5,7
/proc/31958/task/31963/stat : 31963 (java) S 31947 31947 16431 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 16926225 14316269568 49972 18446744073709551615 4194304 4196468 140726439474352 140068405115408 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31969] ppid=31947 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/31958/task/31971/stat : 31971 (java) S 31947 31947 16431 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 16926227 14316269568 75991 18446744073709551615 4194304 4196468 140726439474352 140068352099968 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31972] ppid=31947 vsize=13980732 memory=303964 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31972/stat : 31972 (java) S 31947 31947 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16926229 14316269568 75991 18446744073709551615 4194304 4196468 140726439474352 140068351048272 140068808488859 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31973] ppid=31947 vsize=13980732 memory=12908 CPUtime=3.74 cores=1,3,5,7
/proc/31958/task/31973/stat : 31973 (java) S 31947 31947 16431 0 -1 1077944384 18008 0 0 0 372 2 0 0 20 0 15 0 16926229 14316269568 75991 18446744073709551615 4194304 4196468 140726439474352 140068349995120 140068808481410 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31974] ppid=31947 vsize=13980732 memory=1296 CPUtime=3.8 cores=1,3,5,7
/proc/31958/task/31974/stat : 31974 (java) S 31947 31947 16431 0 -1 1077944384 18877 0 0 0 378 2 0 0 20 0 15 0 16926229 14316269568 75991 18446744073709551615 4194304 4196468 140726439474352 140068348942320 140068808481410 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31975] ppid=31947 vsize=13980732 memory=1380 CPUtime=0.95 cores=1,3,5,7
/proc/31958/task/31975/stat : 31975 (java) S 31947 31947 16431 0 -1 1077944384 11545 0 0 0 93 2 0 0 20 0 15 0 16926229 14316269568 75991 18446744073709551615 4194304 4196468 140726439474352 140068347890032 140068808481410 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31976] ppid=31947 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31976/stat : 31976 (java) S 31947 31947 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16926229 14316269568 75991 18446744073709551615 4194304 4196468 140726439474352 140068278757856 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31978] ppid=31947 vsize=13980732 memory=303964 CPUtime=0.96 cores=1,3,5,7
/proc/31958/task/31978/stat : 31978 (java) S 31947 31947 16431 0 -1 1077944384 1650 0 0 0 43 53 0 0 20 0 15 0 16926241 14316269568 75991 18446744073709551615 4194304 4196468 140726439474352 140068277705648 140068808481410 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
Current children cumulated CPU time: 2348.72 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 305344 KiB
[startup+2382.3 s]
/proc/loadavg: 1.14 1.37 1.54 3/212 32243
/proc/meminfo: memFree=30156808/32770624 swapFree=67108860/67108860
[pid=31947] ppid=31944 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31947/stat : 31947 (xcsp3-exec) S 31944 31947 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 16926218 9740288 345 18446744073709551615 4194304 5098028 140723272341008 140723272339112 140121373549180 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 25935872 140723272348025 140723272348230 140723272348230 140723272351723 0
/proc/31947/statm: 2378 345 289 221 0 87 0
[pid=31958] ppid=31947 vsize=13980732 memory=304032 CPUtime=2409.41 cores=1,3,5,7
/proc/31958/stat : 31958 (java) S 31947 31947 16431 0 -1 1077944320 152146 0 0 0 240717 224 0 0 20 0 15 0 16926224 14316269568 76008 18446744073709551615 4194304 4196468 140726439474352 140726439456896 140068808470263 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
/proc/31958/statm: 3495183 76008 3267 1 0 3483476 0
[pid=31958/tid=31959] ppid=31947 vsize=13980732 memory=304032 CPUtime=2370.68 cores=1,3,5,7
/proc/31958/task/31959/stat : 31959 (java) R 31947 31947 16431 0 -1 4202560 48518 0 0 0 237037 31 0 0 20 0 15 0 16926224 14316269568 76008 18446744073709551615 4194304 4196468 140726439474352 140068812709776 140068438136834 0 4 1 16800974 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31960] ppid=31947 vsize=13980732 memory=1380 CPUtime=6.45 cores=1,3,5,7
/proc/31958/task/31960/stat : 31960 (java) S 31947 31947 16431 0 -1 1077944384 9487 0 0 0 614 31 0 0 20 0 15 0 16926225 14316269568 76008 18446744073709551615 4194304 4196468 140726439474352 140068750416272 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31961] ppid=31947 vsize=13980732 memory=304180 CPUtime=6.42 cores=1,3,5,7
/proc/31958/task/31961/stat : 31961 (java) S 31947 31947 16431 0 -1 1077944384 10200 0 0 0 609 33 0 0 20 0 15 0 16926225 14316269568 76008 18446744073709551615 4194304 4196468 140726439474352 140068407220496 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31962] ppid=31947 vsize=13980732 memory=304180 CPUtime=6.47 cores=1,3,5,7
/proc/31958/task/31962/stat : 31962 (java) S 31947 31947 16431 0 -1 1077944384 9606 0 0 0 614 33 0 0 20 0 15 0 16926225 14316269568 76008 18446744073709551615 4194304 4196468 140726439474352 140068406168208 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31963] ppid=31947 vsize=13980732 memory=304032 CPUtime=6.47 cores=1,3,5,7
/proc/31958/task/31963/stat : 31963 (java) S 31947 31947 16431 0 -1 1077944384 10168 0 0 0 615 32 0 0 20 0 15 0 16926225 14316269568 76008 18446744073709551615 4194304 4196468 140726439474352 140068405115408 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31969] ppid=31947 vsize=13980732 memory=304032 CPUtime=3.35 cores=1,3,5,7
/proc/31958/task/31969/stat : 31969 (java) S 31947 31947 16431 0 -1 1077944384 12728 0 0 0 302 33 0 0 20 0 15 0 16926226 14316269568 76008 18446744073709551615 4194304 4196468 140726439474352 140068354206320 140068808481410 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31970] ppid=31947 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31970/stat : 31970 (java) S 31947 31947 16431 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 16926226 14316269568 76008 18446744073709551615 4194304 4196468 140726439474352 140068353152352 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31971] ppid=31947 vsize=13980732 memory=304032 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31971/stat : 31971 (java) S 31947 31947 16431 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 16926227 14316269568 76008 18446744073709551615 4194304 4196468 140726439474352 140068352099968 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31972] ppid=31947 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31972/stat : 31972 (java) S 31947 31947 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16926229 14316269568 76008 18446744073709551615 4194304 4196468 140726439474352 140068351048272 140068808488859 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31973] ppid=31947 vsize=13980732 memory=1380 CPUtime=3.74 cores=1,3,5,7
/proc/31958/task/31973/stat : 31973 (java) S 31947 31947 16431 0 -1 1077944384 18011 0 0 0 372 2 0 0 20 0 15 0 16926229 14316269568 76008 18446744073709551615 4194304 4196468 140726439474352 140068349995120 140068808481410 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31974] ppid=31947 vsize=13980732 memory=304032 CPUtime=3.8 cores=1,3,5,7
/proc/31958/task/31974/stat : 31974 (java) S 31947 31947 16431 0 -1 1077944384 18879 0 0 0 378 2 0 0 20 0 15 0 16926229 14316269568 76008 18446744073709551615 4194304 4196468 140726439474352 140068348942320 140068808481410 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31975] ppid=31947 vsize=13980732 memory=4004 CPUtime=0.95 cores=1,3,5,7
/proc/31958/task/31975/stat : 31975 (java) S 31947 31947 16431 0 -1 1077944384 11547 0 0 0 93 2 0 0 20 0 15 0 16926229 14316269568 76008 18446744073709551615 4194304 4196468 140726439474352 140068347890032 140068808481410 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31976] ppid=31947 vsize=13980732 memory=12908 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31976/stat : 31976 (java) S 31947 31947 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16926229 14316269568 76008 18446744073709551615 4194304 4196468 140726439474352 140068278757856 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31978] ppid=31947 vsize=13980732 memory=303612 CPUtime=0.99 cores=1,3,5,7
/proc/31958/task/31978/stat : 31978 (java) S 31947 31947 16431 0 -1 1077944384 1665 0 0 0 44 55 0 0 20 0 15 0 16926241 14316269568 76008 18446744073709551615 4194304 4196468 140726439474352 140068277705648 140068808481410 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
Current children cumulated CPU time: 2409.41 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 305412 KiB
[startup+2442.3 s]
/proc/loadavg: 1.39 1.39 1.54 3/212 32245
/proc/meminfo: memFree=30196692/32770624 swapFree=67108860/67108860
[pid=31947] ppid=31944 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31947/stat : 31947 (xcsp3-exec) S 31944 31947 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 16926218 9740288 345 18446744073709551615 4194304 5098028 140723272341008 140723272339112 140121373549180 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 25935872 140723272348025 140723272348230 140723272348230 140723272351723 0
/proc/31947/statm: 2378 345 289 221 0 87 0
[pid=31958] ppid=31947 vsize=13980732 memory=303556 CPUtime=2469.84 cores=1,3,5,7
/proc/31958/stat : 31958 (java) S 31947 31947 16431 0 -1 1077944320 154114 0 0 0 246757 227 0 0 20 0 15 0 16926224 14316269568 75889 18446744073709551615 4194304 4196468 140726439474352 140726439456896 140068808470263 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
/proc/31958/statm: 3495183 75889 3267 1 0 3483476 0
[pid=31958/tid=31959] ppid=31947 vsize=13980732 memory=303388 CPUtime=2430.45 cores=1,3,5,7
/proc/31958/task/31959/stat : 31959 (java) R 31947 31947 16431 0 -1 4202560 49413 0 0 0 243014 31 0 0 20 0 15 0 16926224 14316269568 75889 18446744073709551615 4194304 4196468 140726439474352 140068812709904 140068438573530 0 4 1 16800974 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31960] ppid=31947 vsize=13980732 memory=303516 CPUtime=6.6 cores=1,3,5,7
/proc/31958/task/31960/stat : 31960 (java) S 31947 31947 16431 0 -1 1077944384 9942 0 0 0 628 32 0 0 20 0 15 0 16926225 14316269568 75889 18446744073709551615 4194304 4196468 140726439474352 140068750416272 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31961] ppid=31947 vsize=13980732 memory=303516 CPUtime=6.57 cores=1,3,5,7
/proc/31958/task/31961/stat : 31961 (java) S 31947 31947 16431 0 -1 1077944384 10382 0 0 0 624 33 0 0 20 0 15 0 16926225 14316269568 75889 18446744073709551615 4194304 4196468 140726439474352 140068407220496 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31962] ppid=31947 vsize=13980732 memory=303556 CPUtime=6.61 cores=1,3,5,7
/proc/31958/task/31962/stat : 31962 (java) S 31947 31947 16431 0 -1 1077944384 9802 0 0 0 628 33 0 0 20 0 15 0 16926225 14316269568 75889 18446744073709551615 4194304 4196468 140726439474352 140068406168208 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31963] ppid=31947 vsize=13980732 memory=303556 CPUtime=6.61 cores=1,3,5,7
/proc/31958/task/31963/stat : 31963 (java) S 31947 31947 16431 0 -1 1077944384 10331 0 0 0 629 32 0 0 20 0 15 0 16926225 14316269568 75889 18446744073709551615 4194304 4196468 140726439474352 140068405115408 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31969] ppid=31947 vsize=13980732 memory=303556 CPUtime=3.41 cores=1,3,5,7
/proc/31958/task/31969/stat : 31969 (java) S 31947 31947 16431 0 -1 1077944384 12792 0 0 0 308 33 0 0 20 0 15 0 16926226 14316269568 75889 18446744073709551615 4194304 4196468 140726439474352 140068354206320 140068808481410 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31970] ppid=31947 vsize=13980732 memory=303556 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31970/stat : 31970 (java) S 31947 31947 16431 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 16926226 14316269568 75889 18446744073709551615 4194304 4196468 140726439474352 140068353152352 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31971] ppid=31947 vsize=13980732 memory=303556 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31971/stat : 31971 (java) S 31947 31947 16431 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 16926227 14316269568 75889 18446744073709551615 4194304 4196468 140726439474352 140068352099968 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31972] ppid=31947 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31972/stat : 31972 (java) S 31947 31947 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16926229 14316269568 75889 18446744073709551615 4194304 4196468 140726439474352 140068351048272 140068808488859 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31973] ppid=31947 vsize=13980732 memory=1380 CPUtime=3.74 cores=1,3,5,7
/proc/31958/task/31973/stat : 31973 (java) S 31947 31947 16431 0 -1 1077944384 18011 0 0 0 372 2 0 0 20 0 15 0 16926229 14316269568 75889 18446744073709551615 4194304 4196468 140726439474352 140068349995120 140068808481410 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31974] ppid=31947 vsize=13980732 memory=304312 CPUtime=3.8 cores=1,3,5,7
/proc/31958/task/31974/stat : 31974 (java) S 31947 31947 16431 0 -1 1077944384 18879 0 0 0 378 2 0 0 20 0 15 0 16926229 14316269568 75889 18446744073709551615 4194304 4196468 140726439474352 140068348942320 140068808481410 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31975] ppid=31947 vsize=13980732 memory=1380 CPUtime=0.95 cores=1,3,5,7
/proc/31958/task/31975/stat : 31975 (java) S 31947 31947 16431 0 -1 1077944384 11547 0 0 0 93 2 0 0 20 0 15 0 16926229 14316269568 75889 18446744073709551615 4194304 4196468 140726439474352 140068347890032 140068808481410 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31976] ppid=31947 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31976/stat : 31976 (java) S 31947 31947 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16926229 14316269568 75889 18446744073709551615 4194304 4196468 140726439474352 140068278757856 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31978] ppid=31947 vsize=13980732 memory=2764 CPUtime=1.01 cores=1,3,5,7
/proc/31958/task/31978/stat : 31978 (java) S 31947 31947 16431 0 -1 1077944384 1678 0 0 0 45 56 0 0 20 0 15 0 16926241 14316269568 75889 18446744073709551615 4194304 4196468 140726439474352 140068277705648 140068808481410 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
Current children cumulated CPU time: 2469.84 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 304936 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2492 s]*
/proc/loadavg: 1.31 1.36 1.52 3/212 32247
/proc/meminfo: memFree=30248264/32770624 swapFree=67108860/67108860
[pid=31947] ppid=31944 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31947/stat : 31947 (xcsp3-exec) S 31944 31947 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 16926218 9740288 345 18446744073709551615 4194304 5098028 140723272341008 140723272339112 140121373549180 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 25935872 140723272348025 140723272348230 140723272348230 140723272351723 0
/proc/31947/statm: 2378 345 289 221 0 87 0
[pid=31958] ppid=31947 vsize=13980732 memory=302016 CPUtime=2520.01 cores=1,3,5,7
/proc/31958/stat : 31958 (java) S 31947 31947 16431 0 -1 1077944320 154673 0 0 0 251769 232 0 0 20 0 15 0 16926224 14316269568 75504 18446744073709551615 4194304 4196468 140726439474352 140726439456896 140068808470263 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
/proc/31958/statm: 3495183 75504 3267 1 0 3483476 0
[pid=31958/tid=31959] ppid=31947 vsize=13980732 memory=1200 CPUtime=2479.88 cores=1,3,5,7
/proc/31958/task/31959/stat : 31959 (java) R 31947 31947 16431 0 -1 4202560 49637 0 0 0 247957 31 0 0 20 0 15 0 16926224 14316269568 75504 18446744073709551615 4194304 4196468 140726439474352 140068812709664 140068438573472 0 4 1 16800974 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31960] ppid=31947 vsize=13980732 memory=1716 CPUtime=6.76 cores=1,3,5,7
/proc/31958/task/31960/stat : 31960 (java) S 31947 31947 16431 0 -1 1077944384 9985 0 0 0 644 32 0 0 20 0 15 0 16926225 14316269568 75504 18446744073709551615 4194304 4196468 140726439474352 140068750416272 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31961] ppid=31947 vsize=13980732 memory=303044 CPUtime=6.73 cores=1,3,5,7
/proc/31958/task/31961/stat : 31961 (java) S 31947 31947 16431 0 -1 1077944384 10423 0 0 0 639 34 0 0 20 0 15 0 16926225 14316269568 75504 18446744073709551615 4194304 4196468 140726439474352 140068407220496 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31962] ppid=31947 vsize=13980732 memory=4126316290023845779 CPUtime=6.77 cores=1,3,5,7
/proc/31958/task/31962/stat : 31962 (java) S 31947 31947 16431 0 -1 1077944384 9842 0 0 0 643 34 0 0 20 0 15 0 16926225 14316269568 75504 18446744073709551615 4194304 4196468 140726439474352 140068406168208 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31963] ppid=31947 vsize=13980732 memory=1380 CPUtime=6.78 cores=1,3,5,7
/proc/31958/task/31963/stat : 31963 (java) S 31947 31947 16431 0 -1 1077944384 10363 0 0 0 644 34 0 0 20 0 15 0 16926225 14316269568 75504 18446744073709551615 4194304 4196468 140726439474352 140068405115408 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31969] ppid=31947 vsize=13980732 memory=302528 CPUtime=3.5 cores=1,3,5,7
/proc/31958/task/31969/stat : 31969 (java) S 31947 31947 16431 0 -1 1077944384 12805 0 0 0 316 34 0 0 20 0 15 0 16926226 14316269568 75504 18446744073709551615 4194304 4196468 140726439474352 140068354206320 140068808481410 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31970] ppid=31947 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31970/stat : 31970 (java) S 31947 31947 16431 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 16926226 14316269568 75504 18446744073709551615 4194304 4196468 140726439474352 140068353152352 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31971] ppid=31947 vsize=13980732 memory=302528 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31971/stat : 31971 (java) S 31947 31947 16431 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 16926227 14316269568 75504 18446744073709551615 4194304 4196468 140726439474352 140068352099968 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31972] ppid=31947 vsize=13980732 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31972/stat : 31972 (java) S 31947 31947 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16926229 14316269568 75504 18446744073709551615 4194304 4196468 140726439474352 140068351048272 140068808488859 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31973] ppid=31947 vsize=13980732 memory=3240 CPUtime=3.74 cores=1,3,5,7
/proc/31958/task/31973/stat : 31973 (java) S 31947 31947 16431 0 -1 1077944384 18012 0 0 0 372 2 0 0 20 0 15 0 16926229 14316269568 75504 18446744073709551615 4194304 4196468 140726439474352 140068349995120 140068808481410 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31974] ppid=31947 vsize=13980732 memory=1380 CPUtime=3.8 cores=1,3,5,7
/proc/31958/task/31974/stat : 31974 (java) S 31947 31947 16431 0 -1 1077944384 18879 0 0 0 378 2 0 0 20 0 15 0 16926229 14316269568 75504 18446744073709551615 4194304 4196468 140726439474352 140068348942320 140068808481410 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31975] ppid=31947 vsize=13980732 memory=11952 CPUtime=0.95 cores=1,3,5,7
/proc/31958/task/31975/stat : 31975 (java) S 31947 31947 16431 0 -1 1077944384 11696 0 0 0 93 2 0 0 20 0 15 0 16926229 14316269568 75504 18446744073709551615 4194304 4196468 140726439474352 140068347890032 140068808481410 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31976] ppid=31947 vsize=13980732 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/31958/task/31976/stat : 31976 (java) S 31947 31947 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16926229 14316269568 75504 18446744073709551615 4194304 4196468 140726439474352 140068278757856 140068808480469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
[pid=31958/tid=31978] ppid=31947 vsize=13980732 memory=792 CPUtime=1.02 cores=1,3,5,7
/proc/31958/task/31978/stat : 31978 (java) S 31947 31947 16431 0 -1 1077944384 1694 0 0 0 45 57 0 0 20 0 15 0 16926241 14316269568 75504 18446744073709551615 4194304 4196468 140726439474352 140068277705648 140068808481410 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25055232 140726439477682 140726439477858 140726439477858 140726439481295 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 303396 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2492.02 s]
# the end of solver process 31947 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001272 s, system=0.000636 s
[startup+2492.02 s]
# the end of solver process 31958 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.71 s, system=2.33174 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): 2492.02
CPU time (s): 2520.04
CPU user time (s): 2517.71
CPU system time (s): 2.33174
CPU usage (%): 101.124
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1162008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.71
system time used= 2.33174
maximum resident set size= 1175008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155579
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 137868
involuntary context switches= 4148
# summary of solver processes directly reported to runsolver:
# pid: 31947,31958
# total CPU time (s): 2520.04
# total CPU user time (s): 2517.71
# total CPU system time (s): 2.33174
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1145 second user time and 26.1612 second system time
The end
Begin job on node128 at 2017-08-20 01:12:04 IDJOB=4283331 IDBENCH=120550 IDSOLVER=2679 FILE ID=node128/4283331-1503185165 RUNJOBID= node128-1503171959-30215 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-dsjc-250-9.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4283331-1503185165/watcher-4283331-1503185165 -o /tmp/evaluation-result-4283331-1503185165/solver-4283331-1503185165 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503171959-30215 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1539248500 HOME/instance-4283331-1503185165.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 00e934fa2b5b2efae5113ca45f948426 RANDOM SEED=1539248500 node128.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.47 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.47 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.47 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.47 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: 31781416 kB MemAvailable: 32020528 kB Buffers: 188720 kB Cached: 339856 kB SwapCached: 0 kB Active: 247420 kB Inactive: 336372 kB Active(anon): 55344 kB Inactive(anon): 16752 kB Active(file): 192076 kB Inactive(file): 319620 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8632 kB Writeback: 4 kB AnonPages: 54388 kB Mapped: 32612 kB Shmem: 17060 kB Slab: 110856 kB SReclaimable: 86504 kB SUnreclaim: 24352 kB KernelStack: 3488 kB PageTables: 4332 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 300056 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: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62012 MiB End job on node128 at 2017-08-20 01:53:37