| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.O parallel | SAT | 0.197272 | 0.0426719 |
| Name | Primes/ Primes-m1-p15/Primes-15-80-3-7.xml |
| MD5SUM | 06954292f1b618a5cd25146d74869010 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.066718 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 100 |
| Number of constraints | 80 |
| Number of domains | 1 |
| Minimum domain size | 46 |
| Maximum domain size | 46 |
| Distribution of domain sizes | [{"size":46,"count":100}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 12 |
| Distribution of variable degrees | [{"degree":1,"count":3},{"degree":2,"count":3},{"degree":3,"count":7},{"degree":4,"count":26},{"degree":5,"count":14},{"degree":6,"count":23},{"degree":7,"count":15},{"degree":8,"count":2},{"degree":9,"count":2},{"degree":10,"count":3},{"degree":11,"count":1},{"degree":12,"count":1}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 10 |
| Distribution of constraint arities | [{"arity":3,"count":10},{"arity":4,"count":9},{"arity":5,"count":13},{"arity":6,"count":3},{"arity":7,"count":12},{"arity":8,"count":9},{"arity":9,"count":11},{"arity":10,"count":13}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"sum","count":80}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.01 c root propagations : 923 0.00/0.01 c restarts enabled, print stats at every restarts 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c This is cosoco 2.00 -- 0.00/0.01 c 0.00/0.01 c command line: cosoco -model -nbcores=8 HOME/instance-4397987-1568605850.xml 0.00/0.01 c ========================================[ Problem Statistics ]=========================================== 0.00/0.01 c | 0.00/0.01 c | Parse time : 0.01 s 0.00/0.01 c | 0.00/0.01 c | Variables: 100 0.00/0.01 c | Domain Sizes: 46..46 0.00/0.01 c | 0.00/0.01 c | Constraints: 80 0.00/0.01 c | Arity: 3..10 -- Ternary: 10 0.00/0.01 c | 0.00/0.01 c | Types: 0.00/0.01 c | Sum: 80 0.00/0.01 c | 0.00/0.01 c ========================================================================================================= 0.00/0.01 c Parallel mode: Portfolio 0.00/0.01 c [pFactory][Group N°0] created (threads:8). 0.00/0.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.00/0.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.00/0.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.00/0.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.00/0.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.00/0.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.00/0.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.00/0.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.00/0.02 c [pFactory][Group N°0] concurrent mode: enabled. 0.00/0.02 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.00/0.02 c [pFactory][Group N°0] task 7 launched on thread 1. 0.00/0.02 c [pFactory][Group N°0] task 6 launched on thread 0. 0.00/0.02 c [pFactory][Group N°0] task 5 launched on thread 2. 0.00/0.02 c [pFactory][Group N°0] task 4 launched on thread 6. 0.00/0.02 c [pFactory][Group N°0] task 3 launched on thread 7. 0.00/0.02 c [pFactory][Group N°0] task 2 launched on thread 4. 0.00/0.02 c [pFactory][Group N°0] task 1 launched on thread 3. 0.00/0.02 c [pFactory][Group N°0] task 0 launched on thread 5. 0.00/0.02 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.02 c 0 1 255 924 49 0 0 0 0 0.00/0.02 c 0 2 255 925 49 0 0 0 0 0.00/0.02 c 0 3 255 926 49 0 0 0 0 0.00/0.02 c 0 4 255 927 49 0 0 0 0 0.00/0.02 c root propagations : 923 0.00/0.02 c restarts enabled, print stats at every restarts 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c 0 5 255 928 49 0 0 0 0 0.00/0.02 c 0 c 6 255 929 49 0 0 0 0 conflicts 0.00/0.02 decisionsc 0 7 255 930 49 0 0 0 0 0.00/0.02 c root propagations : 923 0.00/0.02 c restarts enabled, print stats at every restarts 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c 0 8 255 931 49 0 0 0 0 c filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.02 0.00/0.02 conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.02 c 0 9 255 932 49 0 0 0 0 0.00/0.02 c 0 10 255 933 49 0 0 0 0 0.00/0.02 c 0 11 255 934 49 0 0 0 0 0.00/0.02 c 0 12 255 935 49 0 0 0 0 0.00/0.02 c 0 13 255 936 49 0 0 0 0 0.00/0.02 c 0 14 255 937 49 0 0 0 0 0.00/0.02 c 0 15 255 938 49 0 0 0 0 0.00/0.02 c 0 16 255 939 49 0 0 0 0 0.00/0.02 c 0 17 255 940 49 0 0 0 0 0.00/0.02 c root propagations : 923 0.00/0.02 c restarts enabled, print stats at every restarts 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.02 c root propagations : 923 0.00/0.02 c restarts enabled, print stats at every restarts 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c root propagations : 923 0.00/0.02 c restarts enabled, print stats at every restarts 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c conflicts decisions c filterCalls propagations0 Root Prop.18 255 941 49 c 0 conflictsdecisions filterCalls propagations Root Prop. Nogoods 0 0 0min/max/avg depth 0.00/0.02 0.00/0.02 Nogoods min/max/avg depth 0.00/0.02 c 0 19 255 942 49 0 0 0 0 0.00/0.02 c 0 20 255 943 49 0 0 0 0 0.00/0.02 c root propagations : 923 0.00/0.02 c restarts enabled, print stats at every restarts 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c 0 1 255 924 49 0 c 0 0 0 0.00/0.02 conflictsc 0 1 255 924 49 0 0 0 0 c 0 2 0.00/0.02 255 925 49 0 0 0 0 0.00/0.02 c 0 1 255 924 49 0 0 0 0 0.00/0.02 c 0 2 263 926 49 0 0 0 0 0.00/0.02 c 0 3 263 927 49 0 0 0 0 0.00/0.02 c 0 3 263 927 49 0 c 0 0 0 0.00/0.02 c 0 2 263 926 49 0 0 1 255 0 0 0924 49 0 0 0 0 0.00/0.02 0.00/0.02 c 0 c 1 255 924 0 49 5 0 270 931 49 0 0 0 0 0.00/0.02 0 0 0decisions filterCalls c 0.00/0.02 0 3 263 927 propagations Root Prop. Nogoods min/max/avg depth 0.00/0.02 49 c 0 0 3 272 0 0 0c 943 0 7 49 282 0 0.00/0.02 952 c 0 4 263 928 49 0 0 0 0 0.00/0.02 c 0 5 263 929 49 0 0 0 0.00/0.02 49 0 0 0 0 0.00/0.02 c root propagations : 923 0.00/0.02 c 0 2 263 926 49 0 0 0 0 0 0.00/0.02 c restarts enabled, print stats at every restarts 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c conflicts decisions filterCalls propagations Root Prop. Nogoods 0 0 0 c 0 0.00/0.02 3 min/max/avg depth 0.00/0.02 c 0 6 263 263 927 c 49 0 0 0 0 0 0.00/0.02 930 5 49 340 1026 49 0 0 0 0 0 0 0 0 0.00/0.02 0.00/0.02 c 0 4 272 944 49 0 0 0 0 0.00/0.02 c 0 5 272 945 49 0 0 0 0 0.00/0.02 c 0 7 281 963 49 0 0 0 0 0.00/0.02 c 0 1 263 925 49 0 0 0 0 0.00/0.02 c 0 2 271 c 927 0 49 90 298 982 49 0 0 0 0 0.00/0.02 0 0 0 0.00/0.02 c 0 6 334 1098 49 0 0 0 0 0.00/0.03 c 0 1 263 925 49 0 0 0 0 0.00/0.03 c 0 8 348 1101 49 0 0 0 0 0.00/0.03 c 0 7 484 1310 49 0 0 0 0 0.00/0.03 c 0 3 313 991 49 0 0 0 0 0.00/0.03 c 0 12 399 1064 49 0 0 0 0 0.00/0.03 c 0 11 419 1272 49 0 0 0 0 0.00/0.03 c 0 4 410 1371 49 0 0 0 0 0.00/0.03 c 0 8 608 1649 49 0 0 0 0 0.00/0.03 c 0 15 581 1501 49 0 0 0 0 0.00/0.03 c 0 6 549 1815 49 0 0 0 0 0.00/0.03 c 0 18 605 1356 49 0 0 0 0 0.00/0.03 c 0 18 652 1672 49 0 0 0 0 0.00/0.03 c 0 21 711 1439 49 0 0 0 0 0.00/0.03 c 0 8 693 2260 49 0 0 0 0 0.00/0.03 c 0 21 755 1739 49 0 0 0 0 0.00/0.03 c 0 9 701 2262 49 0 0 0 0 0.00/0.03 c 0 8 282 953 49 0 0 0 0 0.00/0.03 c 0 9 294 957 49 0 0 0 0 0.00/0.03 c 0 24 812 1521 49 0 0 0 0 0.00/0.03 c 0 24 861 1805 49 0 0 0 0 0.00/0.03 c 0 11 840 2706 49 0 0 0 0 0.00/0.03 c 0 12 840 2707 49 0 0 0 0 0.00/0.03 c 0 27 921 1603 49 0 0 0 0 0.00/0.03 c 0 13 850 2710 49 0 0 0 0 0.00/0.03 c 0 14 850 2711 49 0 0 0 0 0.00/0.03 c 0 28 931 1606 49 0 0 0 0 0.00/0.03 c 0 27 959 1870 49 0 0 0 0 0.00/0.03 c 0 12 505 1491 49 0 0 0 0 0.00/0.03 c 0 31 1032 1686 49 0 0 0 0 0.00/0.03 c 0 30 1067 1936 49 0 0 0 0 0.00/0.03 c 0 16 989 3155 49 0 0 0 0 0.00/0.03 c 0 23 1162 3629 49 0 0 0 0 0.00/0.03 c 0 24 1200 3638 49 0 0 0 0 0.00/0.03 c 0 38 1313 2051 49 0 0 0 0 0.00/0.03 c 0 37 1352 2288 49 0 0 0 0 0.00/0.03 c 0 39 1347 2060 49 0 0 0 0 0.00/0.03 c 0 40 1355 2062 49 0 0 0 0 0.00/0.03 c 0 38 1386 2297 49 0 0 0 0 0.00/0.03 c 0 43 1428 2134 49 0 0 0 0 0.00/0.03 c 0 26 1339 4082 49 0 0 0 0 0.00/0.03 c 0 46 1501 2206 49 0 0 0 0 0.00/0.03 c 0 42 1528 2517 49 0 0 0 0 0.00/0.03 c 0 51 1644 2443 49 0 0 0 0 0.00/0.03 c 0 46 1662 2736 c 49 0 52 1649 2445 49 0 00 0 00 0 0 0.00/0.03 0.00/0.03 c 0 53 1649 2446 49 0 0 0 0 0.00/0.03 c 0 33 1568 4588 49 0 0 0 0 0.00/0.03 c 0 49 1737 2793 49 0 0 0 0 0.00/0.03 c 0 56 1722 2518 49 0 0 0 0 0.00/0.03 c 0 44 1888 5300 49 0 0 0 0 0.00/0.03 c 0 45 1896 5302 49 0 0 0 0 0.00/0.03 c 0 47 2035 5746 49 0 0 0 0 0.00/0.03 c 32 41 2502 4806 49 0 2 3 2 0.00/0.03 c 33 42 2578 5036 49 0 1 1 0 0.00/0.03 c 32 45 2718 5306 49 0 1 2 1 0.00/0.03 c 33 46 2769 5349 49 0 1 1 0 0.00/0.03 c 101 113 2062 14103 49 0 2 3 2 0.00/0.03 c 64 98 5264 12236 50 0 1 24 13 0.00/0.03 c 65 105 5441 12608 50 0 7 7 3 0.00/0.03 c 66 107 5788 13411 50 0 2 2 1 0.00/0.03 c 32 130 6153 12409 49 0 3 26 15 0.00/0.03 c 64 105 6120 13723 50 0 1 24 18 0.00/0.03 c 67 116 6030 14322 50 0 9 9 4 0.00/0.03 c 32 124 6372 15507 49 0 4 26 16 0.00/0.03 c 33 142 6506 13304 50 0 12 12 6 0.00/0.03 c 65 117 6711 16138 50 0 12 12 6 0.00/0.03 c 33 138 6774 16437 50 0 14 14 7 0.00/0.03 c 101 145 6270 15402 49 0 3 21 10 0.00/0.03 c 66 119 6899 16881 50 0 2 2 1 0.00/0.03 c 67 127 7116 17774 50 0 8 8 4 0.00/0.04 c 101 196 8989 22914 49 0 8 16 12 0.00/0.04 c 64 177 9346 21750 52 0 1 2 1 0.00/0.04 c 65 178 9365 21766 52 0 1 1 0 0.00/0.04 c 211 272 7908 35566 49 0 3 19 7 0.00/0.04 c 66 179 9386 21783 52 0 1 1 0 0.00/0.04 c 67 180 9405 21799 52 0 1 1 0 0.00/0.04 c 101 205 10467 21693 50 0 1 21 11 0.00/0.04 c 64 197 10589 23589 54 0 1 14 3 0.00/0.04 c 65 210 10899 24258 54 0 13 13 6 0.00/0.04 c 66 212 11100 24657 54 0 2 2 1 0.00/0.04 c 67 225 11386 25406 54 0 13 13 6 0.00/0.04 c 128 208 12131 29793 54 0 1 15 7 0.00/0.04 c 129 228 12721 32144 54 0 20 20 10 0.00/0.04 c 130 242 13081 32754 54 0 14 14 7 0.00/0.04 c 128 244 13821 34518 54 0 2 20 10 0.00/0.04 c 131 253 13545 33542 54 0 11 11 5 0.00/0.04 c 132 267 13907 34151 54 0 14 14 7 0.00/0.04 c 129 252 14293 35331 54 0 8 8 4 0.00/0.04 c 130 265 14636 36217 54 0 13 13 6 0.00/0.04 c 131 266 14651 36278 54 0 1 1 0 0.00/0.04 c 133 278 14369 34936 54 0 11 11 5 0.00/0.04 c First solution is found 0.00/0.04 c [pFactory][Group N°0] concurent mode: thread 0 has won with the task 6. 0.00/0.04 c [pFactory][Group N°0] Thread N°0 is joined. 0.00/0.04 c [pFactory][Group N°0] Thread N°1 is joined. 0.00/0.04 c [pFactory][Group N°0] Thread N°2 is joined. 0.00/0.04 c [pFactory][Group N°0] Thread N°3 is joined. 0.00/0.04 c [pFactory][Group N°0] Thread N°4 is joined. 0.00/0.04 c [pFactory][Group N°0] Thread N°5 is joined. 0.00/0.04 c [pFactory][Group N°0] Thread N°6 is joined. 0.00/0.04 c [pFactory][Group N°0] Thread N°7 is joined. 0.00/0.04 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°0) 0.00/0.04 s SATISFIABLE 0.00/0.04 c restarts : 17 0.00/0.04 c conflicts : 131 (681 /sec) 0.00/0.04 c decisions : 268 (1394 /sec) 0.00/0.04 c propagations : 36642 (190600 /sec) 0.00/0.04 c root propagations : 923 0.00/0.04 c filter calls : 14772 (76839 /sec) 0.00/0.04 c useless filter calls : 10934 (74 %) 0.00/0.04 c Memory used : 571.88 MB 0.00/0.04 c CPU time : 0.192246 s 0.00/0.04 c real time : 0.035929 s 0.00/0.04 0.00/0.04 c solution 1 0.00/0.04 0.00/0.04 v <instantiation type='solution'> 0.00/0.04 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] </list> 0.00/0.04 v <values>43 3 41 31 23 31 3 41 29 3 5 19 13 11 23 3 2 17 19 3 37 23 41 29 5 13 5 43 19 31 47 41 41 7 47 41 43 3 3 19 29 7 17 47 47 19 23 47 13 2 23 3 3 13 37 7 5 13 3 3 2 2 47 41 37 13 3 29 43 5 29 2 41 2 47 41 47 47 7 13 19 7 17 23 23 29 7 37 47 11 41 2 37 7 11 19 3 17 29 47 </values> 0.00/0.04 v </instantiation> 0.00/0.04
OK
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 (15398 MiB free)
memory of node 1: 16384 MiB (15430 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397987-1568605850/watcher-4397987-1568605850 -o /tmp/evaluation-result-4397987-1568605850/solver-4397987-1568605850 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568597211-7653 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4397987-1568605850.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8797, runsolver pid=8794
[startup+0.042629 s]
# the end of solver process 8797 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.192246 s, system=0.005026 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.0426719
CPU time (s): 0.197272
CPU user time (s): 0.192246
CPU system time (s): 0.005026
CPU usage (%): 462.3
Max. virtual memory (cumulated for all children) (KiB): 0
Max. memory (cumulated for all children) (KiB): 0
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.192246
system time used= 0.005026
maximum resident set size= 6556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1818
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= 104
involuntary context switches= 4
# summary of solver processes directly reported to runsolver:
# pid: 8797
# total CPU time (s): 0.197272
# total CPU user time (s): 0.192246
# total CPU system time (s): 0.005026
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.005348 second user time and 0.017115 second system time
The end
Begin job on node102 at 2019-09-16 05:50:05 IDJOB=4397987 IDBENCH=133404 IDSOLVER=2851 FILE ID=node102/4397987-1568605850 RUNJOBID= node102-1568597211-7653 PBS_JOBID= 21703406 Free space on /tmp= 59328 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/Primes/Primes-m1-p15/Primes-15-80-3-7.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397987-1568605850/watcher-4397987-1568605850 -o /tmp/evaluation-result-4397987-1568605850/solver-4397987-1568605850 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568597211-7653 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4397987-1568605850.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 06954292f1b618a5cd25146d74869010 RANDOM SEED=498992989 node102.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.13 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.54 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.13 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.54 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.13 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.54 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.13 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31568248 kB MemAvailable: 31906436 kB Buffers: 127332 kB Cached: 509548 kB SwapCached: 7700 kB Active: 375712 kB Inactive: 273012 kB Active(anon): 6600 kB Inactive(anon): 46568 kB Active(file): 369112 kB Inactive(file): 226444 kB Unevictable: 110384 kB Mlocked: 110384 kB SwapTotal: 67108860 kB SwapFree: 66998824 kB Dirty: 2624 kB Writeback: 0 kB AnonPages: 261352 kB Mapped: 40988 kB Shmem: 33416 kB Slab: 145068 kB SReclaimable: 116932 kB SUnreclaim: 28136 kB KernelStack: 3728 kB PageTables: 5956 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507768 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 215040 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 59324 MiB End job on node102 at 2019-09-16 05:50:05