Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.O parallel | OPT | 34 | 11.7689 | 1.54048 |
Name | PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-5.xml |
MD5SUM | 4027cbc08519a891dc4b49e9e1c39c5c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 34 |
Best CPU time to get the best result obtained on this benchmark | 2.89414 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 240 |
Number of constraints | 646 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":240}] |
Minimum variable degree | 7 |
Maximum variable degree | 13 |
Distribution of variable degrees | [{"degree":7,"count":32},{"degree":8,"count":128},{"degree":9,"count":3},{"degree":10,"count":21},{"degree":12,"count":13},{"degree":13,"count":43}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 20 |
Distribution of constraint arities | [{"arity":2,"count":244},{"arity":3,"count":328},{"arity":4,"count":62},{"arity":20,"count":12}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":646}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.10 c 0.00/0.10 c This is cosoco 2.00 -- 0.00/0.10 c 0.00/0.10 c command line: cosoco -model -nbcores=8 HOME/instance-4398546-1568609293.xml 0.00/0.10 c enable optimization 0.00/0.10 c ========================================[ Problem Statistics ]=========================================== 0.00/0.10 c | 0.00/0.10 c | Parse time : 0.06 s 0.00/0.10 c | 0.00/0.10 c | Variables: 240 0.00/0.10 c | Domain Sizes: 2..2 0.00/0.10 c | 0.00/0.10 c | Constraints: 647 0.00/0.10 c | Arity: 2..240 -- Binary: 244 -- Ternary: 328 0.00/0.10 c | 0.00/0.10 c | Types: 0.00/0.10 c | Sum: 647 0.00/0.10 c | 0.00/0.10 c | Objective: Minimize Sum 0.00/0.10 0.00/0.10 c ========================================================================================================= 0.00/0.10 c Parallel mode: Portfolio 0.00/0.10 c [pFactory][Group N°0] created (threads:8). 0.00/0.10 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.00/0.10 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.00/0.10 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.00/0.10 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.00/0.10 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.00/0.10 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.00/0.10 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.00/0.10 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.00/0.10 c [pFactory][Group N°0] concurrent mode: enabled. 0.00/0.10 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.00/0.10 c [pFactory][Group N°0] task 7 launched on thread 5. 0.00/0.10 c [pFactory][Group N°0] task 6 launched on thread 0. 0.00/0.10 c [pFactory][Group N°0] task 5 launched on thread 2. 0.00/0.10 c [pFactory][Group N°0] task 4 launched on thread 1. 0.00/0.10 c [pFactory][Group N°0] task 3 launched on thread 6. 0.00/0.10 c [pFactory][Group N°0] task 2 launched on thread 7. 0.00/0.10 c [pFactory][Group N°0] task 1 launched on thread 3. 0.00/0.10 c [pFactory][Group N°0] task 0 launched on thread 4. 0.00/0.10 o 36 2.00/0.32 o 34 11.46/1.53 c [pFactory][Group N°0] concurent mode: thread 2 has won with the task 5. 11.46/1.53 c [pFactory][Group N°0] Thread N°0 is joined. 11.46/1.53 c [pFactory][Group N°0] Thread N°1 is joined. 11.46/1.53 c [pFactory][Group N°0] Thread N°2 is joined. 11.46/1.53 c [pFactory][Group N°0] Thread N°3 is joined. 11.46/1.53 c [pFactory][Group N°0] Thread N°4 is joined. 11.46/1.53 c [pFactory][Group N°0] Thread N°5 is joined. 11.46/1.53 c [pFactory][Group N°0] Thread N°6 is joined. 11.46/1.53 c [pFactory][Group N°0] Thread N°7 is joined. 11.46/1.53 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°2) 11.46/1.53 s OPTIMUM FOUND 11.46/1.53 c call to solver : 3 11.46/1.53 c 11.46/1.53 c restarts : 202 11.46/1.53 c conflicts : 1995 (170 /sec) 11.46/1.53 c decisions : 49859 (4242 /sec) 11.46/1.53 c propagations : 278552 (23702 /sec) 11.46/1.53 c root propagations : 20116 11.46/1.53 c filter calls : 1149351 (97797 /sec) 11.46/1.53 c useless filter calls : 1056945 (91 %) 11.46/1.53 c Memory used : 579.08 MB 11.46/1.53 c Best bound time (wc) : 0.316666 s 11.46/1.53 c CPU time : 11.7523 s 11.46/1.53 c real time : 1.53374 s 11.46/1.53 11.46/1.53 11.46/1.53 v <instantiation type='solution' cost='34'> 11.46/1.53 v <list>x[0] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[10] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[11] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[12] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[13] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[14] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[15] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[16] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[17] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[18] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[19] x[1] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[20] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[21] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[22] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[5] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[6] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[7] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[8] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[9] </list> 11.46/1.53 v <values>0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 </values> 11.46/1.53 v </instantiation> 11.46/1.53
OK 34
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 (15469 MiB free) memory of node 1: 16384 MiB (15705 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398546-1568609293/watcher-4398546-1568609293 -o /tmp/evaluation-result-4398546-1568609293/solver-4398546-1568609293 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568595839-29710 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398546-1568609293.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=345, runsolver pid=340 [startup+0.100975 s]* /proc/loadavg: 7.92 7.79 6.68 10/199 354 /proc/meminfo: memFree=31914100/32770624 swapFree=67014400/67108860 [pid=345] ppid=340 vsize=625760 memory=12576 CPUtime=0.34 cores=0-7 /proc/345/stat : 345 (cosoco) S 340 345 29683 0 -1 1077944320 3652 0 0 0 34 0 0 0 20 0 9 0 436866675 640778240 3144 33554432000 4194304 6211092 140736253663488 140736253661744 140123142307575 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 /proc/345/statm: 156440 3144 875 493 0 149745 0 [pid=345/tid=347] ppid=340 vsize=625760 memory=8318255677412212789 CPUtime=0.04 cores=0-7 /proc/345/task/347/stat : 347 (cosoco) R 340 345 29683 0 -1 4202560 52 0 0 0 4 0 0 0 20 0 9 0 436866682 640778240 3144 33554432000 4194304 6211092 140736253663488 140123119164552 5156116 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=348] ppid=340 vsize=625760 memory=342 CPUtime=0.04 cores=0-7 /proc/345/task/348/stat : 348 (cosoco) R 340 345 29683 0 -1 4202560 56 0 0 0 4 0 0 0 20 0 9 0 436866682 640778240 3144 33554432000 4194304 6211092 140736253663488 140123110772320 5250234 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=349] ppid=340 vsize=625760 memory=3472757175082182304 CPUtime=0.04 cores=0-7 /proc/345/task/349/stat : 349 (cosoco) R 340 345 29683 0 -1 4202560 30 0 0 0 4 0 0 0 20 0 9 0 436866682 640778240 3144 33554432000 4194304 6211092 140736253663488 140123102379192 5155294 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=350] ppid=340 vsize=625760 memory=0 CPUtime=0.03 cores=0-7 /proc/345/task/350/stat : 350 (cosoco) R 340 345 29683 0 -1 4202560 55 0 0 0 3 0 0 0 20 0 9 0 436866682 640778240 3144 33554432000 4194304 6211092 140736253663488 140123093986576 5157597 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=351] ppid=340 vsize=625760 memory=-1 CPUtime=0.03 cores=0-7 /proc/345/task/351/stat : 351 (cosoco) R 340 345 29683 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 9 0 436866682 640778240 3144 33554432000 4194304 6211092 140736253663488 140123085593784 5397375 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=352] ppid=340 vsize=625760 memory=0 CPUtime=0.04 cores=0-7 /proc/345/task/352/stat : 352 (cosoco) R 340 345 29683 0 -1 4202560 40 0 0 0 4 0 0 0 20 0 9 0 436866682 640778240 3144 33554432000 4194304 6211092 140736253663488 140736253660024 5158095 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=353] ppid=340 vsize=625760 memory=-1 CPUtime=0.03 cores=0-7 /proc/345/task/353/stat : 353 (cosoco) R 340 345 29683 0 -1 4202560 55 0 0 0 3 0 0 0 20 0 9 0 436866682 640778240 3144 33554432000 4194304 6211092 140736253663488 140123068807784 5156133 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=354] ppid=340 vsize=625760 memory=0 CPUtime=0.04 cores=0-7 /proc/345/task/354/stat : 354 (cosoco) R 340 345 29683 0 -1 4202560 48 0 0 0 4 0 0 0 20 0 9 0 436866682 640778240 3144 33554432000 4194304 6211092 140736253663488 140123060416096 5250275 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 625760 KiB Current children cumulated memory: 12576 KiB [startup+0.209973 s]* /proc/loadavg: 7.92 7.79 6.68 9/199 354 /proc/meminfo: memFree=31913356/32770624 swapFree=67014400/67108860 [pid=345] ppid=340 vsize=625760 memory=12836 CPUtime=1.21 cores=0-7 /proc/345/stat : 345 (cosoco) S 340 345 29683 0 -1 1077944320 3798 0 0 0 120 1 0 0 20 0 9 0 436866675 640778240 3209 33554432000 4194304 6211092 140736253663488 140736253661744 140123142307575 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 /proc/345/statm: 156440 3209 878 493 0 149745 0 [pid=345/tid=347] ppid=340 vsize=625760 memory=1398720917958146503 CPUtime=0.15 cores=0-7 /proc/345/task/347/stat : 347 (cosoco) R 340 345 29683 0 -1 4202560 59 0 0 0 15 0 0 0 20 0 9 0 436866682 640778240 3209 33554432000 4194304 6211092 140736253663488 140123119164552 5157544 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=348] ppid=340 vsize=625760 memory=4126316290023845779 CPUtime=0.15 cores=0-7 /proc/345/task/348/stat : 348 (cosoco) R 340 345 29683 0 -1 4202560 67 0 0 0 15 0 0 0 20 0 9 0 436866682 640778240 3209 33554432000 4194304 6211092 140736253663488 140123110772320 5156188 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=349] ppid=340 vsize=625760 memory=0 CPUtime=0.15 cores=0-7 /proc/345/task/349/stat : 349 (cosoco) R 340 345 29683 0 -1 4202560 50 0 0 0 15 0 0 0 20 0 9 0 436866682 640778240 3209 33554432000 4194304 6211092 140736253663488 140123102378440 5250459 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=350] ppid=340 vsize=625760 memory=0 CPUtime=0.14 cores=0-7 /proc/345/task/350/stat : 350 (cosoco) R 340 345 29683 0 -1 4202560 63 0 0 0 14 0 0 0 20 0 9 0 436866682 640778240 3209 33554432000 4194304 6211092 140736253663488 140123093986576 5250465 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=351] ppid=340 vsize=625760 memory=0 CPUtime=0.14 cores=0-7 /proc/345/task/351/stat : 351 (cosoco) R 340 345 29683 0 -1 4202560 64 0 0 0 14 0 0 0 20 0 9 0 436866682 640778240 3209 33554432000 4194304 6211092 140736253663488 140123085593784 5397375 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=352] ppid=340 vsize=625760 memory=0 CPUtime=0.15 cores=0-7 /proc/345/task/352/stat : 352 (cosoco) R 340 345 29683 0 -1 4202560 59 0 0 0 15 0 0 0 20 0 9 0 436866682 640778240 3209 33554432000 4194304 6211092 140736253663488 140123077200328 5158194 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=353] ppid=340 vsize=625760 memory=0 CPUtime=0.13 cores=0-7 /proc/345/task/353/stat : 353 (cosoco) R 340 345 29683 0 -1 4202560 60 0 0 0 13 0 0 0 20 0 9 0 436866682 640778240 3209 33554432000 4194304 6211092 140736253663488 140123068807784 5157772 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=354] ppid=340 vsize=625760 memory=0 CPUtime=0.15 cores=0-7 /proc/345/task/354/stat : 354 (cosoco) R 340 345 29683 0 -1 4202560 61 0 0 0 15 0 0 0 20 0 9 0 436866682 640778240 3209 33554432000 4194304 6211092 140736253663488 140123060416096 5158106 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 Current children cumulated CPU time: 1.21 s Current children cumulated vsize: 625760 KiB Current children cumulated memory: 12836 KiB [startup+0.309977 s]* /proc/loadavg: 7.92 7.79 6.68 9/199 354 /proc/meminfo: memFree=31913356/32770624 swapFree=67014400/67108860 [pid=345] ppid=340 vsize=625760 memory=13096 CPUtime=2 cores=0-7 /proc/345/stat : 345 (cosoco) S 340 345 29683 0 -1 1077944320 3821 0 0 0 199 1 0 0 20 0 9 0 436866675 640778240 3274 33554432000 4194304 6211092 140736253663488 140736253661744 140123142307575 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 /proc/345/statm: 156440 3274 880 493 0 149745 0 [pid=345/tid=347] ppid=340 vsize=625760 memory=1398720917958146503 CPUtime=0.25 cores=0-7 /proc/345/task/347/stat : 347 (cosoco) R 340 345 29683 0 -1 4202560 60 0 0 0 25 0 0 0 20 0 9 0 436866682 640778240 3274 33554432000 4194304 6211092 140736253663488 140123119164552 5155804 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=348] ppid=340 vsize=625760 memory=3677534773662714415 CPUtime=0.25 cores=0-7 /proc/345/task/348/stat : 348 (cosoco) R 340 345 29683 0 -1 4202560 70 0 0 0 25 0 0 0 20 0 9 0 436866682 640778240 3274 33554432000 4194304 6211092 140736253663488 140123110772320 5156224 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=349] ppid=340 vsize=625760 memory=3833318889008764852 CPUtime=0.25 cores=0-7 /proc/345/task/349/stat : 349 (cosoco) R 340 345 29683 0 -1 4202560 55 0 0 0 25 0 0 0 20 0 9 0 436866682 640778240 3274 33554432000 4194304 6211092 140736253663488 140123102378632 5155804 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=350] ppid=340 vsize=625760 memory=6368741223755310943 CPUtime=0.24 cores=0-7 /proc/345/task/350/stat : 350 (cosoco) R 340 345 29683 0 -1 4202560 73 0 0 0 24 0 0 0 20 0 9 0 436866682 640778240 3274 33554432000 4194304 6211092 140736253663488 140123093986576 5155804 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=351] ppid=340 vsize=625760 memory=7072938619143862577 CPUtime=0.24 cores=0-7 /proc/345/task/351/stat : 351 (cosoco) R 340 345 29683 0 -1 4202560 65 0 0 0 24 0 0 0 20 0 9 0 436866682 640778240 3274 33554432000 4194304 6211092 140736253663488 140123085593784 5250287 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=352] ppid=340 vsize=625760 memory=7073078313290777670 CPUtime=0.25 cores=0-7 /proc/345/task/352/stat : 352 (cosoco) R 340 345 29683 0 -1 4202560 60 0 0 0 25 0 0 0 20 0 9 0 436866682 640778240 3274 33554432000 4194304 6211092 140736253663488 140123077200488 5157540 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=353] ppid=340 vsize=625760 memory=535 CPUtime=0.22 cores=0-7 /proc/345/task/353/stat : 353 (cosoco) R 340 345 29683 0 -1 4202560 63 0 0 0 22 0 0 0 20 0 9 0 436866682 640778240 3274 33554432000 4194304 6211092 140736253663488 140123068807624 5156232 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=354] ppid=340 vsize=625760 memory=4100 CPUtime=0.25 cores=0-7 /proc/345/task/354/stat : 354 (cosoco) R 340 345 29683 0 -1 4202560 61 0 0 0 25 0 0 0 20 0 9 0 436866682 640778240 3274 33554432000 4194304 6211092 140736253663488 140123060416096 5250251 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 Current children cumulated CPU time: 2 s Current children cumulated vsize: 625760 KiB Current children cumulated memory: 13096 KiB [startup+0.700971 s] /proc/loadavg: 7.92 7.79 6.68 9/199 354 /proc/meminfo: memFree=31913356/32770624 swapFree=67014400/67108860 [pid=345] ppid=340 vsize=625760 memory=13356 CPUtime=5.07 cores=0-7 /proc/345/stat : 345 (cosoco) S 340 345 29683 0 -1 1077944320 3842 0 0 0 506 1 0 0 20 0 9 0 436866675 640778240 3339 33554432000 4194304 6211092 140736253663488 140736253661744 140123142307575 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 /proc/345/statm: 156440 3339 884 493 0 149745 0 [pid=345/tid=347] ppid=340 vsize=625760 memory=279337022744160 CPUtime=0.63 cores=0-7 /proc/345/task/347/stat : 347 (cosoco) R 340 345 29683 0 -1 4202560 64 0 0 0 63 0 0 0 20 0 9 0 436866682 640778240 3339 33554432000 4194304 6211092 140736253663488 140123119164552 5156232 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=348] ppid=340 vsize=625760 memory=988 CPUtime=0.63 cores=0-7 /proc/345/task/348/stat : 348 (cosoco) R 340 345 29683 0 -1 4202560 73 0 0 0 63 0 0 0 20 0 9 0 436866682 640778240 3339 33554432000 4194304 6211092 140736253663488 140123110772320 5157562 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=349] ppid=340 vsize=625760 memory=1988 CPUtime=0.63 cores=0-7 /proc/345/task/349/stat : 349 (cosoco) R 340 345 29683 0 -1 4202560 55 0 0 0 63 0 0 0 20 0 9 0 436866682 640778240 3339 33554432000 4194304 6211092 140736253663488 140123102378632 5250450 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=350] ppid=340 vsize=625760 memory=1344 CPUtime=0.62 cores=0-7 /proc/345/task/350/stat : 350 (cosoco) R 340 345 29683 0 -1 4202560 75 0 0 0 62 0 0 0 20 0 9 0 436866682 640778240 3339 33554432000 4194304 6211092 140736253663488 140123093986576 5157737 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=351] ppid=340 vsize=625760 memory=7420 CPUtime=0.62 cores=0-7 /proc/345/task/351/stat : 351 (cosoco) R 340 345 29683 0 -1 4202560 68 0 0 0 62 0 0 0 20 0 9 0 436866682 640778240 3339 33554432000 4194304 6211092 140736253663488 140123085593784 5250275 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=352] ppid=340 vsize=625760 memory=1056 CPUtime=0.63 cores=0-7 /proc/345/task/352/stat : 352 (cosoco) R 340 345 29683 0 -1 4202560 64 0 0 0 63 0 0 0 20 0 9 0 436866682 640778240 3339 33554432000 4194304 6211092 140736253663488 140123077200488 5250272 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=353] ppid=340 vsize=625760 memory=4012 CPUtime=0.58 cores=0-7 /proc/345/task/353/stat : 353 (cosoco) R 340 345 29683 0 -1 4202560 65 0 0 0 58 0 0 0 20 0 9 0 436866682 640778240 3339 33554432000 4194304 6211092 140736253663488 140123068808208 5157540 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=354] ppid=340 vsize=625760 memory=2836 CPUtime=0.63 cores=0-7 /proc/345/task/354/stat : 354 (cosoco) R 340 345 29683 0 -1 4202560 63 0 0 0 63 0 0 0 20 0 9 0 436866682 640778240 3339 33554432000 4194304 6211092 140736253663488 140123060416096 5155968 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 Current children cumulated CPU time: 5.07 s Current children cumulated vsize: 625760 KiB Current children cumulated memory: 13356 KiB [startup+1.50097 s] /proc/loadavg: 7.92 7.79 6.68 9/199 354 /proc/meminfo: memFree=31913200/32770624 swapFree=67014400/67108860 [pid=345] ppid=340 vsize=625760 memory=14744 CPUtime=11.46 cores=0-7 /proc/345/stat : 345 (cosoco) S 340 345 29683 0 -1 1077944320 6817 0 0 0 1145 1 0 0 20 0 9 0 436866675 640778240 3686 33554432000 4194304 6211092 140736253663488 140736253661744 140123142307575 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 /proc/345/statm: 156440 3686 888 493 0 149745 0 [pid=345/tid=347] ppid=340 vsize=625760 memory=986 CPUtime=1.43 cores=0-7 /proc/345/task/347/stat : 347 (cosoco) R 340 345 29683 0 -1 4202560 311 0 0 0 143 0 0 0 20 0 9 0 436866682 640778240 3686 33554432000 4194304 6211092 140736253663488 140123119164008 5155800 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=348] ppid=340 vsize=625760 memory=123 CPUtime=1.43 cores=0-7 /proc/345/task/348/stat : 348 (cosoco) R 340 345 29683 0 -1 4202560 511 0 0 0 143 0 0 0 20 0 9 0 436866682 640778240 3686 33554432000 4194304 6211092 140736253663488 140123110771304 5155800 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=349] ppid=340 vsize=625760 memory=139672905999999 CPUtime=1.43 cores=0-7 /proc/345/task/349/stat : 349 (cosoco) R 340 345 29683 0 -1 4202560 425 0 0 0 143 0 0 0 20 0 9 0 436866682 640778240 3686 33554432000 4194304 6211092 140736253663488 140123102378600 5155800 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=350] ppid=340 vsize=625760 memory=0 CPUtime=1.42 cores=0-7 /proc/345/task/350/stat : 350 (cosoco) R 340 345 29683 0 -1 4202560 616 0 0 0 142 0 0 0 20 0 9 0 436866682 640778240 3686 33554432000 4194304 6211092 140736253663488 140123093986576 5157544 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=351] ppid=340 vsize=625760 memory=0 CPUtime=1.42 cores=0-7 /proc/345/task/351/stat : 351 (cosoco) R 340 345 29683 0 -1 4202560 555 0 0 0 142 0 0 0 20 0 9 0 436866682 640778240 3686 33554432000 4194304 6211092 140736253663488 140123085593192 5156224 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=352] ppid=340 vsize=625760 memory=988 CPUtime=1.43 cores=0-7 /proc/345/task/352/stat : 352 (cosoco) R 340 345 29683 0 -1 4202560 326 0 0 0 143 0 0 0 20 0 9 0 436866682 640778240 3686 33554432000 4194304 6211092 140736253663488 140123077200328 5157540 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=353] ppid=340 vsize=625760 memory=1988 CPUtime=1.37 cores=0-7 /proc/345/task/353/stat : 353 (cosoco) R 340 345 29683 0 -1 4202560 319 0 0 0 137 0 0 0 20 0 9 0 436866682 640778240 3686 33554432000 4194304 6211092 140736253663488 140123068807784 5250272 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=354] ppid=340 vsize=625760 memory=1344 CPUtime=1.43 cores=0-7 /proc/345/task/354/stat : 354 (cosoco) R 340 345 29683 0 -1 4202560 439 0 0 0 143 0 0 0 20 0 9 0 436866682 640778240 3686 33554432000 4194304 6211092 140736253663488 140123060415160 5193754 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 Current children cumulated CPU time: 11.46 s Current children cumulated vsize: 625760 KiB Current children cumulated memory: 14744 KiB [startup+1.54044 s] # the end of solver process 345 was just reported to runsolver # cumulated CPU time of all completed processes: user=11.7529 s, system=0.015993 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.50097 s] /proc/loadavg: 7.92 7.79 6.68 9/199 354 /proc/meminfo: memFree=31913200/32770624 swapFree=67014400/67108860 [pid=345] ppid=340 vsize=625760 memory=14744 CPUtime=11.46 cores=0-7 /proc/345/stat : 345 (cosoco) S 340 345 29683 0 -1 1077944320 6817 0 0 0 1145 1 0 0 20 0 9 0 436866675 640778240 3686 33554432000 4194304 6211092 140736253663488 140736253661744 140123142307575 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 /proc/345/statm: 156440 3686 888 493 0 149745 0 [pid=345/tid=347] ppid=340 vsize=625760 memory=986 CPUtime=1.43 cores=0-7 /proc/345/task/347/stat : 347 (cosoco) R 340 345 29683 0 -1 4202560 311 0 0 0 143 0 0 0 20 0 9 0 436866682 640778240 3686 33554432000 4194304 6211092 140736253663488 140123119164008 5155800 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=348] ppid=340 vsize=625760 memory=123 CPUtime=1.43 cores=0-7 /proc/345/task/348/stat : 348 (cosoco) R 340 345 29683 0 -1 4202560 511 0 0 0 143 0 0 0 20 0 9 0 436866682 640778240 3686 33554432000 4194304 6211092 140736253663488 140123110771304 5155800 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=349] ppid=340 vsize=625760 memory=139672905999999 CPUtime=1.43 cores=0-7 /proc/345/task/349/stat : 349 (cosoco) R 340 345 29683 0 -1 4202560 425 0 0 0 143 0 0 0 20 0 9 0 436866682 640778240 3686 33554432000 4194304 6211092 140736253663488 140123102378600 5155800 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=350] ppid=340 vsize=625760 memory=0 CPUtime=1.42 cores=0-7 /proc/345/task/350/stat : 350 (cosoco) R 340 345 29683 0 -1 4202560 616 0 0 0 142 0 0 0 20 0 9 0 436866682 640778240 3686 33554432000 4194304 6211092 140736253663488 140123093986576 5157544 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=351] ppid=340 vsize=625760 memory=0 CPUtime=1.42 cores=0-7 /proc/345/task/351/stat : 351 (cosoco) R 340 345 29683 0 -1 4202560 555 0 0 0 142 0 0 0 20 0 9 0 436866682 640778240 3686 33554432000 4194304 6211092 140736253663488 140123085593192 5156224 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=352] ppid=340 vsize=625760 memory=988 CPUtime=1.43 cores=0-7 /proc/345/task/352/stat : 352 (cosoco) R 340 345 29683 0 -1 4202560 326 0 0 0 143 0 0 0 20 0 9 0 436866682 640778240 3686 33554432000 4194304 6211092 140736253663488 140123077200328 5157540 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=353] ppid=340 vsize=625760 memory=1988 CPUtime=1.37 cores=0-7 /proc/345/task/353/stat : 353 (cosoco) R 340 345 29683 0 -1 4202560 319 0 0 0 137 0 0 0 20 0 9 0 436866682 640778240 3686 33554432000 4194304 6211092 140736253663488 140123068807784 5250272 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 [pid=345/tid=354] ppid=340 vsize=625760 memory=1344 CPUtime=1.43 cores=0-7 /proc/345/task/354/stat : 354 (cosoco) R 340 345 29683 0 -1 4202560 439 0 0 0 143 0 0 0 20 0 9 0 436866682 640778240 3686 33554432000 4194304 6211092 140736253663488 140123060415160 5193754 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30785536 140736253666326 140736253666418 140736253666418 140736253669326 0 Current children cumulated CPU time: 11.46 s Current children cumulated vsize: 625760 KiB Current children cumulated memory: 14744 KiB Child status: 0 Real time (s): 1.54048 CPU time (s): 11.7689 CPU user time (s): 11.7529 CPU system time (s): 0.015993 CPU usage (%): 763.978 Max. virtual memory (cumulated for all children) (KiB): 625760 Max. memory (cumulated for all children) (KiB): 14744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11.7529 system time used= 0.015993 maximum resident set size= 14864 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6867 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40 involuntary context switches= 129 # summary of solver processes directly reported to runsolver: # pid: 345 # total CPU time (s): 11.7689 # total CPU user time (s): 11.7529 # total CPU system time (s): 0.015993 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.029144 second user time and 0.051812 second system time The end
Begin job on node143 at 2019-09-16 06:47:32 IDJOB=4398546 IDBENCH=134667 IDSOLVER=2852 FILE ID=node143/4398546-1568609293 RUNJOBID= node143-1568595839-29710 PBS_JOBID= 21703394 Free space on /tmp= 59276 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-routing/Pb-routing-s3-3-3-5.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398546-1568609293/watcher-4398546-1568609293 -o /tmp/evaluation-result-4398546-1568609293/solver-4398546-1568609293 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568595839-29710 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398546-1568609293.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4027cbc08519a891dc4b49e9e1c39c5c RANDOM SEED=1664284511 node143.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.73 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.73 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.73 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.73 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: 31924108 kB MemAvailable: 31874068 kB Buffers: 8184 kB Cached: 194296 kB SwapCached: 40008 kB Active: 51976 kB Inactive: 201712 kB Active(anon): 2272 kB Inactive(anon): 98540 kB Active(file): 49704 kB Inactive(file): 103172 kB Unevictable: 110332 kB Mlocked: 110332 kB SwapTotal: 67108860 kB SwapFree: 67014400 kB Dirty: 2720 kB Writeback: 0 kB AnonPages: 116164 kB Mapped: 37800 kB Shmem: 40872 kB Slab: 182664 kB SReclaimable: 153460 kB SUnreclaim: 29204 kB KernelStack: 3376 kB PageTables: 4996 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 508276 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 65536 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 59272 MiB End job on node143 at 2019-09-16 06:47:34