Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.1 | ? (TO) | 251.953 | 252.00999 |
Name | PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-l152lav.xml |
MD5SUM | e295f86f2e8232e9b7c8210bbc53418f |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1989 |
Number of constraints | 97 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":1989}] |
Minimum variable degree | 3 |
Maximum variable degree | 8 |
Distribution of variable degrees | [{"degree":3,"count":3},{"degree":4,"count":193},{"degree":5,"count":403},{"degree":6,"count":674},{"degree":7,"count":657},{"degree":8,"count":59}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 1989 |
Distribution of constraint arities | [{"arity":3,"count":1},{"arity":5,"count":1},{"arity":10,"count":1},{"arity":14,"count":1},{"arity":19,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":24,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":31,"count":2},{"arity":32,"count":2},{"arity":35,"count":2},{"arity":37,"count":3},{"arity":40,"count":1},{"arity":42,"count":3},{"arity":43,"count":1},{"arity":44,"count":3},{"arity":45,"count":1},{"arity":46,"count":1},{"arity":47,"count":1},{"arity":48,"count":3},{"arity":49,"count":1},{"arity":50,"count":1},{"arity":52,"count":2},"...",{"arity":93,"count":1}, {"arity":94,"count":1}, {"arity":96,"count":3}, {"arity":97,"count":1}, {"arity":102,"count":2}, {"arity":103,"count":1}, {"arity":104,"count":1}, {"arity":106,"count":1}, {"arity":108,"count":2}, {"arity":112,"count":2}, {"arity":114,"count":1}, {"arity":118,"count":1}, {"arity":121,"count":2}, {"arity":123,"count":1}, {"arity":125,"count":1}, {"arity":128,"count":1}, {"arity":129,"count":1}, {"arity":137,"count":1}, {"arity":152,"count":1}, {"arity":160,"count":1}, {"arity":163,"count":1}, {"arity":171,"count":1}, {"arity":218,"count":1}, {"arity":1011,"count":1}, {"arity":1989,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":97}] |
Optimization problem | YES |
Type of objective | min SUM |
0.03/0.18 c best=?? lower=-382524 upper=0 251.94/252.00 c 251.94/252.00 c This is cosoco 1.1 -- 251.94/252.00 c 251.94/252.00 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4258648-1502650447.xml 251.94/252.00 c enable optimization 251.94/252.00 c ========================================[ Problem Statistics ]=========================================== 251.94/252.00 c | 251.94/252.00 c | Parse time : 0.11 s 251.94/252.00 c | 251.94/252.00 c | Variables: 1989 251.94/252.00 c | Domain Sizes: 2..2 251.94/252.00 c | 251.94/252.00 c | Constraints: 98 251.94/252.00 c | Arity: 3..1989 -- Ternary: 1 251.94/252.00 c | 251.94/252.00 c | Types: 251.94/252.00 c | Sum: 98 251.94/252.00 c | 251.94/252.00 c ========================================================================================================= 251.94/252.00 251.94/252.00 c *** INTERRUPTED *** 251.94/252.00 c restarts : 28 251.94/252.00 c conflicts : 13405 (53 /sec) 251.94/252.00 c decisions : 820946 (3259 /sec) 251.94/252.00 c propagations : 8883408 (35262 /sec) 251.94/252.00 c root propagations : 0 251.94/252.00 c filter calls : 7401926 (29381 /sec) 251.94/252.00 c useless filter calls : 6936520 (93 %) 251.94/252.00 c Memory used : 45.18 MB 251.94/252.00 c CPU time : 251.925 s 251.94/252.00 251.94/252.00 c No Bound found! 251.94/252.00 251.94/252.00 s UNKNOWN
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 (15074 MiB free) memory of node 1: 16384 MiB (15205 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258648-1502650447/watcher-4258648-1502650447 -o /tmp/evaluation-result-4258648-1502650447/solver-4258648-1502650447 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502640979-4139 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4258648-1502650447.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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 Current StackSize limit: 8192 KiB solver pid=8928, runsolver pid=8925 [startup+0.100748 s]* /proc/loadavg: 2.36 2.09 2.07 3/189 8929 /proc/meminfo: memFree=31004344/32770624 swapFree=67108860/67108860 [pid=8928] ppid=8925 vsize=29228 memory=5488 CPUtime=0.03 cores=0,2,4,6 /proc/8928/stat : 8928 (cosoco) R 8925 8928 12395 0 -1 4202496 1554 0 0 0 3 0 0 0 20 0 1 0 106956008 29929472 1372 18446744073709551615 4194304 5972556 140721064998080 140721064992312 139710620888037 0 0 1 0 0 0 0 17 0 0 0 6 0 0 8070896 8075904 16236544 140721065005483 140721065005613 140721065005613 140721065009102 0 /proc/8928/statm: 7307 1372 742 435 0 670 0 Current children cumulated CPU time: 0.03 s Current children cumulated vsize: 29228 KiB Current children cumulated memory: 5488 KiB [startup+0.209652 s]* /proc/loadavg: 2.36 2.09 2.07 3/189 8929 /proc/meminfo: memFree=31003620/32770624 swapFree=67108860/67108860 [pid=8928] ppid=8925 vsize=30024 memory=6540 CPUtime=0.14 cores=0,2,4,6 /proc/8928/stat : 8928 (cosoco) R 8925 8928 12395 0 -1 4202496 1794 0 0 0 14 0 0 0 20 0 1 0 106956008 30744576 1635 18446744073709551615 4194304 5972556 140721064998080 140721064992312 5139275 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 8070896 8075904 16236544 140721065005483 140721065005613 140721065005613 140721065009102 0 /proc/8928/statm: 7506 1635 777 435 0 869 0 Current children cumulated CPU time: 0.14 s Current children cumulated vsize: 30024 KiB Current children cumulated memory: 6540 KiB [startup+0.309271 s]* /proc/loadavg: 2.36 2.09 2.07 3/189 8929 /proc/meminfo: memFree=31003248/32770624 swapFree=67108860/67108860 [pid=8928] ppid=8925 vsize=30024 memory=6540 CPUtime=0.24 cores=0,2,4,6 /proc/8928/stat : 8928 (cosoco) R 8925 8928 12395 0 -1 4202496 1796 0 0 0 24 0 0 0 20 0 1 0 106956008 30744576 1635 18446744073709551615 4194304 5972556 140721064998080 140721064992312 5099658 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 8070896 8075904 16236544 140721065005483 140721065005613 140721065005613 140721065009102 0 /proc/8928/statm: 7506 1635 777 435 0 869 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 30024 KiB Current children cumulated memory: 6540 KiB [startup+0.700276 s] /proc/loadavg: 2.36 2.09 2.07 3/189 8929 /proc/meminfo: memFree=31002132/32770624 swapFree=67108860/67108860 [pid=8928] ppid=8925 vsize=37296 memory=13668 CPUtime=0.62 cores=0,2,4,6 /proc/8928/stat : 8928 (cosoco) R 8925 8928 12395 0 -1 4202496 3596 0 0 0 62 0 0 0 20 0 1 0 106956008 38191104 3417 18446744073709551615 4194304 5972556 140721064998080 140721064994696 5046264 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 8070896 8075904 16236544 140721065005483 140721065005613 140721065005613 140721065009102 0 /proc/8928/statm: 9324 3417 780 435 0 2687 0 Current children cumulated CPU time: 0.62 s Current children cumulated vsize: 37296 KiB Current children cumulated memory: 13668 KiB [startup+1.50023 s] /proc/loadavg: 2.36 2.09 2.07 3/189 8929 /proc/meminfo: memFree=30996300/32770624 swapFree=67108860/67108860 [pid=8928] ppid=8925 vsize=37564 memory=13932 CPUtime=1.42 cores=0,2,4,6 /proc/8928/stat : 8928 (cosoco) R 8925 8928 12395 0 -1 4202496 3678 0 0 0 142 0 0 0 20 0 1 0 106956008 38465536 3483 18446744073709551615 4194304 5972556 140721064998080 140721064994696 5046268 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 8070896 8075904 16236544 140721065005483 140721065005613 140721065005613 140721065009102 0 /proc/8928/statm: 9391 3483 780 435 0 2754 0 Current children cumulated CPU time: 1.42 s Current children cumulated vsize: 37564 KiB Current children cumulated memory: 13932 KiB [startup+3.10953 s] /proc/loadavg: 2.36 2.09 2.07 3/189 8929 /proc/meminfo: memFree=30991372/32770624 swapFree=67108860/67108860 [pid=8928] ppid=8925 vsize=41704 memory=18136 CPUtime=3.03 cores=0,2,4,6 /proc/8928/stat : 8928 (cosoco) R 8925 8928 12395 0 -1 4202496 7215 0 0 0 302 1 0 0 20 0 1 0 106956008 42704896 4534 18446744073709551615 4194304 5972556 140721064998080 140721064994840 5139477 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 8070896 8075904 16236544 140721065005483 140721065005613 140721065005613 140721065009102 0 /proc/8928/statm: 10426 4534 780 435 0 3789 0 Current children cumulated CPU time: 3.03 s Current children cumulated vsize: 41704 KiB Current children cumulated memory: 18136 KiB [startup+6.30022 s] /proc/loadavg: 2.33 2.09 2.07 3/189 8929 /proc/meminfo: memFree=30990424/32770624 swapFree=67108860/67108860 [pid=8928] ppid=8925 vsize=43036 memory=19560 CPUtime=6.22 cores=0,2,4,6 /proc/8928/stat : 8928 (cosoco) R 8925 8928 12395 0 -1 4202496 10546 0 0 0 621 1 0 0 20 0 1 0 106956008 44068864 4890 18446744073709551615 4194304 5972556 140721064998080 140721064994696 5039319 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 8070896 8075904 16236544 140721065005483 140721065005613 140721065005613 140721065009102 0 /proc/8928/statm: 10759 4890 780 435 0 4122 0 Current children cumulated CPU time: 6.22 s Current children cumulated vsize: 43036 KiB Current children cumulated memory: 19560 KiB [startup+12.7003 s] /proc/loadavg: 2.31 2.09 2.06 3/189 8929 /proc/meminfo: memFree=30989392/32770624 swapFree=67108860/67108860 [pid=8928] ppid=8925 vsize=44788 memory=21252 CPUtime=12.62 cores=0,2,4,6 /proc/8928/stat : 8928 (cosoco) R 8925 8928 12395 0 -1 4202496 14705 0 0 0 1260 2 0 0 20 0 1 0 106956008 45862912 5313 18446744073709551615 4194304 5972556 140721064998080 140721064994696 5046268 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 16236544 140721065005483 140721065005613 140721065005613 140721065009102 0 /proc/8928/statm: 11197 5313 780 435 0 4560 0 Current children cumulated CPU time: 12.62 s Current children cumulated vsize: 44788 KiB Current children cumulated memory: 21252 KiB [startup+25.5003 s] /proc/loadavg: 2.24 2.09 2.06 3/189 8929 /proc/meminfo: memFree=30989380/32770624 swapFree=67108860/67108860 [pid=8928] ppid=8925 vsize=45324 memory=21768 CPUtime=25.42 cores=0,2,4,6 /proc/8928/stat : 8928 (cosoco) R 8925 8928 12395 0 -1 4202496 21614 0 0 0 2540 2 0 0 20 0 1 0 106956008 46411776 5442 18446744073709551615 4194304 5972556 140721064998080 140721064994696 5039310 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 16236544 140721065005483 140721065005613 140721065005613 140721065009102 0 /proc/8928/statm: 11331 5442 780 435 0 4694 0 Current children cumulated CPU time: 25.42 s Current children cumulated vsize: 45324 KiB Current children cumulated memory: 21768 KiB [startup+51.1094 s] /proc/loadavg: 2.16 2.08 2.06 3/189 8929 /proc/meminfo: memFree=30988936/32770624 swapFree=67108860/67108860 [pid=8928] ppid=8925 vsize=45592 memory=22044 CPUtime=51.03 cores=0,2,4,6 /proc/8928/stat : 8928 (cosoco) R 8925 8928 12395 0 -1 4202496 22732 0 0 0 5101 2 0 0 20 0 1 0 106956008 46686208 5511 18446744073709551615 4194304 5972556 140721064998080 140721064994696 5139296 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 16236544 140721065005483 140721065005613 140721065005613 140721065009102 0 /proc/8928/statm: 11398 5511 780 435 0 4761 0 Current children cumulated CPU time: 51.03 s Current children cumulated vsize: 45592 KiB Current children cumulated memory: 22044 KiB [startup+102.3 s] /proc/loadavg: 2.07 2.07 2.06 3/186 8931 /proc/meminfo: memFree=30992468/32770624 swapFree=67108860/67108860 [pid=8928] ppid=8925 vsize=46132 memory=22600 CPUtime=102.22 cores=0,2,4,6 /proc/8928/stat : 8928 (cosoco) R 8925 8928 12395 0 -1 4202496 23443 0 0 0 10220 2 0 0 20 0 1 0 106956008 47239168 5650 18446744073709551615 4194304 5972556 140721064998080 140721064994712 5039492 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 16236544 140721065005483 140721065005613 140721065005613 140721065009102 0 /proc/8928/statm: 11533 5650 780 435 0 4896 0 Current children cumulated CPU time: 102.22 s Current children cumulated vsize: 46132 KiB Current children cumulated memory: 22600 KiB [startup+162.3 s] /proc/loadavg: 2.03 2.06 2.05 3/186 8935 /proc/meminfo: memFree=30990568/32770624 swapFree=67108860/67108860 [pid=8928] ppid=8925 vsize=46264 memory=22692 CPUtime=162.23 cores=0,2,4,6 /proc/8928/stat : 8928 (cosoco) R 8925 8928 12395 0 -1 4202496 24051 0 0 0 16221 2 0 0 20 0 1 0 106956008 47374336 5673 18446744073709551615 4194304 5972556 140721064998080 140721064994840 5328458 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 16236544 140721065005483 140721065005613 140721065005613 140721065009102 0 /proc/8928/statm: 11566 5673 780 435 0 4929 0 Current children cumulated CPU time: 162.23 s Current children cumulated vsize: 46264 KiB Current children cumulated memory: 22692 KiB [startup+222.3 s] /proc/loadavg: 2.01 2.04 2.05 3/186 8937 /proc/meminfo: memFree=30990816/32770624 swapFree=67108860/67108860 [pid=8928] ppid=8925 vsize=46264 memory=22740 CPUtime=222.23 cores=0,2,4,6 /proc/8928/stat : 8928 (cosoco) R 8925 8928 12395 0 -1 4202496 24216 0 0 0 22221 2 0 0 20 0 1 0 106956008 47374336 5685 18446744073709551615 4194304 5972556 140721064998080 140721064994840 5046696 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 16236544 140721065005483 140721065005613 140721065005613 140721065009102 0 /proc/8928/statm: 11566 5685 780 435 0 4929 0 Current children cumulated CPU time: 222.23 s Current children cumulated vsize: 46264 KiB Current children cumulated memory: 22740 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 1.85 2.01 2.03 3/186 9000 /proc/meminfo: memFree=31042916/32770624 swapFree=67108860/67108860 [pid=8928] ppid=8925 vsize=46264 memory=22740 CPUtime=251.94 cores=0,2,4,6 /proc/8928/stat : 8928 (cosoco) R 8925 8928 12395 0 -1 4202496 24219 0 0 0 25192 2 0 0 20 0 1 0 106956008 47374336 5685 18446744073709551615 4194304 5972556 140721064998080 140721064994840 5046268 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 8070896 8075904 16236544 140721065005483 140721065005613 140721065005613 140721065009102 0 /proc/8928/statm: 11566 5685 780 435 0 4929 0 Current children cumulated CPU time: 251.94 s Current children cumulated vsize: 46264 KiB Current children cumulated memory: 22740 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.01 s] # the end of solver process 8928 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.925 s, system=0.028001 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.01 CPU time (s): 251.953 CPU user time (s): 251.925 CPU system time (s): 0.028001 CPU usage (%): 99.9773 Max. virtual memory (cumulated for all children) (KiB): 46264 Max. memory (cumulated for all children) (KiB): 22740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.925 system time used= 0.028001 maximum resident set size= 22828 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24268 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= 12 involuntary context switches= 119 # summary of solver processes directly reported to runsolver: # pid: 8928 # total CPU time (s): 251.953 # total CPU user time (s): 251.925 # total CPU system time (s): 0.028001 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.915691 second user time and 1.72698 second system time The end
Begin job on node135 at 2017-08-13 20:40:13 IDJOB=4258648 IDBENCH=135432 IDSOLVER=2644 FILE ID=node135/4258648-1502650447 RUNJOBID= node135-1502640979-4139 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-mps/Pb-mps-v2-20-10-l152lav.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4258648-1502650447/watcher-4258648-1502650447 -o /tmp/evaluation-result-4258648-1502650447/solver-4258648-1502650447 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502640979-4139 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4258648-1502650447.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e295f86f2e8232e9b7c8210bbc53418f RANDOM SEED=703247497 node135.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.21 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.21 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.21 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.21 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: 31006404 kB MemAvailable: 31912836 kB Buffers: 313556 kB Cached: 889492 kB SwapCached: 0 kB Active: 755940 kB Inactive: 560556 kB Active(anon): 113300 kB Inactive(anon): 41324 kB Active(file): 642640 kB Inactive(file): 519232 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2568 kB Writeback: 4 kB AnonPages: 112372 kB Mapped: 58308 kB Shmem: 41656 kB Slab: 149244 kB SReclaimable: 120788 kB SUnreclaim: 28456 kB KernelStack: 3328 kB PageTables: 5532 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 398180 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 62028 MiB End job on node135 at 2017-08-13 20:44:26