Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 parallel | SAT | 0.405496 | 0.0684649 |
Name | Primes/ Primes-m1-p30/Primes-30-80-3-7.xml |
MD5SUM | d6f47189ec9a9650b4b34af3081cbaad |
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.351152 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 80 |
Number of domains | 1 |
Minimum domain size | 112 |
Maximum domain size | 112 |
Distribution of domain sizes | [{"size":112,"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.02 c root propagations : 1796 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.00/0.02 c This is cosoco 2.00 -- 0.00/0.02 c 0.00/0.02 c command line: cosoco -model -nbcores=8 HOME/instance-4409340-1569827977.xml 0.00/0.02 c ========================================[ Problem Statistics ]=========================================== 0.00/0.02 c | 0.00/0.02 c | Parse time : 0.01 s 0.00/0.02 c | 0.00/0.02 c | Variables: 100 0.00/0.02 c | Domain Sizes: 112..112 0.00/0.02 c | 0.00/0.02 c | Constraints: 80 0.00/0.02 c | Arity: 3..10 -- Ternary: 10 0.00/0.02 c | 0.00/0.02 c | Types: 0.00/0.02 c | Sum: 80 0.00/0.02 c | 0.00/0.02 c ========================================================================================================= 0.00/0.02 c Parallel mode: Portfolio 0.00/0.02 c [pFactory][Group N°0] created (threads:8). 0.00/0.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.00/0.02 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 4. 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 1. 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 2. 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 root propagations : 1796 0.00/0.02 c root propagations : 1796 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 : 1796 0.00/0.02 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 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 restarts enabled, print stats at every restarts 0.00/0.02 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 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 : 1796 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 : 1796 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 : 1796 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 0 1 245 1797 42 0 0 0 0 0.00/0.02 c 0 2 245 1798 42 0 0 0 0 0.00/0.02 c 0 1 245 1797 42 0 0 0 0 0.00/0.02 c 0 2 245 1798 42 0 0 0 0 0.00/0.02 c 0 1 245 1797 42 0 0 0 0 0.00/0.02 c 0 3 258 1803 42 0 0 0 0 0.00/0.02 c 0 4 258 1804 42 0 0 0 0 0.00/0.02 c 0 5 258 1805 42 0 0 0 0 0.00/0.02 c c 0 0 2 1 245 1797 258 42 1800 0 42 0 0 0 0 0 0 0c c 0 0.00/0.02 6 258 1806 42 0 0 0 0 0 0.00/0.02 1 0.00/0.02 245 1797 42 0 0 0 0 0.00/0.02 c 0 7 258 1807 42 0 0 0 0 0.00/0.02 c 0 3 271 1803 42 0 0 0 0 0.00/0.02 c 0 2 258 1802 42 0 0 0 0 0.00/0.02 c 0 8 271 1810 42 0 0 0 0 0.00/0.02 c 0 9 271 1811 42 0 0 0 0 0.00/0.02 c 0 10 271 1812 42 0 0 0 0 0.00/0.02 c 0 1 258 1801 42 0 0 0 0 0.00/0.02 c 0 4 284 1806 42 0 0 0 0 0.00/0.02 c 0 2 258 1802 c 42 0 0 3 271 1805 42 0 0 0 0 0 0 0 0.00/0.02 c 0.00/0.02 0 11 284 1815 42 0 0 0 0 0.00/0.02 c 0 2 271 1806 42 0 0 0 0 0.00/0.02 c 0 12 284 1816 42 0 c 0 0 0 0 5 297 1809 42 0.00/0.02 00 0 0 0.00/0.02 c 0 3 271 1807 42 0 c 0 0 0c 0 4 0284 1808 42 1 0 258 1803 42 0 0 0 0 c 0 0 0 0.00/0.02 0.00/0.02 0 3 284 1809 42 0 0 0 0 0.00/0.02 c c 0 0 13 4 297284 181942 18100 420 0 0 0 0 0 0 0.00/0.02 c 0 6 310 1812 42 0 0 0 0 0.00/0.02 c c 0 14 297 1820 42 0.00/0.02 0 0 0 0 0 5 284 1811 42 0 0 0 0 0.00/0.02 c 0 7 310 1813 42 0 0.00/0.02 0 0 0 c c 0 c 5 0 c 2 297 0.00/0.02 0 271 1808 18111542 c 0 297 0 0 61821 8 0 0 0 42 42 310 00 1814 0 0 0 0.00/0.02 42 284 0 0 00 c 1812 0.00/0.02 0 42 6 c 0 0 0 0 0 0 00 0.00/0.02 3 0.00/0.02 0.00/0.02 297 c 1812 0 42 90 310 0 0 0 0.00/0.02 1815 42 0 271 1809 42 0 0 0 0 0.00/0.02 0 0 0c 0 4 271 1810 0.00/0.02 42 c 0 10 310 1816 042 0 0 0 0 0 0 0 0.00/0.02 0.00/0.02 c 0 16 297 1822 42 0 0 0 0 0.00/0.02 c c 0 5 271 1811 42 0 0 0 0 0.00/0.02 c 0 4 0.00/0.02 0 284 17 c 297 0 18231810 11 c 42 310 42 0 1817 0 420 0 0 00 6271 0 0 0 0.00/0.02 0.00/0.02 0 0 0 0.00/0.02 1812 42 0 c 0 0 0 0.00/0.02 0 c 12 310 0 18187 271 421813 42 0 00 0 0 0.00/0.02 c root propagations : 1796 0.00/0.02 c 0 19 306 1838 42 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 0 0 0c 0.00/0.02 conflictsdecisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.02 c 0 6 302 1895 42 0 0 0 0 0.00/0.02 c 0 9 317 2135 42 0 0 0 0 0.00/0.02 c 0 22 375 2257 42 0 0 0 0 0.00/0.02 c 0 1 263 1808 c 42 0 011 369 2458 42 0 0 0 0 0.00/0.02 0 0 0 0.00/0.02 c 0 15 429 2378 42 0 0 0 0 0.00/0.02 c 0 25 450 2677 42 0 0 0 0 0.00/0.02 c 0 9 461 2409 42 0 0 0 0 0.00/0.02 c 0 7 284 1813 42 0 0 0 0 0.00/0.02 c 0 8 290 1815 42 0 0 0 0 0.00/0.03 c 0 13 415 2780 42 0 c 0 0 00 c 0 0.00/0.03 27 459 2692 42 0 10 0 0 0 0.00/0.03 467 2411 42 0 0 0 0 0.00/0.03 c 0 18 546 2732 42 0 0 0 0 0.00/0.03 c 0 3 462 2943 42 0 0 0 0 0.00/0.03 c 0 11 742 3626 42 0 0 0 0 0.00/0.03 c 32 67 2305 25173 44 0 1 9 5 0.00/0.03 c 33 68 2329 25317 44 0 1 1 0 0.00/0.03 c 32 57 3031 21843 42 0 7 16 13 0.00/0.03 c 32 72 2734 26640 42 0 2 9 5 0.00/0.03 c 33 58 3118 22098 46 0 1 1 0 0.00/0.03 c 33 73 2818 26941 46 0 1 1 0 0.00/0.04 c 64 104 4083 39549 46 0 1 1 0 0.00/0.04 c 65 105 4166 40320 46 0 1 1 0 0.00/0.04 c 66 106 4257 41171 46 0 1 1 0 0.00/0.04 c 101 127 4833 29750 43 0 2 11 2 0.00/0.04 c 67 107 4321 41590 46 0 1 1 0 0.00/0.04 c 101 166 4930 42032 42 0 2 16 7 0.00/0.04 c 32 79 5589 21054 42 0 7 16 12 0.00/0.04 c 33 80 5665 21546 46 0 1 1 0 0.00/0.04 c 64 114 5474 53226 46 0 1 16 1 0.00/0.04 c 64 119 6155 46971 46 0 1 20 8 0.00/0.04 c 65 118 5986 58026 46 0 4 4 2 0.00/0.04 c 66 128 6525 60049 46 0 10 10 5 0.00/0.04 c 67 129 6545 60493 46 0 1 1 0 0.00/0.04 c 65 143 7091 51596 46 0 24 24 12 0.00/0.05 c 66 148 7388 52301 47 0 5 5 2 0.00/0.05 c 64 124 7994 34092 47 0 1 5 1 0.00/0.05 c 65 125 8025 34189 47 0 1 1 0 0.00/0.05 c 66 126 8068 34288 47 0 1 1 0 0.00/0.05 c 67 127 8088 34382 47 0 1 1 0 0.00/0.05 c 67 172 8367 56735 47 0 24 24 12 0.00/0.05 c 128 195 9472 78148 47 0 1 2 1 0.00/0.05 c 129 205 10009 80108 47 0 10 10 5 0.00/0.05 c 130 207 10152 81413 47 0 2 2 1 0.00/0.05 c 131 217 10693 83373 47 0 10 10 5 0.00/0.05 c 132 219 10836 84678 47 0 2 2 1 0.00/0.06 c 133 229 11373 86637 47 0 10 10 5 0.00/0.06 c 134 231 11520 87943 47 0 2 2 1 0.00/0.06 c 101 141 12031 55281 42 0 7 16 13 0.00/0.06 c 101 165 12565 64010 47 0 1 26 12 0.00/0.06 c 135 241 12057 89901 47 0 10 10 5 0.00/0.06 c 211 264 12940 100268 47 0 1 10 5 0.00/0.06 c 128 236 13782 69212 47 0 1 43 17 0.00/0.06 c 128 252 13004 70082 47 0 2 11 7 0.00/0.06 c 211 284 13516 92026 48 0 1 2 1 0.00/0.06 c 129 247 14147 70516 48 0 11 11 5 0.00/0.06 c 130 248 14201 70648 48 0 1 1 0 0.00/0.06 c 129 273 13732 73320 48 0 21 21 10 0.00/0.06 c 130 297 14671 77627 48 0 24 24 12 0.00/0.06 c 131 272 15580 75968 48 0 24 24 12 0.00/0.06 c 131 299 14821 78433 48 0 2 2 1 0.00/0.06 c 132 288 16100 78496 48 0 16 16 8 0.00/0.06 c 132 320 15479 81624 48 0 21 21 10 0.00/0.06 c 133 293 16357 79257 48 0 5 5 2 0.00/0.06 c 133 344 16381 85915 48 0 24 24 12 0.00/0.06 c 134 346 16531 86720 48 0 2 2 1 0.00/0.06 c 128 196 18145 93090 46 0 1 15 7 0.00/0.06 c 134 317 17714 84576 48 0 24 24 12 0.00/0.06 c First solution is found 0.00/0.06 c [pFactory][Group N°0] concurent mode: thread 4 has won with the task 7. 0.00/0.06 c [pFactory][Group N°0] Thread N°0 is joined. 0.00/0.06 c [pFactory][Group N°0] Thread N°1 is joined. 0.00/0.06 c [pFactory][Group N°0] Thread N°2 is joined. 0.00/0.06 c [pFactory][Group N°0] Thread N°3 is joined. 0.00/0.06 c [pFactory][Group N°0] Thread N°4 is joined. 0.00/0.06 c [pFactory][Group N°0] Thread N°5 is joined. 0.00/0.06 c [pFactory][Group N°0] Thread N°6 is joined. 0.00/0.06 c [pFactory][Group N°0] Thread N°7 is joined. 0.00/0.06 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°4) 0.00/0.06 s SATISFIABLE 0.00/0.06 c restarts : 20 0.00/0.06 c conflicts : 217 (542 /sec) 0.00/0.06 c decisions : 341 (852 /sec) 0.00/0.06 c propagations : 115259 (287845 /sec) 0.00/0.06 c root propagations : 1796 0.00/0.06 c filter calls : 16368 (40877 /sec) 0.00/0.06 c useless filter calls : 12433 (75 %) 0.00/0.06 c Memory used : 572.27 MB 0.00/0.06 c CPU time : 0.400363 s 0.00/0.06 c real time : 0.0641 s 0.00/0.06 0.00/0.06 c solution 1 0.00/0.06 0.00/0.06 v <instantiation type='solution'> 0.00/0.06 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.06 v <values>43 59 107 101 89 101 59 41 29 3 5 19 73 71 89 59 2 17 83 59 37 23 107 29 5 73 5 43 19 101 113 41 41 67 113 107 43 59 3 83 29 7 79 113 47 19 23 47 13 2 89 59 3 73 103 7 5 73 59 3 53 53 47 107 103 13 59 29 43 61 97 53 41 53 47 107 47 47 7 73 19 67 17 23 23 97 7 37 47 71 41 2 103 67 71 83 59 17 97 113 </values> 0.00/0.06 v </instantiation> 0.00/0.06
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 (14464 MiB free) memory of node 1: 16384 MiB (14628 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409340-1569827977/watcher-4409340-1569827977 -o /tmp/evaluation-result-4409340-1569827977/solver-4409340-1569827977 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1569818041-29544 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409340-1569827977.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=31527, runsolver pid=31524 Current StackSize limit: 8192 KiB [startup+0.0684289 s] # the end of solver process 31527 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.40042 s, system=0.005076 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 0.0684649 CPU time (s): 0.405496 CPU user time (s): 0.40042 CPU system time (s): 0.005076 CPU usage (%): 592.268 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.40042 system time used= 0.005076 maximum resident set size= 7524 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2208 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= 236 involuntary context switches= 6 # summary of solver processes directly reported to runsolver: # pid: 31527 # total CPU time (s): 0.405496 # total CPU user time (s): 0.40042 # total CPU system time (s): 0.005076 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.007651 second user time and 0.014346 second system time The end
Begin job on node145 at 2019-09-30 09:18:54 IDJOB=4409340 IDBENCH=133371 IDSOLVER=2877 FILE ID=node145/4409340-1569827977 RUNJOBID= node145-1569818041-29544 PBS_JOBID= 21705923 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/Primes/Primes-m1-p30/Primes-30-80-3-7.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409340-1569827977/watcher-4409340-1569827977 -o /tmp/evaluation-result-4409340-1569827977/solver-4409340-1569827977 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1569818041-29544 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409340-1569827977.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d6f47189ec9a9650b4b34af3081cbaad RANDOM SEED=2024247075 node145.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.59 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.59 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.59 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.59 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: 29791548 kB MemAvailable: 31824048 kB Buffers: 229564 kB Cached: 2126848 kB SwapCached: 32684 kB Active: 1212984 kB Inactive: 1180640 kB Active(anon): 3928 kB Inactive(anon): 115336 kB Active(file): 1209056 kB Inactive(file): 1065304 kB Unevictable: 108516 kB Mlocked: 108516 kB SwapTotal: 67108860 kB SwapFree: 66966920 kB Dirty: 2924 kB Writeback: 0 kB AnonPages: 130736 kB Mapped: 26800 kB Shmem: 73436 kB Slab: 177320 kB SReclaimable: 147952 kB SUnreclaim: 29368 kB KernelStack: 3712 kB PageTables: 5496 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 538720 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 83968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 62028 MiB End job on node145 at 2019-09-30 09:18:54