| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.0 parallel | SAT | 0.179211 | 0.040274 |
| 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-4409247-1569828025.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.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.00/0.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.00/0.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.00/0.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.00/0.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.00/0.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.00/0.01 c [pFactory][Group N°0] concurrent mode: enabled. 0.00/0.01 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.00/0.01 c [pFactory][Group N°0] task 7 launched on thread 6. 0.00/0.01 c [pFactory][Group N°0] task 6 launched on thread 1. 0.00/0.01 c [pFactory][Group N°0] task 5 launched on thread 0. 0.00/0.01 c [pFactory][Group N°0] task 4 launched on thread 2. 0.00/0.01 c [pFactory][Group N°0] task 3 launched on thread 7. 0.00/0.01 c [pFactory][Group N°0] task 2 launched on thread 5. 0.00/0.01 c [pFactory][Group N°0] task 1 launched on thread 3. 0.00/0.01 c [pFactory][Group N°0] task 0 launched on thread 4. 0.00/0.01 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 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 conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.01 c 0 1 255 924 49 0 c 0 1 255 924 49 0 0 0 0 0.00/0.01 0 0 0 0.00/0.01 c 0 2 255 925 49 0 0 0 0 0.00/0.01 c 0 2 255 925 49 0 c 0 3 255 926 0 0 049 0 0.00/0.01 0 0 0 0.00/0.01 c 0 4 255 927 49 0 0 0 0 0.00/0.01 c 0 3 255 926 49 0 0 0 0 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 4 255 927 49 0 0 0 0 0.00/0.01 c 0 5 255 928 49 0 c 0 0 0 0.00/0.01 c 0 5 255 928 49 0 conflicts0 0 0 0.00/0.01 decisions filterCalls c c 0 propagations6 0 6 255 Root Prop. 929 255 49 0 Nogoods 9290 0 0 49 0 0 0 0 min/max/avg depth 0.00/0.01 0.00/0.01 0.00/0.01 c 0 7 255 930 49 0 0 0 0 0.00/0.01 c 0 8 255 931 49 0 0 0 0 0.00/0.01 c 0 9 255 932 49 0 0 0 0 0.00/0.01 c 0 7 255 930 49 0 0 0 0 0.00/0.01 c 0 8 255 931 49 0 0 0 0 0.00/0.01 c 0 9 255 932 49 0 0 0 0 0.00/0.01 c 0 10 255 933 49 0 0 0 0 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 conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 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 conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 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 conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.01 c 0 1 255 924 49 0 0 0 0 0.00/0.01 c 0 2 255 925 49 0 0 0 0 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 conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.01 c c 0 1 255 924 0 11 49 255 c 0 3 255 926 49 0 0 0 0 0.00/0.01 0 c 0 0 0 0 0.00/0.01 10 c 0 2 255 925 49 0 0 0 0 255 0.00/0.01 c 0 3 255 926 49 0 0 0 0 0.00/0.01 933 934 49 490 0 0 0 0 0.00/0.01 0 0 0 0.00/0.01 c 0 11 255 934 49 0 0 0 0 0.00/0.01 c 0 12 255 935 49 0 0 0 0 0.00/0.01 c 0 14 267 956 49 0 0 0 0 0.00/0.02 c c 0 0 1 1 255 255 924 924 49 0 49 c 0 0 0 0.00/0.02 0 15 275 958 49 0 0 0 0 0 0.00/0.02 0 0 0 0.00/0.02 c 0 2 263 926 49 0 0 0 0 0.00/0.02 c 0 5 337 1026 49 0 c c c 0 0 00 0 0.00/0.02 3 0 c 6 326 1097 49 0 0 0 00 16 2 263 926 49 0 0 0 0275 959 0.00/0.02 49 c 0 0 3 263 0.00/0.02 927 0 0 049 0 0 0 0 0.00/0.02 c 0 4 263 c 0 6 345 1028 49 0 0 0 0 0.00/0.02 0.00/0.02 c 0 7 345 1029 49 0 0 0 0 0.00/0.02 928 49 0 0 0 0 0.00/0.02 c 0 7 334 1099 49 0 0 0 0 0.00/0.02 c 0 17 275 960 49 0 c 0 8 334 0 0 0 0.00/0.02 1100 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 49 0 18 0 c 275 conflicts961 0 0 0 49 0 0 0 0 0.00/0.02 0.00/0.02 decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.02 263 927 49 0 0 0 0 0.00/0.02 c 0 6 305 993 49 0 0 0 0 0.00/0.02 c 0 4 263 928 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 8 347 1058 49 0 0 0 0 0.00/0.02 c 0 11 432 1167 49 0 0 0 0 0.00/0.02 c 0 1 263 925 49 0 c 0 0 0 09 0.00/0.02 c 0 12 437 1169 49 0 0 0 0 0.00/0.02 489 1313 49 0 0 0 0 0.00/0.02 c 0 2 268 927 49 0 0 0 0 0.00/0.02 c 0 10 394 1124 49 0 0 0 0 0.00/0.02 c 0 13 445 1171 49 0 0 0 0 0.00/0.02 c 0 14 445 1172 49 0 0 0 0 0.00/0.02 c c 0 0 10 3 276 494 929 1315 49 490 00 0 0 0 0 0 c 0.00/0.02 0 11 402 1126 49 0 0 0 0 0.00/0.02 0.00/0.02 c 0 5 285 947 49 0 0 0 0 0.00/0.02 c 0 13 444 1191 49 0 0 0 0 0.00/0.02 c 0 17 543 1238 49 0 0 0 0 0.00/0.03 c 0 6 402 1372 49 0 0 0 0 0.00/0.03 c 0 8 386 1029 49 0 0 0 0 0.00/0.03 c 0 12 646 1598 49 0 0 0 0 0.00/0.03 c 0 20 641 1304 49 0 0 0 0 0.00/0.03 c 0 16 685 1781 49 0 0 0 0 0.00/0.03 c 0 15 667 1396 49 0 0 0 0 0.00/0.03 c 0 27 926 1658 49 0 0 0 0 0.00/0.03 c 0 18 778 1479 49 0 0 0 0 0.00/0.03 c 0 19 786 1481 49 0 0 0 0 0.00/0.03 c 0 19 926 2371 49 0 0 0 0 0.00/0.03 c 0 30 1034 1725 49 0 0 0 0 0.00/0.03 c 0 20 943 2375 49 0 0 0 0 0.00/0.03 c 0 22 887 1561 49 0 0 0 0 0.00/0.03 c 0 34 1204 1953 49 0 0 0 0 0.00/0.03 c 0 23 1108 2610 49 0 0 0 0 0.00/0.03 c 0 26 1053 1805 49 0 0 0 0 0.00/0.03 c 0 35 1240 1962 49 0 0 0 0 0.00/0.03 c 0 36 1240 1963 49 0 0 0 0 0.00/0.03 c 0 24 1142 2619 49 0 0 0 0 0.00/0.03 c 32 38 2394 4483 49 0 1 2 1 0.00/0.03 c 33 39 2423 4688 49 0 1 1 0 0.00/0.03 c 101 118 2206 14378 49 0 2 3 2 0.00/0.03 c 32 78 3254 7862 49 0 3 8 5 0.00/0.03 c 33 79 3322 8022 50 0 1 1 0 0.00/0.03 c 64 95 5109 11888 50 0 1 24 13 0.00/0.03 c 32 100 5518 11705 49 0 3 26 15 0.00/0.03 c 65 103 5628 12787 51 0 8 8 4 0.00/0.03 c 32 111 5875 14678 49 0 4 26 16 0.00/0.03 c 33 112 5872 12602 51 0 12 12 6 0.00/0.03 c 66 110 5849 13262 51 0 7 7 3 0.00/0.03 c 67 111 5868 13342 51 0 1 1 0 0.00/0.03 c 33 125 6274 15610 51 0 14 14 7 0.00/0.03 c 64 154 6406 18190 51 0 1 21 10 0.00/0.03 c 65 155 6438 18272 51 0 1 1 0 0.00/0.03 c 66 156 6465 18336 51 0 1 1 0 0.00/0.03 c 67 157 6476 18393 52 0 1 1 0 0.00/0.03 c 101 150 7435 19737 49 0 2 18 8 0.00/0.03 c 101 153 7554 18650 49 0 7 16 12 0.00/0.03 c 64 164 8863 20964 53 0 1 2 1 0.00/0.03 c 65 165 8882 20980 53 0 1 1 0 0.00/0.03 c 66 166 8903 20997 53 0 1 1 0 0.00/0.03 c 67 167 8922 21013 53 0 1 1 0 0.00/0.03 c 64 154 9115 20608 53 0 1 5 2 0.00/0.03 c 65 167 9426 21371 53 0 13 13 6 0.00/0.03 c 66 169 9581 21764 53 0 2 2 1 0.00/0.03 c 211 296 8969 40775 50 0 3 26 12 0.00/0.03 c 67 182 9869 22524 53 0 13 13 6 0.00/0.03 c 101 198 10736 22132 51 0 1 21 11 0.00/0.03 c 128 269 10314 25755 52 0 1 25 21 0.00/0.03 c 129 270 10364 25815 53 0 1 1 0 0.00/0.03 c 130 271 10379 25845 53 0 1 1 0 0.00/0.03 c 211 303 10507 32521 53 0 1 24 19 0.00/0.03 c 131 284 10620 26310 53 0 13 13 6 0.00/0.03 c 132 285 10631 26372 53 0 1 1 0 0.00/0.03 c 133 287 10732 26705 53 0 2 2 1 0.00/0.03 c 134 299 10966 27179 53 0 12 12 6 0.00/0.03 c 135 301 11073 27513 53 0 2 2 1 0.00/0.03 c 128 197 11837 32612 51 0 1 18 14 0.00/0.03 c 129 199 12037 33001 53 0 2 2 1 0.00/0.03 c 130 208 12274 33649 53 0 9 9 4 0.00/0.03 c 131 209 12291 33710 53 0 1 1 0 0.00/0.03 c 132 211 12543 34462 53 0 2 2 1 0.00/0.03 c 133 220 12778 35105 53 0 9 9 4 0.00/0.03 c 134 222 13048 35851 53 0 2 2 1 0.00/0.03 c First solution is found 0.00/0.03 c [pFactory][Group N°0] concurent mode: thread 1 has won with the task 6. 0.00/0.03 c [pFactory][Group N°0] Thread N°0 is joined. 0.00/0.03 c [pFactory][Group N°0] Thread N°1 is joined. 0.00/0.03 c [pFactory][Group N°0] Thread N°2 is joined. 0.00/0.03 c [pFactory][Group N°0] Thread N°3 is joined. 0.00/0.03 c [pFactory][Group N°0] Thread N°4 is joined. 0.00/0.03 c [pFactory][Group N°0] Thread N°5 is joined. 0.00/0.03 c [pFactory][Group N°0] Thread N°6 is joined. 0.00/0.03 c [pFactory][Group N°0] Thread N°7 is joined. 0.00/0.03 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°1) 0.00/0.03 s SATISFIABLE 0.00/0.03 c restarts : 14 0.00/0.03 c conflicts : 134 (765 /sec) 0.00/0.03 c decisions : 224 (1278 /sec) 0.00/0.03 c propagations : 36071 (205868 /sec) 0.00/0.03 c root propagations : 923 0.00/0.03 c filter calls : 13147 (75034 /sec) 0.00/0.03 c useless filter calls : 9764 (74 %) 0.00/0.03 c Memory used : 571.88 MB 0.00/0.03 c CPU time : 0.175214 s 0.00/0.03 c real time : 0.034235 s 0.00/0.03 0.00/0.03 c solution 1 0.00/0.03 0.00/0.03 v <instantiation type='solution'> 0.00/0.03 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.03 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.03 v </instantiation> 0.00/0.03
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 (14852 MiB free)
memory of node 1: 16384 MiB (14620 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409247-1569828025/watcher-4409247-1569828025 -o /tmp/evaluation-result-4409247-1569828025/solver-4409247-1569828025 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1569817669-3093 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409247-1569828025.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4799, runsolver pid=4796
Current StackSize limit: 8192 KiB
[startup+0.0402389 s]
# the end of solver process 4799 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.175214 s, system=0.003997 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.040274
CPU time (s): 0.179211
CPU user time (s): 0.175214
CPU system time (s): 0.003997
CPU usage (%): 444.98
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.175214
system time used= 0.003997
maximum resident set size= 6540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1814
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= 140
involuntary context switches= 5
# summary of solver processes directly reported to runsolver:
# pid: 4799
# total CPU time (s): 0.179211
# total CPU user time (s): 0.175214
# total CPU system time (s): 0.003997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.008428 second user time and 0.013245 second system time
The end
Begin job on node119 at 2019-09-30 09:19:43 IDJOB=4409247 IDBENCH=133404 IDSOLVER=2877 FILE ID=node119/4409247-1569828025 RUNJOBID= node119-1569817669-3093 PBS_JOBID= 21705918 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 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-4409247-1569828025/watcher-4409247-1569828025 -o /tmp/evaluation-result-4409247-1569828025/solver-4409247-1569828025 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1569817669-3093 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409247-1569828025.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 06954292f1b618a5cd25146d74869010 RANDOM SEED=1139258583 node119.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: 30179944 kB MemAvailable: 31828252 kB Buffers: 224612 kB Cached: 1761612 kB SwapCached: 46700 kB Active: 1075880 kB Inactive: 962024 kB Active(anon): 17016 kB Inactive(anon): 116460 kB Active(file): 1058864 kB Inactive(file): 845564 kB Unevictable: 107468 kB Mlocked: 107468 kB SwapTotal: 67108860 kB SwapFree: 66954180 kB Dirty: 2756 kB Writeback: 0 kB AnonPages: 113768 kB Mapped: 26388 kB Shmem: 73180 kB Slab: 148396 kB SReclaimable: 119432 kB SUnreclaim: 28964 kB KernelStack: 3392 kB PageTables: 4836 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 538852 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 62028 MiB End job on node119 at 2019-09-30 09:19:43