Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | ? (exit code) | 36.8436 | 36.8543 |
Name | Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-scen-10-opt_c18.xml |
MD5SUM | d97bf760713e7741c92fd1268dd09e15 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 647980 |
Best CPU time to get the best result obtained on this benchmark | 2520.14 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4749 |
Number of constraints | 4689 |
Number of domains | 11 |
Minimum domain size | 2 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":2,"count":4069},{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}] |
Minimum variable degree | 2 |
Maximum variable degree | 63 |
Distribution of variable degrees | [{"degree":2,"count":4070},{"degree":3,"count":1},{"degree":4,"count":27},{"degree":5,"count":22},{"degree":6,"count":78},{"degree":7,"count":29},{"degree":8,"count":79},{"degree":9,"count":23},{"degree":10,"count":77},{"degree":11,"count":29},{"degree":12,"count":39},{"degree":13,"count":29},{"degree":14,"count":40},{"degree":15,"count":18},{"degree":16,"count":32},{"degree":17,"count":15},{"degree":18,"count":21},{"degree":19,"count":8},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":10},{"degree":23,"count":9},{"degree":24,"count":6},{"degree":25,"count":9},{"degree":26,"count":6},{"degree":27,"count":3},{"degree":28,"count":8},{"degree":29,"count":6},{"degree":30,"count":3},{"degree":31,"count":5},{"degree":32,"count":1},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":48,"count":1},{"degree":56,"count":1},{"degree":63,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":1,"count":280},{"arity":2,"count":646},{"arity":3,"count":3763}] |
Number of extensional constraints | 4409 |
Number of intensional constraints | 280 |
Distribution of constraint types | [{"type":"extension","count":4409},{"type":"intension","count":280}] |
Optimization problem | YES |
Type of objective | min SUM |
5.79/5.88 c best=?? lower=0 upper=13771720 7.79/7.81 c 7.79/7.81 c This is cosoco 1.12 -- 7.79/7.81 c 7.79/7.81 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4298301-1532747185.xml 7.79/7.81 c enable optimization 7.79/7.81 c ========================================[ Problem Statistics ]=========================================== 7.79/7.81 c | 7.79/7.81 c | Parse time : 5.79 s 7.79/7.81 c | 7.79/7.81 c | Variables: 4749 7.79/7.81 c | Domain Sizes: 2..44 7.79/7.81 c | 7.79/7.81 c | Constraints: 4690 7.79/7.81 c | Arity: 1..4069 -- Unary: 280 -- Binary: 646 -- Ternary: 3763 7.79/7.81 c | 7.79/7.81 c | Types: 7.79/7.81 c | Extension: 4409 (nb tuples: 6..1936) -- (shared: 3337) 7.79/7.81 c | Sum: 1 7.79/7.81 c | Unary: 280 7.79/7.81 c | 7.79/7.81 c | Objective: Minimize Sum 7.79/7.81 7.79/7.81 c ========================================================================================================= 7.79/7.81 o 2250853 7.79/7.81 c 1 calls to solver: best=2250853 lower=0 upper=2250852 10.00/10.06 o 2224553 12.29/12.31 o 2206350 12.29/12.31 c 3 calls to solver: best=2206350 lower=0 upper=2206349 14.48/14.52 o 1924948 16.69/16.74 o 1924747 16.69/16.74 c 5 calls to solver: best=1924747 lower=0 upper=1924746 18.89/18.92 o 1904947 24.58/24.61 o 1353299 24.58/24.61 c 7 calls to solver: best=1353299 lower=0 upper=1353298 26.59/26.69 o 1296884 28.68/28.75 o 1276174 28.68/28.75 c 9 calls to solver: best=1276174 lower=0 upper=1276173 31.09/31.17 o 1275776 36.78/36.83 Solution Error : constraint number 4270 (name ) is not valid 36.78/36.83 Constraint {STRNegE} : [ x[264] x[608] za4[738] ]
One s line expected
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 (11660 MiB free) memory of node 1: 16384 MiB (15825 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298301-1532747185/watcher-4298301-1532747185 -o /tmp/evaluation-result-4298301-1532747185/solver-4298301-1532747185 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532741135-24675 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4298301-1532747185.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=26011, runsolver pid=26008 Current StackSize limit: 8192 KiB [startup+0.100201 s]* /proc/loadavg: 2.34 2.09 2.07 3/187 26012 /proc/meminfo: memFree=28138688/32770624 swapFree=67108860/67108860 [pid=26011] ppid=26008 vsize=34188 memory=10472 CPUtime=0.1 cores=0,2,4,6 /proc/26011/stat : 26011 (cosoco) R 26008 26011 24644 0 -1 4202496 2801 0 0 0 10 0 0 0 20 0 1 0 92281672 35008512 2618 33554432000 4194304 6142532 140735520949168 140735520945800 5489275 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 9428992 140735520953478 140735520953608 140735520953608 140735520956366 0 /proc/26011/statm: 8547 2618 792 476 0 1869 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 34188 KiB Current children cumulated memory: 10472 KiB [startup+0.209795 s]* /proc/loadavg: 2.34 2.09 2.07 3/187 26012 /proc/meminfo: memFree=28136456/32770624 swapFree=67108860/67108860 [pid=26011] ppid=26008 vsize=36392 memory=12584 CPUtime=0.21 cores=0,2,4,6 /proc/26011/stat : 26011 (cosoco) R 26008 26011 24644 0 -1 4202496 3327 0 0 0 21 0 0 0 20 0 1 0 92281672 37265408 3146 33554432000 4194304 6142532 140735520949168 140735520945800 5802398 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 9428992 140735520953478 140735520953608 140735520953608 140735520956366 0 /proc/26011/statm: 9098 3146 793 476 0 2420 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 36392 KiB Current children cumulated memory: 12584 KiB [startup+0.309251 s]* /proc/loadavg: 2.34 2.09 2.07 3/187 26012 /proc/meminfo: memFree=28133852/32770624 swapFree=67108860/67108860 [pid=26011] ppid=26008 vsize=39232 memory=15488 CPUtime=0.31 cores=0,2,4,6 /proc/26011/stat : 26011 (cosoco) R 26008 26011 24644 0 -1 4202496 4044 0 0 0 31 0 0 0 20 0 1 0 92281672 40173568 3872 33554432000 4194304 6142532 140735520949168 140735520945800 5489263 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 9428992 140735520953478 140735520953608 140735520953608 140735520956366 0 /proc/26011/statm: 9808 3872 793 476 0 3130 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 39232 KiB Current children cumulated memory: 15488 KiB [startup+0.700345 s] /proc/loadavg: 2.34 2.09 2.07 3/187 26012 /proc/meminfo: memFree=28128644/32770624 swapFree=67108860/67108860 [pid=26011] ppid=26008 vsize=48800 memory=24812 CPUtime=0.69 cores=0,2,4,6 /proc/26011/stat : 26011 (cosoco) R 26008 26011 24644 0 -1 4202496 6369 0 0 0 68 1 0 0 20 0 1 0 92281672 49971200 6203 33554432000 4194304 6142532 140735520949168 140735520945800 5489263 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 9428992 140735520953478 140735520953608 140735520953608 140735520956366 0 /proc/26011/statm: 12200 6203 793 476 0 5522 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 48800 KiB Current children cumulated memory: 24812 KiB [startup+1.50035 s] /proc/loadavg: 2.34 2.09 2.07 3/187 26012 /proc/meminfo: memFree=28117352/32770624 swapFree=67108860/67108860 [pid=26011] ppid=26008 vsize=67744 memory=43432 CPUtime=1.49 cores=0,2,4,6 /proc/26011/stat : 26011 (cosoco) R 26008 26011 24644 0 -1 4202496 11075 0 0 0 148 1 0 0 20 0 1 0 92281672 69369856 10858 33554432000 4194304 6142532 140735520949168 140735520943880 5801534 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 9428992 140735520953478 140735520953608 140735520953608 140735520956366 0 /proc/26011/statm: 16936 10858 793 476 0 10258 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 67744 KiB Current children cumulated memory: 43432 KiB [startup+3.10967 s] /proc/loadavg: 2.31 2.09 2.07 3/187 26012 /proc/meminfo: memFree=28056820/32770624 swapFree=67108860/67108860 [pid=26011] ppid=26008 vsize=119124 memory=94252 CPUtime=3.09 cores=0,2,4,6 /proc/26011/stat : 26011 (cosoco) R 26008 26011 24644 0 -1 4202496 24972 0 0 0 306 3 0 0 20 0 1 0 92281672 121982976 23563 33554432000 4194304 6142532 140735520949168 140735520945816 5802597 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 9428992 140735520953478 140735520953608 140735520953608 140735520956366 0 /proc/26011/statm: 29781 23563 797 476 0 23103 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 119124 KiB Current children cumulated memory: 94252 KiB [startup+6.30039 s] /proc/loadavg: 2.31 2.09 2.07 3/187 26012 /proc/meminfo: memFree=27932652/32770624 swapFree=67108860/67108860 [pid=26011] ppid=26008 vsize=243012 memory=217532 CPUtime=6.29 cores=0,2,4,6 /proc/26011/stat : 26011 (cosoco) R 26008 26011 24644 0 -1 4202496 70539 0 0 0 620 9 0 0 20 0 1 0 92281672 248844288 54383 33554432000 4194304 6142532 140735520949168 140735520936456 140122359368677 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 9428992 140735520953478 140735520953608 140735520953608 140735520956366 0 /proc/26011/statm: 60753 54383 853 476 0 54075 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 243012 KiB Current children cumulated memory: 217532 KiB [startup+12.7003 s] /proc/loadavg: 2.28 2.09 2.07 3/187 26012 /proc/meminfo: memFree=27809164/32770624 swapFree=67108860/67108860 [pid=26011] ppid=26008 vsize=369660 memory=339332 CPUtime=12.68 cores=0,2,4,6 /proc/26011/stat : 26011 (cosoco) R 26008 26011 24644 0 -1 4202496 152744 0 0 0 1252 16 0 0 20 0 1 0 92281672 378531840 84833 33554432000 4194304 6142532 140735520949168 140735520945992 5139732 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 9428992 140735520953478 140735520953608 140735520953608 140735520956366 0 /proc/26011/statm: 92415 84833 854 476 0 85737 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 369660 KiB Current children cumulated memory: 339332 KiB [startup+25.5004 s] /proc/loadavg: 2.22 2.09 2.07 3/187 26012 /proc/meminfo: memFree=27803632/32770624 swapFree=67108860/67108860 [pid=26011] ppid=26008 vsize=374556 memory=344524 CPUtime=25.49 cores=0,2,4,6 /proc/26011/stat : 26011 (cosoco) R 26008 26011 24644 0 -1 4202496 204773 0 0 0 2528 21 0 0 20 0 1 0 92281672 383545344 86131 33554432000 4194304 6142532 140735520949168 140735520936440 5140588 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 9428992 140735520953478 140735520953608 140735520953608 140735520956366 0 /proc/26011/statm: 93639 86131 854 476 0 86961 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 374556 KiB Current children cumulated memory: 344524 KiB [startup+36.8543 s] # the end of solver process 26011 was just reported to runsolver # cumulated CPU time of all completed processes: user=36.5886 s, system=0.254983 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+25.6004 s] /proc/loadavg: 2.22 2.09 2.07 3/187 26012 /proc/meminfo: memFree=27803632/32770624 swapFree=67108860/67108860 [pid=26011] ppid=26008 vsize=374556 memory=344524 CPUtime=25.59 cores=0,2,4,6 /proc/26011/stat : 26011 (cosoco) R 26008 26011 24644 0 -1 4202496 204796 0 0 0 2538 21 0 0 20 0 1 0 92281672 383545344 86131 33554432000 4194304 6142532 140735520949168 140735520936440 5347473 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 9428992 140735520953478 140735520953608 140735520953608 140735520956366 0 /proc/26011/statm: 93639 86131 854 476 0 86961 0 Current children cumulated CPU time: 25.59 s Current children cumulated vsize: 374556 KiB Current children cumulated memory: 344524 KiB [startup+32.0004 s]* /proc/loadavg: 2.20 2.09 2.07 3/187 26012 /proc/meminfo: memFree=27798904/32770624 swapFree=67108860/67108860 [pid=26011] ppid=26008 vsize=379944 memory=349272 CPUtime=31.99 cores=0,2,4,6 /proc/26011/stat : 26011 (cosoco) R 26008 26011 24644 0 -1 4202496 206661 0 0 0 3178 21 0 0 20 0 1 0 92281672 389062656 87318 33554432000 4194304 6142532 140735520949168 140735520946696 5138432 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 9428992 140735520953478 140735520953608 140735520953608 140735520956366 0 /proc/26011/statm: 94986 87318 854 476 0 88308 0 Current children cumulated CPU time: 31.99 s Current children cumulated vsize: 379944 KiB Current children cumulated memory: 349272 KiB [startup+35.2004 s] /proc/loadavg: 2.19 2.08 2.07 3/187 26012 /proc/meminfo: memFree=27798780/32770624 swapFree=67108860/67108860 [pid=26011] ppid=26008 vsize=380092 memory=349304 CPUtime=35.18 cores=0,2,4,6 /proc/26011/stat : 26011 (cosoco) R 26008 26011 24644 0 -1 4202496 237978 0 0 0 3495 23 0 0 20 0 1 0 92281672 389214208 87326 33554432000 4194304 6142532 140735520949168 140735520945912 5005485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 9428992 140735520953478 140735520953608 140735520953608 140735520956366 0 /proc/26011/statm: 95023 87326 854 476 0 88345 0 Current children cumulated CPU time: 35.18 s Current children cumulated vsize: 380092 KiB Current children cumulated memory: 349304 KiB [startup+36.0004 s]* /proc/loadavg: 2.19 2.08 2.07 3/187 26012 /proc/meminfo: memFree=27798780/32770624 swapFree=67108860/67108860 [pid=26011] ppid=26008 vsize=380092 memory=349340 CPUtime=35.99 cores=0,2,4,6 /proc/26011/stat : 26011 (cosoco) R 26008 26011 24644 0 -1 4202496 238254 0 0 0 3576 23 0 0 20 0 1 0 92281672 389214208 87335 33554432000 4194304 6142532 140735520949168 140735520945912 5215632 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 9428992 140735520953478 140735520953608 140735520953608 140735520956366 0 /proc/26011/statm: 95023 87335 854 476 0 88345 0 Current children cumulated CPU time: 35.99 s Current children cumulated vsize: 380092 KiB Current children cumulated memory: 349340 KiB [startup+36.4004 s] /proc/loadavg: 2.19 2.08 2.07 3/187 26012 /proc/meminfo: memFree=27798780/32770624 swapFree=67108860/67108860 [pid=26011] ppid=26008 vsize=380092 memory=349340 CPUtime=36.38 cores=0,2,4,6 /proc/26011/stat : 26011 (cosoco) R 26008 26011 24644 0 -1 4202496 238756 0 0 0 3615 23 0 0 20 0 1 0 92281672 389214208 87335 33554432000 4194304 6142532 140735520949168 140735520945912 5140152 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 9428992 140735520953478 140735520953608 140735520953608 140735520956366 0 /proc/26011/statm: 95023 87335 854 476 0 88345 0 Current children cumulated CPU time: 36.38 s Current children cumulated vsize: 380092 KiB Current children cumulated memory: 349340 KiB [startup+36.8004 s] /proc/loadavg: 2.19 2.08 2.07 3/187 26012 /proc/meminfo: memFree=27798780/32770624 swapFree=67108860/67108860 [pid=26011] ppid=26008 vsize=380920 memory=350264 CPUtime=36.78 cores=0,2,4,6 /proc/26011/stat : 26011 (cosoco) R 26008 26011 24644 0 -1 4202496 239973 0 0 0 3655 23 0 0 20 0 1 0 92281672 390062080 87546 33554432000 4194304 6142532 140735520949168 140735520945912 4990791 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 9428992 140735520953478 140735520953608 140735520953608 140735520956366 0 /proc/26011/statm: 95230 87546 854 476 0 88552 0 Current children cumulated CPU time: 36.78 s Current children cumulated vsize: 380920 KiB Current children cumulated memory: 350264 KiB Child status: 1 Real time (s): 36.8543 CPU time (s): 36.8436 CPU user time (s): 36.5886 CPU system time (s): 0.254983 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (KiB): 380920 Max. memory (cumulated for all children) (KiB): 350264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 36.5886 system time used= 0.254983 maximum resident set size= 350684 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 242124 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= 21 involuntary context switches= 48 # summary of solver processes directly reported to runsolver: # pid: 26011 # total CPU time (s): 36.8436 # total CPU user time (s): 36.5886 # total CPU system time (s): 0.254983 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.159639 second user time and 0.315374 second system time The end
Begin job on node136 at 2018-07-28 05:06:25 IDJOB=4298301 IDBENCH=141098 IDSOLVER=2761 FILE ID=node136/4298301-1532747185 RUNJOBID= node136-1532741135-24675 PBS_JOBID= 21022451 Free space on /tmp= 55780 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Rlfap_mini/Rlfap-opt_mini/Rlfap-ext-scen-10-opt_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298301-1532747185/watcher-4298301-1532747185 -o /tmp/evaluation-result-4298301-1532747185/solver-4298301-1532747185 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532741135-24675 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4298301-1532747185.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d97bf760713e7741c92fd1268dd09e15 RANDOM SEED=2130905700 node136.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.50 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.50 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.50 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.50 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: 28144884 kB MemAvailable: 31928304 kB Buffers: 179988 kB Cached: 3864768 kB SwapCached: 0 kB Active: 1761656 kB Inactive: 2368300 kB Active(anon): 37056 kB Inactive(anon): 76472 kB Active(file): 1724600 kB Inactive(file): 2291828 kB Unevictable: 7336 kB Mlocked: 7336 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 18304 kB Writeback: 4 kB AnonPages: 98584 kB Mapped: 35172 kB Shmem: 25228 kB Slab: 193352 kB SReclaimable: 165656 kB SUnreclaim: 27696 kB KernelStack: 3488 kB PageTables: 5012 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 384008 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 40960 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 55776 MiB End job on node136 at 2018-07-28 05:07:02