0.00/0.00 c 2016-06-16T18:38:27+0200
0.00/0.00 c version = 0.5.0
0.00/0.00 c githash = 1a49202
0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00 c arch = x86_64
0.00/0.00 c os = linux
0.00/0.00 c compiler = ghc 7.10
0.00/0.00 c packages:
0.00/0.00 c OptDir-0.0.3
0.00/0.00 c array-0.5.1.0
0.00/0.00 c base-4.8.2.0
0.00/0.00 c bytestring-0.10.6.0
0.00/0.00 c bytestring-builder-0.10.6.0.0
0.00/0.00 c clock-0.7.2
0.00/0.00 c containers-0.5.6.2
0.00/0.00 c data-default-0.5.3
0.00/0.00 c data-default-class-0.0.1
0.00/0.00 c data-interval-1.2.0
0.00/0.00 c deepseq-1.4.1.1
0.00/0.00 c directory-1.2.2.0
0.00/0.00 c exceptions-0.8.2.1
0.00/0.00 c extended-reals-0.2.1.0
0.00/0.00 c filepath-1.4.0.0
0.00/0.00 c finite-field-0.8.0
0.00/0.00 c hashable-1.2.4.0
0.00/0.00 c heaps-0.3.3
0.00/0.00 c intern-0.9.1.4
0.00/0.00 c loop-0.3.0
0.00/0.00 c mtl-2.2.1
0.00/0.00 c multiset-0.3.2
0.00/0.00 c mwc-random-0.13.3.2
0.00/0.00 c parse_dimacs-1.3
0.00/0.00 c parsec-3.1.9
0.00/0.00 c prettyclass-1.0.0.0
0.00/0.00 c primes-0.2.1.0
0.00/0.00 c primitive-0.6.1.0
0.00/0.00 c process-1.2.3.0
0.00/0.00 c pseudo-boolean-0.1.3.0
0.00/0.01 c queue-0.1.2
0.00/0.01 c semigroups-0.18.1
0.00/0.01 c sign-0.4.3
0.00/0.01 c stm-2.4.4.1
0.00/0.01 c template-haskell-2.10.0.0
0.00/0.01 c temporary-1.2.0.4
0.00/0.01 c time-1.5.0.1
0.00/0.01 c transformers-0.4.2.0
0.00/0.01 c transformers-compat-0.5.1.4
0.00/0.01 c type-level-numbers-0.1.1.1
0.00/0.01 c unbounded-delays-0.1.0.9
0.00/0.01 c unordered-containers-0.2.6.0
0.00/0.01 c vector-0.11.0.0
0.00/0.01 c vector-space-0.10.3
0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093563-1466095107.wbo"]
0.00/0.01 c use --random-gen="1667213294 2241405528 2996860234 1192030217 27080530 4206102389 2815613545 2964530647 4040963713 680317484 4013989140 1975877263 1914702108 2580406432 2107680100 2507392054 4127118066 1976079585 2456896185 3567650313 642753309 3714695031 130345829 957727592 2808467249 623123073 466570958 3001577817 3058026657 2069244951 917263336 1870654128 1092261897 2328728673 3411838194 2919730665 2019606321 1343279816 1981969365 531065852 3580343009 1586836320 2979485556 2057754095 2647220987 660817721 3714910135 386550980 1549516493 110907676 2369536192 124477456 676391627 2875757308 1988452479 554673649 655537868 339118035 3051419937 2066358638 2069614858 3751993853 2121112468 3606117868 615341687 998847123 4066817881 2747261772 1583643317 1171972286 2250205310 74305393 3240692357 2318881310 931217018 617384094 29501223 2415985234 649908688 2858817315 473600700 3324616452 3018530076 3924465950 1879316917 860311934 385477539 1888540133 2594459652 2819593529 73548082 362074665 695183036 461896271 3696343715 2104234689 3421754308 4264350637 539569154 793655984 3665669579 2702735690 300237603 3464425355 1622568576 1066010907 125587359 1001479561 1113670443 1541205176 381912036 4021936017 565566888 3343490541 403414236 3117720698 2731853998 4002325607 1912464072 3767344001 1468509387 1673817287 2007063068 1932391889 1548410985 3008138027 3932156644 3567125651 3054401690 3240547683 2717919139 1817243757 1169095118 555153686 243914382 2804277018 1825586460 3100695343 3636799169 2205447398 4091034318 937127880 2749634840 983843590 819089215 542375291 2914073331 2871480450 3958715813 2032593849 2202162074 941261769 2302907904 1539853162 2718521232 3560554955 3136657583 3723655371 403640400 2691519486 1444726819 1151766445 2913327888 4161090916 2561759255 2095047086 825144062 4257274232 2477982384 3040358994 3762596686 1738262740 509011807 750506516 3110427305 4286928264 1634452127 523822213 1395861032 4057990161 3225420334 3906195315 2276420021 841857045 2382454824 3380038014 2494302453 1351720865 2152523216 3955137885 2051189050 3748825264 401309318 4178358955 3242685618 3852515810 2606758627 671002459 3271953154 3360526770 1699595470 3160751202 3195110910 2795675234 1268431815 2226920156 15164338 2037766988 2564957583 2231940931 3517224635 1464132910 3269294821 2590153840 1260248348 2446574223 548304616 3039287446 1537870465 3899993925 2395351462 2951956837 2145326436 223314141 3365542043 1802851143 97012117 2548297211 683656391 1484463317 2924794353 2224164497 1471189284 3310834971 3813945169 2841762439 4151401771 2235691997 2695609654 3008034034 2001790277 2543523145 1233268537 981651360 916825017 3729164946 2319225080 1084725325 2005741319 2014616448 3044911601 531409965 1307944497 662866217 1530647335 2481741852 255 362436" option to reproduce the execution
0.00/0.04 c #vars 200
0.00/0.04 c #constraints 900
0.00/0.07 c BCD2: Hardening is enabled.
0.00/0.07 c BCD2: BiasedSearch is enabled.
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 666 0 | 0 | 0
0.00/0.09 c 0.0s | 0 | 857 | 34 | 666 0 | 0 | 0
0.00/0.09 c #cpu_time = 0.012s
0.00/0.09 c #wall_clock_time = 0.012s
0.00/0.09 c #decision = 857
0.00/0.09 c #random_decision = 4
0.00/0.09 c #conflict = 34
0.00/0.09 c #restart = 0
0.00/0.09 o 0
0.00/0.09 s OPTIMUM FOUND
0.00/0.09 v x1 -x2 -x3 x4 -x5 x6 x7 -x8 x9 -x10
0.00/0.09 v -x11 x12 x13 -x14 -x15 x16 -x17 x18 x19 -x20
0.00/0.09 v -x21 x22 x23 -x24 x25 -x26 x27 -x28 -x29 x30
0.00/0.09 v x31 -x32 -x33 x34 x35 -x36 -x37 x38 -x39 x40
0.00/0.09 v -x41 x42 -x43 x44 x45 -x46 x47 -x48 x49 -x50
0.00/0.09 v -x51 x52 -x53 x54 x55 -x56 -x57 x58 -x59 x60
0.00/0.09 v x61 -x62 x63 -x64 x65 -x66 x67 -x68 -x69 x70
0.00/0.09 v -x71 x72 -x73 x74 -x75 x76 -x77 x78 x79 -x80
0.00/0.09 v x81 -x82 -x83 x84 x85 -x86 -x87 x88 -x89 x90
0.00/0.09 v -x91 x92 -x93 x94 -x95 x96 -x97 x98 x99 -x100
0.00/0.09 v -x101 x102 -x103 x104 x105 -x106 x107 -x108 -x109 x110
0.00/0.09 v -x111 x112 -x113 x114 -x115 x116 -x117 x118 x119 -x120
0.00/0.09 v -x121 x122 x123 -x124 -x125 x126 -x127 x128 -x129 x130
0.00/0.09 v -x131 x132 x133 -x134 -x135 x136 x137 -x138 -x139 x140
0.00/0.09 v -x141 x142 x143 -x144 x145 -x146 -x147 x148 x149 -x150
0.00/0.09 v x151 -x152 -x153 x154 -x155 x156 -x157 x158 -x159 x160
0.00/0.09 v x161 -x162 -x163 x164 -x165 x166 -x167 x168 x169 -x170
0.00/0.09 v -x171 x172 -x173 x174 -x175 x176 -x177 x178 x179 -x180
0.00/0.09 v -x181 x182 -x183 x184 -x185 x186 -x187 x188 -x189 x190
0.00/0.09 v x191 -x192 -x193 x194 -x195 x196 -x197 x198 -x199 x200
0.00/0.09 c total CPU time = 0.092s
0.00/0.09 c total wall clock time = 0.092s
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093563-1466095107/watcher-4093563-1466095107 -o /tmp/evaluation-result-4093563-1466095107/solver-4093563-1466095107 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466093283-28007 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093563-1466095107.wbo
pid=29061
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.18 2.30 3/179 29064
/proc/meminfo: memFree=29332820/32872528 swapFree=1399392/1569044
[pid=29064] ppid=29061 vsize=648636 CPUtime=0 cores=0,2,4,6
/proc/29064/stat : 29064 (toysat) R 29061 29064 7986 0 -1 4202496 2409 0 0 0 0 0 0 0 20 0 4 0 11555912 664203264 2258 33554432000 4194304 16246674 140733728771920 140733728771344 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29064/statm: 162927 2266 441 2943 0 159821 0
[pid=29064/tid=29065] ppid=29061 vsize=666044 CPUtime=0 cores=0,2,4,6
/proc/29064/task/29065/stat : 29065 (toysat) S 29061 29064 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11555912 682029056 2326 33554432000 4194304 16246674 140733728771920 139633917668592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=29064/tid=29066] ppid=29061 vsize=671164 CPUtime=0 cores=0,2,4,6
/proc/29064/task/29066/stat : 29066 (toysat) S 29061 29064 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11555912 687271936 2344 33554432000 4194304 16246674 140733728771920 139633907178736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=29064/tid=29067] ppid=29061 vsize=675260 CPUtime=0 cores=0,2,4,6
/proc/29064/task/29067/stat : 29067 (toysat) S 29061 29064 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11555912 691466240 2360 33554432000 4194304 16246674 140733728771920 139633896705200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[startup+0.100119 s]
/proc/loadavg: 2.00 2.18 2.30 3/179 29064
/proc/meminfo: memFree=29332820/32872528 swapFree=1399392/1569044
[pid=29064] ppid=29061 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/29064/stat : 29064 (toysat) R 29061 29064 7986 0 -1 4202500 23104 0 0 0 5 4 0 0 20 0 1 0 11555912 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29064/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 0
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29064 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.100119 s]
/proc/loadavg: 2.00 2.18 2.30 3/179 29064
/proc/meminfo: memFree=29332820/32872528 swapFree=1399392/1569044
[pid=29064] ppid=29061 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/29064/stat : 29064 (toysat) R 29061 29064 7986 0 -1 4202500 23104 0 0 0 5 4 0 0 20 0 1 0 11555912 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29064/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 0.101532
CPU time (s): 0.098984
CPU user time (s): 0.051992
CPU system time (s): 0.046992
CPU usage (%): 97.4904
Max. virtual memory (cumulated for all children) (KiB): 0
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.051992
system time used= 0.046992
maximum resident set size= 91724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23104
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= 18
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.004999 second user time and 0.004999 second system time
The end
Begin job on node140 at 2016-06-16 18:38:27
IDJOB=4093563
IDBENCH=79399
IDSOLVER=2553
FILE ID=node140/4093563-1466095107
RUNJOBID= node140-1466093283-28007
PBS_JOBID= 19904000
Free space on /tmp= 71724 MiB
SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh218_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093563-1466095107/watcher-4093563-1466095107 -o /tmp/evaluation-result-4093563-1466095107/solver-4093563-1466095107 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466093283-28007 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093563-1466095107.wbo
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= e9977e481ed86e7573c7f989943259e1
RANDOM SEED=1479891341
node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.714
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.42
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
cpu MHz : 2666.714
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 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 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 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
cpu MHz : 2666.714
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 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 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 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 : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.714
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 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 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 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
cpu MHz : 2666.714
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 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 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 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 : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.714
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 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 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 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
cpu MHz : 2666.714
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.54
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.714
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 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 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 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: 32872528 kB
MemFree: 29333728 kB
Buffers: 45212 kB
Cached: 119216 kB
SwapCached: 2564 kB
Active: 1184620 kB
Inactive: 79260 kB
Active(anon): 1100032 kB
Inactive(anon): 1792 kB
Active(file): 84588 kB
Inactive(file): 77468 kB
Unevictable: 1569044 kB
Mlocked: 1399392 kB
SwapTotal: 67108856 kB
SwapFree: 67096820 kB
Dirty: 33876 kB
Writeback: 0 kB
AnonPages: 2667356 kB
Mapped: 10812 kB
Shmem: 0 kB
Slab: 570268 kB
SReclaimable: 13556 kB
SUnreclaim: 556712 kB
KernelStack: 1464 kB
PageTables: 9044 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545120 kB
Committed_AS: 2813236 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346412 kB
VmallocChunk: 34341988032 kB
HardwareCorrupted: 0 kB
AnonHugePages: 169984 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 7552 kB
DirectMap2M: 33538048 kB
Free space on /tmp at the end= 71708 MiB
End job on node140 at 2016-06-16 18:38:27